基于遥感影像的土地资源利用区划自动识别技术

针对遥感影像中存在着等级错乱的纹理特征,在实际识别中易出现识别精度过低的问题,因此研究出一种基于遥感影像的土地资源利用区划自动识别技术.通过计算机对获取的遥感图像进行分割并模拟遥感小班界线勾绘,提取土地资源的纹理特征,确定土地资源区域,利用多光谱影像中的纹理特征模拟区划中长分辨率的全色影像,构建识别方程,完成对自动识别技术的研究.实验识别区域转化为遥感图像后,采用相同参数的传统计算机自动识别技术与设计的自动识别技术实验结果表明:设计的自动识别技术的识别率在95％以上,精度数值最大.     

基于数据分布的快速灰关联分析

从灰关联分析中最核心的灰关联度构造及相应的挖掘算法出发,结合正态分布的普适性,提出了一种体现数据分布特点的正态灰数,并给出了相应的灰度及灰关联度计算方法。在此基础上,构建了一种多粒度无监督的快速灰聚类方法,无需先验知识即可完成自动聚类。通过实验验证了本文方法的有效性,为大数据下灰关联分析的进一步发展提供了新思路。     

海上油田调剖效果评价研究

目前海上油田调剖措施效果评价只注重增油降水的分析,而忽略注水井、采油井以及区块整体其他开采特征的变化。从注水井、采油井、区块三方面入手,对各特征指标进行细分,建立起科学的调剖效果评价指标体系,并对渤海锦州9-3油田实施调剖的某井区进行综合评价。     

用布尔可满足性验证逻辑电路的等价性

提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性.     

基于布尔可满足性的逻辑电路等价性验证方法

提出了基于布尔可满足性(Boolean Satisfiability,SAT)的逻辑电路等价性验证方法。这一验证方法把每个电路抽象成一个有穷自动机(FSM),为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言判定问题。改进了Tseitin变换方法,并将其用于把电路约束问题变换成(Conjunctive Normal Form,CNF)公式。之后则用先进的CNF SAT求解器zChaff判定积机所生成的布尔公式的可满足性。事例电路验证说明了该方法的有效性。     

领域科学数据云资源聚合模型

数据中心作为领域科学数据资源的核心设施,正在变得过于复杂、昂贵和低效.大规模领域应用和用户数量的增长,给数据中心的连接性、稳定性和安全性带来严峻的挑战.关于数据中心的资源整合、自动部署以及资源集中化管理正在受到当前学术界和企业界的广泛关注.以实现领域数据中心资源聚合、共享以及统一管理为目的,通过构建领域科学数据云,将多个数据中心连接成一种虚拟的数据网络,以便为领域数据访问、数据集成和数据管理提供环境和服务支持.着重研究了数据云代理模型、异构源共享模型以及资源消息模型.这些模型对于提高数据中心可扩展性和容错性、降低数据中心资源整合成本以及实现从传统数据中心向云化数据中心过渡起到非常关键的作用.最后,将领域科学数据云资源聚合模型引入到油气井科研数据共享服务平台的开发、部署、运行及监控管理中.实践表明,领域科学数据云模型是切实可行的,对于推动领域数据集成、共享、管理研究具有重要的参考意义和应用价值.     

活性剂对氩弧熔覆硼化物涂层耐磨性的影响

在Q235钢表面进行氩弧熔覆,并添加活性剂SiO2进行活性氩弧熔覆的研究。采用活性氩弧熔覆技术工艺,制备出添加8%B4C的熔覆层。采用光学显微镜观察了熔覆层的显微组织,测定了熔覆层的相组成,分析了硬质相的物质组成和熔覆层的硬度,测试了熔覆层的耐磨性。结果表明,添加活性剂后的熔覆层组织结构发生了改变,其耐磨性与未添加活性剂的相比提高了近1倍。     

田七颗粒有效成分测定

文章采用TLC法对处方中的三七进行了定性鉴别。     

图像置乱在数字水印中的应用研究

近年来,图像置乱技术被广泛地应用在数字水印中.文中分析了典型置乱算法的性能,验证了其作用.实验表明,由于Arnold变换计算简单,迭代较小的次数就可以获得较好的置乱效果,因此更适合在水印中应用.同时,在水印图像经过Arnold置乱预处理的情况下,当含水印图像的面积被剪切掉3/4时,提取出来的水印仍然比较清晰,所以采用置乱技术,很大程度上提高了水印的鲁棒性.