BDI模型信念特性研究

Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性．把信念拓展为知识性信念和可实现信念．Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性．Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标．用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了“逻辑全知问题”和逻辑蕴涵的副作用问题．可实现信念满足KD公理,知识性信念满足KDT4公理．两种信念适合描述Agent的意识状态和意识模型．     

微处理器（MP）保护功能的一种自测试方法

本文介绍了MP的保护功能及其测试,提出了一种利用微机资源进行故障仿真的自测试方法,该方法简便、规整、直观,不需要借助外部的自动测试设备,并且已经在386、486和586微机上得以实现,效果良好。     

剖析黑客Sniffer

对黑客的一种重要攻击手段Sniffer进行了分析，介绍了Sniffer的基本概念和工作原理；对Linux下黑客Sniffer（linsniffer)作了剖析，并提出一种新的对付linsniffer的简单有效的方法和可供进一步探索的思路。     

OS扫描检测方法的研究

OS扫描是黑客进行OS漏洞攻击的前奏，实时检测OS扫描是防止系统遭受OS漏洞攻击的重要手段。文中分析了OS扫描，指出了检测OS扫描的难点，提出了检测OS扫描的方法，并在linux下用开发程序对方法进行了验证。     

基于故障图模型的故障诊断方法研究

在复杂系统故障诊断中，为了解决故障树模型过于简单和现有故障图模型过于复杂而且分解简化比较困难的问题，在故障树模型的基础上进行拓展，提出了具有扇入节点和层次节点的有向无圈的故障图模型，阐述了基于该模型的故障诊断和故障影响预测原理，并且给出了基于该模型的一系列相关预处理方法及算法．它们包括：生成子树库和生成可探测节点路径库的预处理方法、故障诊断推理算法和故障影响预测算法等．     

心音信号分析方法及其进展

指出心音信号分析对于心血管疾病的诊断具有重要的意义,并对心音信号的主要基本方法及发展趋势作一个综合的介绍     

通用微处理器功能测试序列自动生成系统

本文介绍一种用于微处理器功能测试的测试序列自动生成系统(简称μP)测试序列生成系统或μp自动测试生成系统)。该系统能对各种不同类型的微处理器产生功能测试序列。系统采用结构化程序设计的原则,对各种不同的μp测试算法都具有较强的适应性。用户只要按照一定的描述规则输入某种μp的指令系统,该系统将解释用户输入并产生该μp的功能测试序列。生成的测试序列可以是汇编符号形式,也可以是机器代码形式,还可以是汇编符号和机器代码的对照形式。该系统已研制完毕,并对8085,6800,6502,Z80等数种常见芯片产生了功能测试序列,用于我们研制的MP—8—TS通用微处理器功能测试仪上,效果良好。     

检测端口扫描的方法研究

文章介绍了端口扫描的基本原理,总结了现有检测端口扫描工具存在的问题,提出了一系列新的解决方法和措施,基于这些方法和措施设计开发了一个程序进行验证.     

一种适应于移动互连网的数字签名方案

本文描述了一种适用于移动互连网的数字签名方案。这种方案基于分布式计算体系,在签名者(或验证签名者)私有密钥和与通信对端共享的密钥不扩散的前提下实现签名方案。该方案解决了在只有弱计算能力的移动通信终端进行复杂签名和验证签名计算的问题。     

一种基于遥测的飞行器分布式故障诊断方法

分析了目前典型的分布式故障诊断系统控制组织方法，针对飞行器实时故障诊断的要求，提出了基于故障树的合同网组织模型。