净室软件工程

净室软件工程是一种以合理的成本开发高质量软件的基于理论、面向工作组的方法。本文从净室软件工程的理论基础出发，进行了其理论上的正确性验证。并提出了具体的净室过程。     

净室软件工程探讨

净室软件工程是软件开发的一种形式化方法，它使用盒结构规约进行分析和设计建模，强调将正确性验证作为发现和消除错误的主要机制，从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术，并阐述了净室过程与其他软件工程实践的关系。     

软件体系结构的特点与研究进展

软件体系结构是软件工程的一个重要研究领域，它提供了软件系统的高层抽象。文章阐述了软件体系结构的产生背景和基本概念，以及体系结构描述语言（ADL）、求精方法和特定领域体系结构（DSSA）等主要研究内容；分析了软件体系结构与传统开发方法、O－O方法、设计模式、软件复用、净室技术以及统一建模语言（UML）等其它软件工程技术方法的联系和区别。     

软件体系结构的特点与研究进展

软件体系结构是软件工程的一个重要研究领域,它提供了软件系统的高层抽象.文章阐述了软件体系结构的产生背景和基本概念,以及体系结构描述语言(ADL)、求精方法和特定领域体系结构(DSSA)等主要研究内容;分析了软件体系结构与传统开发方法、O-O方法、设计模式、软件复用、净室技术以及统一建模语言(UML)等其它软件工程技术方法的联系和区别.     

净室技术与软件能力成熟度模型的融合

对基于软件能力成熟度模型（ＣＭＭ）的传统软件形发方法与净室技术进行了比较，阐述了如何将净室技术引入到一个基于ＣＭＭ的软件开发框架之中，介绍了从传统方法向净室技术转化的一些方法。     

从设计角度对净室技术的分析

净室技术规范在实际实施中需要对大量细节问题作出决断,这些决断需要对净室技术本质的了解,并把握一定的原则,机械地套用规范是行不通的.笔者从本质上对净室的设计过程进行了研究,提出了分层次、由大化小的递归式问题分解、求解步骤,作为设计方法的总体构想,它与净室规范是有机地结合在一起的.净室的方法中包括了两大逻辑的引入:"选择"与"顺序",在此基础上就不难实现"循环";因此,净室方法具备了结构化程序的三个必备逻辑要素,是完备的.为了提高效率,规范的实施必须遵循大粒度激励响应集、小状态变量集、简约化明盒控制流实现的原则,这些正是归约点的所在.     

软件工程方法述评

对一些流行的软件工程方法,包括结构化方法、形式化方法、面向对象方法、基于构件的方法、基于Agent的方法、基于净室技术的方法、基于敏捷技术的方法等进行了述评,并对软件工程方法的发展趋势进行了初步探讨.     

净室统计测试在银行凭证系统的应用研究

基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量分析.通过比较该模型使用链和测试链之间的差异度,结合定量分析方法为自动化测试的充分性证明提供依据;采用discriminant值和测试人员的基准经验数据,提高软件自动化验证效率,结果表明该方法具有较好的测试收敛性.     

软件工程及其开发环境

本文研究了软件工程中的各种技术和方法,探讨了计算机辅助软件工程(CASE)和软件工程环境的研究状况,并且介绍了一个基于面向对象技术的集成化软件工程开发环境“青鸟”系统。     

大数据下软件工程技术的运用探讨

本文在大数据下软件工程技术的运用中展开研究,通过对大数据和软件工程技术浅析,发现软件工程技术以大数据技术积极开展技术创新.随后从软件服务工程技术、众包软件服务工程技术、云存储技术、密集型数据科研技术等方面对软件工程技术运用进行详细分析,认识到软件工程技术发展重要性,在此基础上,为大数据下软件工程技术应用与发展积累更多经...     

垂直单向流洁净室速度场均匀性的影响因素

对垂直单向流洁净室内的速度场进行数值模拟,计算出洁净室工作区的乱流度指标.通过分析洁净室的室宽、室高与洁净室速度场均匀性之间的关系,得出结论:洁净室的宽度尺寸是影响速度场均匀性的主要因素,当室宽小于6.0 m、室高为2.7~4.2 m时,洁净室内速度分布均匀.     

非单向流洁净室换气次数的计算方法

