泛“蕴含”运算和泛“串行推理”运算研究

泛“蕴含”运算是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统具有普遍意义的逻辑运算之一.但常见蕴含算子往往凭主观经验给定,缺乏理论指导和使用的有效性分析,具有很大的随意性和盲目性.本文首先研究了“蕴含”运算的思想基础,认为“蕴含”运算是“串行推理”运算的逆运算.然后提出了“蕴含”公理,从代数系统角度给出了“蕴含”运算的定义,提出并证明了“蕴含”运算的表示定理,对常见的蕴含算子进行了有效性分析.最后研究了“蕴含”运算在“串行推理”运算中的运用.从而克服了已有的蕴含运算理论存在的不足.这样实际应用就可     

具有通用性的设备面板模拟程序的设计

文中针对目前电子仪器设备上十分常见的液晶显示屏 控制键盘面板结构，设计了一种以帧为基本语句的面板描述语言PDL，并实现了其文法分析程序。本文给出了以PDL为基础的设备模拟程序的结构，在这种结构下可以实现模拟程序和面板描述数据的分离，使模拟程序具有了通用性，提高了开发效率。     

基于拟合的地震图波形自动提取方法

首先研究了地震图的预处理技术,并提出一种改进的弧形校正方法和滑动窗口波形分割方法.在此基础上,提出了一种基于三角多项式的分段拟合算法,并针对函数阶数的确定进行了分析.实验表明,该方法具有抗噪能力强,获得波形光顺,刻划波形起伏准确的优点.     

硬件木马的分析与检测

现在芯片在设计或制造过程中被植入硬件木马的可能性越来越大。为了避免发生大规模硬件木马的攻击,本文对硬件木马的危害、概念、分类和技术背景进行详细的阐述,同时介绍如今流行的4种硬件木马分析检测方法,并给出可行性方法的建议。     

移动设备智能笔画输入法中的用户错误模型研究

笔画输入法是移动设备上的常用输入方法之一,现有的主流产品均要求用户掌握汉字的正确笔画和笔顺,从而影响了这种输入法的普及使用.作者将智能辅导系统有关学生模型、错误诊断等理论应用于笔画输入法的容错设计,提出了一种能够自动识别并适应用户水平的容错模型,并在某智能整句笔画输入法中得到了实现.实践表明,该模型降低了对用户的要求,极大地提高了输入法的易用性.     

中文词表检索技术研究

词表检索技术是中文信息处理中的基础性工作,本文在分析现有技术优缺点的基础上,对基于链地址法的中文词表哈希函数的设计作了深入分析,提出了评价不同的哈希函数的性能指标,并给出了这些性能指标在理论上的期望值。以这些性能指标为根据,本文给出了一些具体的中文词表哈希函数。实践表明,这些函数有较高的效率。     

基于试题空间的学习诊断方法

在智能教学系统中，知识空间理论提供了一种描述知识结构的方法，常被用于进行对学生学习状态的诊断。本文对已有的知识空间理论进行了改进，提出了试题空间的概念，给出了基于最短路径的最优诊断原理，以此为基础，给出了一种新的更为有效的学习诊断方法．通过基于ID3算法的决策树生成方法对之进行了算法实现。研究表明，这种方法能够提高诊断的效率。     

多级模糊层次综合评价的不规范畜禽养殖整治应用研究

对不规范畜禽养殖整治项目实施后的绩效评价,对于规范与指导养殖整治具有重要意义。以上海市A区不规范畜禽养殖整治项目为例,从经济效益、社会效益、环境效益和可持续影响4个方面构建不规范畜禽养殖绩效评价多级指标体系。为有效降低主观因素对评价结果的影响,本文通过构建指标体系模糊比较矩阵,进而构造判断矩阵及其拟优一致矩阵,最终得到评价体系各指标重要性排序结果,并进一步分析了治理工作实施中存在的问题及后期实施建议,对提高不规范畜禽养殖整治状况评价的客观性和后期管理具有一定的实用价值。     

知识表示的超拓扑结构研究

针对９０年代以来人工智能研究逐步转入低潮的局面,提出了关于ＡＩ的新理论,主要研究了知识表示的超拓扑结构。认识到超拓扑结构是客观世界中事物的普遍现象,抽象出ＨＴＳ＝ＮＨ＋ＨＬ。提出了ＴＨＳ的状态空间与解路径,定义了解路径的承接超结点。对ＨＴＳＫＲ进行形式化的定义,研究了超结点的包容性、等。     

涉密信息系统的防病毒木马方法

针对军工单位涉密信息系统的安全保密技术防护现状,对病毒木马的防治方法进行研究。介绍现有涉密信息系统的防病毒木马软件的原理和关键技术,分析了防病毒木马软件的不足,介绍一种自行开发的病毒木马辅助查杀软件,并通过部署多维化防病毒木马体系、涉密信息系统入口的防毒流扫描技术、其他辅助手段以及加强安全保密工作等手段对病毒木马进行防治。结果证明:军工单位应该将病毒木马防范技术和安全保密管理工作结合起来进行常态化管理,才能确保涉密信息系统的安全可靠。