基于DPLL的混合遗传算法求解SAT问题

基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。     

多安全模式内容管理系统研究

内容管理系统是目前企业信息管理领域的研究热点。该文介绍了企业内容管理系统的意义和技术发展趋势,并分析了现在企业系统中存在的问题。针对中小企事业单位的需求,设计和实现了易特内容管理系统,尤其在安全性上的改进,保障了企业各类信息的安全可靠。其实现思路对于提高内容管理系统在企业的应用提供了很好的参考价值。     

一种基于身份的N-R消息恢复盲签名方案

消息恢复签名方案因其具有消息恢复能力而具有特殊的意义,本文在基于身份的公钥密码体制的基础上,提出了一种基于身份的消息恢复盲签名方案。本文最后证明了该方案的正确性,并进行了效率和安全性分析。     

光子晶体的研究与应用

光子晶体是一种具有光子能带及能隙的新型材料。其特有的性质,使光子晶体具有广阔的应用前景。本文基于固体物理学的基本原理,对光子晶体的理论基础进行了简单介绍,根据其特有结构,对光子晶体的特性做了一定分析,并结合现实需要,综述了光子晶体在光学等方面的应用。     

Proteus仿真在模拟电子技术课程中的应用

模拟电子技术课程是电子信息类专业的重要课程,但在教学过程中同学们对很多典型电路的工作原理理解仅仅依靠教师进行分析,结合部分实验来加强理解,这对学生知识的掌握上存在一定的局限性。同时由于实验课时有限,导致学生对很对知识掌握更多流于"理性"而非"感性"。该文提出应用仿真软件Proteus来进行模拟电子技术仿真教学的思路。通过教学实例对PROTEUS进行"模拟电子技术"课程教学、实践教学和课程设计中的应用,使教师在讲述理论的同时,利用PROTEUS软件进行仿真、演示,从而增强学生的感性认识,使学生消除对理论知识的"抽象感",提高了学生的学习兴趣。     

数字流媒体教学系统的应用研究

21世纪是一个信息化的时代,以多媒体计算机互联网为核心的信息技术的应用浪潮,不但给现代教育带来了极大的冲击,同时也给现代教育注入了新的生命力。计算机信息网络应用打破了传统的教学思想、教学手段、教学内容、教学过程和教学组织,为广大教师学生提供网络化多媒体、信息交流平台、仿真教学系统和教学资源共享等。数字流媒体作为接入中国教育和科研计算机网的通用工具,为高等院校的信息交流与管理、教学资源共享提供了巨大作用。     

传感器网络中一种分布式组密钥管理方案

无线传感器网络需要安全组通信的支持,尤其是军事、紧急救灾等场合。然而由于传感器网络自身资源的限制,使得传感器网络的组密钥管理面临巨大的挑战。基于门限秘密共享机制和组密钥分量更新机制提出了一种分布式组密钥管理方案。分析结果表明,该方案具有较高的安全性和较小的网络开销。     

Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

动态分布式消息调度方法研究

提出一种适用于CAN总线网络的动态分布式消息调度方法,该方法能使消息在设定的生命期内成功地发送到目的节点,并且能实现公平地分配网络带宽。在这种方法中,消息帧的标识符段被重构,重构后的标识符的二进制值与消息的生命期、消息的等待时间等建立起对应关系,消息等待时间越长或生命期越短,消息的优先级越高。同时也从理论上分析了基于该方法的网络中所有消息完全可调度必须满足的条件,并实验验证该条件的正确性和消息调度方法的有效性。     

一种有效的求解一维下料问题的启发式算法

使用了一种改进的顺序启发式算法,在排样方式的生成过程中不断修正当前排入毛坯的价值,使之趋于合理,依次选取求解背包函数获得的最大单位价值的排样方式组成当前排样方案,迭代调用该过程多次,最终选取最优的排样方案。在保证较高材料利用率的同时考虑减少排样方式,增加最后一根材料余料长度等多个优化目标。通过多组实验结果比较,证实了算法的有效性。