和与积数迷的符号化模型检测

和与积是一个著名的数迷问题.采用公告逻辑对该问题进行建模,将其Kripke模型符号化表示为多智能体有限状态程序,并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解.在时态逻辑模型检测器NuSMV基础上扩展实现了本文算法,然后在相同实验平台上用动态认知建模工具DEMO对该问题进行求解.实验表明,我们的算法不仅结果正确,而且在运行效率上与DEMO相比占有绝对优势.     

细粒度信任链研究方法

分析信任链相关研究的当前发展水平,提出细粒度信任链和细粒度系统软件信任链的思想,阐明只有细粒度信任链才能描述现实应用的真实情况.根据问题空间的复杂性,提出细粒度信任链建模的问题分解方法.该方法通过逐步拓展的策略,首先建立细粒度系统软件信任链模型,然后在此基础上建立完全的细粒度信任链模型.     

改进的局部ART测试算法研究

局部ART算法虽然克服了测试样本点与样本生成区域已测试顶点有可能距离很近的问题,但它对生成区域周围的已测试样本点对样本选择的影响考虑不足.本文针对局部ART算法的缺陷,提出了改进的局部ART算法,将生成区域周围一定范围内的已测试顶点都加入到临近已测试样本集中,在保持时间复杂度的同时,使测试样本的分布更加均匀.实验结果表明,改进的局部ART算法的错误检测能力得到了提升.     

基于可拓学的动态网络专家系统研究与实现

构造Internet上的专家系统对扩大知识的共享范围具有重要意义。本文提出的一种基于可拓学的,使用Java开发方法,基于B/S程序架构,使得基于Web的专家系统能够充分发挥Java的高移植性、高扩展性的特点,而且可以发挥可拓规则的扩展性,以及动态性的特点。     

Biometrics:Standing Throughout Emerging Technologies

Biometrics technologies have been around for quite some time and many have been deployed for different applications all around the world, ranging from small companies' time and attendance systems to access control systems for nuclear facilities. Biometrics offer a reliable solution for the establishment of the distinctiveness of identity based on who an individual is, rather than what he or she knows or carries. Biometric Systems automatically verify a person's identity based on his/her anatomical and behav...     

运用遥感数据挖掘解析城市地表温度的空间变异规律

以上海主城区为研究靶区,基于遥感影像（Landsat ETM+）数据,运用单窗算法反演地表温度,并运用地统计学方法分析其空间变异规律。结果表明,地表温度空间差异显著,东西分布不对称,浦东的地表温度明显低于浦西,低温区出现在浦东的南部,与南汇区的交界处;高温区出现在浦西,包括中心城区的黄浦江沿岸、宝山区南部和普陀区北部,其它地区介于高温区和低温区之间。从地表温度的空间变异规律来看,在较小的空间尺度下,随机因素引起的空间异质性占总空间异质性的比重较大,空间自相关性的比重较小;随着空间尺度的增大,随机因素引起的空间异质性所占比重减小,空间自相关性的比重增大。当粒度为180 m和540 m时,地表温度表现为较强的空间自相关性,而当粒度增大到1 080 m时,地表温度具有明显的空间自相关性。     

不同传感器数据在若尔盖湿地植被变化监测应用中的适宜性分析

基于2000年2月到2001年12月的GIMMS-NDVI、VGT-NDVI和MODIS-NDVI数据,分析了此3类NDVI对若尔盖湿地植被变化响应方式的差异性及在该区植被变化监测研究中的适宜性,研究结果表明,3种遥感数据间不存在显著差异,传感器光谱特征是造成数据间差异的主要原因; MODIS、Vegetation传感器具有红光波段对叶绿素吸收敏感,近红外波段剔除了强水汽吸收带、空间分辨率高等优势,加之MODIS-NDVI和VGT-NDVI合成法包含有全面而有效的大气纠正处理,使得MODIS-NDVI和VGT-NDVI对若尔盖植被较GIMMS-NDVI敏感,较适宜于该区植被变化监测研究。但由于3类NDVI数据并无显著差异,且GIMMS-NDVI具有时间序列长这一MODIS-NDVI和VGT-NDVI无法比拟的优点,因此其在该区植被的长期连续监测中仍具有不可替代的作用。     

星载InSAR非相干图像对精确配准

为了解决星载InSAR非相干图像配准中不同区域对应不同形变参数的问题,将几种传统的SAR图像配准和光学图像配准的方法有机结合,提出了一种基于概略配准、Harris角点检测、相关系数匹配、Delaunay三角网剖分插值映射的InSAR复图像精确配准方法。通过仿真验证,该方法能够适用相干和非相干的InSAR复图像。配准精度达到0.1像素级。     

-Fe2O3/硅纳米孔柱阵列湿敏元件的 湿敏性能研究

利用匀胶旋涂技术,将微乳-水热法制备出的、粒径均匀可控的γ-Fe2O3纳米颗粒沉积在具有独特微纳双重结构的硅纳米孔柱阵列(Si-NPA)基片上,制成γ-Fe2O3/Si-NPA湿度传感元件,并对其进行湿度感应测试结果发现,当环境相对湿度(RH)从11%升高到95%时,该元件的电容和电阻分别呈高灵敏度的单值增加和单值降低。在100 Hz的电流频率下,元件的高湿电容值升为低湿电容值的12 500%,低湿电阻值是高湿电阻值的51 515%。分析表明,微乳-水热法对γ-Fe2O3纳米颗粒尺寸的控制以及Si-NPA衬底的独特结构是提高元件灵敏度的主要原因。     

基于关系模式和Web的工作流管理系统的研究

随着信息化发展的不断深入,传统的信息管理系统已经不能很好地满足企业的需求。传统的信息管理系统是面向功能的,在企业的业务发生变化时很难快速地做出调整。而工作流管理系统则是面向流程的,可以针对企业的流程做出相应调整。讨论了工作流管理系统对比传统信息管理系统所具有的优势,在此基础上提出了一个基于关系模式,面向Web的工作流管理系统的设计方案。给出了系统的设计思想和总体框架。并重点描述了工作流管理系统的数据库设计和系统实现的一些关键问题。