基于约束的特征关系表达

该文对基于约束的特征关系进行了深入研究。首先分析了约束与设计意图的关系及其对产品构成的影响,指出特征高层关系的表示是特征参数化的重要内容。在分析特征之间存在的各种约束关系的基础上,提出了用一种图———特征关系图（Ｆｅａｔｕｒｅ Ｒｅｌａｔｉｏｎｓｈｉｐ Ｇｒａｐｈ ,简写为ＦＲＧ） 来表示这些关系及其属性,并给出了对ＦＲＧ 图管理的具体算法。该文的研究结果在某ＣＩＭＳ工程中的产品建模系统ＸＬＭＦＣＡＤ 中得到了应用。     

基于时间序列分析的纪特邮票发行量预测

在调查了国家邮政局在纪特邮票发行过程中的具体操作和分析了纪特邮票数据本身的特点后 ,采用社会统计学中的时间序列分析法分析了我国近 2 0年来纪特邮票预定量数据 ,提出了 3个纪特邮票预定量的数学模型 ,预测了今后几年纪特邮票预定量数据。通过对数学模型的求解 ,获得一些纪特邮票发行内在规律 ,而这些规律对决策结构在决策过程中有一定的参考作用。     

网络拥塞控制中探测元机制的研究

为提高TCP协议在长时延、高差错率网络中的性能,探测元机制做为一种主动自适应机制,在TCP的许多改进实现中被涉及。详细阐述了探测元机制的原理和具体应用,并在NS仿真中实现了该机制。理论分析和仿真实验显示,在TCP中引入探测元机制,能有效提高长时延、高差错率网络的吞吐量。     

一种适合星上处理的动态IP路由算法

分析了宽带卫星网络的拓扑结构和交换方式，并对卫星组网的路由特点和基本路由策略进行了研究，设计了一种适合星上处理的动态IP路由算法。仿真分析结果表明该算法具有较低的计算复杂性，需要的存储空间很小，能够有效克服卫星移动性对路由计算的影响。     

一种适合星上处理的动态IP路由算法

分析了宽带卫星网络的拓扑结构和交换方式,并对卫星组网的路由特点和基本路由策略进行了研 究,设计了一种适合星上处理的动态IP路由算法。仿真分析结果表明该算法具有较低的计算复杂性,需要 的存储空间很小,能够有效克服卫星移动性对路由计算的影响。     

格式化字符串攻击检测与防范研究

从攻击原理、攻击检测与攻击防范角度研究格式化字符串攻击.文中首先比较了格式化字符串攻击和缓冲区溢出攻击的联系与区别,总结了*printf()系列函数与格式化字符串攻击相关的3条特殊性质以及6种格式化字符串攻击的方法.采用基于源代码的检测方法对格式化字符串漏洞进行检测,并阐述了漏洞检测方法的原理和关键代码.最后对格式化字符串攻击的3种防范技术FormatGuard、Libsafe和White-Listing进行了比较研究,特别对Linux下的基于动态链接库的保护方法Libsafe的原理及其对格式化字符串攻击的防范策略采取的3个步骤进行了详细分析.     

邮政枢纽数据处理系统可靠性、可用性和可维性的分析与设计

分析了邮政枢纽数据处理系统的可靠性、可用性和可维性要求，对该系统进行了可靠性、可用性和可维性分析、设计及优化，并给出相应的策略与算法。     

卫星网络基于时空的动态IP路由

研究宽带卫星网络的拓扑结构和路由策略,设计了一个基于时空的分布式路由算法,其计算复杂性为O(1)。针对卫星移动性进行的仿真结果表明新算法能够有效确定最小时延传播路径。     

短波信道纠错编、译码器的软件模拟

随着计算机技术的飞速发展，纠错码技术已广泛用于数字通信系统。讨论了在ＨＦ信道上的纠错编、译码的计算机模拟。