基于粗糙集和信息熵的属性约简算法

粗糙集具有很强的定性分析能力，通过不可分辨关系找出内在规律性，很适合做属性的约简。可辩识矩阵为属性约简提供了一个浓缩了的属性区分信息，可以方便求到核属性，但对于矩阵中除核属性之外的其他属性组合的研究却不容易。熵是概率统计方法中一个概念，概率性的知识提供了一种度量。本文就是基于粗糙集的理论，运用可辨识矩阵，结合信息熵思想，提出一种属性约简算法，保证约简效果与速度。     

时间同步网的可生存性增强

研究大规模时间同步网的可生存性问题．时间同步网通过各节点的自主配置,拓扑结构不再是静态的、层次型的,而成为动态的网络结构,增强网络的可生存性．提出搜索世界的概念,针对时间同步网络建立了基于搜索世界的BA模型,并对模型进行优化,使时间同步网络的可生存性更高．动态的网络拓扑在部分节点失效以后受影响的节点能够自愈,给出了节点自愈算法,使节点自愈时对网络负载的影响比较小．     

谈判代理开发典型案例的研究

本文通过两个典型案例说明一个灵活有效的谈判代理开发方法.使用状态图和可废止逻辑规则说明谈判策略,将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中,就可以获得所需要的自动谈判代理.由于状态图和可废止逻辑有很强的适应性,当应用环境发生变化时,只需调整其标准和规则的集合.     

神经网络控制在工业机械臂的应用

工业机械臂控制系统具有多样化和非线性,难以利用传统的控制形式完成。本文提出一种基于神经网络的机械臂自适应参考模型控制方案。经验证,此控制方案工业机械臂系统能适应由模型不确定性和外界干扰所产生的未知变化。     

改进的验证正确性ACTL性质的限界模型检测方法

近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。     

基于离散时间距的在线可重构任务调度算法

任务调度是影响动态可重构系统性能的重要因素.针对现有预约算法中由于维护预约资源逻辑单元信息而带来系统额外开销大、任务调度自私性等问题,提出一种基于离散时间距的非预约调度算法.算法的特点在于通过任务紧迫度和时间距信息能够动态更新任务优先级和设置任务的启动时间,从而有效避免了复杂的系统开销和任务调度的自私性.实验表明,该算法能提高任务的调度成功率,而运行时间开销没有明显增加.     

可重构制造系统重构算法的实例研究

可重构制造系统（RcMS)的模型及其重构算法是可重构制造系统的形式化表示，是研究RcMS优化的理论基础，基于赋时可重构Petri网的可重构制造系统模型（TRPN－RcMS)及其重构算法是RcMS的形式化表示方法之一。文中以实例对RcMS重构算法进行说明和论证。首先假设一个RcMS的实例系统；然后，根据RcMS的当前系统组成及其生成计划生成RcMS当前系统的TRPN－RcMS模型；最后，根据RcMS重构后的系统组成及其生产计划的变化情况，利用RcMS的TRPN－RcMS模型的重构算法，生成重构后的系统的TRPN－RcMS模型。     

基于否证蕴含的极小一阶不可满足子式求解算法

解释公式不可满足的原因在软件分析与验证等众多领域都具有非常重要的理论与应用价值,而极小不可满足子公式能够为公式不可满足的原因提供精炼的解释,帮助应用领域的自动化工具迅速定位错误,准确地诊断问题失败的本质缘由.文中针对极小一阶不可满足子式的求解问题,引入了否证蕴含图及其正向与逆向可达结点的概念,并证明了不可满足子式与否证蕴含图之间的关系.基于二者的关系,提出了基于冲突分析与否证蕴含的极小一阶不可满足子式求解算法,并融合了蕴含图剪枝技术,以提高算法效率.通过实验与当前最优的深度优先搜索算法进行了比较,结果表明:文中的算法显著优于深度优先搜索算法,并且随着公式复杂度的增加,性能优势更加明显.     

Forecasting the efficiency of test generation algorithms for combinational circuits

In this era of VLSI circuits,testability is truly a very crucial issue.To generate a test set for a given circuit,choice of an algorithm from a number of existing test generation algorithms to apply is bound to vary from circuit to circuit.In this paper,the Genetic Algorithm is used in order to construct an accurate model for some existing test generation algorithms that are being used everywhere in the world.SOme objective quantitative measures are used as an effective tool in making such choice.Such measurews are so important to the analysis of algorithms that they become one of the subjects of this work.     

基于Keil for ARM开发环境的可重入中断实现

文章分析ARM7TDMI处理器的向量IRQ中断处理过程,在Vision4开发环境下,设计一个可重入的中断系统,并给出程序代码予以实现,所采取的策略对于嵌入式系统的实时性具有实用价值。