高速SpaceFibre总线节点的系统设计

为了实现SpaceFibre总线节点的高效数据传输,针对网络协议中关键问题和技术提出了一种基于现场可编程门阵列(Field Programmable Gate Array,FPGA)的SpaceFibre总线节点系统设计方案。其中,采用了轮询仲裁算法,解决了多路虚拟通道中流量控制字的申请冲突;设计了基于服务质量机制的高效处理状态机,实现了多路虚拟通道的服务质量调度;提出了一种并行的分区存储架构和重发控制算法,实现了基于错误检测隔离恢复机制的错误恢复;采用了不同的数据并行处理方案,实现了多种数据格式的循环冗余校验和伪随机序列的计算。通过ModelSim仿真平台对节点系统进行功能仿真,并在Virtex-6 FPGA上完成了系统验证。结果表明,该设计实现了SpaceFibre总线节点的功能,串行传输速度可达3.125 Gbit/s,能够满足高速数据传输需求。     

GPA条件下我国军队服务采购研究

2019年底,我国就加入《政府采购协定》谈判提交了第7份出价清单,军队作为采购实体首次列入其中。在此背景下,我国军队采购在体制机制上应尽快接轨《政府采购协定》的规则,以适应新形势下军队采购的发展需要。当下,服务采购在军队总体采购中的规模和体量正在日益壮大,而相应的军队服务采购的制度、管理和实践却亟待改进。本文首先从采购模式、运行机制、政策法规、业务发展四个方面介绍了军队服务采购的现状,然后从统管力度、法规制度、运行程序、监督仲裁、目录分类五个方面指出了GPA条件下军队服务采购工作存在的问题,最后针对加入GPA将给予军队服务采购工作的影响,给出了相应的对策建议。     

高维无穷时滞NFDE概周期解的存在性和稳定性

讨论高维的中立型泛函微分方程ddtx(t)-∫0-∞q(s)x(t+s)ds=A(t,x)x(t)+f(t,xt)的概周期解问题。利用Ch空间,矩阵测度和Krasnoselski不动点定理获得了其概周期解的存在性与惟一性定理。特别地,当q=0时给出了存在惟一且一致稳定概周期解的条件,推广了文献[1～5]的结果。     

Transit vessel scheduling

A transit vessel traffic scheduling algorithm has been developed to limit the negative effects on cargo volume throughput in two‐way waterways where separation distances between transiting vessels must be maintained and passage restrictions may hold. It runs in time that is polynomial in the number of ships involved in the computation and finds schedules which increase the utilization of waterways. Three examples illustrate its use. The first example is situated in the Sunda Strait where the algorithm is used to enhance the safety of merchant shipping against a terrorist threat. It illustrates important features of the algorithm and demonstrates how it can be used with cross traffic. The second example is situated in the Strait of Istanbul and offers a comparison between the developed algorithm and the transit vessel scheduling algorithm of Ulusçu et al., J Navig 62 (2009), 59–77. This was done using a plausible model of the Strait of Istanbul. The third and last example shows how the algorithm can be used to schedule transit vessel traffic in two‐way waterways with junctions. This feature is especially useful in congested waters with a high risk of collisions like the Inland Sea of Japan. An extreme test case proves that the developed algorithm is a practical algorithm ready for such use. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 225–248, 2017     

消防事业市场化初探

发挥社会力量办消防,发展消防中介组织,是引入资金、引入科技、普及消防知识、提高全民消防意识的重要一环.     

军事训练演习数据汇集与融合系统的设计与实现

实现海量军事训练演习数据的汇集与融合,是生成相应的作战效能数据的基础。结合军事训练基地数据的收集与运用现状,提出了一个基于Web服务的多源异构数据汇集与融合系统的解决方案：运用XML Schema技术实现了异构数据模式的标准化转换,完成了多源数据的汇集;以作战平台为中心,以作战效能的各项影响因素为维度,实现了相关数据的融合。设计了系统的功能与架构并加以实现。运行情况表明,系统能够满足功能需求,具备良好的数据整合与处理能力。     

军事物流服务商准入标准设置和甄选研究综述

军事物流服务商甄选研究是新军事变革下供应商管理发展的重要方向,是有效完成后勤保障任务、顺利实施作战行动的重要保证。基于此,本文从供应商关系理论和发展、物流服务商指标体系选择以及结合其他方法对物流服务商甄选三个方面对国内外研究现状进行总结概述,对整个军事物流服务商的选择过程加以研究,将其科学客观地运用于军事物流服务商选择的实际操作中,对于加强军事物流服务商需求管理、提高选择质效以及优化工作流程具有重大意义。同时,分析现有研究成果的不足,并对其未来发展前景提出展望,针对性地提出了军事物流服务商初步准入标准以及后续复选的方法,为军事物流服务商选择体系的完善提供参考。     

一类二阶Hamilton系统周期解的存在性

Hamilton系统是非线性科学中的一个重要领域,很多人在超二次或次二次条件及其他一些条件下对Hamilton系统的周期解进行了研究。此文则研究了非自制二阶Hamilton系统在零点局部环绕及“非二次”条件下周期解的存在性,并利用局部紧性条件(C)条件以及极大极小方法证明了其周期解的存在性。     

利用数值优化技术设计周期性绕飞的编队轨道

考虑非线性和椭圆参考轨道等因素,选择编队卫星周期性绕飞的初始条件,设计自然周期性绕飞轨道,对长期编队飞行是十分必要的。然而利用Hill方程确定初始绕飞条件,设计长期编队飞行的轨道,具有很大的误差。本文在考虑非线性和椭圆参考轨道等因素的条件下,利用数字优化技术寻找周期性绕飞的初始条件,设计不消耗任何燃料的编队卫星轨道。优化的结果可用来研究周期性绕飞轨道必须满足的条件,加强对编队机理的认识。数值仿真结果验证了优化结果的正确性和有效性。     

一类时滞微分方程正周期解的存在性

讨论了一类生物模型正周期解的存在性问题,利用Mawhin延拓定理得到了系统存在正周期解的一个充分条件。而且,当系统为无穷时滞时,结论也是成立的。