芦苇地叶面积指数的遥感反演 被引量：6

1

作者 陈健 倪绍祥 +1 位作者 李云梅 李静静 《国土资源遥感》 CSCD 2005年第2期20-23,共4页

叶面积指数(LAI)是植被冠层结构的一个重要参数,它的改变标志着植被发生了生物物理变化。本文提出了一种利用混和模型从TM图像上获取叶面积指数的方法。首先,利用冠层反射率(FCR)模型计算并得到查找表;然后,利用从查找表得到的统计关系... 叶面积指数(LAI)是植被冠层结构的一个重要参数,它的改变标志着植被发生了生物物理变化。本文提出了一种利用混和模型从TM图像上获取叶面积指数的方法。首先,利用冠层反射率(FCR)模型计算并得到查找表;然后,利用从查找表得到的统计关系进行LAI制图。试验表明,该方法简单易行,并可较精确地用来反演芦苇地的叶面积指数。 展开更多

关键词 叶面积指数 植被冠层 遥感 反演 模型 芦苇地

在线阅读 下载PDF 职称材料

时间Petri网模拟能力的研究 被引量：5

2

作者 翟正利 吴哲辉 杨扬 《计算机科学》 CSCD 北大核心 2006年第4期234-235,283,共3页

模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri 网的模拟能力比传统 Petri 网要强,并首次证明了时间 Petri 网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外... 模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri 网的模拟能力比传统 Petri 网要强,并首次证明了时间 Petri 网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延 Perri 网向时间 Petri 网的转换方法,这说明了时间 Petri 网虽然形式上较为简单,但其模拟能力却并不比其它合时间因素的 Petri 网逊色,同时为时延 Petri 网的研究提供了另外一种有效方法。 展开更多

关键词 时间PETRI网 模拟能力 图灵机 时延PETRI网 转换方法

在线阅读 下载PDF 职称材料

具有变系数的广义Burgers-KdV方程新精确解(英文) 被引量：2

3

作者 赵熙强 张玉峰 +1 位作者 闫庆友 龚新波 《大连理工大学学报》 EI CAS CSCD 北大核心 2003年第4期403-406,共4页

利用截断展开法求得了具有变系数的一类广义Burgers-KdV方程的新的精确解.作为特例,分别获得了具有变系数的广义KdV方程和广义柱KdV方程的精确解.由此发现了Burgers方程的一类新的孤子解.

关键词 变系数广义Burgers-KdV方程 精确解 截断展开法 孤子解 广义KDV方程 广义柱KdV方程

在线阅读 下载PDF 职称材料

时间Petri网保持活性、有界性的两个充要条件 被引量：2

4

作者 翟正利 吴哲辉 杨扬 《计算机科学》 CSCD 北大核心 2006年第9期232-234,283,共4页

活性和有界性是Petri网最重要的性质,对于传统Petri网的这些性质,国内外学者作过大量的研究工作,并且得到了不少成果,而对舍时间因素的Petri网的这些相应性质国内外研究得很少。本文首先介绍了时间Petri网TPN的若干基本定义,然后说明了... 活性和有界性是Petri网最重要的性质,对于传统Petri网的这些性质,国内外学者作过大量的研究工作,并且得到了不少成果,而对舍时间因素的Petri网的这些相应性质国内外研究得很少。本文首先介绍了时间Petri网TPN的若干基本定义,然后说明了时间Petri网TPN的活性、有界性和对应传统Petri网的相应性质并无关系,接着给出了时间Petri网保持活性、有界性的时间区间上的两个充分必要条件。为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了可能性。 展开更多

关键词 时间PETRI网 活性 有界性 时间区间 充要条件

在线阅读 下载PDF 职称材料

利用谓词/变迁网证明的一阶谓词逻辑命题 被引量：2

5

作者 方欢 印玉兰 徐誉尹 《计算机工程》 CAS CSCD 北大核心 2006年第23期191-192,198,共3页

研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。

关键词 网逻辑 谓词/变迁网 一阶谓词逻辑 命题证明

在线阅读 下载PDF 职称材料

一种兼顾协议正确性验证和性能评估的Petri网方法 被引量：2

6

作者 范昊 吴哲辉 曾庆田 《计算机科学》 CSCD 北大核心 2005年第12期48-52,共5页

基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面... 基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。 展开更多

关键词 协议验证 形式化分析 时延PETRI网 协议性能评估 0-1停止等待协议

在线阅读 下载PDF 职称材料

