邓小妮
- 作品数：17 被引量：22H指数：2
- 供职机构：国防科学技术大学人文与社会科学学院更多>>
- 发文基金：武器装备预研基金中国人民解放军总装备部预研基金国家部委预研基金更多>>
- 相关领域：自动化与计算机技术文化科学语言文字理学更多>>
- 基于模型检验与仿真的C~4ISR系统需求验证方法研究
- 信息技术的发展以及战争形态的变化,对一体化C~4ISR系统的需求日益迫切;C~4ISR系统的开发和建设,更加重视以需求工程和体系结构技术为核心的C~4ISR系统顶层设计技术的指导和应用。需求工程作为系统开发的第一步,是后...
- 邓小妮
- 关键词：仿真
- 文献传递
- 指挥控制的形式化描述与性质验证被引量：2
- 2003年
- 在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。
- 邓小妮袁卫卫曾熠罗雪山
- 关键词：指挥控制C^4ISR形式化描述LOTOS
- 超文本系统的功能结构模型
- 本文首先对超文本及超文本系统予以概述,在此基础上,提出超文本系统的一种功能结构模型,并对其各个部分进行详细阐述,最后给以小结.
- 邓小妮老松杨胡晓峰
- 文献传递
- Ｈ<'3>：ＭＭＩＳ数据模型的体系结构观点
- 邓小妮陈怡
- 关键词：信息系统多媒体数据模型
- 联合环境中支持视频会议的资源发现
- 本文介绍了联合环境中桌面视频会议资源发现的对象和资源发现服务,以及资源发现方法,并给出资源注册和发现流图.
- 邓小妮曾熠
- 关键词：资源发现资源注册
- 文献传递
- 视频媒体“流”行网上被引量：1
- 2002年
- 邓小妮李天波
- 关键词：流媒体网络视频电化教育视频媒体
- 向时间自动机转换的军事电子信息系统性质验证
- 2011年
- 日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需。给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示。雷达干扰机系统说明了该方法的实际应用效果。
- 邓小妮罗雪山
- 关键词：形式化验证PETRI网时间自动机
- 利用对象Petri网验证场景被引量：1
- 2009年
- 序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证。
- 邓小妮姜志平陈洪辉罗雪山
- 关键词：序列图对象PETRI网
- 网上《高级英语视听说》课程系统的开发
- 2002年
- 邓小妮刘晶
- 关键词：课程系统网络教学教学模式
- 一种基于事务时间分割的关联规则增量式更新方法被引量：1
- 2004年
- 文章介绍了一种增量式关联规则更新方法,其核心思想是,将长事务以时间分割,分成一个连续的情节集合,当前情节期间获得的信息,依赖于当前的事务子集以及前面情节期间已经发现的信息。仅使用更新的事务和前面阶段的挖掘结果,增量式地产生频集。用Apriori类算法作为局部过程来产生频集,给出了具体的动态挖掘算法。
- 邓小妮罗雪山
- 关键词：数据挖掘关联规则频集增量式更新
