基于MOOC课程的网络教学探析——以解放军理工大学为例

MOOC是近几年来在我国高校出现的新的教学模式。本文通过分析MOOC的教学模式,提出了利用云技术搭建mooc教学平台,开展完全在线的MOOC教学和翻转课堂的MOOC教学方式,对我校开展的MOOC教学进行了探讨,并对如何保障校园网络安全提出了建议。

对培养复合型指挥自动化人才的思考

在未来高技术战争中，为了最大限度地发挥指挥自动化系统的作战效能，培养一批既懂指挥又懂技术的复合型指挥自动化人才至关重要。通过给出指挥自动化人才的宏观结构模型，分析广义的指挥自动化人才需求和素质要求，然后从人才个体的知识结构综合性出发，阐述了指挥自动化复合型人才培养的方法和途径。同时，还给出了本科生、研究生培养的知识模块，并针对当前教育状况提出了改革措施。

一种基于语义本体的Web服务自动组合算法

服务组合是Web服务应用的一个重要研究方向。提出了一种基于语义本体的Web服务自动组合算法,该算法用Web服务本体OWL-S和领域本体描述Web服务,将两个服务之间关联度的计算转化为加权二部图的最优匹配问题,然后利用改进的Kuhn-Munkres算法计算服务关联度;最后,在此关联度的基础上提出一种服务自动组合算法。实验结果表明,论文提出的服务组合算法可以根据用户请求动态的生成服务组合,并通过域值控制保证了服务组合的质量和效率。

一种基于报文序列分析的半自动协议逆向方法

基于报文序列分析的协议逆向方法在自动化分析过程中缺乏对人工知识的引入。为此,提出一种半自动协议逆向方法。通过人工输入的方式,将先验知识加入到报文分析中,用于指导报文的语义推断,并对分析结果进行人工纠正。实验结果表明,该方法能提高报文分析的效率和准确率。

本体的半自动构建技术

为了处理海量的异构信息,达到知识共享的目的,介绍和研究了半自动构建本体过程中涉及到的众多理论、技术和方法;介绍了构建本体的准则和方法;比较和分析了构建本体所需的几种常用的编辑工具;回顾了本体的半自动生成技术;介绍了本体的丰富技术,并对各种技术的不足之处做了分析。这些技术可以有效地帮助和指导用户半自动构建满足需求的领域本体。

配电自动化系统中一种馈线配电终端的设计与实现

设计并实现了一种新的嵌入式智能10kV馈线配电终端设备,在该配电终端设备中设计并实现了归一化的自适应通信协议栈。实验结果表明,新的配电终端设备在系统功能、分析精度、实时性等方面比传统配电设备有了较大改进,并具有实时视频监视功能,成为下一代配电终端设备的发展方向。

基于SNA的指挥控制关系及其中心性分析

社会网络分析方法(Social Network Analysis,以下简称SNA)是指挥控制关系研究领域新近引入的一种有效的定量分析方法。从社会学的角度分析了指挥控制关系网络中权力的"影响"和"支配"两个维度,研究了C2组织中的指挥控制权力和指挥控制关系。结合一个想定,从点度中心性和中间中心性两个方面介绍了指挥控制关系中心性研究的基本思路,并且借助于社会网络分析应用软件,对想定中的C2组织进行了中心性的实际计算和分析,得出的结论对于C2组织及指挥控制关系的设计和建模仿真具有重要意义。

外军指挥控制过程模型剖析

指挥控制过程的研究历来是指挥控制理论研究的重点,特别是有关指挥控制过程模型的研究,自从OODA模型提出以来,有关指挥控制过程模型的研究得到了长足的进步和发展。文章首先介绍现阶段外军比较经典的指挥控制过程模型,然后通过各模型与最为经典的OODA模型的对比,找出各模型的优点和不足,对建立适合我军的指挥控制过程模型具有一定的借鉴意义。

一种自组织的二维元胞自动机网络模型及分析

提出了一种自组织的二维元胞自动机网络模型,并研究了网络中的临界特征和长相关特性。模型中,每个元胞包含一个路由器和随机数目的终端,并且能独立地根据探测到的网络拥塞状况调节其终端的数据包发送速率。仿真结果表明,在拥塞控制机制的作用下,网络能自组织地工作在临界状态,虽然节点间呈现出明显的异构特征,但节点数据包排队长度在时间和空间上仍都表现出较强的相关性。

