网络微积分学研究

网络微积分是最小加代数理论在网络分析中的应用。网络微积分主要用于对网络中流问题的考察．它所形成的体系可以用于对网络中的流问题进行建模和定量分析。网络微积分广泛用于网络中的流量控制协议的分析，调度器分析，以及与网络QoS控制相关的分析。文中主要对网络微积分的基本原理和重要结论做了一个系统的综述。     

园区网建设的交换和路由技术

介绍了路由和交换的概念、特点和功能，讨论了目前园区网建设中的几种流行技术，分析了这些技术的特点，并指出交换技术解决了目前网络中存在的一些问题，采用交换技术来建设园区主干网将是大势所趋．     

构件组装技术在虚拟实验室中的应用研究

基于构件的软件复用技术是实现软件工程化开发和工业化生产的重要途径,其中构件的集成组装是关键。目前虽然提出了许多构件组装理论,但如何在特定领域根据实际要求实施基于构件组装的软件开发过程仍是值得进一步研究的课题。本文针对计算机硬件类虚拟实验室芯片设备复杂多样、难于开发的问题,在深入分析芯片工作原理与结构特征的基础上,提出一种基于数据驱动的构件组装方法。该方法通过充分重用已有芯片构件以可视化组装的方式开发新芯片构件及建模实验,从而有效提高了开发效率同时软件具有很好的易维护性和可扩展性。     

基于智能决策支持的协同设计的研究

讨论了产品协同设计对智能决策支持的需求,给出一个基于智能决策支持的协同设计系统体系结构模型,并重点分析了协同设计任务模型的分类与重构机制,提出了一个采用贪心法和相似匹配算法相结合的任务重构机制来求解模型的方法。     

基于重路由匿名通信系统的负载分析

基于重路由匿名通信系统,如Mixes,Onion Routing,Crowds等,采用重路由机制在应用层转发数据,使实体之间的通信以间接的方式进行,从而有效地隐藏通信实体的身份信息,如主机的IP地址等.在性能方面,这种机制导致系统中产生额外的开销,如通信延时、负载等.着重从理论上分析了系统中的成员负载.通过深入考查基于重路由匿名通信系统的重路由机制,推导出了基于重路由匿名通信系统中成员负载的概率公式,证明了成员负载由系统中成员数目重路由路径数目以及重路由路径长度的概率分布所决定.应用该公式计算Crowds系统中成员的负载,得出精确的负载期望值为1/(1(P_f)+1,改进了Reiter等人的分析结果O((n+1)/((1(P_f)²n), 证明了Crowds系统的成员负载不受系统中成员数目n的影响,具有良好的可伸缩性.并通过仿真实验验证了该分析结果.其结论为设计和规划匿名网络提供了理论依据.     

基于知识的SA／SD智能转换系统KBSDT

本系统把人工智能技术引入ＣＡＳＥ工具研制，采用超文本模型管理文档，具体实现了数据流图到结构图的知识设计和智能转换，能在很少人工干预下完成软件开发中ＳＡ／ＳＤ高效转换。     

磨矿工艺设计软件的研制与应用

利用人工智能和算法语言的有机结合，较好地实现了磨矿工艺设计过程的计算机化。本文重点介绍软件的设计思想、结构组成及应用。     

A quality of service routing protocol based on mobility prediction in mobile ad hoc networks

1　ＩＮＴＲＯＤＵＣＴＩＯＮＱｕａｌｉｔｙｏｆｓｅｒｖｉｃｅ (ＱｏＳ)ｗｉｔｈｔｒａｎｓｍｉｔ ｔｉｎｇｍｕｌｔｉｍｅｄｉａｉｎｆｏｒｍａｔｉｏｎｉｓａｋｅｙｔｅｃｈｎｏｌｏｇｙｉｎｔｈｅｎｅｘｔｇｅｎｅｒａｔｉｏｎｎｅｔｗｏｒｋｓ.Ａｔｔｈｅｓａｍｅｔｉｍｅ ,ｉｔｉｓａｈｏｔｉｓｓｕｅｉｎｎｅｔｗｏｒｋｒｅｓｅａｒｃｈ[1,2 ] .Ｍｏｂｉｌｅａｄｈｏｃｎｅｔｗｏｒｋｓ (ＭＡＮＥＴ)ｉｓａｓｐｅｃｉａｌｗｉｒｅｌｅｓｓｎｅｔｗｏｒｋ ,ｗｈｉｃｈｉｓａｍｕｌｔｉ ｈｏｐｔｅｍｐｏ ｒａｒｙａｕｔｏｎｏｍｏｕ…     

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

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

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

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