【摘 要】
：
信息系统开发的关键问题是如何获取需求.它已经困惑系统开发人员很长时间.如何建立开发人员和用户之间的沟通桥梁已成为需求工程领域的一个热点问题.本体定义了一个特定领域的通用概念以及这些概念之间的关系.所以本体可以引导用户和开发人员去建立需求模型.本文提出了三个本体的概念:业务本体,技术本体和功能本体.首先,本文给出了这些本体的定义.然后详细讨论了这些本体,最后通过本体,给出了领域需求模型.
【机 构】
：
解放军理工大学通信工程学院(江苏南京) 解放军理工大学指挥自动化学院(江苏南京)
论文部分内容阅读
信息系统开发的关键问题是如何获取需求.它已经困惑系统开发人员很长时间.如何建立开发人员和用户之间的沟通桥梁已成为需求工程领域的一个热点问题.本体定义了一个特定领域的通用概念以及这些概念之间的关系.所以本体可以引导用户和开发人员去建立需求模型.本文提出了三个本体的概念:业务本体,技术本体和功能本体.首先,本文给出了这些本体的定义.然后详细讨论了这些本体,最后通过本体,给出了领域需求模型.
其他文献
仓库管理是企业物料管理的核心,是现代企业管理的重要环节.本系统在对仓库管理业务进行详细分析讨论的基础上,建立了库存量的控制模型.系统不仅能实现传统的进、出、存业务管理,而且实现了最大限度的企业物料平衡和流通资金占用的平衡.该系统的使用对企业的正常运作与发展起到了非常重要的作用.
分布式交互仿真具有两个IEEE标准,分别是DIS和HLA.Web服务提出了一种新的分布式计算模式,它底层采用SOAP协议作为基本的通信协议,该协议使用现有的TCP、HTTP、SMTP等底层网络通信协议进行传输,使用XML作为消息传递格式.本文给出并实现了一种面向服务的分布式交互仿真网络服务的逻辑,它借鉴了DIS和HLA的基本思想,同时采用了Web服务技术,具有实际应用价值.
本文针对基于内容的视频研究之核心问题,根据视频分析结果和体育视频的特点,从体育视频元数据描述、基于内容的视频数据管理和浏览三方面进行了研究.在综合相关领域已有研究成果的基础上,设计和实现了基于内容的体育视频描述、管理和浏览系统——SportsVMB
本文首先总结国内外学者所建立的各种火焰模型,然后提出了一种新的基于粒子系统的火焰模型,同时结合SVRT系统整体要求,实现了OpenGL驱动的火焰的动态模拟,取得了满意的效果.
针对宽带网络环境中网络监控面临的处理能力瓶颈,提出了一种集中式数据获取分布式处理的机制;详细阐述了该机制实现的体系结构,基于该机制的实现给出基于连接和基于数据流的两种转发分流方案.在介绍两种方案的设计实现基础上,分析比较两种方案在应用中的优缺点,粗粒度的基于数据流方式的转发分流方案具有高效性,细粒度的基于连接转发分流方案具有灵活性,将两种方法在实践中合理结合会使宽带网络监控更为高效.
基于声音空间变换、小波融合、独立成分分析(ICA)以及数字细菌等技术,提出一种保护立体声音乐产品的知识产权的新方法.将水印数据同时嵌入到两道声音的小波系数中,提取水印时,利用独立成分分析,通过无监督神经网络,获得无噪音的水印.为保证水印的安全,在多媒体数据中嵌入水印后,水印作为隐藏的独立成分信号起着免受数字细菌攻击的作用.数字细菌平时处于休眠状态,用于保护多媒体数据.如果水印遭到破坏,则数字细菌被
随着网络信息量的迅猛增长,网络攻击方式的不断翻新,网络入侵检测系统经过了由集中式处理到分布式处理、由简单软件结构到通用功能模块设计的变化过程.文中从提高NIDS的检测效率出发,设计和实现了一个基于三维链表的入侵检测系统的规则解析功能模块,该模块具有灵活的结构,提供了很好的复用性和扩展性,并实现了自定义加载检测插件的功能.
目前对基于口令的密钥交换协议的安全性分析大多只考虑了基本安全性而没有考虑前向安全性;口令的泄漏不会会导致旧的会话密钥的泄漏;长期秘密的泄漏不会导致口令的泄漏.文中对这类协议的前向安全性进行了讨论.提出一个项节点图模型,在这个模型下,形式化证明了EKE协议的前向安全性,并指出A-EKE协议中存在的前向安全性漏洞,基于项节点图给出其不意攻击路径并提出了修改方法.项节点模型可以很容易的进行程序实现,实现
随着无线网络中提供数据业务的需求日益增加,有效的管理无线网络资源日益重要.本文研究了基于非对称交易框架的WCDMA网络中上行链路中资源分配的公平性问题,这种框架兼顾了用户的资源需求和预算能力.针对有限用户以及最高可用速率限制的情况,本文考虑了以吞吐量为基础的资源分配公平性问题.通过对两个用户的特例的理论分析和数值仿真,可知当一个或两个用户工作以最高可用速率时,总效用较大,而不是以由帧成功函数决定的
移动计算是一门新兴的技术,它是通信技术与人工智能技术相结合的产物.本文利用CCS(Calculus of Communicating Systems)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明,并给出必要的结论.本文的优点在于此方法不仅仅限于网络协议的证明,也能够将其推广到任何与进程通信相关的模型当中,此种方法对于判断一个与进程相关的模型是否具有健壮