网络化体系能力评估问题 被引量：35

1

作者 胡晓峰 张昱 +1 位作者 李仁见 杨镜宇 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2015年第5期1317-1323,共7页

网络化体系能力评估是当前作战体系分析中的难题之一,在理念、方法以及平台方面面临诸多挑战.首先给出了在体系能力评估理念上需要做出的三个转变,包括建立战争复杂系统观、引入复杂网络思想以及构建网络化体系能力指标;其次介绍了网络... 网络化体系能力评估是当前作战体系分析中的难题之一,在理念、方法以及平台方面面临诸多挑战.首先给出了在体系能力评估理念上需要做出的三个转变,包括建立战争复杂系统观、引入复杂网络思想以及构建网络化体系能力指标;其次介绍了网络化体系能力评估需要关注的三种新方法:在理论分析方面需要关注复杂网络方法,在实验评估方面需要关注虚实结合方法,在深度挖掘方面需要关注大数据方法;最后介绍了如何构建支持网络化体系能力评估的体系仿真试验床平台. 展开更多

关键词 网络化体系 能力评估 复杂网络 大数据 试验床

原文传递

武器装备体系的异质超网络模型 被引量：24

2

作者 王飞 司光亚 +1 位作者 荣明 李仁见 《系统工程与电子技术》 EI CSCD 北大核心 2015年第9期2052-2060,共9页

超网络理论是复杂网络理论最新进展,其与体系问题有着天然的契合性。基于超网络理论提出了武器装备体系的一种网络化概念模型,可以对体系中的多种动、静态因素进行有效地描述。将体系映射为物理网、关系网和交互网,给出了物理网的定义,... 超网络理论是复杂网络理论最新进展,其与体系问题有着天然的契合性。基于超网络理论提出了武器装备体系的一种网络化概念模型,可以对体系中的多种动、静态因素进行有效地描述。将体系映射为物理网、关系网和交互网,给出了物理网的定义,并以流的形式定义了交互网,定性分析了不同网络间的关系,介绍了模型实例化方法和基于模型的分析方法,最后以举例的方式进行说明。 展开更多

关键词 武器装备体系 复杂网络 超网络 概念模型

下载PDF 职称材料

指挥控制体系网络化建模研究与实践 被引量：19

3

作者 司光亚 王艳正 +1 位作者 李仁见 王飞 《指挥与控制学报》 2015年第1期19-24,共6页

针对指挥控制体系网络化仿真模型和网络化评估模型的构建问题,提出了指挥控制体系多维动态信息网络仿真模型构建方法以及基于超网理论的指挥控制体系效能评估模型构建方法;基于这两个模型构建了指挥控制体系仿真分析与评估原型系统,并... 针对指挥控制体系网络化仿真模型和网络化评估模型的构建问题,提出了指挥控制体系多维动态信息网络仿真模型构建方法以及基于超网理论的指挥控制体系效能评估模型构建方法;基于这两个模型构建了指挥控制体系仿真分析与评估原型系统,并开展了相关实验,验证了模型的正确性. 展开更多

关键词 指挥控制 超网 建模仿真

下载PDF 职称材料

基于超网的体系效能可视化分析 被引量：11

4

作者 李仁见 司光亚 +1 位作者 张昱 王飞 《系统仿真学报》 CAS CSCD 北大核心 2014年第9期1944-1949,1955,共7页

未来战争的基本形式是基于信息系统的网络化体系对抗,在整体、动态、对抗的仿真过程中通过体系效能分析来研究武器装备体系能力形成机理是探索未来战争的一种重要手段。对相关工作进行了介绍,给出了武器装备体系超网模型的形式化定义,以... 未来战争的基本形式是基于信息系统的网络化体系对抗,在整体、动态、对抗的仿真过程中通过体系效能分析来研究武器装备体系能力形成机理是探索未来战争的一种重要手段。对相关工作进行了介绍,给出了武器装备体系超网模型的形式化定义,以OODA环分析以及体系重心分析为例对模型功能进行了扩展,给出了基于动态仿真数据建立超网分析模型的算法,设计了一种基于武器装备体系仿真试验床的体系效能可视化分析原型工具框架,介绍了一个具体的超网模型示例及其试验结果。提出的基于超网的体系效能可视化分析方法,可以有效支持多种重要体系作战效能指标的可视化分析,是基于仿真进行体系能力形成机理研究的重要辅助手段。 展开更多

