基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

非规则曲面的离散元法分析模型建模软件

在采用离散元法分析机械部件与颗粒材料接触作用时,需要建立机械部件（边界）的离散元法分析模型。分析可知,机械部件中与颗粒材料接触作用的零件表面,存在不能用初等解析函数表达的非规则曲面。为此,采用推进波前法（AFT：Advancing Front Technique）进行非规则曲面网格划分,把非规则曲面离散成三角形平面片的组合,同时添加运动属
性和材料特性参数,由此建立非规则曲面边界的离散元法分析模型。在对PRO/E软件进行二次开发的基础上,研制了非规则曲面边界建模软件。通过实例验证,初步证明了基于AFT边界建模方法和软件的可行性,为复杂结构机械部件工作过程的仿真分析奠定了基础。     

基于ROSE的电磁铁辅助设计软件建模

面向对象的方法已经成为软件工程的主流方法,讨论使用面向对象建模的标准语言UML建模的方法和过程.通过使用Rose实现电磁铁辅助设计软件建模的实例,描述了从需求分析到部署的各个环节.     

软件过程建模技术的发展

本文介绍了软件过程建模的基本概念。回顾了软件过程建模发展经历的几个阶段。然后,对软件过程建模的现状进行了一些分析。最后展望软件过程建模技术的未来。     

基于营造法式的客家古建筑规则构件建模方法

客家古建筑在独特的地理位置及社会环境中产生并形成独具客家特色的建筑风格,但受社会经济多方面因素制约,客家古建筑正面临破损和毁坏的风险,对其进行数字化重建是有效的保护方法,客家古建筑的高效的三维批量建模方法是技术的关键.根据营造法式的构件理论,在分析客家古建筑的结构特征基础上,将客家古建筑拆分为多种建筑构件,并利用CityEngine的CGA规则语法进行三维构件建模,最后组合构件,得到完整的古建筑数字三维模型.实验结果表明:所提出的方法能够极大地降低建模成本、提高建模效率,为今后对客家古建筑三维建模及其数字化保护提供理论基础和技术支持.     

基于"用例"的软件需求建模方法研究

应用软件工程的基本思想、方法和原理,结合统一建模语言在面向对象分析与设计中的应用,对应用"用例"方法建立软件需求模型进行分析和研究.提出了应用"用例"建立软件需求模型过程中,必须用活动图集成"用例"之后,才能准确描述"用例"之间关系,从而完成应用"用例"进行软件需求模型的建立、完成需求分析目标的观点.     

软件Agent的分析与建模方法

为保证Ａｇｅｎｔ软件系统的质量,提高系统的可靠性、正确性、可维护性和可扩展性,需要为Ａｇｅｎｔ软件系统提供设计方法学的支持。以处于分布、开放环境的信息Ａｇｅｎｔ为研究对象,以同一应用域分析结果的复用为前提,提出了一种面向Ａｇｅｎｔ的分析方法ＡＲＣ,阐明了在设计Ａｇｅｎｔ软件系统时采用对象级构件、主动对象和Ａｇｅｎｔ三级模型的思想。     

基于模糊关联规则与减法聚类的神经模糊建模

针对许多复杂系统的输入变量之间存在的相互关联,提出了一种基于聚类与模糊关联规则的神经模糊建模方法.这种方法采用基于聚类的模糊关联规则挖掘算法来进行输入变量的选择,之后,再采用基于减法聚类的神经模糊建模方法建模.最后,还将这种建模方法应用于实际建模问题,结果表明这种方法在保证模型精度符合建模要求的情况下,减少了模型输入个数,降低了建模的复杂程度.     

物流系统规划建模中Automod软件的功用

降低物流成本是企业的第三利润源,为了实现这一目标并提高企业的核心竞争力与市场竞争力,许多企业都把物流作为企业的核心竞争力而改造。本文大致介绍目前世界上先进的一种物流系统规划设计仿真软件――Automod仿真软件,具体介绍了该软件所能实现的具体功能特征。该软件通过对企业物流系统建立仿真模型,寻找最适合企业的资源优化配置和物流规划设计,在企业物流决策过程中为提供技术与数据支持。     

