解放军理工大学指挥自动化学院 作品数:1,814 被引量:6,047 H指数:30 相关作者: 宋自林 张毓森 张涛 邹峰 魏镇韩 更多>> 相关机构: 东南大学信息科学与工程学院 南京大学计算机科学与技术系 国防科学技术大学计算机学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 江苏省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 军事 文化科学 更多>>
基于移动代理的分布式仿真建模与分析 随着分布式仿真规模的扩大,传统的分布式仿真技术不能完全满足系统需求。利用移动代理的自主性,协调性和智能性等特点,按照RTI接口规范,实现仿真系统功能。首先,分析HLA作为移动代理分布式仿真环境的可行性,指出移动代理在分布... 刘晓明 饶翚关键词:移动代理 分布式仿真 高层体系结构 联邦运行支撑环境 文献传递 基于MVC模式的网上选课系统的设计与实现 随着计算机应用的日益普及和深化,如何从用好的设计模式开发出能满是发展需要的计算机软机越来越引起了人们的重视。MVC是开发交互式应用程序时广泛使用的一种设计模式。论文首先详细的对MVC设计模式进行了深入的研究,然后实现了一... 姜劲松 卞洪流 徐哲关键词:设计模式 MVC 文献传递 一种基于流的反垃圾邮件技术 本文介绍了垃圾邮件的概念、危害以及防范技术.讨论了邮件递交的过程、邮件流的分类以及我们拟针对解决的目标.最后介绍了部署这种反垃圾邮件技术的平台——网络测量系统,以及基于策略的调度方式. 仇小锋 陈鸣关键词:垃圾邮件 反垃圾邮件 网络测量 防范技术 调度方式 文献传递 用移动探针构造端到端故障诊断系统 被引量:1 2006年 将具有网络测量智能的探针移动到用户端系统中,再通过Web浏览器控制其测试参数并显示测试结果,这种端到端故障诊断系统能够方便、迅速地诊断出网络故障,结合使用网络测量策略系统更容易改变测试条件和增加测试功能.提出了基于智能代理的端到端故障诊断系统的体系结构,讨论了其实现技术并介绍了相关的应用。 陈鸣 周骏 常强林 高屹关键词:网络测量 故障诊断系统 端到端 探针 船艇通信仿真系统中多点语音通信的实现 被引量:1 2007年 针对船艇通信仿真系统实现过程中对语音通信的要求,文中采用多点语音通信技术,对实时语音系统进行分析、设计和实现,设计一个多点语音实时系统,该系统可以满足多个终端进行实时语音通信的需要,并成功应用于船艇通信仿真系统中。 樊华 鲍广宇 葛宝忠面向C4ISR能力分析的领域特定描述语言 被引量:6 2011年 针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性. 董庆超 王智学 朱卫星 陈剑 张婷婷关键词:描述逻辑 SNMP MIB文法分析及MIB编译器的实现 被引量:8 2000年 通过对 SNMP MIB(SMIv2 )中两个具有代表性的宏定义的语法进行分析 ,给出了宏定义的文法分析表 ,证明了 SNMP MIB定义的宏基本属于 LL- 1文法 ,并指出了 TEXTUAL- CONVENTION宏定义中的一处文法缺陷。在此基础上 ,依据文法分析表设计了 MIB编译器的程序流程图 ,根据 LL- 1文法的性质证明了该流程图是正确的。 陆卫东 张毓森 胡谷雨关键词:MIB 文法分析 简单网络管理协议 管理信息库 程序正确性证明 多Agent系统中蚁群算法的设计与实现 介绍了蚁群算法的基本思想与原理,以及在多Agent系统中的设计、实现方法,给出了在多Agent系统环境中的仿真实验结果。仿真结果表明,将蚁群算法与Agent的行为规则有机结合,可以有效地改善Agent的群体行为。 贺建民 闵锐关键词:蚁群算法 多AGENT系统 复杂适应系统 文献传递 基于语义本体的Web服务发现 Web服务的大量涌现对服务发现提出了挑战,UDDI上基于关键词和简单分类的服务发现机制已经不能很好满足需要.本文研究基于语义本体的Web服务发现技术,采用OWL-S本体语言描述服务,利用概念的语义相似度量化服务属性和接口... 吴量 艾未华 宋自林 魏磊 吴丹阳关键词:语义本体 WEB服务 二部图 文献传递 一种新的基于SVDD的多类分类算法 被引量:4 2009年 目前的多类学习方法大多将多类问题转化为二类问题,这样处理除了时间开销大,还存在识别盲区。提出了一种直接进行多类学习的算法multi-SVDD。该算法在考虑大样本和多类样本数据中的类内不平衡现象基础上,首先为每类训练样本进行聚类,根据聚类结果由支持向量数据描述(SVDD,Support Vector Date Description)建立多个最小包围球。根据测试样本到SVDD所建立的最小包围球的距离来确定测试样本属于哪个聚类,最终可判断测试样本属于哪个类。multi-SVDD算法在时空开销上相比最小包围球方法没有明显增长,而实验效果则好于最小包围球方法。 缪志敏 潘志松 袁伟伟 赵陆文关键词:支持向量数据描述 聚类