为减少洁净室能耗,提出了理论计算此类洁净室换气次数的新数学模型,新模型基于室内空气颗粒物输送的模拟流程,室内气溶胶浓度计算考虑了换气次数、室内颗粒物散发量、过滤器效率、新风比和室外气溶胶浓度等多个参数．将新的数学模型与以往的数学模型进行了对比,新的数学模型考虑了更多的环境参数和变量的影响,这使得新的数学模型计算得出的换气次数更合理、更精确．采用敏感性分析的方法,评价了各个变量对洁净室洁净度的影响大小．研究结果表明计算室内气溶胶浓度时考虑更全面的参数变量可以把洁净室的换气次数降到最小并满足洁净室要求,从而有效降低洁净室的能耗．     

软件质量工程与技术研究

加强软件质量管理、推行软件质量工程技术已是当前软件企业的迫切任务。笔者在软件工程和软件质量特性的研究基础上提出了软件质量工程的概念,介绍了工程上常用的几种质量工程技术,并分析了其在软件开发领域中的应用。     

逆向工程与新产品设计

论述了新产品设计与逆向工程的关系,重点介绍了逆向工程的概念、应用领域,逆向工程的特点、设备组成,和该工程中的关键技术。在我国工业的不断进步中,逆向工程正日益与产品创新紧密相连,逆向工程、模型设计与分析、再创新,已成为典型的逆向工程与创新设计结合的思路。随着Imageware,Geomagic Studio,CopyCAD,RapidForm等国外逆向软件和Quick Fom、RE-SOFT等在内的国内自主开发的软件的成熟；这使得逆向技术应用越来越广泛。在逆向工程中,数据采集、数据预处理、三角网格剖分技术、三维曲面模型重构技术成为逆向工程的关键。数据采集是逆向工程的基础,点云数据的获得与仪器的使用有着密不可分的关系,操作不当会带来测量上的误差偏大,影响整个流程．而由于光顾度和精确度一向是逆向工程中的矛盾所在,需要数据预处理技术、三角网格剖分技术、三维曲面模型重构技术的合理运用。随着不断的研究和软件技术的进步,这几方面的问题正在得到逐步解决。     

软件工程综合实践及生产实习研究与探索

软件工程专业学科具有强调理论与实践紧密结合的特点。本文基于计算机科学理论和技术,结合软件工程专业自身知识结构体系,通过分析现有的软件工程专业学生实践中存在的问题,提出了一种软件工程专业综合实践的初步方法,并给出其与软件工程生产实习活动进行有机融合的具体方案。最后,本文给出了一个实例,证明了该方法的可行性。     

基于CAN总线的洁净室控制系统设计与开发

研究了CAN总线技术在洁净室控制系统中的应用,介绍了CAN总线及CANopen协议的特点,并给出了洁净室控制系统的解决方案.从现场测试结果看,系统有较好的稳定性和高精度的温度控制,满足了半导体行业的生产要求.     

超媒体CAI课件的设计与开发

本文介绍了基于超媒体技术的ＣＡＩ软件的开发思想,在此基础上,作者完成了一个基于Ｗｉｎｄｏｗｓ环境的《工程制图》ＣＡＩ课件实例     

虚拟现实技术在图学教育软件开发中的应用研究

当前图学教育软件面临的主要问题是动画演示程序固定、不受学习者控制,且动画文件过大,不利于网上传输等,针对这些问题,本文将虚拟现实建模语言应用于工程制图网络教学系统的开发中,取得了良好的效果.本文结合开发实践,对VRML2.0 的建模方式、动画技术、实时交互技术、文件和场景优化技术及其在网上发布的相关机制进行了探讨.     

铸造过程的CAE数值模拟技术

铸件充型凝固过程数值计算以铸件和铸型为计算域，包括熔融金属流动和传热数值计算，浇注系统设计，模具设计等．铸造过程数值模拟技术是利用计算机技术来改造和提升传统铸造技术，现阶段的铸造CAE（Computer Aided Erlgineering）软件能够准确地预测铸件在充型凝固过程中可能产生的缺陷，进行工艺优化，缩短实验周期，提高铸件质量，降低生产成本．     

基于多层次体系软件工程专业教学改革研究探索件

由于社会与企业对软件工程人才需求的不断发展与变化，使得如何设置并优化软件工程专业课程体系、改进教学方法以培养出满足社会需求、具有较强实践能力的工程型软件工程人才已成为当务之急．为此，软件工程专业以社会需求为导向，建立了软件工程专业多层次课程体系，建立了多层次实践环节体系，为培养学生工程实践能力和创新能力奠定了坚实基础．同时还建立了软件工程专业教育平台，从特色专业教育、实训平台、精品课程、远程辅导等方面为学生提供网络学习、实训、就业等多方位资源，经过多年的探索与实践，软件工程专业教学质量逐年稳步提高，就业率稳步提高，社会认可度稳步提高．