军事物流配送体系初探

对我军现代军事物流配送体系进行了初步探讨,提出了符合我军实际情况且具有社会化性质的军事物流配送体系构想,有利于新时期军事物流理论的发展,为其在我军的实际应用提供了较好的参考。     

武警后勤保障社会化改革绩效评估与政策建议

为检验武警后勤保障社会化成果,促进其健康发展,抽取了30个样本单位为重点调研对象,搜集整理相关数据,建立绩效评价模型,进行实证研究,对武警部队后勤保障社会化的实施情况进行评估,提出了相应的政策建议。     

转型期武警综合大学学科专业建设浅探

对照教育教学转型的要求,武警综合大学学科专业建设主要面临教育理念转变滞后、学科优势不够明显、新增专业基础薄弱三大困境。下一步学科专业转型中,要更新理念,科学谋划学科专业建设布局;找准定位,突出培植武警特色学科专业;全面发展,融合构建新型学科专业体系;健全机制,合理配置学科专业建设资源;加强科研,积极促进学科专业创新发展。     

基于解释结构模型法的通用装备保障转型要素结构分析

通过运用解释结构模型法对我军通用装备保障转型的相关要素进行结构分析,旨在辅助研究人员深刻理解和合理判断各种因素之间的相互影响关系,通过结构化分析过程得到能正确反应保障需求的层次,从而为通用装备保障转型进一步分析打下良好理论基础．     

重庆市近11年空气污染指数变化的小波变换分析

运用一维连续Morlet小波变换法分析重庆市近11年逐日空气污染指数的多尺度演变特征、主周期、突变点和变化因素。结果表明:重庆市空气污染指数在不同时间尺度有不同的变化规律,变化主周期为300 d左右;空气污染状况受地形和气象因素影响,呈"冬重夏轻"格局;春分、秋分前后是一年中空气污染轻重状况转换的突变点;2005年后重庆市空气污染逐渐减轻,但冬季有加重趋势。实践证明,小波变换法是研究空气污染指数时间序列变化的有效分析方法。     

地方物流供应商“藏捏”信息行为的监管机制

针对军民融合现代军事物流体系内物流实体存有"藏捏"信息行为,难以实现信息真正共享,妨害军队物资采购的问题,从地方物流供应商"藏捏"信息动机分析入手,考虑到安全保密原则,基于交纳保密保证金的做法对格罗夫斯机制进行修改,建立地方物流供应商"藏捏"信息行为的监管机制,并运用算例证明了该机制的科学有效性。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

Evaluating cost and reliability integrated performance of stochastic logistics systems

The significance of integrating reliability into logistics performance has been established [The Logistics Performance Index and Its Indicators, World Bank International Trade and Transport Departments, (2010)]. Hence, as a response to the work by the World Bank, the present article aims to evaluate the performance index R_b,d of logistics systems as the probability that a specified demand d can be distributed successfully through multistate arc capacities from the source to the destination under the constraint that the total distribution cost should not exceed the cost limitation b. This article provides a pioneering approach for a straightforward computation of the performance index R_b,d. The proposed algorithm is a hybrid between the polynomial time capacity‐scaling algorithm, which was presented by Edmonds and Karp [JACM 19 (1972)], and the decomposition algorithm, which was presented by Jane and Laih [IEEE (2008)]. Currently, the proposed approach is the only algorithm that can directly compute R_b,d. An illustration of the proposed algorithm is presented. The results of the computational experiments indicate that the presented algorithm outperforms existing algorithms. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

军队后勤社会化保障问题的几点思考

后勤社会化改革是一项系统的、复杂的工程,是历史发展的选择。推进后勤社会化改革的基础与前提是搞好教育,解决矛盾。改革必须实事求是,努力争取地方政府支持,采取多种形式,逐步推进社会化改革。