检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

网络化体系能力评估问题

系统工程理论与实践 2015年第5期35卷 1317-1323页

作者：胡晓峰张昱李仁见杨镜宇国防大学信息作战与指挥训练教研部北京100091

网络化体系能力评估是当前作战体系分析中的难题之一,在理念、方法以及平台方面面临诸多挑战.首先给出了在体系能力评估理念上需要做出的三个转变,包括建立战争复杂系统观、引入复杂网络思想以及构建网络化体系能力指标;其次介绍了网络... 详细信息

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

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

星载计算机中IP/ATM及路由关键技术研究与实现

在线全文

学校读者我要写书评

暂无评论

星载计算机中IP/ATM及路由关键技术研究与实现

作者：李仁见国防科学技术大学

学位级别：硕士

未来卫星通信要求卫星能够无缝透明地接入Internet,然而目前大部分卫星仍然采用原始的通讯模式,并继续在网络层以上独立于Internet;卫星接入Internet最好的解决方案就是使用IP技术。卫星星座工作模式及星际链路的引入使得卫星组网运行... 详细信息

未来卫星通信要求卫星能够无缝透明地接入Internet,然而目前大部分卫星仍然采用原始的通讯模式,并继续在网络层以上独立于Internet;卫星接入Internet最好的解决方案就是使用IP技术。卫星星座工作模式及星际链路的引入使得卫星组网运行成为大势所趋,因此,我们有必要研究适合于星载计算机与卫星网络的路由协议。本文对星载计算机中IP/ATM及路由协议的关键技术进行了研究与实现。具体而言,研究了ATM技术在星载计算机中的应用,在实时操作系统RTEMS上开发了ATM网卡驱动;研究了TCP协议在卫星网络中应用的性能问题,并提出了相应的解决方案,设计实现了经典的CIPOA技术以支持IP协议;深入研究了RIP路由协议在星载计算机系统中的应用与实现,对其中的关键问题进行了讨论和分析,并进行了RIP形式化研究。星载系统在安全性和可靠性方面的要求是不言而喻的。为此,我们对星载软件的可靠性问题进行了讨论,并对最主要的程序漏洞——缓冲区溢出问题进行了深入的研究。我们研究了基于模型检验的缓冲区溢出检测方法,对程序中缓冲区及其相关操作进行了理论建模,设计并实现了一个基于模型检验进行缓冲区溢出检测的原型工具MCBuffer。最后我们使用原型工具MCBuffer与已有的静态缓冲区溢出检测工具对星载操作系统中部分关键代码进行了缓冲区溢出检测和分析。

关键词：星载计算机 TCP/IP 路由协议 RIP 缓冲区溢出模型检验

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

计算机工程与应用 2011年第28期47卷 1-6,105页

作者：李仁见王昭飞国防科技大学计算机学院并行与分布处理国家重点实验室长沙410073

作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

一种基于模型检验的缓冲区溢出检测方法

计算机科学 2012年第B6期39卷 31-34页

作者：张媛于冠龙李仁见 65042部队国防科学技术大学计算机学院海军驻沈阳地区航空军事代表室

缓冲区溢出已经成为程序漏洞的主要根源之一。目前存在的缓冲区溢出检测方法或多或少地都存在着不足,从而限制了这些方法的实际应用。深入研究了当前缓冲区溢出检测方法的优缺点,对程序中的缓冲区及其相关操作进行建模,设计了一种基于... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

基于超网的体系效能可视化分析

系统仿真学报 2014年第9期26卷 1944-1949,1955页

作者：李仁见司光亚张昱王飞国防大学信息作战与指挥训练教研部北京100091

未来战争的基本形式是基于信息系统的网络化体系对抗,在整体、动态、对抗的仿真过程中通过体系效能分析来研究武器装备体系能力形成机理是探索未来战争的一种重要手段。对相关工作进行了介绍,给出了武器装备体系超网模型的形式化定义,以... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

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

软件学报 2012年第8期23卷 1935-1949页

作者：李仁见刘万伟陈立前王戟国防科学技术大学计算机学院并行与分布处理国家重点实验室湖南长沙410073 国防科学技术大学计算机学院计算机科学与技术系湖南长沙410073

提出了一种链表抽象表示方法.该方法隐式存储链表结点之间的边信息,并采用了一种紧致的链表状态表示,存储开销较低,且维护了链表长度信息,精确度较高.具体而言,根据变量对链表结点的可达性质定义了变量可达向量,采用带计数的变量可达向... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

IP及其路由技术在星载计算机中的应用

计算机工程 2007年第14期33卷 110-112页

作者：李仁见陈立前王戟国防科学技术大学计算机学院长沙410073

卫星接入Internet最好的解决方案就是在卫星通信中使用IP技术。该文结合某型号星载计算机的研制工作,探索IP及其路由技术在卫星通信中的应用;在实时操作系统RTEMS下开发了ATM网络设备驱动,实现了IP over ATM技术以支持IP协议,实现了动... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

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

武汉大学学报（理学版） 2011年第6期57卷 465-471页

作者：李仁见刘万伟王昭飞吴学光国防科技大学并行与分布处理国家重点实验室湖南长沙410073 国防科技大学计算机学院湖南长沙410073

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策略,并采用... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

面向武器装备体系仿真的五环聚焦实验框架

系统仿真学报 2014年第11期26卷 2541-2545页

作者：张昱杨镜宇李仁见杨国强胡晓峰国防大学信息作战与指挥训练教研部北京100091

针对武器装备体系仿真中因实体数量繁多、关系复杂而导致的难以快速展开仿真实验与高效收敛仿真空间等问题,对面向武器装备体系仿真的聚焦实验方法进行了研究,提出了一种新颖的基于数据耕耘的五环聚焦实验框架,并对其中的想定准备环、... 详细信息

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

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