低压开关柜的质量检查

低压开关柜的质量检查,主要检验、控制生产过程中的全过程,在实际检验中对钣金加工、前处理喷涂、壳体组装、元件安装、母线加工及安装、二次配线、一次配线、出厂检验工序进行严格控制,最终才能促使产成合格的产品。     

基于Git日志的即时软件质量分析框架

首先, 针对目前现有技术无法自动抽取软件仓库、 标记数据、 构建质量分析模型和分析软件质量的问题, 提出一个针对Python项目的即时软件质量分析框架GIF. 其次, 基于GIF抽取并标注GitHub上最受欢迎的前10个Python项目, 使用3个经典分类器（逻辑回归, 朴素Bayes和随机森林）在AUC和F₁值评价指标上进行实验验证. 实验结果表明, GIF框架可即时、 有效地识别Python项目中的软件缺陷, 是一个方便使用的即时软件质量分析框架.     

基于软件质量模型构建软件可信性评估系统

文章基于软件质量模型的研究成果,分别从认知软件可信性的角度、量化可信性指标的角度以及如何评估软件可信性的角度对软件可信性进行阐述。为了对软件可信性实现量化评估,提出由指标模型层、评估过程和信息层3部分组成的软件可信性评估系统。     

基于Patran环境的框架结构参数化有限元分析

MSC PATRAN软件只需输入必要的设计参数,就可以自动完成所开发产品的有限元分析.对一实际的框架结构实现了参数化有限元计算模型的建立以及约束和载荷的自动施加, 从而实现了某框架结构的自动化静力有限元分析.开发的参数化设计软件系统具有弹出式菜单风格,便于设计人员使用.通过实际工程实例的计算,证明了所开发软件的正确性.     

基于TRICHOTOMY模型的可视化建模工具软件测试实例

本文通过总结大量的实例测试,提出了基于TRICHOTOMY模型的可视化建模系统测试方法。对于该方法,文中主要介绍了其在可视化建模工具软件测试中的实例应用。同时为了展示测试的过程与结果,文中给出了两例具体的应用测试图示。     

基于实体造型领域软构件重用

应用ＯＯ方法对实体造领域进行领域分析,抽象和提取该领域应用系统间的共性,生成相应的领域应用模型以及体系结构。在此基础上,利用构件描述语言描述构件并建立领域构件库;运用良好的人机交互界面,对构件进行浏览和检索,等等。     

软件质量度量的量化管理模型及方法

如何有效提高软件质量始终是软件工程领域的研究重点，基于软件质量度量的量化管理是保证软件质量的重要手段。从量化管理的角度分析了软件质量和软件度量之间的紧密关系，探讨了软件质量度量的作用，并给出软件质量度量模型的一个运用实例。     

浅谈软件项目质量管理

从软件项目质量管理重要性谈起,分别对项目质量管理的内容、原则、提高方法、常用的技术和工具进行了论述。     

农作物种子检验管理系统的开发与应用

根据种子检验结果统计、查验过程手续繁琐，易于出错的特点，作者开发研制了农作物种子检验计算机管理系统，该软件是在IBMPC及兼容机上用FOXBASE2．0语言编制的，具有计算、打印、查询、统计等功能，是一个全新的多功能的农作物种子检验管理系统，本文主要介绍该系统的设计方法及主要功能。     

基于关联规则挖掘算法的研究

关联规则挖掘是从大量的数据中挖掘出有价值描述数据项之间相互联系的有关知识.对于大型数据库来说,有算法的执行时间太长等问题.分析和探讨了Apriori算法,提出了基于Apriori算法的一种有效的关联规则挖掘算法,减少了数据库I/O操作时间,从而提高了效率.