利用XMI实现基于BOM的仿真模型组件的交换

BOM(Base Object Model)是快速构建仿真系统或联邦的可重用信息交互包,基于BOM的仿真模型组件是BOM信息描述的实现体,作为构建仿真系统或联邦的可重用模块。通过应用模型驱动体系结构(MDA,Model-Driven Architecture)提出的实现模型交换标准XMI(XML-based Metadata Interchange),HLA(HighLevel Architecture)仿真模型组件的建模和实现在两个不同层次上实现跨平台、跨语言和跨领域间的交换,而且HLA的重用性和互操作性思想能够在除分布式仿真领域外的其他应用领域中得到推广。     

基于CAN总线的储油罐液位测量系统

为解决储油罐液位测量存在的测量精度不高、价格偏高、可靠性低等问题,引入CAN总线,给出了基于CAN总线的储油罐液位测量系统的总体方案。该系统主要由监控站和现场测控单元组成,对现场测控单元的硬件设计、系统软件设计作了重点介绍。系统已初步形成样机,市场应用前景看好。     

兵团基层教练员队伍的现状及再建设

了解兵团基层教练员队伍的现状 ,加强基层教练员队伍建设 ,提高基层教练员队伍素质 ,无疑对刚刚起步的兵团竞技体育运动起着主导作用。     

智能水位测量仪表性能分析

分析了动力装置水位测量系统的现状 ,并通过实验测试认为改进型水位测量仪表系统的设计是可行的 ,与原来的系统相比具有性能稳定的特点 .最后 ,提出了减少水位测量系统误差的方法和提高测量系统性能的建议 .     

嵌入式微处理器的多层次可配置仿真工具

为了适应嵌入式定制微处理器的开发的需要 ,克服现有微处理器仿真工具的某些不足 ,文中介绍了微处理器的仿真验证工具———VCPU的设计和实现方法。同其它微处理器仿真工具相比 ,该工具具有多层次 ,可配置 ,功能全面的特点。利用该工具 ,设计者可在设计早期进行系统集成验证 ,缩短设计周期并减少设计错误。该工具已经在嵌入式微处理器开发过程中得到成功应用     

The one‐warehouse multiretailer problem with an order‐up‐to level inventory policy

We consider a two‐level system in which a warehouse manages the inventories of multiple retailers. Each retailer employs an order‐up‐to level inventory policy over T periods and faces an external demand which is dynamic and known. A retailer's inventory should be raised to its maximum limit when replenished. The problem is to jointly decide on replenishment times and quantities of warehouse and retailers so as to minimize the total costs in the system. Unlike the case in the single level lot‐sizing problem, we cannot assume that the initial inventory will be zero without loss of generality. We propose a strong mixed integer program formulation for the problem with zero and nonzero initial inventories at the warehouse. The strong formulation for the zero initial inventory case has only T binary variables and represents the convex hull of the feasible region of the problem when there is only one retailer. Computational results with a state‐of‐the art solver reveal that our formulations are very effective in solving large‐size instances to optimality. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

带有可信度因子的直觉模糊近似推理方法

针对基于相似度的直觉模糊近似推理问题,提出一种基于加权相似度量的直觉模糊推理方法。首先定义一种新的直觉模糊相似度度量公式,加入权重参数解决各维特征分配不均匀的问题,弥补了现有直觉模糊相似度量的缺陷。然后构建基于直觉模糊产生式规则的直觉模糊近似推理模型,加入可信度因子解决了随机性引起的信息不确定问题,同时给出模型的推理算法和计算步骤。最后通过实例验证了该方法的实用性和有效性,其在意图识别、目标识别等信息融合领域有良好的应用前景。     

An optimal critical level policy for inventory systems with two demand classes

Traditional inventory systems treat all demands of a given item equally. This approach is optimal if the penalty costs of all customers are the same, but it is not optimal if the penalty costs are different for different customer classes. Then, demands of customers with high penalty costs must be filled before demands of customers with low penalty costs. A commonly used inventory policy for dealing with demands with different penalty costs is the critical level inventory policy. Under this policy demands with low penalty costs are filled as long as inventory is above a certain critical level. If the inventory reaches the critical level, only demands with high penalty costs are filled and demands with low penalty costs are backordered. In this article, we consider a critical level policy for a periodic review inventory system with two demand classes. Because traditional approaches cannot be used to find the optimal parameters of the policy, we use a multidimensional Markov chain to model the inventory system. We use a sample path approach to prove several properties of this inventory system. Although the cost function is not convex, we can build on these properties to develop an optimization approach that finds the optimal solution. We also present some numerical results. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

指挥信息系统需求体系框架

需求工程是指挥信息系统整个开发周期中的第一步,正确且全面地确认系统的需求是成功开发指控系统的关键.指挥信息系统需求体系框架是从需求开发的内容上规范需求工程技术在指挥信息系统需求开发中的应用.从需求的本义出发,在分析总结IEEE、INCOSE以及OMG等研究机构关于需求内涵与分类的研究基础上,本着与C4ISR/DOD AF一致的原则,结合近年我军指挥信息系统需求开发的实践经验,提出了指挥信息系统需求体系框架.     

基于事务级模型的火控计算机建模研究

在对系统进行高层次建模和验证时,事务级模型得到越来越广泛的应用。在SystemC语言的基础上构建了火控计算机的事务级模型,并通过事务级的仿真,对模型的功能进行了验证,为下一步的软硬划分和硬件设计打好基础。