基于UML的作战需求分析

作战需求分析是军事需求开发的重要组成内容。简要介绍了统一建模语言（UML）的主要内容和基本特点;在综合分析美国国防部体系结构框架作战视图产品的基础上,给出了作战需求分析框架;根据过程框架,对基于UML的作战需求分析进行了研究。基于UML的作战需求分析,便于用户和分析人员的相互沟通,加速开发进程,是获取作战需求的一种好的方法。结果可为军事系统的作战需求开发提供指导。     

对软件需求分析的一些思考

软件需求分析是创造性的工作。软件需求分析的概念、任务和过程本身就对需求分析工作提出了一系列原则性要求:强调需求分析的文档化、计划化和需求分析中的沟通以及不断地变化思维和立足点。软件需求分析的创造性使得人们不可能以固有的模式去开展工作,但是需求分析必须掌握一些必要的原则。     

软件需求分析的研究

通过物资管理系统的需求分析，说明了软件需求分析的重要性，详细阐述了软件需求分析的任务、过程、原则和方法。     

利用UML获取功能需求的方法

在介绍了利用统一建模语言UML来进行功能需求分析的方法 ,并着重描述如何获取用例模型及用例之间的关系的同时 ,对需求分析在软件开发中的重要性也进行了阐述 ;并对UML和需求分析的基本原则做了简要介绍     

基于领域本体面向问题的需求分析与领域建模

为了解决传统的以应用领域为目标、以问题解决方案为中心的需求分析方法造成的开发人员与需求人员以及客户三者之间的误解,需求分析不可再次使用进而导致系统开发效率低下,客户满意度低等问题,文中提出了基于本体面向问题进行需求分析的方法。阐述了基于本体面向问题进行需求分析的必要性、本体的相关概念和设计原则、本体的描述语言以及基于LAU建立领域本体的实例与需求分析过程,并论证了利用该方法可进一步提高需求分析的质量。     

基于领域本体面向问题的需求分析与领域建模

为了解决传统的以应用领域为目标、以问题解决方案为中心的需求分析方法造成的开发人员与需求人员以及客户三者之间的误解,需求分析不可再次使用进而导致系统开发效率低下,客户满意度低等问题,文中提出了基于本体面向问题进行需求分析的方法。阐述了基于本体面向问题进行需求分析的必要性、本体的相关概念和设计原则、本体的描述语言以及基于LAU建立领域本体的实例与需求分析过程,并论证了利用该方法可进一步提高需求分析的质量。     

VSAT卫星通信安全分析

本文首先介绍了VSAT卫星通信在消防救灾、军事等领域的广泛运用,然后本文结合实际工作,以消防应急指挥VSAT卫星通信系统为例,进行了VSAT卫星通信的特点和数据加密需求分析,最后提出了VSAT卫星数据安全通常采用的几种方式。     

UML建模机制研究及在系统需求分析中的应用

对UML语言的组成结构和需求分析的基本原则做了简要的介绍,从两者之间的关系出发,提出了分析中的3类模型图,并导出了利用统一建模语言UML获得系统功能需求的方法和建模流程;从理论出发,在一个综合网管系统的设计中,从所得到的方法及建模流程图,结合图例详细阐述了需求分析建模所经过的5个阶段,从建立的3类模型图中得到一个较为完整的系统需求分析结论。     

福建省农业公众信息服务平台安全系统设计与实现

农业信息服务平台安全系统的设计目标、原则、需求分析、网络安全系统设计及解决方案。     

校园网设计

本文从需求分析,设计原则,组网方案,布线规划,设备的选购等几方面介绍校园设计步骤。     

An Integrated View on Rules and Principles

In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directly to its conclusion if its condition is satisfied, while a principle seems to lead merely to a reason for its conclusion. However, the implications of these intuitive differences for the logical status of rules and principles remain controversial.A radical opinion has been put forward by Dworkin (1978). The intuitive differences led him to argue for a strict logical distinction between rules and principles. Ever since, there has been a controversy whether the intuitive differences between rules and principles require a strict logical distinction between the two. For instance, Soeteman (1991) disagrees with Dworkin's opinion, and argues that rules and principles cannot be strictly distinguished, and do not have a different logical structure.In this paper, we claim that the differences between rules and principles are merely a matter of degree. We give an integrated view on rules and principles in which rules and principles have the same logical structure, but different behavior in reasoning. In this view, both rules and principles are considered to consist of a condition and a conclusion. The observed differences between rules and principles are, in our view, the result of different types of relations that they have with other rules and principles. In the integrated view, typical rules and typical principles are the extremes of a spectrum.We support our claim by giving an explicit formalization of our integrated view using the recently developed formal tools provided by Reason-Based Logic. As an application of our view on rules and principles, we give three ways of reconstructing reasoning by analogy.     

