舰船推进轴系轴承最优定位一体化设计

探讨了轴承位置双向优化的必要性,基于轴系应有足够横向挠性即较小的轴承负荷影响系数和轴承负荷应尽可能平均分配的要求,建立了确定最优安装位置的数学模型。最后,探索了合适的优化计算方法,并进行了实船计算。     

运筹决策在潜艇防御中的应用

本文应用运筹决策理论,对潜艇在防御作战中规避鱼雷攻击时采用的方案进行优选,对某一特定制导方式的鱼雷所采用的规避措施提出了确定型模型及决策原则,对以概率出现的不同种类制导方式的反潜鱼雷提出了不确定型模型及决策原则,并根据模拟数据及理论分析,作出决策表,给出了确定型模型及不确定型模型的决策结果。     

SIM—LISP:一个通信网络管理专家系统外壳的设计与实现

本文介绍了笔者为开发名为OONMES的网络管理专家系统所实现的一个简单专家系统工具SIM-LISP。SIM-LISP是一个用C/C++语言来实现的模拟LISP语言的可调用函数集,它短小精巧,速度快,可以完成针对网管专家系统的事实或规则知识的表示、匹配、合一和推理等基本操作,并有与知识对象的连接功能,是网管专家系统内核实现的支撑环境。     

关于多方向进攻作战中的兵力最优分配问题

本文以兰彻斯特平方定律为理论依据 ,通过求解等式约束的非线性规划数学模型 ,给出了常规战争条件下大规模多方向进攻作战中的兵力最优分配的数量分析方法和基本原则     

胞腔动力学中一个偶合系统的渐近性质

本文讨论一个生物系统的解,利用上,下解构造两个迭代序列,证明了它们分别单调上升,下降收敛到方程的唯一解,并得到解到一个估计式,进一步通过巧妙地构造适当的初始迭代函数,得到了解的一系列渐近性质。     

含收益带费用的校对问题的最优停止

在假定每次校对费用可能不一样且带来一定收益的条件下,讨论了校对问题的最优停止,给出了Ｐｏｉｓｓｏｎ模型与二项模型的最优停时。     

恒加试验的最优线性不变估计

给出了恒加试验的最优线性无偏估计与最优线性不变估计。与有关文献给出的二步估计相比,这两个估计有较大改进,并且在计算上简单可行。     

用矩阵法FTA 进行非单调关联系统的早期不交化

本文针对带有重复事件的非单调关联系统故障树,定义了非单调关联系统的割集矩阵及不交化最小割集矩阵,利用矩阵变换实现故障树的早期不交化,从而为求解复杂非单调关联系统,解决其ＮＰ困难问题,提供了一条新途径     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

线性分式规划原始单纯形算法有限性问题

本文用一个数值例子说明用[1] 和[2] 中的原始单纯形算法求解退化的线性分式规划(LFP) 可能会出现基循环,从而得不到最优解。于是就此情形引入了Bland规则,并建立了有限性算法。