Using formalized temporal message-flow diagrams

Temporal message-flow diagrams (TMFDs), alternatively called sequence charts, interaction diagrams, event traces, or actor diagrams, are illustrations of a system's global message-passing activity over time, and a pictorial aid to understanding the system's behavior. They are widely used for requirements and documentation for network protocols and object-oriented applications. We present a general formalism for TMFDs, describe a suite of tools we have designed that employs this formalism, and present our experiences with these tools. The formalism and tools described serve to support and broaden the use of TMFDs in developing communicating systems.     

COREX熔融气化炉热模拟研究

根据ＣＯＲＥＸ熔融气化炉的模拟试验，对预还原矿金属化率，煤种，预还原矿预热温度，煤炭流化床，炉渣，热平衡进行了分析研究，得到了合理的熔融气化炉冶炼参数。     

宽带钢冷轧机颤振控制的数值模拟

本文以较为准确的轧机振动状态下的轧制压力模型为基础，对宽带钢冷轧机干摩擦阻尼减振进行了数值模拟的研究。研究结果与实际观测值相等。     

高压条件下伴随化学反应两相流动的数值模拟

建立了高装填密度火药床在高压条件下的一维两相流体力学方程组，探讨了两相自由射流边界的处理方法，并对其进行了数值求解．揭示了对流燃烧过程的燃烧机理．数值结果与实验测得的压力曲线和火焰阵面曲线有较好的一致性     

用面向对象编程实现问题求解自动化

本文从面向对象方法基本原理和面向对象编程的技术特征出发，阐明所建应用软件系统中的对象，类及相应类层次结构和类组合结构，使系统具有很强的表现真空世界复杂系统结构的能力，系统通过消息传递在程序执行中实现对操作的调用机制，使之在面向用户问题选择和执行求解策略方面有很强的适应性，这一点对于强调人－机交互和解题协作的智能决策支持系统设计至关重要，文章给出了用Ｃ＋＋实现的模型对象系统及消息传递机制。     

基于HLA的水中兵器仿真系统框架

为了解决我国水中兵器传统的仿真系统,局限于某些参数的数学仿真和部分半实物仿真,没有实现系统化、可视化,实时化,文章提出一种采用高层体系结构（HLA）作为分布交互的仿真体系框架,通过对水中兵器对抗系统仿真建模,解决了不同仿真应用之间的集成问题,较好地满足仿真系统的可视化、可操作性、强实时性及强交互性等要求。该仿真系统可以为水中兵器作战研究和武器装备论证提供仿真试验环境,检验装备各项战略战术指标,并为装备研制和战略战术决策提供依据,具有很高的实用价值。     

仿真系统互操作性研究

如何提升系统的互操作性是当前仿真领域需要着力解决的问题,而理解互操作问题产生的根源则是提升互操作性的前提。从互操作性的概念分析人手,剖析了仿真系统互操作问题产生的原因,将之概括为组织、抽象和实现三个层面,并提出了相应的解决框架。框架通过建立概念模型库和平台无关模型库解决抽象层面的问题,利用模型实现的自动化和服务化解决实现层面的问题,可以作为领域内解决互操作问题的借鉴。最后提出了使用对比法和测试法评估系统互操作性的思路。     

Thermodynamics-inspired inverse halftoning viamultiple halftone images

Based on an analogy between thermodynamics and Bayesian inference,inverse halftoning was formulated using multiple halftone images based on Bayesian inference using the maximizer of the posterior marginal(MPM) estimate.Applying Monte Carlo simulation to a set of snapshots of the Q-Ising model,it was demonstrated that optimal performance is achieved around the Bayes-optimal condition within statistical uncertainty and that the performance of the Bayes-optimal solution is superior to that of the maximum-a-posteriori(MAP) estimation which is a deterministic limit of the MPM estimate.These properties were qualitatively confirmed by the mean-field theory using an infinite-range model established in statistical mechanics.Additionally,a practical and useful method was constructed using the statistical mechanical iterative method via the Bethe approximation.Numerical simulations for a 256-grayscale standard image show that Bethe approximation works as good as the MPM estimation if the parameters are set appropriately.     

基于一种混合的节点定位算法的研究

针对基本的DV-Hop节点定位算法会产生不良的节点和多级跳带来的累积误差以及未知节点的坐标没有进行修正等缺点,提出了一种改进的混合节点定位算法WHDV-Hop算法,改进后的算法定位误差率明显比改进前的定位误差率小,通过MATLAB软件对节点定位误差方面进行仿真验证,仿真实验结果证明该改进后的算法稳定、可靠,易于实现。与DV-Hop算法相比,定位精确度提高了4.65%,计算量减少,降低了能量消耗水平,实现预期的目标。