基于Agent的电子谈判协议设计

Agent谈判和人类谈判一样，需要事先就谈判内容、程序、方案和礼节等事项达成协议，确保谈判的正常进行。该文设计了一个电子谈判协议，该协议包括发起谈判、终止谈判、并行谈判和身份认证4个子协议，为Agent谈判提供了一组规则框架。协议符合安全性和公平性原则，具有Pareto最优、Nash平衡和无欺诈特性。     

语义制导的复杂建筑结构图三维重建技术

借鉴人工读图时依赖结构图中蕴含的各种语义理解结构内容的机制，提出了基于对象形态语义、连接关系语义及参考引用语义的建筑对象识别与整体三维重建方法。     

基于可配置规则的BOM视图转换方法

在确保物料清单(bill of material,BOM)多视图之间产品数据一致性和完整性的前提下,为实现BOM视图转换技术能够满足企业业务规则的个性化需求并适应企业业务规则可能发生的改变,提出了基于可配置规则的BOM视图转换方法.在分析企业中各种BOM视图之间关系的基础上,建立了BOM视图及其转换过程的基础模型,给出了装配转换规则的结构定义及其配置方法,通过实际案例介绍了该方法在BOM视图转换过程中的应用,表明了该方法能够满足企业业务规则的个性化需求并适应企业业务规则的变化.     

一种基于扩展Spi演算的类型系统

主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想，通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规则可以向用户担保．如果协议通过了类型检测，则该协议没有泄漏任何秘密的消息。     

A Transfformation Grammar for Housing Rehabilitation

Existing housing stock must be rehabilitated to meet the new needs of dwellers in the current information society. Consequently, Information and Communications and Automation Technologies (ICAT) must be integrated in living areas. Both shape grammar and space syntax can be used as tools to identify and encode the principles and rules behind the adaptation of existing houses to new requirements. The research proceeds by first identifying the dwellers’ demands and determine how the use of technology influences them. The second step is to identify the functional, spatial, and constructive transformations performed manually by human designers in order to infer the corresponding transformation rules and encode them into a grammar. The third step aims to test the grammar in other dwellings that are part of the corpus of the study.     

多元时间序列中跨事务关联规则分析的高效处理算法

用挖掘跨事务关联规则的方法分析多元时间序列，可以找到序列中不同采样点观察值之间相互影响的关系。本文为实现这一目的，提出一种新的分析方法：ES—Apriori。此方法通过减少数据库扫描次数，优化内存分配，能够高效地分析多元时间序列之间的关联规则。试验表明，用此方法分析中国证券市场的股票时间序列非常有效。     

基于状态图的缓冲区溢出攻击分析

结合缓冲区溢出攻击产生的原理,分析缓冲区溢出攻击代码的结构,论述Snort规则对缓冲区溢出攻击的检测,在此基础上构建一个基于状态图的缓冲区溢出攻击的分析模型。该模型对于进一步明确缓冲区溢出攻击过程和完善缓冲区溢出攻击的检测和防御有很大的理论和实际意义。     

一种基于规则分解映射的防火墙规则匹配算法

并行树搜索(PTS)算法是报文分类领域中较为优秀的算法之一,但它需要构建大量的external nodes,且只支持以前缀形式表示的规则,因此其匹配效率及适用范围都受到了很大的影响.针对这一问题,提出一种基于规则分解映射的规则匹配算法RMBRDM.RMBRDM算法首先按照启发式方法选取标准维;然后根据规则分解映射和标准维对相关规则进行分解;最后建立一棵二叉决策树.理论分析和仿真实验均表明,RMBRDM算法不仅支持以范围形式表示的规则,且时空性能优于PTS算法.