摘要：针对编译原理课程教学存在的理论晦涩、实验片面和考核简单等问题,分析问题解决的关键在于突出编程能力培养,提出基于函数式程序设计语言的编译原理课程教学改革方案,并给出相应的教学实例,最后说明教学改革效果。

摘要：围绕军队院校人才培养需求,针对离散数学课程教学问题,提出离散数学课程三维六步式教学改革理念,从重组教学内容、设计教学策略和优化评价考核方式方面介绍教改过程,最后说明教学改革效果。

摘要：针对水系河网的非欧时空特征限制了数据查询效率,提出了一种面向水系河网的建模与索引方法。该方法首先建立水系河网的多尺度图论化模型,在此基础上定义河段的概念,并建立基于河段的流域水系河网索引(BRR-Tree)实现水利领域特征的表达,用以实现水利领域语义查询请求的表达;然后设计基于BRR-Tree的水系河网查询算法,并按照水系河网进行数据访问需求转换为欧氏空间访问需求。实验表明该方法能够有效地支持水系河网分析,提高水利领域数据的访问效率。

摘要：导弹的突防性能是衡量导弹优劣的核心技术指标,如何提升导弹的突防能力受到世界各国的高度重视。为了提升导弹的突防概率,可以采用导弹编队协同作战的方式,实现导弹的密集临空,对敌实施饱和攻击,最终实现导弹突防能力的提升,并且多弹编队对大型目标的毁伤效果更加明显和高效。为了提高导弹编队的协同作战能力,围绕导弹编队协同的概念与模型,开展编队控制的理论与仿真研究,设计了基于目标一致算法的编队方法,实现了编队成员的协同控制,利用MATLAB进行了相关的仿真,分别调整导弹方向控制参数和速度控制参数,对比不同参数状况下导弹编队飞行状态变化,获取最佳状态控制参数,实验验证了算法的有效性。

摘要："计算机程序设计基础"是理工科非计算机本科专业的一门重要的公共工具核心课程。以理工科院校基础课程模式创新为契机,贯彻创新型人才培养理念,结合信息化条件下高质量复合型人才培养方案,提出在"计算机程序设计基础"课程中采用基于网络环境的"四动"教学模式。

摘要：该文在深入研究Grid Services技术的一些最新学术和应用成果基础上，结合目前水库洪水预报系统的需求分析和设计原则，系统地论证了使用Grid Services技术实现水库洪水预报系统可行性和优势。同时根据系统特性和要求，给出了基于Grid Services的水库洪水预报系统的基本框架结构．为实现在Internet环境下进行洪水预报调度提供了分布式计算平台。

摘要：测试用例设计是软件测试的核心环节,占用了软件测试的大部分时间。以最小的人力与时间成本完成测试用例设计是测试人员追求的目标,测试用例复用是提升测试用例设计效率与质量、减少测试周期的重要方法。现有的软件测试用例复用研究主要基于关键词检索与形式化建模,在面临大量测试数据时,复用的效率与质量都有较大程度降低,难以满足测试人员的需求。提出基于Bert语言模型的测试用例复用方法,设计测试文本相似度计算方法,实现测试过程中的用例复用。实验表明,相比于传统的用例设计方法,此方法测试用例推荐准确率达60%,测试用例设计效率提高70%,证实了该方法的有效性。

摘要：针对解放军理工大学计算机程序设计课程教学实际,提出了突出实践能力培养的计算机程序设计课程改革方案。重组了理论和实践教学内容,构建了集教、学、训、考、赛"五位一体"的课程教学支撑平台,改革了融"学训用"于一体的实践能力培养教学组训方式,探索了基于SPOC的在线与课堂混合学习教学模式,创新了突出实践能力评价的多元考核体系,并取得了较好的实践效果。该改革方案可为其它计算机类课程的教学提供借鉴。

摘要：在全国水利信息化取得重大进展的同时,各级水利单位及业务系统间的互联互通、信息共享、业务协同,成为水利信息化深入发展的迫切要求,数据交换平台是整合和深度利用分散存储数据资源的有效途径。以构建可生长的水利数据交换平台为目标,在分析水利数据交换平台建设需求的基础上,设计水利数据交换平台的总体框架和交换功能、定义工作流程、规范服务的建模。该研究是推进水利数据交换进程的有益探索。

摘要：为提供实时、精准的路径查询服务,实现移动目标的路径规划,以路网和移动目标为研究对象,以时间和空间为查询条件,提出一种基于动态剪枝P-region的时空限制路径查询方法。将空间索引的查询剪枝问题转化为非欧氏空间距离的快速查询问题,并围绕数据预处理、索引设计、路网绘制和路径查询进行详细分析。实验结果表明,动态剪枝算法能够在保证查询精度的前提下显著提升查询效率。