SOA三层架构在嵌入式文件系统上的实现

提出了基于SOA三层架构的嵌入式文件系统的实现方法。根据"需求—语义—服务"三层架构的设计思想,完成了文件系统整体设计思路和实现方案。需求层利用UML建模方法、Ontology建模工具Protégé及其推理插件pellet构建了文件业务系统的领域本体模型,从领域模型中提取出了文件系统常用的系统用例,基于此完成用例的实现流程图。语义层建立了"需求—语义描述—服务"的语义特征树,并采用OWL/RDF语言对语义特征树进行了形式语义描述。根据业务用例、用例场景、业务步骤的分析过程找出对应的原子业务即业务语义概念范畴内最小的业务单元;根据原子业务映射到相应的系统需求进行系统建模,并得到对应的原子构件集合;通过形式语义将场景步骤序列描述为由一系列原子构件的组合,完成"需求—语义—服务"三层SOA结构的嵌入式文件系统设计。     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

开发中心综合系统需求管理分析

软件项目中的需求是关系软件项目成败的关键性因素，缺乏对需求进行管理往往是造成项目失败的主要原因。本论文以‘‘开发中心综合管理系统”为例，提出了建立软件需求管理模型来进行需求管理，达到提高需求管理效率的目的，确保项目按照预定计划高质量地完成。     

一种基于用例的突发事件应急疏散仿真系统需求设计

在阐述用例模型及基本构件概念的基础上,给出了突发事件应急疏散仿真需求描述的基本方法,寻找仿真系统的参与者,并根据参与者确定仿真系统的用例,以用例图规定系统的行为,以文档形式的用例规约描述具体用例,建立突发事件应急疏散仿真用例模型.最后,通过"调用疏散模型"的活动图实现了对用例的进一步求精,展现了用例驱动应急疏散仿真系统需求建模的全过程.     

基于扩展I~*框架的嵌入式系统需求建模方法

系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在扩展的UML顺序图中实现对非功能属性"实时性"的描述。采用ATM实例,对上述建模方法进行分析并验证可行性。通过上述研究,最终完成了对嵌入式系统需求的完整描述,并结合UML顺序图的扩展实现对"实时性"的描述。     

基于逆向工程技术的电风扇外壳模具设计与研究

介绍了一种基于逆向工程技术的塑料制品模具数字化设计方法,并以某电风扇外壳模具设计为例进行说明.在模具设计过程中,先借助三维扫描仪采集电风扇外壳表面点云数据,然后应用Geomagic Studio软件和UG软件进行数据处理、曲面重构和模型重建,最后用UG软件中MoldWizard模块完成该产品的成型工艺与模具设计.实践表明,此方法对于曲面形状复杂、缺少原始几何数据的塑料产品模具设计具有参考意义,能提高设计的效率和可靠性.     

船舶总体装配制造物流仿真系统

针对船舶总体装配制造物流仿真的功能需求,提出了船舶总体装配物流仿真系统总体解决方案,进行了总体架构的设计,完成了工程化仿真流程的制定和船舶总体装配物流仿真模型的建立.依托可视化仿真软件QUEST建立了仿真运行环境,进行了系统实现,最后通过在船舶总体装配建造中的应用,验证了仿真系统设计的合理性.     

基于UML2.0的设备管理系统需求建模

采用基于UML2.0的用例图、活动图对设备管理系统进行业务建模.讨论了UML2.0对MIS系统业务建模的机制和特点,提出了针对中小型软件开发的需求分析方法,并给出了一个计算机设备管理系统实例.重点介绍如何使用UML2.0中的用例图和活动图对管理信息系统建立需求模型,首先分析机构组织特点,建立机构组织模型;然后提取机构的主要业务工作流,通过使用活动图建立企业工作流模型;最后根据活动图抽象出系统的执行者和用例,建立系统的用例图.并且给出了一个计算机设备管理系统需求建模实例.     

基于不确定理论的EOQ模型及库存风险分析

基于不确定理论,研究了需求为不确定变量(不是随机变量和模糊变量)的库存风险控制最优策略,以风险最小化为目标建立了库存风险模型.确定了"之字形分布"下的最佳需求估计值,得出了需求为不确定变量时的经济订货批量和订货周期的修正公式.应用数学软件Matlab,对该模型进行仿真计算,结合灵敏度分析方法,分析了模型参数变化对库存风险控制的影响.     

"三段四分法"在环境空气质量统计预报模型建立"基础数据库"中的应用

"三段四分法"是在环境空气质量统计预报模型建立"基础数据库"中总结出的有效方法,它可以有效保障"基础数据库"建立的有效性,从而提高空气质量预报的准确率.此法在权重系数法建立的预报模型中得到很好的应用,也可以为其它统计模型的建立在数据筛选方面所借鉴.