模型检验中迁移关系的分组策略

迁移关系的构建是基于BDD模型检验中的一个重要环节，而建立占内存尽可能小且运算高效的迁移关系一直是难点，通常做法是对迁移关系进行分割．提出一种的对按位分割后的迁移关系进行分组的方法．通过对ISCAS-89中时序电路的试验表明，该方法对其中部分电路是有效可行的．     

作战仿真中实体的运动模型和实时动画显示

构建了一个基于DIS协议的实时作战仿真系统．为满足实时动画显示的要求，采用两组简化的运动学方程描述战场实体的运动模型，提出实体分类方法、实体存储结构以及实体图形优化显示方法．最后给出一个仿真实例。     

利用相似性比较提取车轮图像

提出一种从大量的列车序列图像中提取包含完整车轮的清晰图像的方法．采用两级分析的方法，首先利用直方图交叉方法比较标准图像与候选图像之间的直方图相似度；然后用小波变换对图像进行多尺度分解，从小波系数中计算图像的各个方向边缘特征；最后将这两种特征结合起来，将那些满足阈值条件的图像选择出来．实验和实际应用表明，该方法可以有效地将清晰的车轮图像提取出来。     

边界点集规划与注塑模具浇口位置的优化

根据平衡流动路径特点，提出了以理想流动模式为目标、基于制件边界几何信息的浇口位置优化选取的原则；并以平板制件单浇口注射成型工艺为例，研究了最佳浇口位置的描述方法并建立了相应的数学模型，给出了优化算法及制件边界特征点集的规划提取方法；根据所建数学模型和所选用优化计算方法，开发了相应的计算软件，经实例验证，算法和模型可靠。     

基于MapObjects的流域GIS系统开发及应用

以Microsoft Visual Basic为软件平台，应用ESRI公司提供的COM对象库——MapObjects，结合“数字清江”项目中清江流域地理信息系统的研制，阐述在MapObjects下COMGIS的二次开发方式及实现过程。     

基于3S技术的北京野鸭湖湿地资源的动态变化研究

充分利用现有的遥感影像资料,选取合适的算法对不同传感器和不同时相的遥感图像进行融合,得到清晰且分辨率高的融合图像,利用地理信息系统软件叠置分析功能并结合影像特征分析和野外调查,消除由于不同时相融合带来的不利影响。有效地提取出野鸭湖湿地1998年、2000年和2002年的湿地面积,并对其空间变化进行了对比分析。研究结果表明:由于近几年的持续干旱,野鸭湖湿地面积和空间位置发生了较大的变化。     

基于功能替代的实时事务调度

实时数据库事务除满足一般的一致性（完整性）限制外必须满足时限，故高成功率的调度策略是系统的关键，该文提出了一种基于功能替代性的事务模型，它定义事务为若干任务（事务步）的集合，每个任务又由若干功能等价的子事务组成，在每个任务（事务步）中取一个子事务就组成该事务的一个替代，该模型具有较强的描述能力，文章研究了事务预分析的策略与方法，分析了事务的可调度性，在此基础上，给出了相应的调度策略与方法，替代成为事务调度和并发控制的基本单位，一个替代成功执行则该事务可提交，但某替代夭折时还可选另外的替代，只有当全部替代都失败或超过（或必定会超过）截止期时，该事务才夭折，事务的替代特性使事务的执行有多条路径，提高了事务的适应能力和应力能力，从而提高了事务的成功率，文章还针对一个实验系统进行了模拟实验与性能分析。     

基于模糊逻辑的ABR显式流量控制算法

面向连接的ATM网络通过一系列的流量管理机制为各种应用提供纯粹的服务质量(QoS)保证，其中ABR业务流量控制的作用尤显重要．显式速率(Explicit Rate,ER)控制是一种有效的机制，有效性、公平性和算法复杂度是各种显式速率控制算法所面临的主要问题．该文将ABR业务流基于速率的端到端闭环反馈控制抽象为控制理论中典型的调节系统，运用不依赖对象模型的模糊控制理论设计了一种新的流量控制算法——模糊速率控制算法(FRCA)．仿真试验表明FRCA的综合性能良好：保证了最大—最小公平性的实现；在LAN和WAN上均有较好的适应能力；算法的复杂度低；队列长度的控制能力强；易于硬件实现．     

关于最佳鉴别特征维数问题的讨论

该文对最佳鉴别特征的最佳维数问题进行了详细的讨论．文章首先对最佳维数问题进行了界定，然后指出了两种最佳特征维数为c-1维的情况即以某些基于矩的可分性判据(准则函数)为优化目标的最优特征和以某些特殊的分类器错误率为优化目标的最优特征．最后该文运用方差分析法对最佳鉴别特征进行特征选择使之代入最小距离分类器后识别率最大．     

逆向云在定性评价中的应用

现有的定性评价存在主观性和随意性大的缺点，缺乏客观性和精确性,云模型是一种定性与定量之间相互转换的有效工具，逆向云可以实现定量数值与定性概念的自然转换，从而得出一个用精确数值表示的定性概念．该文分析并给出了逆向云发生器的具体算法，并对还原的各特征值进行了误差分析．最后将该算法应用到射击评判上，评价结果不仅有射击准确度的评价，而且有运动员心理素质的分析，比仅仅用环数来评价一个运动员更准确、更具体．