计算机辅助教学讲授平台的研制与典型课件设计

随着计算机辅助教育的迅速发展，计算机辅助教学（CAI）要求课件设计工具既要内容丰富，又要简单易用。文章介绍的计算机辅助教学讲授平台（CI）具备这两个特点。通过介绍讲授平台CI组成、课元制作、课元库组织，课件设计，可以看出该平台具有广泛的使用范围以及课件设计的发展趋势。     

Gen-2标签的RFID认证协议的研究

针对RFID系统的Gen-2类标签容量有限的特点,提出了一种基于Gen-2标签的RFID认证协议,将标签32位ID号分为低16位和高16位,利用标签的CRC-16位生成相应校验码作为密文传输.该协议避免了已有协议在安全性方面的5个缺陷,提高了数据库查询速度、降低了RFID标签的设计成本.并利用BAN逻辑对所提出协议的目标、假设和消息传递进行形式化分析,从理论上证明了该协议是安全可达的.     

基于拍卖的多Agent协商系统的研究

在多Agent系统中经常相互协作的Agent会结成具有相对稳定的合作领域和共同的交易理念,从而形成一定的公共知识,可以协作完成子任务,而多Agent协商系统中的成员既有合作性又有自利性,只有将二者有机结合起来才能保证高效地完成任务。文章在分析拍卖方式网络化、自动化、竞争化的基础上,从拍卖请求方和能力竞争方的角度,引入拍卖过程中的超时思想和Agent合作的历史信息对拍卖任务得不到及时的处理和由于拍卖方和竞买方的信息不对称,没有考虑历史信息的情况下成交效率太低进行分析、研究,提出一种多Agent拍卖流程框架和协商算法,从而使得在拍卖中各响应者都以积极并诚实的姿态参与协商,以致大大地提高了协商效率,且增加了响应者之间的透明性。     

企业信息描述语言BIDL的设计与实现

本文提出并阐述一企业信息描述语言ＢＤＬ以实例说明ＢＩＤＬ的全用方法。     

带有情感算子的Agent形式化系统研究

随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系.     

高交互客户端蜜罐Agent系统研究

根据国内外客户端蜜罐系统的发展现状以及恶意网页攻击机理,设计了一个基于高交互客户端蜜罐技术的协同Agent工作模型,并实现了Malicious Web Site Hunter(MWSH)恶意网页检测系统。系统主要包括控制子系统、高交互级蜜罐子系统及服务子系统三个部分。系统利用Agent技术的协作性以及客户端蜜罐技术的准确性来发现网络中的恶意网页。利用基于VSK逻辑的Agent形式化描述语言对系统涉及的Agent进行了形式化描述,并做了具体实现,不仅可以描述Agent和它的环境信息特征,而且可以描述其完整状态变化过程。     

基于IDM法与CRI推理机制的应用研究

模糊知识表示及处理技术是人工智能中的重要研究课题之一.内接圆直径匹配法IDM(In-scribed Diameter Matching)是一种新的模糊知识匹配方法,该方法在合成推理规ompositionalRule of Inference)方案下,根据应用领域选取合理的蕴涵算子与合成算子能提高模糊推理的效率和准确性.通过营养学领域内疾病诊断及治疗专家系统的实例验证了该方法是有效的.     

基于图的数据挖掘算法研究

对图数据频繁模式的挖掘是近年的研究热点,而从图数据库中挖掘频繁模式的关键是子图测试和候选子图生成操作。与传统广泛研究的频繁项集、频繁序列、频繁子树挖掘相比较,频繁子图的挖掘更复杂、更有难度,因为图同构问题是一个NP-完全问题。因此,必须有个好的规范化编码和有效的算法来避免子图同构这个难题。     

基于产生式系统的不确定性知识表示及推理研究

不确定性知识表示及推理是人工智能研究领域的重要内容之一。通过对不确定性知识表示及推理的问题的探讨，提出了不确定性知识程度（Uncertainty Knowledge Degree，UKD）的表示法，为提高不确定性推理结果的可信度提出了一些新的技术和方法，并通过实例验证了本方法的可行性和有效性。