面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

论近代中国警察权力行使的统一化

自清末当局引入西方警察制度起,中国警察权力的行使逐步规范,呈现出明显的统一化倾向。其表现包括:军队与警察职能的剥离;民间社会警察权向专业警察机关的集中。近代中国警察的统一化倾向代表着社会的进步。     

基于模型的系统需求确认与验证技术研究

为了减少高升力系统设计错误、避免实物验证与迭代、缩短研制周期,提出了一种贯穿于联合定义、初步设计、详细设计及集成验证全生命周期各研发阶段的基于模型的系统需求确认与验证方法。该方法通过ADS2软件将Simulink及SCADE(safety critical application development)等模型集成在一个统一的虚拟集成平台上,分别创建系统架构模型和系统性能模型,并开展仿真分析,实现了在不同研发阶段对系统需求的确认和虚拟验证。此外,使用支持ADS2的I/O驱动模块,以及复用设计阶段建立的测试用例和用户界面,可以快速搭建计算机在环的半物理集成环境、控制分系统集成环境和系统全实物集成环境,支持开展分层级的系统需求验证。由于各研发阶段使用统一标准的模型和测试用例传递信息,因此可以确保研发过程中信息传递的一致性,极大地降低了设计错误,加快了研发周期,并降低了研发成本。     

神经网络架构搜索研究进展与展望

神经网络架构搜索旨在针对不同任务,自动化地搜索得到性能最优的神经网络结构,是深度学习、计算机视觉技术结合当前现实需求应运而生的一大重要科学问题。对近年来神经网络架构搜索研究进行梳理、归类和评述;阐述神经网络架构搜索的定义和意义,全方位剖析当前研究所面临的难点与挑战;以此为基础,对主流的搜索策略进行阐述和归纳;探讨研究潜在的问题及未来颇具潜力的研究方向,以期推动该领域的进一步发展。     

基于改进灰狼优化算法的地面目标最优瞄准点选择方法

针对导弹打击地面目标时的瞄准点优选问题,提出了一种利用改进灰狼优化算法（improved grey wolf op timization,IGWO）选取最优瞄准点的瞄准点选择方法。该算法基于维度学习的狩猎搜索策略（dimension learning-based hunting,DLH）,为每个瞄准点构建相邻的瞄准点集合,集合中的瞄准点可以互相共享信息,增强局部搜索和全局搜索之间的平衡,并保持多样性。在仿真实验中,将毁伤评估模型的评估函数作为瞄准点选取好坏的评估函数,并且设计导弹打击地面目标的实例对瞄准点选择方法进行验证,实验结果表明,该方法求得的瞄准点具有较高的可信度,为火力筹划中瞄准点的寻优提供了新方法。     

发扬延安精神 实现保障有力

延安精神是我党我军的宝贵精神财富。在新的历史条件下,我们做后勤工作的全体官兵如何更好地发扬延安精神,实现江主席提出的保障有力的要求,是摆在我们面前亟待研究解决的问题。本文认为,要发扬延安精神,实现保障有力,一要树立苦中有所作为的思想,在各自岗位上有所发现,有所发明,有所创造,有所前进;二要事事讲效益,量入为出,努力使军费保值增值;三要始终抓管理,向管理要效益。     

冷用型印刷装订胶研究报告

聚乙烯醇热胶一直作为传统的印刷装订胶种被广泛使用,但却存在耗能大、浪费大而使用不便的缺点。为改变此现状,当选择一定型号的聚乙烯醇,加入一种或几种添加剂,制成新胶种,即冷用型印刷装订胶。实验结果表明,此胶种制作成本低,初粘力强,且便于使用与贮存,具有广阔的应用前景。     

目标搜索的搜力配置、最优停搜及期望利润

在搜索力连续施加于搜索区域的条件下 ,研究了目标位置服从离散和连续分布时的搜力分配 ,最优停搜及期望利润等。     

时间Petri网和启发式搜索在流程调优中的应用

本文利用时间Ｐｅｔｒｉ网对流程调优问题进行建模,和人工智能上的启发式搜索算法,进行求解,这就把时间Ｐｅｔｒｉ网和启发式搜索结合起来,可解决一些较为复杂的流程调优问题。