程序属性的检测与程序属性的分类

摘要：在当今的各种程序中,很多人认为只存在两种程序,即善意程序和恶意程序,但对程序属性研究之后,发现还存在第三种属性的程序,该程序部分具有恶意性,部分具有善意性,第三种属性程序是由本文首次提出。本文提出解决问题的思路是：首先采用恶意权值计算公式对程序进行计算,判断该程序是善意程序还是恶意程序,并且分析了程序的权值是否发生了变化。如果是某个程序的权值发生了变化,那么此时善意程序被病毒感染的可能性很大,被病毒感染的程序在一定时候就能够体现出一定的恶意性,因此经过对病毒、被病毒感染的程序和善意程序三种不同属性程序分析之后,最后使用MMTD算法对三种属性的程序进行了分类：该程序是恶意程序,善意程序还是部分恶意部分善意的程序。     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能，它包括语义完全性和语法完全性两个方面．两者没有直接关系。通过强完全性概念研究两种完全性之间的关系，证明了以下结果：一个强完全的形式系统，若具有可靠性，则形式系统一定语义完全；若一个扩张系统是强完全的，则原系统一定强完全；若形式系统是古典完全的则必定强完全。     

汽车下缸体智能化装配工艺研究

在科技快速发展的背景下,汽车零部件生产线由手动装配向高效、快捷、智能化发展.对汽车下缸体智能化装配工艺进行研究,从人力资源、产品精度、质量风险、管理难度等方面对智能化装配工艺与手动装配进行对比,对装配过程中出现的问题进行原因分析,并展望了智能化在工业制造中的应用前景.     

单可表示类的特征

择优模型是目前常识推理领域中最常用的语义结构之一。在择优模型中有一类重要的模型－单射择优模型,近年来,众多的学者对该模型类从各种角度进行了研究,但一个重要而基本的问题,即何种类型的择优后承具有单射择优模型,虽经多位学者的研究到现在仍然悬而未解。目前,最好的结果Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”。文中提出择优模型的一种转换,将此转换应用于Kraus,Leham及Magidor提出的KLM模型上,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”,从而将该问题的研究推进了一步。     

一种检测网络流量异常和网络攻击的算法

尽管网络流量会出现异常,但大部分时间里流量变化是有规律的。如果网络流量出现异常,那么对整个网络具有较大的危害性,因此网管人员必须及时发现流量是否异常。在以往的流量检测算法中聚焦的焦点只是如何区分流量是正常还是异常,并未讨论此时是否存在攻击行为,这些是算法的不足之处。为了改进现有算法的不足之处,作者在查阅了有关资料和文献之后,提出了一种新的流量检测算法,该算法使用了相似性计算法算法,MMTD算法和粗糙集中的决策系统,将这三种算法在流量检测中进行应用是本文的创新点。本文解决问题的思路是首先使用MMTD算法对当前的流量是否异常做出判断,如果出现异常,则使用相似性计算算法将此时的流量与预警值进行比较,并且判断此时是否存在攻击行为,在文章的最后使用粗糙集中的决策系统对流量异常的原因做出决策。     

一种实现混合属性数据流聚类的算法

在当今的网络中存在三种形式的数据流,连续型数据流,标称型数据流和混合属性数据流。由于目前在数据挖掘中大部分算法只能处理一种属性的数据流,而处理混合属性数据流的算法却很少,但在数据挖掘的实际应用中常常需要将不同属性的数据流进行相互区分。事实上研究人员在区分不同属性数据流时,首先是将不同属性的流进行聚类,其次是对不同属性的流进行识别。在查阅有了有关资料和参考文献后,本文提出了一种对混合属性数据流的聚类算法,该算法的聚类思想是：①提取混合属性数据流的分类属性,②使用k-近邻算法计算数据流分类属性的相似性,③根据k-近邻算法对数据流相似度的计算结果,使用k-均值聚类算法对混合属性数据流进行聚类,④给出聚类的算法。     

一个新的高阶双向联想记忆模型及其性能估计

提出了一个新的高阶双向联想记忆模型.它推广了由Tai及Jeng所提出的高阶双向联想记忆模型HOBAM(higher-order bidirectional associative memory)及修正的具有内连接的双向联想记忆模型MIBAM(modified intraconnected bidirectional associative memory),通过定义能量函数,证明了新模型在同步与异步更新方式下的稳定性,从而能够保证所有被训练模式对成为该模型的渐近稳定点.借助统计分析原理,估计了所提模型的存储容量.计算机模拟证实此模型不仅具有较高的存储容量,而且还具有较好的纠错能力.     

一种新的邮件过滤技术研究

为了改进已有邮件过滤算法的不足之处,提出一种新的邮件过滤算法。以往的大部分过滤算法采用的都是邮件属性精确匹配算法,并未使用模糊匹配思想,因此邮件的漏检率较高,并且发现未知邮件的效率较低。针对以往邮件过滤算法中漏检率比较高的不足之处,文中提出的邮件过滤算法的改进思路是：首先使用传统的黑白名单过滤技术对已知的邮件进行分类,那些是正常邮件,那些是垃圾邮件。在此基础之上使用相似性算法来计算未知邮件与已知邮件的相似度,从而达到对未知邮件分类目的,最后使用MMTD算法对的邮件相似度的好坏做出衡量,并且以此为邮件过滤提供有效的依据,经过以上的三个步骤之后,最后进行邮件的过滤。     

程序规范自动检测与修正系统ADRS的研究

文中介绍了一个程序规范自动检测与修正系统ＡＤＲＳ的理论模型,在开放逻辑的思想基础上,文中提出了一种自动修正模型,并试图对李未提出的３个问题给出解决方案。作为对第１个问题的解决,作者提出了一种刻画程序规范重要性程度的全序结构,克服了加标记的二分法地粗糙性。作为对第２个问题的解决,作者提出了修正函数的定义和Ｒ－计算模型,并证明了该模型满足修正函数的要求。作为对第３个问题的解决,作者提出了Ｔ－修正函数的