灭火作战指挥模拟训练系统设计

本文从灭火作战指挥模拟训练系统设计的角度,提出了系统开发的原则、步骤,阐述了系统应建立的体系结构及应实现的主要功能。     

斜体素体视技术在腐蚀图像合成中的应用研究

图像合成是计算机图像处理领域的一个关键课题．该文提出了一种基于科体素体视技术的图像合成算法．该算法对于研究船体腐蚀图像的合成具有十分重要的意义．     

基于软件构件技术的信息系统开发

对于基于软件构件技术的信息系统开发,通过分析信息系统的特点,提出了信息系统对象模型和信息系统中软件构件的构架方法。并据此提出了建立信息系统的四层次结构模型。在此基础上设计和实现了院办公室信息系统。     

基于SDTFM理论的平面问题广义超级单元

根据平面问题条形传递函数方法理论,提出了平面问题广义超级单元的概念,并推导了其刚度矩阵和结点力矢量表达式,从而将条形传递函数方法应用范围推广到任意几何形状的平面区域     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

应用有限元混合法分析两弹性接触体的动力响应（理论部分）

本文将动力分析中的直接积分法与有限元混合法结合起来对两弹性接触体的摩擦动力求解问题进行了理论分析,推导了有关的有限元公式,设计了计算框图,为计算程序的实现提供了理论依据。     

分布式操作系统MTA－OS的设计研究

介绍了一个用于空－空多目标攻击数字仿真的分布式操作系统ＭＴＡ－ＯＳ的设计思想、系统结构、组成及主要功能。     

奇型抛物问题的有限元误差估计

本文引入带权的 Sobolev 空间,讨论了奇型线性问题:(?)((?)u)/((?)t)-1/x~(?)(x~aa(x)u′)′=f(t,x) (x,t)∈1×J(?)/((?)x)u(t,0)=u(t,1)=0 t∈Ju(0,x)=φ(x) x∈I式中 I=(0,1),J=[0,T],0<α<3的有限元方法,并在适当条件下,给出了最佳估计:‖u_(?)-u‖_(0,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}‖u_(?)-u‖_(1,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}     

高速磁悬浮列车电磁场的模拟计算

采用有限元法研究了高速磁悬浮列车的悬浮和推进电磁场,重点研究了车辆在不同运行条件下悬浮力和推力的变化规律,并得出了经验公式。分析和计算结果表明,悬浮力和推力的大小与功角有关,并且由于定子齿槽和材料不连续的影响,悬浮力和推力都存在六倍频的波动。     

Minimizing sums and products of linear fractional functions over a polytope

In this paper, we develop efficient deterministic algorithms for globally minimizing the sum and the product of several linear fractional functions over a polytope. We will show that an elaborate implementation of an outer approximation algorithm applied to the master problem generated by a parametric transformation of the objective function serves as an efficient method for calculating global minima of these nonconvex minimization problems if the number of linear fractional terms in the objective function is less than four or five. It will be shown that the Charnes–Cooper transformation plays an essential role in solving these problems. Also a simple bounding technique using linear multiplicative programming techniques has remarkable effects on structured problems. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 583–596, 1999