基于Geom/Geom/(Geom/Geom)的双输入排队系统

为了使通讯系统P2P更有效地应用到现实生活中,建立了Geom/Geom/(Geom/Geom)的双输入排队系统并对其研究.利用拟生灭链和矩阵几何解的方法,得到了稳态下系统中的平均顾客数和平均服务台数的表达式,通过数值例子分析了有关参数对平均顾客数和平均服务台数的影响,说明该模型能够有效地分析一些实际的问题.该成果对通讯系统P2P的研究与应用具有一定的参考价值和指导意义.     

结合形态学运算的谱抠图声纳图像分割法

针对数字抠图与图像分割之间的联系,提出一种结合形态学运算的谱抠图声纳彩色图像分割法。首先通过形态学中的顶帽(top-hat)变换和底帽(bottom-hat)变换去除声纳图像中阴影的影响和背景的不均匀性,并进行图像增强;其次,将数字抠图中的alpha值考虑到图像分割中,通过全局平均迭代阈值法获取阈值,对抠图所获alpha图像进行阈值处理得出分割结果;最后,与多种现有的分割方法进行仿真对比实验,实验结果证明了本文分割方法的有效性。     

一体化联合作战仿真通信兵模型体系研究与实践

针对一体化联合作战仿真的实际需要和通信兵作战的主要特点,提出了一种全新的面向应用的通信兵作战仿真模型体系结构,并在该模型体系结构的框架下构建了一系列通信兵作战模型。最后介绍了由这些模型构建的通信兵作战仿真系统在工程中一个具体的实践应用。结果表明,面向应用的通信兵作战模型体系完全能够满足一体化联合作战仿真的需要。     

离散求交算法中的点元采样

从要进行求交的曲面方程中提取出曲面的高斯曲率、平均曲率、边界点等几何信息，根据这些信息将曲面离散成点元的形式，然后进行求交运算。实验表明，通过对曲面特征分析，缩小了点元动态重采样范围，能够有效地避免一些特征点丢失导致交点遗漏的情况，使离散求交算法更加稳定可靠。     

正则语言非正则运算的封闭性

本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性，进而得出正则语言类在非正则运算“∩”、“-”以及“ ”下的封闭性的结论，并具体给出识别三类语言运算的确定型有穷自动机模型．     

基于线性扩张的群决策方法

针对决策者给出方案集在每个属性下的偏序偏好,且决策者没有确定权重的多属性群决策问题提出了一种新的集结排列方法。该方法首先利用偏序的线性扩张求出方案集在各个属性下的排列概率,进而定义一偏好关系的概念,得到每对方案间的偏好度,然后采用OWA算子对决策群体进行集结,集结后的群体偏好具有偏序特征,能更真实地体现现实的决策问题,并且最大程度地反映了决策群体的偏好。最后给出了算例。     

三维立体零件几何造型试验系统研究

介绍了一个三维零件几何造型的试验系统,系统具有体素构型功能、集合运算功能和消除隐藏线功能。最后,给出若干实例。     

一种面向弹药保障的消耗预测方法

结合部队弹药保障，在传统兰切斯特理论的基础上，采用诸兵种合同作战的兰切斯特方程对弹药消耗预测进行研究，为实战指挥提供更准确的作战决策依据，并且举例提出具体实现方案，采用C Builder和Matlab对之进行了仿真。     

运输作业调度的优化模型

基于最优化理论与方法改进货物运输模型，建立一种有效的运输工具调度模型和货物运输装载模型，讨论模型解的情况、性质和求解算法．运输实例表明，该模型的运用可获利最大且运输工具的承载能力得到充分利用．     

函数式语言中的数组更新(I)

为了能够较好地处理函数式程序设计语言中的I／O问题，通过采用Monad方法将I／O加入到函数式程序设计语言中，来保持函数式程序设计语言的优点。本文探讨了在函数式I／O系统中数组操作的问题和数组更新的指称语义。