军事物流单证的信息服务研究

物流单证是物流系统之间数据交换的载体,是实现物流业务流程无缝衔接的条件。文章介绍了物流单证结构,研究了军事物流单证的信息交换过程,建立了军事物流单证的信息交换架构,探讨了军事物流单证信息查询和业务状态信息跟踪服务。     

顺序PROLOG机存储组织研究

YH-SIM是一种正在研制中的顺序PROLOG机。本文介绍该机存储组织的设计考虑。根据PROLOG过程执行的具体特点,文中提出了一种多专用Cache的存储子系统结构,旨在支持深度优先加回溯的顺序PROLOG求解机制。即按照不同的访问方式,设立常规Cache和栈式Cache,分别支持存储空间中的随机访问区域和栈式访问区域。作为一个典型的子部分,文中详细讨论了选择点Cache的控制和调度策略。     

地方高校图书馆主动服务对军校图书馆的启示——对全国15所重点高校图书馆网站的调查与分析

从图书馆主动服务的理念入手,探讨利用网络开展主动服务的可能性,并结合对全国15所重点高校图书馆网站和实践开展的多种主动服务方式进行调查统计,分析总结其特点,由此得出对军校图书馆开展主动服务的启示。     

Formulations for dynamic lot sizing with service levels

In this article, we study deterministic dynamic lot‐sizing problems with a service‐level constraint on the total number of periods in which backlogs can occur over a finite planning horizon. We give a natural mixed integer programming formulation for the single item problem (LS‐SL‐I) and study the structure of its solution. We show that an optimal solution to this problem can be found in \begin{align*}\mathcal O(n^2\kappa)\end{align*} time, where n is the planning horizon and \begin{align*}\kappa=\mathcal O(n)\end{align*} is the maximum number of periods in which demand can be backlogged. Using the proposed shortest path algorithms, we develop alternative tight extended formulations for LS‐SL‐I and one of its relaxations, which we refer to as uncapacitated lot sizing with setups for stocks and backlogs. {We show that this relaxation also appears as a substructure in a lot‐sizing problem which limits the total amount of a period's demand met from a later period, across all periods.} We report computational results that compare the natural and extended formulations on multi‐item service‐level constrained instances. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

Reassessing private military and security company (PMSC) ‘competition‘ in civil war: lessons from Sierra Leone

ABSTRACT

This paper challenges recent claims that competitive market dynamics incentivize Private Military and Security Companies (PMSCs) to fully commit to providing effective services, thereby reducing the duration of civil war. Our assessment of a most-likely case scenario for this argument – Sierra Leone – reveals four critical problems. First, there is rarely direct competition, even if numerous companies are present. Second, the presence of multiple PMSCs usually represents a collaboration among subsidiaries providing distinct services, often under the same corporate umbrella. Third, data aggregation obfuscates the overlap of PMSC presence, inflating the amount of perceived competition. Finally, we raise concerns regarding how quantitative analyses can conflate conflict intensity with conflict termination.     

基于锁相环的GNSS授时接收机钟差校准算法

GNSS(全球卫星导航系统)授时接收机利用卫星导航信号获取钟差并校准本地时钟,从而与GNSS系统时间同步。提出了全新的基于锁相环的GNSS授时接收机钟差校准算法,将钟差校准过程等效为传统的锁相环模型,鉴相器的功能由PVT(位置、速度与时间)解算实现,压控振荡器的功能由本地时间调整接口实现,环路将本地秒相位与GNSS系统的秒相位锁定。分析了环路总误差的组成,以及环路参数与各误差项的关系,给出了误差最小的环路优化设计准则。在北斗二号卫星导航接收机平台上进行了对比实验,验证了算法的有效性。     

基于三阶段方法的数据链网络组织流程设计

针对数据链网络组织流程设计问题,在分析了单重任务的三阶段组织设计方法的基础上,提出了联合多重任务组织流程设计方法,建立了数据链网络组织流程设计框架。通过平台任务模型的改进和着色决策层级树模型的构建,有效解决了任务–平台配置中的平台资源冲突,提高了数据链网络的组织决策协作有效性及效率,在理论与实践上对于数据链的组织运用都具有一定指导意义。     

带局部交流函数及自由意志的单领导Cucker-Smale模型的渐近集群分析

为研究集群的形成与否和半径大小之间的关系,主要考虑了具有单个领导的一般等级结构及其领导者速度不变的Cucker-Smale模型。探讨了自由意志对集群产生的影响,通过证明可以给出半径有下界的充分条件(下界和速度差、粒子数、通信强度等有关)。当半径大于下界时,会产生集群。通过MATLAB数值仿真验证了相关结论。     

支持社会技术系统构造的程序设计模型和语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。     

基于可组合服务的陆军作战仿真模型集成＊

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制等应用特点和技战术性能。