芦苇地叶面积指数的遥感反演

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

遥感影像数据仓库及网络服务探讨

通过较为先进的数据库技术进行影像数据的存储与管理,便于数据的查询、浏览、分析等功能的实现,并为影像数据的发布与共享提供条件;利用遥感影像元数据实现遥感数据的网络发布与共享,从而使稀缺的影像数据能够得到充分合理的利用;同时采用本体技术,可以有效的实现影像数据的互操作,从而为实现影像数据的全社会范围的共享提供基础与条件。

时间Petri网模拟能力的研究

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

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

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

时间Petri网保持活性、有界性的两个充要条件

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

利用谓词/变迁网证明的一阶谓词逻辑命题

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

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

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

基于Web的煤矿安全评价系统

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

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

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

软件加密技术研究

目前软件为了防盗版,普遍采用软件加密手段,软件加密分为两大类:软加密和硬加密。软加密具有成本低,易推广的优点,但加密强度不高,所以主要在共享软件软件和通用软件中使用,在商品化软件中普遍采用硬加密手段,本文重点对如何利用软件狗实现软件加密,以及如何进一步提高加密强度进行了研究。

房地产企业跨区域发展程度、经营业态与企业绩效

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

遥感影像元数据标准与影像数据库研究

对当前国内外有关遥感影像元数据进行了研究，特别是对FGDC和ISO／TC211中有关遥感影像元数据的标准进行了分析，并提出一个适合于一般应用的遥感影像元数据草案。在此基础上，提出建立基于元数据的遥感影像数据库系统，研究遥感数据与遥感元数据管理的模式，以实现遥感数据的数据库管理与查询检索。

非接触电能传输在锂电池充电中的应用

针对特殊环境下锂电池装置充电过程中产生火花、造成短路从而影响系统的安全性和可靠性的问题,提出一种利用非接触式电能传输技术来实现锂电池装置无线充电的方法。该文所设计的系统有能量变换发送回路和能量接收回路两部分,运用软开关技术和功率补偿技术,并利用AVR单片机实现系统的实时控制。

Bayes决策理论用于模式识别分类问题的进一步探讨

给出2种Bayes决策分类方法,分别设计出了相应的分类器,最后通过一实例,对2种方法进行了比较与分析.

换能器在残采煤层厚度检测仪中的设计应用

文介绍了应用声波检测残采煤层厚度的优越性．对残采煤层厚度检测仪换能器的设计和应用进行了研究，选择了最佳方案。

神经网络算法在试题库中的应用

文章讨论了基于神经网络的试题抽取算法,通过对数据挖掘中最常见的一种神经网络,即BP网络的分析,介绍了这种神经网络的算法思想,设计了用于试题抽取的BP算法实现过程。

换能器在残采煤层厚度检测仪中的设计应用

文介绍了应用声波检测残采煤层厚度的优越性，对残采煤层厚度检测仪换能器的设计和应用进行了研究，选择了最佳方案。

基于C8051F310的综采支架压力检测分机设计

介绍了一种以C8051F310单片机为主控芯片的综采支架压力检测仪器,通过应变式压力传感器实时采集煤矿井下综采工作面支架压力数据并显示,有超压报警功能。同时可以通过远距离无线通信方式将所测压力数据输送至地面通信分机进而传入计算机,使得监控人员能够及时了解当前综采支架工况,减少安全隐患。

布尔表达式的化简与并行排序网络验证

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

排课问题的实现策略与模型

对排课问题进行了科学描述,约束条件按优先级进行分类,结合人类自然思维习惯,给出结合优先级和回溯算法的"自然排课"模型,简化了排课问题,增强了排课系统的通用性.