指挥信息系统信息能力的评估

高技术条件下的信息化战场,对指挥信息系统信息能力的要求越来越高。如何通过评估信息系统信息能力的高低来判断战场信息优势和制信息权的取得,以及发现系统信息能力存在的缺陷将是非常重要的问题。文中通过调研分析建立了指挥信息系统信息能力的多级评估指标,采用层次分析法确定了各同级指标间的相对权重,应用多元联系数集对分析方法完成了对指挥信息系统信息能力的综合评估。基于多元联系数集对分析模型客观严谨、评估结果合理,具有较高的可信度和可行性,适合于指挥信息系统信息能力的评估。

正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化

针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了正则表达式和有穷自动机在描述能力上的等价性,即:在同一有限字母表下,对任意正则表达式,都存在一个有穷自动机,使得二者描述的语言相同;反之亦然。通过分析与证明,表明采用机器辅助定理证明系统,对计算理论传统核心领域之一的自动机理论进行分析和证明是可行的。

基于SNA的指挥控制关系建模与分析

社会网络分析(Social Network Analysis,SNA)方法是指挥控制关系研究领域新近引入的一种有效的定量分析方法。研究了构建C2组织的指挥控制关系网络模型的基本方法,将组织的实体要素划分为侦察单元、决策单元和执行单元三类;从社会学的角度分析了C2组织中指挥控制权力的"影响"和"支配"两个维度,并重新定义了指挥控制关系;将实体单元和单元之间的指挥控制关系抽象为网络模型的点和边。结合想定示例,具体说明了网络模型的构建方法,并以指挥控制关系的"点度中心性"为例对模型进行了实际的计算和分析。研究表明,基于社会网络分析方法的指挥控制关系建模与分析具有现实意义和实用价值。

C2组织指挥控制关系的形式化描述

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。

多本体环境下基于规划技术的自动服务组合

当单个服务无法满足用户需求时,自动服务组合利用服务描述中的语义信息,自动组合多个服务,从而形成组合服务以满足用户需求。在多本体环境下,自动服务组合面临着语义异构的问题。针对此问题,提出基于本体社区的服务组合框架。该框架通过本体转换将跨本体服务组合问题转换为本体内问题,从而解决本体异构问题,并在此基础上给出一个采用传统规划技术的服务组合算法。

Ad Hoc网络中的地址自动配置和节点ID分配机制

对Ad Hoc网络的地址自动配置问题进行了阐述,说明了现有网络地址配置机制面临的问题和挑战;然后从IPv4和IPv6两个层次分析了Ad Hoc网络的地址自动配置机制,尤其是IPv6的无状态地址自动配置机制;对Ad Hoc网络中的节点ID分配机制进行了探讨。

GDSS在异步指挥控制中的应用研究

随着军事高新技术的发展和应用,军队指挥决策的样式也出现了很多变化,未来的军事行动将会越来越依赖异步指挥控制环境中的群体决策。对群体决策支持系统的基本概念进行了介绍;然后针对决策者在异步指挥控制环境中进行交互时存在的问题,提出了信息组件的概念,并将它们运用到异步指挥控制群体决策支持原型系统的设计当中。该方法节省了决策信息为所有决策者共享的时间,简化了对主观决策信息的量化过程,提高了群体决策的时效性。

基于模型的Fuzzing测试脚本自动化生成

针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。

应用.NET框架命名空间技术实现Web测试自动化

目前支持Web的自动化测试工具普遍存在价格偏高、测试脚本可重用性差、代码维护工作量过大等缺点。为解决这一问题提出了应用.NET框架命名空间(NameSpace)技术实现Web应用程序测试的自动化方法。该方法不使用任何第三方测试工具,通过编写简单、易维护的C#.NET代码,对Web程序接口进行信息抽取与调用,以实现测试的自动化运行。

基于二维元胞自动机的双向触发并行加密模型

根据二维触发元胞自动机的特性,提出了一种二维元胞自动机双触发并行加//解密模型。仿真实验表明:与一维耦合触发元胞自动机相比,二维元胞自动机双触发并行加密模型在适度减慢加/解密速度的情况下,大大提高了密钥空间,具有极高的时间换空间的效率,很好地提高了健壮性和实用性。