关键词 网络化体系 效能分析 复杂网络 超网 分析模型

下载PDF 职称材料

面向武器装备体系仿真的五环聚焦实验框架 被引量：4

5

作者 张昱 杨镜宇 +2 位作者 李仁见 杨国强 胡晓峰 《系统仿真学报》 CAS CSCD 北大核心 2014年第11期2541-2545,共5页

针对武器装备体系仿真中因实体数量繁多、关系复杂而导致的难以快速展开仿真实验与高效收敛仿真空间等问题,对面向武器装备体系仿真的聚焦实验方法进行了研究,提出了一种新颖的基于数据耕耘的五环聚焦实验框架,并对其中的想定准备环、... 针对武器装备体系仿真中因实体数量繁多、关系复杂而导致的难以快速展开仿真实验与高效收敛仿真空间等问题,对面向武器装备体系仿真的聚焦实验方法进行了研究,提出了一种新颖的基于数据耕耘的五环聚焦实验框架,并对其中的想定准备环、想定提炼环、仿真实验环、数据分析环以及聚焦实验环进行了详细定义与解释。该方法能够充分发挥计算机快速定量分析能力与"人"的灵活定性分析能力,可以有效解决武器装备体系仿真中面临的问题。 展开更多

关键词 武器装备体系 数据耕耘 体系仿真 试验床

下载PDF 职称材料

一种基于模型检验的缓冲区溢出检测方法 被引量：4

6

作者 张媛 于冠龙 李仁见 《计算机科学》 CSCD 北大核心 2012年第B06期31-34,共4页

缓冲区溢出已经成为程序漏洞的主要根源之一。目前存在的缓冲区溢出检测方法或多或少地都存在着不足,从而限制了这些方法的实际应用。深入研究了当前缓冲区溢出检测方法的优缺点,对程序中的缓冲区及其相关操作进行建模,设计了一种基于... 缓冲区溢出已经成为程序漏洞的主要根源之一。目前存在的缓冲区溢出检测方法或多或少地都存在着不足,从而限制了这些方法的实际应用。深入研究了当前缓冲区溢出检测方法的优缺点,对程序中的缓冲区及其相关操作进行建模,设计了一种基于模型检验的缓冲区溢出检测方法,并开发了一个原型工具来对该方法进行初步验证。在剖析缓冲区溢出基本原理的基础上,对程序中的缓冲区及其相关操作建立了理论模型,设计了一种基于模型检验的缓冲区溢出检测方法。最后,实现了一个原型工具来对该方法进行初步验证。 展开更多

关键词 缓冲区溢出 模型检验 人工分析

下载PDF 职称材料

农产品检测实验室“5S”管理 被引量：5

7

作者 李仁见 《北京农业（下旬刊）》 2014年第6期57-59,共3页

目前，随着中国现代农业的发展，人们对农产品质量安全的意识逐渐提高，农产品检测实验室在保障农产品质量安全方面的作用愈显突出，国家对农产品质量安全越来越重视，对农产品检测实验室逐年加大投入，重点支持，购置了先进的分析仪器... 目前，随着中国现代农业的发展，人们对农产品质量安全的意识逐渐提高，农产品检测实验室在保障农产品质量安全方面的作用愈显突出，国家对农产品质量安全越来越重视，对农产品检测实验室逐年加大投入，重点支持，购置了先进的分析仪器设备，改善了实验室的工作条件。随着仪器设备的更新、增多，实验室功能的不断扩大，如何加强实验室现场的规范性，实现实验室资源的最优化配置，充分发挥实验室各种资源的最大价值，是农产品检测实验室管理人员思考的重点。5S管理模式是一种有效的现场管理形式，在农产品检测实验室中大力引进5S管理，对于塑造良好的实验室形象，提高实验室工作效率，确保分析检测安全等方面能发挥积极作用。基于此，主要介绍了“5S”管理的基本内涵及其重要作用，并在此基础上提出“5S”管理在农产品检测实验室中的具体实施步骤。 展开更多

