一种模糊小脑模型神经网络及其仿真研究

在传统小脑模型的基础上,利用其特有的寻址方式,引入模糊逻辑的思想,采用模糊隶属度函数作为接受域函数,提出了一种模糊小脑模型神经网络。重点研究了接受域函数的映射规律、隶属度函数及其参数的选取规律和学习算法。仿真结果表明,该模糊模型具有良好的泛化能力和逼近精度,且可获得连续性强且有解析微分输出的复杂函数。     

一种用于FPGA的单粒子翻转试验系统设计研究

单粒子翻转(SEU)试验是测试FPGA芯片抗单粒子翻转性能的重要方法.提出了一种用于测试FPGA芯片抗单粒子翻转性能的试验系统;该系统通过比对待测FPGA芯片输出数据序列和正确数据来判断是否发生数据翻转.如果发生数据翻转,则进一步统计翻转次数和翻转性质,从而能够较全面的测试FPGA芯片的抗单粒子翻转性能.运用该试验系统对某款FPGA芯片进行了单粒子翻转试验,测试结果显示该试验系统能够正确评估被测芯片的抗单粒子翻转性能.     

基于机会发现逻辑的多智能体系统形式化描述方法

MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性。机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型。在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法。对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现。     

主存储器设计方法与技巧

在计算机系统中,作为信息存储载体的存储器,其工作原理、设计方法对掌握计算机的工作原理十分重要,也是众多计算机课程中讲解的主要内容之一,用分组片选和地址分配的方法,对主存的设计方法进行了全面而系统的论述。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

中厚板轧机液压辊缝控制系统研究及其PLC实现

基于某中厚板轧机液压AGC计算机控制系统的设计和调试实践,对液压辊缝控制系统(HAPC)控制模型进行了理论研究,介绍了用PLC实现HAPC控制的系统配置,对采用PLC进行HAPC控制遇到的一些特殊问题进行了详细阐述·开创了PLC系统用于HAPC的先例,对于类似系统设计有一定的借鉴意义·     

高速公路养护管理系统数据库的设计

各了保证高速公路日常养护管理正常有序的进行,本文根据数据为的设计原理,方法及路面管理系统原理,结合高速公路养护管理系统的实际应用环境和操作业务流程,提出了高速公路养护管理系统数据库设计的4个阶段-用户实际需求分析、概念结构设计、逻辑结构设计和物理结构设计,设计出适用于各种高速公路养护管理系统最优的数据库模式,并建立了通用的数据库应用系统,使得养护管理系统能够进行路面性能评价、性能预测和养护维修决策。     

PTC在肝门胆管癌分型诊断中的应用

目的 :探讨经皮肝穿刺胆道造影术 (PTC)在肝门胆管癌分型诊断中的作用。方法 :2 2例肝门胆管癌 ,15例 (7例拒绝 )术前行 PTC检查 ;其中经右侧穿刺 3例 ,左侧穿刺 7例 ,双侧穿刺 5例。结果 :15例均根据 PTC结果诊断肝门胆管癌并作出 Bism uth分型 ,其中 型 2例 , 型 4例 , A 型 3例 , B型 1例 , 型 5例。结论 :PTC有助于肝门胆管癌的诊断和分型 ,应作为肝门胆管癌诊断和分型诊断首选方法     

L(Q)逻辑的一种保持性定理

对广义逻辑Ｌ（Ｑ）的一种保持性定理给予了证明。     

铁路信号计算机联锁系统的联锁逻辑变换

分析了铁路信号计算机联锁系统中流通的信息 ,将其分为涉安信息与非涉安信息两大类 ,并进一步提出当使用逻辑变量来表达涉安信息时的“安全侧逻辑状态”与“危险侧逻辑状态”。阐述了变换联锁信息表达形式的重要性 ,给出了根据故障 -安全原则实现安全逻辑变量的 2种表达形式。最后介绍了在研究实践中总结出的安全逻辑变量变换方法及其实效