基于Web的煤矿安全评价系统 被引量：1

7

作者 石永奎 赵卫东 赵忠铃 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第z1期78-80,共3页

介绍了一种基于煤矿企业内部网络Intranet的煤矿安全评价系统的评价指标体系,安全信息管理与安全评价的内容,安全评价系统的数据库设计,系统的结构,以及系统的运行环境.对于煤矿安全管理工作具有一定的参考价值.

关键词 安全评价 指标 数据库 WEB

在线阅读 下载PDF 职称材料

金融时间序列间的条件相关性分析与Copula函数的选择原则 被引量：7

8

作者 李述山 《统计与决策》 CSSCI 北大核心 2010年第10期23-25,共3页

类似于通常的非线性相关性度量,文章建立了时间序列间的几个条件相关性度量;提出了相关性分析中Copula函数选择的两个原则;通过构建Copula-EGARCH模型,将两个金融资产间的条件相关性分析转化为标准化残差间的相关性分析。通过沪深股市... 类似于通常的非线性相关性度量,文章建立了时间序列间的几个条件相关性度量;提出了相关性分析中Copula函数选择的两个原则;通过构建Copula-EGARCH模型,将两个金融资产间的条件相关性分析转化为标准化残差间的相关性分析。通过沪深股市之间的条件相关性实证研究发现,在常见的几种Archimedean Copula中GS Copula与BB1 Copula对金融市场相关性的描述具有良好的效果,能够较全面地反映两个市场之间各种非线性条件相关性,并且沪市与深市之间的条件相关性很强。 展开更多

关键词 条件相关性 ARCHIMEDEAN COPULA Copula-EGARCH模型 非线性相关性

在线阅读 下载PDF 职称材料

房地产企业跨区域发展程度、经营业态与企业绩效 被引量：2

9

作者 刘淑茹 王丽娜 王立伟 《金融与经济》 北大核心 2018年第6期61-66,共6页

本文基于房地产上市企业2011~2015年数据,通过面板数据回归方法,探讨了我国房地产企业跨区域发展程度及经营业态与企业绩效的关系。研究结果显示:房地产企业跨区域发展程度与企业盈利能力、偿债能力均呈S型关系;同时养老地产、旅游地产... 本文基于房地产上市企业2011~2015年数据,通过面板数据回归方法,探讨了我国房地产企业跨区域发展程度及经营业态与企业绩效的关系。研究结果显示:房地产企业跨区域发展程度与企业盈利能力、偿债能力均呈S型关系;同时养老地产、旅游地产、物流地产、医疗地产及长租公寓等新业态的涉足会明显降低企业盈利能力,增大偿债风险。 展开更多

关键词 房地产企业 跨区域发展 经营业态 企业绩效 赫芬达尔指数

在线阅读 下载PDF 职称材料

布尔表达式的化简与并行排序网络验证 被引量：1

10

作者 王德才 徐建国 +2 位作者 吴哲辉 罗永亮 王传民 《计算机工程与设计》 CSCD 北大核心 2009年第14期3322-3325,共4页

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具。对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质。设计出的... 为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具。对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质。设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化。实验结果表明了该工具的有效性。 展开更多

关键词 比较器网络 [0 1]原理 布尔对称函数 并行排序 验证

在线阅读 下载PDF 职称材料

一种有效保持边缘的现场足迹边缘检测算法

11

作者 王本强 彭延军 王本刚 《系统仿真学报》 CAS CSCD 北大核心 2008年第S1期389-391,395,共4页

现场足迹的背景图案以及灰尘等噪声往往对足迹细节特征的分析造成较大的干扰。为了能够准确的提取现场足迹的边缘,针对现场足迹的特点,在Canny算子的基础上,给出了一种有效的现场足迹边缘检测算法。首先使用高斯平滑抑制噪声,在二维高... 现场足迹的背景图案以及灰尘等噪声往往对足迹细节特征的分析造成较大的干扰。为了能够准确的提取现场足迹的边缘,针对现场足迹的特点,在Canny算子的基础上,给出了一种有效的现场足迹边缘检测算法。首先使用高斯平滑抑制噪声,在二维高斯偏导卷积得到梯度边缘方向后由非极大值抑制和动态阈值边缘连接得到结果。相比较其它的算法,该算子不仅能够抑制噪声,而且能有效地保持边缘。 展开更多

关键词 CANNY算子 边缘检测 非极大值抑制 边缘方向 现场足迹

在线阅读 下载PDF 职称材料