关键词 农产品 检测 实验室 5S管理

原文传递

面向载人航天软件安全性的标准、方法及工具综述 被引量：2

8

作者 李仁见 董威 +1 位作者 董龙明 吴学光 《载人航天》 CSCD 2012年第3期65-71,共7页

调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了... 调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了一些采用不同技术手段增强软件安全性的工具。基于文中的调研结果及我国载人航天系统的研制现状,给出了一种建议的载人航天软件安全性保障框架,可对我国载人航天型号研制中软件安全性保障工作提供一定的指导意义。 展开更多

关键词 载人航天 软件安全性标准 软件开发方法 分析验证工具

下载PDF 职称材料

IP及其路由技术在星载计算机中的应用 被引量：1

9

作者 李仁见 陈立前 王戟 《计算机工程》 CAS CSCD 北大核心 2007年第14期110-112,共3页

卫星接入Internet最好的解决方案就是在卫星通信中使用IP技术。该文结合某型号星载计算机的研制工作,探索IP及其路由技术在卫星通信中的应用;在实时操作系统RTEMS下开发了ATM网络设备驱动,实现了IP over ATM技术以支持IP协议,实现了动... 卫星接入Internet最好的解决方案就是在卫星通信中使用IP技术。该文结合某型号星载计算机的研制工作,探索IP及其路由技术在卫星通信中的应用;在实时操作系统RTEMS下开发了ATM网络设备驱动,实现了IP over ATM技术以支持IP协议,实现了动态路由协议RIP。针对星载应用的特点,在设计和实现中就协议栈简化、安全性等方面进行了适当的优化,成功地在星载计算机中实现了路由器功能。 展开更多

关键词 IP ATM网络 RTEMS 星载计算机 路由

下载PDF 职称材料

命令式程序终止性验证方法综述

10

作者 李仁见 王昭飞 《计算机工程与应用》 CSCD 北大核心 2011年第28期1-6,105,共7页

作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程... 作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程序终止性问题的定义,介绍了已有的数值程序、堆操作程序终止性验证方法,并分别进行了分析与对比。总结了当前研究中存在的难点与热点问题,给出了一种基于模型检验的C程序终止性验证框架,该框架可以作为研究命令式程序终止性的基本框架。 展开更多

关键词 终止性 命令式程序 秩函数 尺寸变化终止(SCT)分析 模型检验

下载PDF 职称材料

精确的堆内存使用量上界分析

11

作者 李仁见 刘万伟 +1 位作者 王昭飞 吴学光 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2011年第6期465-471,共7页

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策... 基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界. 展开更多

关键词 堆内存使用量上界 符号执行 循环处理 程序切片

原文传递

一种基于变量可达向量的链表抽象方法

12

作者 李仁见 刘万伟 +1 位作者 陈立前 王戟 《软件学报》 EI CSCD 北大核心 2012年第8期1935-1949,共15页

提出了一种链表抽象表示方法.该方法隐式存储链表结点之间的边信息,并采用了一种紧致的链表状态表示,存储开销较低,且维护了链表长度信息,精确度较高.具体而言,根据变量对链表结点的可达性质定义了变量可达向量,采用带计数的变量可达向... 提出了一种链表抽象表示方法.该方法隐式存储链表结点之间的边信息,并采用了一种紧致的链表状态表示,存储开销较低,且维护了链表长度信息,精确度较高.具体而言,根据变量对链表结点的可达性质定义了变量可达向量,采用带计数的变量可达向量集描述链表的形态及数量性质,并定义了基本链表操作的抽象语义.通过简单扩展,该方法可以建模包括环形链表在内的所有单向链表.最后,为了验证该链表抽象方法的正确性,在符号执行框架中进行实验,并对常见链表操作程序的运行时错误、长度相关性质等关键性质进行了分析与验证. 展开更多

关键词 链表抽象方法 符号执行 链表操作程序 变量可达向量

下载PDF 职称材料