软件工程与CASE发展综述

首先介绍了自60年代末期以来软件工程中采用的结构化方法、面向对象方法学、实体关系方法、面向事件方法、形式化方法以及近年来多种方法的结合研究,然后介绍了自80年代中期以来软件工程中采用的CASE技术的发展情况,最后指出今后的软件工程应该是“方法学＋CASE技术”的结合,并且很有可能在今后的软件工程中,CASE技术将占据主导地位。     

移动自组网络Anycast路由协议安全机制的研究

在分析了领域研究成果的基础上提出了一种新的移动自组网中Anycast路由协议安全机制,并基于该安全机制对DSR协议作了改进,最后给出进一步的研究方向.     

选矿专家系统环境的总体结构

介绍选矿专家系统环境MPESE的总体结构。综合应用专家系统、人工神经元网络、遗传技术、多媒体技术、软件工程、计算数学、工艺矿物学及矿物加工学,建立了选矿专家系统的开发环境,可用于建造新型选矿专家系统,用以完成矿石可选性预测、流程及设备的选择、生产过程操作指导及机械设备的故障诊断。MPESE系统环境主要由五部分组成：知识库、多媒体库、推理机制、用户界面和应用工具。系统以Microsoft Windows为操作平台,采用32位编程技术。知识库由统一的基本元素－对象组成。系统的推理机制封装在各知识类中,通过属性继承和消息传递来执行推理求解。各推理机制相互独立,提高系统的灵活性。     

基于求传递闭包的Warshall算法的改进

围绕传递闭包分析比较了著名的Warshall算法,给出了一个三角形算法。当关系矩阵是稀疏矩阵时,该算法比Warshall快。     

移动自组网中一种优化的局部声誉系统

移动自组网节点间的通信由多个节点相互协作来共同完成,节点合作与否是实现通信的关键。在缺少预先约定的信任关系时,合作性的安全机制是解决网络内部恶意节点和自私性节点不合作行为的有效方法。提出了一种优化的局部声誉值合作性方案,该方案只在k跳邻居内交换声誉值,系统开销小,并能充分学习邻居的经验。采用二进制指数后退算法对不合作节点进行处置,能有效激励节点的合作性,提高网络的性能。     

重路由匿名通信系统中基于秘密共享的重路由算法

重路由匿名通信系统主要采用重路由机制来提供匿名保护．已有的下一跳重路由方式具有抗攻击能力弱且通信延时大等缺陷．提出基于秘密共享的重路由算法,用于在下一跳路由中实现端到端的加密,从而有效增大恶意成员的攻击难度．理论分析表明,抗攻击能力达到与源路由方式同等水平．并且,由于发送者能有效控制路由长度,因而能保证良好的通信性能．     

基于比特承诺的电子拍卖方案

在拍卖过程中如何保护投标者隐私和防止中标者反悔是设计安全电子拍卖系统的关键问题,也是目前网上拍卖系统急需解决的问题。文章利用伪随机数产生理论和比特承诺机制的优点,给出了一个实现随机标价的密封式电子拍卖方案。该方案除了满足投标者匿名、投标价保密、不可否认性、强可验证性等安全要求外,还具有技术简单、通信量小、随机标价、限时强迫兑现等优点。     

匿名通信概览

对匿名通信的基本概念及相关理论进行了较为全面的整理。阐述了匿名通信的研究意义,介绍了匿名通信及其攻击的定义。在此基础上对于目前不同的匿名通信系统进行了分析和评价,并介绍了重要的攻击形式。最后提出了匿名通信的未来研究方向和关于匿名通信的法律问题。     

异构数据集成采集交换平台中安全审计技术的设计与实现

以自行开发的基于异构数据源通用ETLA工具为背景,讨论了其审计监控子系统的设计方法和实现.该子系统具有完整的审计安全保护、监控整个数据的ETLA过程和日志分析功能.     

微型计算机中西文表格自动处理技术

本文结合中南工业大学研制的“IBM-PC/XT微型机中西文数据库管理系统表格处理软件”,讨论了表格处理软件所必须具备的功能,论述了实现这些功能、提高处理能力所采取的技术措施。