铁路系统的模型检查和参数分析

研究铁路系统的自动验证技术，建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。     

基于OBDD的描述逻辑ALCIO判定算法

给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。     

Using new fusion operations to improve trust expressiveness of subjective logic

Subjective logic provides a means to describe the trust relationship of the real world.However,existing fusion operations it offers treat fused opinions equally,which makes it impossible to deal with the weighted opinions effectively.A.Jφsang presents a solution,which combines the discounting operator and the fusion operator to produce the consensus to the problem.In this paper,we prove that this approach is unsuitable to deal with the weighted opinions because it increases the uncertainty of the consensus.To address the problem,we propose two novel fusion operators that are capable of fusing opinions according to the weight of opinion in a fair way,and one of the strengths of them is improving the trust expressiveness of subjective logic.Furthermore,we present the justification on their definitions with the mapping between the evidence space and the opinion space.Comparisons between existing operators and the ones we proposed show the effectiveness of our new fusion operations.     

命题逻辑与数学证明方法（Ⅰ）

简单地讨论了命题逻辑，用命题逻辑全面地研究了推理格式和数学证明方法，形成一个完整的系统，内容包括命题逻辑．     

基于FPGA的简易逻辑分析仪设计

在嵌入式开发调试中，逻辑分析仪可以很好的辅助开发人员进行断点、触发和跟踪等调试．本设计应用VerilogHDL硬件描述语言和FPGA芯片设计一个多通道的简易逻辑分析仪，当逻辑信号的门限电压以0．25V为步长值在0．25V-4V之间变化时，具有16级采样速率，即可实现一个16通道的逻辑分析仪．     

一种基于模糊逻辑和神经网络的电力负荷预测方法

应用模糊理论、人工神经网络等智能技术,确定了有效的电力系统短期负荷预测方法,其中着重考虑了天气因素对电网负荷的影响,并开发了实用化的负荷在线预测软件,该软件是基于Windows的应用程序,具有开放式的结构和友好的人机接口,可用于每小时或每15min的负荷预测,测试结果表明,该方法具有良好的预测精度。     

基于 Vague 集的加权模糊运算

分析了Vague集的性质,定义了Vague集上的加权析取式和加权合取式。讨论了Vague集上的加权析取式和加权合取式的模糊运算及性质,这些运算及性质可以很好地用“投票模型”来解释。     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

数字逻辑电路教学实践中故障排查的研究

数字逻辑课程是学习计算机的重要专业基础课,数字逻辑电路实验通过分析、设计、调试数字逻辑电路,更好更快地掌握本课程的理论和实际操作。该文通过对教学实践中出现的故障从理论上进行分析、研究和总结,并应用到实践中,使学生在学习实践中正确掌握实验方法,尽量减少故障的发生并及时排除故障。     

a~n序列伪随机多频信号数学分析及实现

利用-1,0,1这3个元素的3元数加法群自封闭加法的编码原理,建立将多种频率信号合成、编码的a~n序列伪随机多频信号.以2~n系列伪随机多频信号的时域表达式为基础,构建可用数字逻辑实现的二进制序列,利用复杂可编程逻辑器件(CPLD)及其软件实现伪随机多频信号的发射波形.研究结果表明:其波形既具有某种随机波形的特征,又能事先设定,可重复产生;其序列主频率信号强度基本相等并不随频率增大而减弱,频点在对数坐标系上等间距,分布合理.