工程技术范例6篇

前言:中文期刊网精心挑选了工程技术范文供你参考和学习,希望我们的参考范文能激发你的文章创作灵感,欢迎阅读。

工程技术

工程技术范文1

1.1认识不统一,投入不够及时

开设这门课程的学校、学院的领导、学生等都对这么课程没有积极的认识,领导之间对这门课程的分歧较大,对这门课程没有统一的认识,投入经费紧缺,导致创办该专业没有的可行性。由于监管力度不够,采矿行业非常的危险,各种私人采矿工厂的出现,导致采矿环节事故多发,更是给这一行业以严重的打击。让学习矿物加工的人和即将学习矿物加工的人都对这一技术的前景产生了歪曲理解,招到的相关人才相应的少了起来。

1.2人才紧缺,技术水平不稳定

人才是每个行业发展壮大的关键所在,通过社会环境,人们害怕进入这个技术研究领域,感觉它是极度危险的,安全事故的频繁出现是主要的原因。最后,也是最重要的一点,就是要提高相关工作人员的职业素质和专业能力。学生无法放心地选择这个专业,致使这个专业人才凋零,技术水平停滞不前。这一学科的教育工作者多是来源于采矿专业和安全专业,极度缺乏相关的专业知识,虽然采取了各种培训进修工作,但是仅仅这些在短时间内是无法提高整个队伍的整体水平的。矿物加工工程技术一直处于不稳定的状态下,导致了这一技术的未来道路越来越狭窄。急需要研究新的领域,对其进行有力的开发。

2我国矿物加工工程技术研究新领域

从今后的发展趋势来看,主要要向三个方向进行努力:第一,不依赖于传统的选矿工程划定的相关界线,主动地将其发展到更深和更广的层面。以前总是将眼光放在矿产资源的加工处理上,现在应该着眼于资源的重复利用这个方面,把处理“三废”的技术改良放在矿物加工工程技术这一环节里面,将保护环境,保护水资源,开发利用海里的矿产资源放在第一位。第二,要对矿产资源做到科学上的充分利用,将不产生废弃物作为研究的重点和方向,很多的俄罗斯的相关企业已经达到了这一技术要求。第三,要对新技术的开发和新工艺的运用进行多层次的研发,把物理学和相关学问比如医学、化学等加强联系起来,充分的研究相同或不同磁场产生的不一样的效果。附加的增值产业技术的开发,对相关产业的发展具有举足轻重的作用,要把矿产加工工程的相关产品或产业提高附加值,主要是把矿产作为根据地,把提高矿产基地的寿命和增加矿产基地的寿命作为主要的目标,把产品是为人服务的这一观点作为根本出发点,开发便于生活和生产的更加纯净、更加细致的功能比较多样化的矿藏材料,来满足现代消费者的超高标准的要求。最后,一定要做好节能研究,将开采时的爆破作业做好充分的强化,多借鉴其他国家的矿物加工工程技术,把提高工程技术放在第一位。最后,也是最重要的一点,就是要提高相关工作人员的职业素质和专业能力。矿物加工这门专业学科的老师和财务的投资需要加大,通过各方的努力,来使教育队伍更有水平,学习队伍更具发展的前景,建立完善的培养人才的梯队。针对大多矿物质容易腐蚀这一特点进行专业的研究,让矿物质更加的耐磨,增加矿物加工工程的寿命,是这一技术运用的范围加大才是主要的目的。最好是把高科技运用于选矿这一环节中,可以极大地减少人工作业量。大型工厂的出现就是对加工工程科学技术的直接要求,所以加强矿产加工工程的技术,增加这些大型工具的应用能力,也逐渐成了一个新的发展趋势。现代科技中已经开始运用的超导磁选机就是一个不错的例子。1983年出现的一种叫做生物冶金,把细菌作业通过一定的程序和冶金相结合的方式对环境污染的防治方面有了举足轻重的作用。

3结束语

工程技术范文2

喷灌是喷洒灌溉的简称,它是利用专门的设备(动力机、水泵、管道等)把水加压,或利用水的自然落差将有压水送到灌溉地段,通过喷洒器(喷头)喷射到空中散成细小的水滴,均匀地散布在田间进行灌溉。

要实现喷灌首先要建立喷灌系统,一般包括水源工程、动力机、水泵、各种管道、喷头及控制设备等。喷灌系统分为固定式、半固定式和移动式三种。固定式喷灌系统各组成部分在整个灌溉季节中(甚至长年)都是固定不动的,或除喷头外,其他部分固定不动。半固定式喷灌系统除喷头和装有许多喷头的支管可在地面移动外,其余部分均固定不动,支管与干管常用绘水栓快速连接。移动式喷灌系统除水源工程(塘、井、渠道等)固定外,动力、水泵、管道、喷头都可移动。

固定式喷灌系统操作方便、生产效率高、占地少,易于实现自接和遥控作业,但建设投资较高,适用于蔬菜和经济作物灌区。移动式喷灌系统结构简单,投资较低,使用灵活,设备利用率高,但移动时劳动强度较大,路渠占地较多,运行费用相对较高,比较适用于抗旱灌溉的地区,是我国目前发展最多的喷灌形式。半固定式喷灌系统的特点介于上述两者之间,是我国今后应提倡发展的主要喷灌形式。

(一)喷灌的优点和适用范围

喷灌和地面灌溉相比,具有节约用水、节省劳力、少占耕地、对地形和土质适应性强、能保持水土等优点。因此被广泛应用于灌溉大田作物、经济作物、蔬菜和园林草地等。喷灌可以根据作物需水的状况,适时适量地灌水,一般不产生深层渗漏和地面径流,喷灌后地面湿润比较均匀,均匀度可达0.8—0.9。由于用管道输水,输水损失很小,灌溉水利用系数可达O.9以上,比明渠输水的地面灌溉省水30%一50%。在透水性强、保水能力差的土地,如砂质土,省水可达70%以上。由于喷灌可以采用较小的灌水定额进行浅浇勤灌,因此能严格控制土壤水分保持肥力,保护士壤表层的团粒结构,促进作物根系在浅层发育,以充分利用土壤表层养分。喷灌还可以调节田间小气候,增加近地表层空气湿度,在高温季节起到凉爽作用,而且能冲掉作物茎叶上的尘土,有利于作物的呼吸和光合作用,故有明显的增产效果。多年大面积应用喷灌证明,与传统地面灌溉相比,喷灌粮食作物增产10%一20%,喷灌经济作物增产20%一30%,喷灌果树增产15%一20%,喷灌蔬菜增产l一2倍。但喷灌也有一定的局限性,比如受风的影响大,风大时不易喷洒均匀,而且喷灌的投资比一般地面灌水的投资要高。

工程技术范文3

关键词:系统软件开发;软件工程技术;特点分析;技术要求

进入21世纪以后,我国互联网技术取得了飞跃式发展,相关的应用软件已经被广泛应用商业、教育、银行等领域,逐渐改善着人们的生活。在很多发达国家,系统软件开发企业已经成为支柱性产业。科学合理的软件设计是提高生活、工作的首要前提。在信息快速发展的今天,系统软件在人们生活生产中起到的作用越来越重要。基于此,本文首先分析出传统软件和系统软件的区别,然后,阐述了软件工程技术的特点和设计要求,最后,提出软件工程管理的运用的方式,旨在促使系统工程软件更加智能化、人性化。

一、系统软件和传统软件不同之处

系统软件具有开发时间短、需求不明确的特点,和传统软件的不同之处,主要体现在以下几个方面:第一,系统软件开发比较侧重于信息含量,面向主要市场是文档和电子产品,即动态网页和静态网页;第二,系统软件在开发过程中比较重视视觉和感觉,比较强度客户的舒适度。第三,系统软件的用户形式多样,很多系统软件在设计和开发过程中,必须考虑不同用户的应用技术和能力,拥有较为复杂的人机接口和用户信息递交;第四,系统软件的内容属于驱动内容,这和传统软件有本质区别【1】。

二、系统软件开发过程中软件工程技术的特点

系统软件开发过程中涉及到很多不同类型软件工程技术,而且对不同软件工程技术的要求各不相同。最主要的是系统软件在开发过程中必须着重考虑系统实现方面的工作,这就使得系统软件开发具有极强的复杂性。而且系统软件内部模块和模块之间存在较高的耦合性,每个模块之间都相互联系,当某一个模块发生变动时,带来的后果往往多重的。所以,虽然系统软件开发过程中软件工程技术在前期设计过程中的目标比较明确和完善,但是在实际设计过程中要想完成此目标具有很大难度,需求经过系统、规范、科学而漫长的过程才能实现。

三、系统软件开发过程中对软件工程技术的需求

由于系统软件开发具有很强复杂性,保证软件工程技术的科学性和合理性,对系统软件的开发和利用有至关重要的作用。在控制其复杂性过程中,需要对系统软件开发人员和材料进行严格控制。因此,软件工程技术实际上指的是,在系统软件开发过程中,借助工程化的管理模式,对系统软件开发的全过程、全方位进行控制。相关实践表明,应用软件工程技术对系统软件开发过程中存在的问题,能进行更好控制和解决,从而有效促进系统软件开发过程中既定目标的实现。

四、软件开发技术和开发需求不匹配问题分析

在系统软件开发过程中,随着人们对软件功能要求的提高,软件开开发单位为了满足人们多样化的需求,推出了一系列具有实际意义的方式方法,其中最典型有三种,即:SASD法、JSD法、JSP法。这三种方法的应用时间比较广泛,但我国系统软件开发过程中软件工程技术起步比较晚,和美国、德国、法国等发达国家相比仍然存在较大差距。所以这三种方法能否满足当前系统软件开发的需求还需要进一步验证和分析,在实际应用过程中,软件工程技术对系统软件的开发具有较强约束性。基于此,传统的软件工程技术很难满足我国系统软件工程的需求。提高软件开发技术和开发需求匹配关键不断创新出现新的软件工程技术,从而提高和现有系统软件开发的匹配度,进而达到系统软件充分利用的目的【2】。

五、软件工程技术

(一)系统软件开发模型设计

就目前我国系统软件的发展程度而言,对软件工程技术的提出了更高要求,开发过程中涉及到三个部门,第一,系统软件开发模型,对整个系统软件的开发和研究,进行周期性的阐释;第二,项目管理模型,是对系统软件的基本过程和项目管理进工程化管理;第三,应用组织模型,对系统软件开发全过程进行影响和作用。

(二)软件应用程序的研发

软件开发流程主要来源是迭代思想,在每一次迭代中,蕴涵开一个软件可行版本活动,以及相应的辅助工作。包括版本功能介绍、用户说明。所以一整套完善系统应用程序开发过程包含了:用户的具体需求、针对性设计、测试、应用等程序。在应用开发过程中,又分为是预知需求分析、软件具体设计、软件性能检测等流程。此过程中技术工程人员是整个系统软件开发过程中技术保证,设计和检测是保障整个开发过程能顺利进行的基础。这些因素相互协调发展,是提升用户满意度的基础。

(三)软件工程技术运用

科学合理的运用软件工程技术,能有效促进系统软件开发的顺利运行。进年来,我国社会科学技术和算计软件技术快速发展,系统软件开发团队的技术和实力不断提高,软件工程技术取得长足发展,在系统软件开发过程起到的作用也越来越大,贯穿于整个系统软件开发过程中,包括:系统软件在开发前的可行性分析评估、设计方案、具体操作流程,以及软件开发后的检测验收过程中。

六、结束语

综上所述,系统软件开发过程中软件工程技术应用的合理与否,之间决定了整个系统软件的质量和使用价值。但我国软件工程技术,到目前为止还处于发展的初级阶段,而的系统软件具有很强的复杂性,这就对软件工程技术提出了更高要求。本文结合理论实践,针对的系统软件开发的具体特点和流程模型设计,就系统软件开发过程中的软件工程技术进行深入分析,希望对我国系统软件的开发和利用奠定良好基础。

作者:黄逸之 单位:北京理工大学珠海学院计算机系

参考文献

工程技术范文4

制药工程水平的高低直接关系着新药品的研发和制备。在我国的医药产业中,对于新药品的研发能力并不强,很多制药企业也缺乏新药品的研发能力,在这之中,有很多因素是由制药工程水平不高造成的。因而加大制药工程技术的创新,开展新技术的应用,对于促进我国医药产业的新药品开发和制备有着重要作用。同时,实施制药工程技术创新,还能够提高制药企业的药物研发能力,从而降低同类国外药品的价格,给患者带来切实的惠利。

2制药工程技术创新的策略

2.1重视创新人才培养

实施制药工程技术创新,首先应当给予充分的人才保障。这不但要求制药企业积极引进相关的创新人才,还要求我国高等教育院校加大对于创新人才的培养力度,重视创新人才培养。在创新人才的培养中,可以采取高校和企业合作的联合人才培养模式,注重人才的创新能力培养,充分结合高校和企业的优势资源,为企业输送高质量的创新人才。人才是制药工程技术创新的关键,只有在人才上有了保障,才能真正促进制药工程技术创新的发展。

2.2注重理论和实验的结合

在实施制药工程技术创新中,应当注重理论与实践的结合。制药工程的作用对象是人,因而对于质量和效用有着更高的要求,只有通过反复试验,确认药品的安全性,才能将大量制备推向市场。因而在制药工程技术创新中,应当重视理论和实验的结合,对于出现的一些新的制药理论,在分析其可行性的基础上,要通过多次的反复试验来验证其效果,并且严格检测药品的质量,确认其安全性。这也要求实验操作人员要以认真负责的态度去进行实验,做好数据记录工作,并且选择最恰当的方案。

2.3引进国际先进技术

就我国的制药工程水平而言,较西方发达国家相比还有着很大的差距,因而对于我国制药工程技术创新来说,可以大力引进国际先进技术,特别是一些特效药物的制备技术。对于制药工程技术创新来说,引进国际先进技术同制药工程技术创新并不矛盾,在先进技术的引进中只是借鉴先进技术的特点,而不是全盘应用,否则就失去了了创新的功能。同时,结合国外先进技术,进行有效的延伸和扩展,实现制药新技术的全方位应用,包括在其他药品制备方面的应用,这对于制药工程技术创新实施有着重要的作用。

3结论

工程技术范文5

随着我国经济社会的快速发展工程地质勘察水平也在日益提高,无论是勘察设备、勘察方式、相关仪器以及计算机水平都得到了极大提高,特别是相关勘察人员的专业水平也得到了长足发展。但是随着勘察工作的不断推进,传统的勘察技术和经验已经不能满足,这就需要工作人员不断总结,不断创新,寻找更有效的方式。这样才能进一步促进我国岩石勘察工作的发展,降低勘察成本。在岩石勘察过程中主要的目的是为了了解工程现场的具体状况,并且结合这些内容为设计和施工提供相关参数。所以岩石勘察工作在工程建设和成本控制过程中发挥极为重要的作用。工程勘察质量对整个工程的安全都会产生巨大影响。尤其是基础地质岩石测试参数会影响到工程基础设计,一旦这一参数存在问题就会造成基础设计的安全问题,增加设计成本。一般岩土工程勘察工作包括原状土取样、现场钻探、试验以及现场原位测试等工作,在执行过程中每一项都要严格按照国家规定的标准进行,要提高测试结果的准确性。

2几个重要工程技术存在的缺陷

2.1由于地质形态造成的问题:通常包括确定不明的地下物体、地下空洞以及岩石的分布形态和相关位置等。

2.2岩土参数的相关问题:需要对一些难以取到原装的岩石以及难于在室内进行实验的粗颗粒土、风化石以及残积土等。这些岩石的参数是比较难确定的。

2.3技术素质的问题:工作人员的专业素养和知识水平也会对岩石勘察工作产生巨大影响,一些工作人员缺乏基本的专业素质或者是技术交流能力,也是造成岩石勘察工作问题的重要原因。

3提高勘察水平的解决方法

3.1随着电子、电子计算机技术的飞速发展,近十几年来,工程物探专业根据弹性波理论、电磁波理论和电学原理发展了许多新的工程物探方法并相应发展了一大批集数据适时采集处理,软、硬件功能于一体的工程物探探测设备,它具有采样密度大、速度快、成本低、信息量大等特点。可以利用工程物探可连续加密测点的办法来获得连续的地质界面。从而有效的解决传统钻探手段以点带面划分地质界面时常带来的漏判、划分不准确等缺点;并且可以利用综合工程物探方法有效地解决传统勘察手段难于解决的诸多岩土工程问题,如地下不明物体、洞穴、软弱结构面、滑动面、断层、破碎带等在地下的分布特征、形态、埋藏深度、位置。并且可以提供许多工程建设所需的岩土动力参数和设计地震参数。相对传统的钻探方法,工程物探技术使用时受场地、地形条件的限制较少,具有节省时间、费用且勘探精度高等特点。但是,各种工程物探方法的有效性决定于它对探测对象的适用性,物探条件的适用性越强,解决问题的可靠的性越大,因此,为了有效地解决某些复杂的岩土工程技术难题,必须采用多种工程物探手段和钻探联合使用的方法,起到互相补充、互相验证的作用。合理地选择、运用工程物探技术与传统勘探手段相结合,无疑是解决岩土工程勘察中存在的主要问题的有效手段之一。

3.2加强室内、外测试新技术和施工检测、监测技术的使用,通过其所获得的数据和资料,经过分析、对比,建立它们之间的经验关系,并通过工程施工检测、监测所获取的实测资料反算得到的参数作为对比依据,确保所提供的岩土工程设计参数的可靠性。并达到解决那些采用传统勘探手段难于获取可靠的岩土工程设计参数等问题。此外,还可以利用土工离心模拟技术检查工程安全的可靠性;验证堤坝、边坡的变形和稳定性;解决建筑物浅基础的地基变形特征、破坏模式及极限承载力,桩基础的承载力和施工工艺对桩基础承载力及变形的影响;解决挡土结构的变形及破坏机理,土体与结构物之间的相互作用;了解动力工程、砂土液化、单桩和群桩在水平动荷载作用下的性状。

4针对我国岩土工程勘察提出的建议和对策

虽然我国岩石工程勘察技术得到一定发展但是仍然不能满足我国发展的需要,而造成这一问题的因素比较多,我国必须要结合自身发展实际选择正确的方式解决,主要从以下几个方面入手:

4.1要不断加强对岩土工程技术人员的培训,提高勘察人员整体素质;岩土工程勘察是一项专业技术工作,集多种学科于一体,近年来,随着勘察工艺和技术的不断发展,各种新的规范和标准不断更新,因此,岩土工程勘察人员必须与时俱进,提高自身的专业素质,以适应新时代的岩土工程勘察要求。在推行土木工程师准入制度的同时,要不断加强对勘察人员的培训,以全面提高其技术水平和专业素质。此外,还应该不断加强勘察市场的监管,推行勘察监理体制。

4.2要不断加强勘察质量的认证,健全勘察质量管理体系。建立专业的质量管理体系,设置以过程模式作为勘察标准的结构。而且要明确勘察工作的质量标准,通过过程方法对岩土工程实施PDCA的勘察管理方式,以全面提高勘察工作的质量及作用。

4.3对建设程序、市场勘察进行严格的规范,科学的建设程序应该严格坚持先勘察、再设计、后施工的流程。对于投资决策的工程,如没有科学的地质勘察资料,则不予报建。对于未按照地质勘察规范进行勘察的的工程不予报建。此外,还应该建立高效的市场约束体系。一方面加强国家和政府法律法规的监管,通过项目招投标制度和实际过程中对行为主体进行有效的监管;另一方面应该实行工程建设全程监理制,通过事前、事中、事后全程勘察的地质控制办法,以最大限度的避免建设过程中的地质问题,从而确保勘察有效,使建设投资效益最大化。

4.4定期进行勘察设备的维护和保养。随时掌握各种室外勘察设备和室内试验设备的完好性能,这是确保勘察工作有效进行的基础。对于现有的仪器设备应该定期进行检测,以确保其工作性能和状态,对于老化陈旧的设备仪器要及时更新换代。

5结束语

工程技术范文6

【关键词】软件开发 高可信软件 可靠性技术

伴随着时代的发展,计算机应用不断地深入人们的生活中,同时软件的应用也已经在人们正常生活和国家建设上拥有了良好的生态环境。良好的软件构架给人们的生活带来了便利,给人们提供了一种新的生活方式,打开电脑、手机就可以完成原来需要到处跑的窘境,人们可以不出家门获悉全球的动态,并且通过新兴的行业电子商务,在家中也可以工作。件不仅仅帮助人们更高效、更便捷的生活,在国家建设上面,也起着至关重要的作用。因此,如何保证软件运行过程中与硬件完美结合,同时增加软件的可信程度成为现今软件工程开发的重要部分。

1 高可信软件工程技术的发展现状

高可信软件的开发目的就是不会因为系统中的固有错误、生态环境的改变、大规模恶意攻击造成软件崩溃。这就要求软件的开发中,对于系统行为有着精确的把控,不让系统的bug影响软件的正常运行。

软件工程技术是指在软件的开发、运行和维护的相应技术,由于对高可信软件的要求较高,所以我国对于高可信软件的开发还停留在“军用稳定、民用简单”的程度。我国的火箭成功率是世界的前三名,如此高的成功率,不仅是硬件的实力强,同时也是软件的稳定性高,成就了现在我国火箭发射的成功率。但是我国各大银行的网上银行软件虽然能够运行,但是流畅性和实用性却大打折扣,这就使用户的使用体验下降。高可信软件技术需要从三个方面寻求支持才能让软件发挥其作用,从软件的运行系统中需要得到软件的访问权限控制,不让其他软件能够更改底层文件,比如Android系统中,系统的开源程度较高,高可信软件运行时就需要得到系统的支持;软件的过程技术,需要对软件的可靠性进行验证和度量,所以过程技术中使用一种工程化的方法,对软件正常运行进行支持。

2 高可信软件技术的发展的困难

高可信软件中有六项性质的好坏,是对于软件是否能够稳定运行的评判标准,这六项标准分别是可靠性(reliability)、可靠安全性(safety)、保密安全性(security)、生存性(survivability)、容错性(fault tolerance)、时效性(real time),当软件出现以上六种性质错误时,就会造成不可挽回的损失。并且软件功能和这些性质是混杂在一起的,就意味着软件的可信性的高低,收到控制时就变得更加复杂,如何保证软件能够成为高可信软件就成为一个难题。

2.1 软件的行为特征

如何在软件静态和动态使用时描述软件的行为特征,是高可信软件开发时所要面临的巨大挑战。在庞大的数据与软件结构里,想要有效的分析出软件与系统的行为特征,是非常困难的,有时需要进行相应的预测才能使软件正常的运行。同时软件的静态语法和动态语法是分离开的,所以对于推理的难度又有所增加。

2.2 软件可信性质的设计和推理

如何将软件的可信性质,也就是如何将软件主体性质融入到软件的操作当中?通常来说可信性质是对于整个软件系统进行设计的,并且是在软件的设计过程中逐步的开发出来的,最终将这些性质进行复杂的融合和测试,最终能够获得这些可信性质。如何将多种性质从不同的开发方向进行融合时,能够控制这个系统的复杂性,是进行全方面的可信性质的软件设计和验证的关键。

2.3 如何量化软件的可信性质

由于对高可信软件技术研究较少,没有一个系统的量化标准在软件开发完成后对软件的可信性质进行验证。如何发现和测评软件是否缺失可信性质,是提高软件可靠程度所要面对的一大难题。量化是一种科学成熟的重要标志,如何针对软件的完整性、可靠性、安全性进行考量是接下来需要付出巨大努力的。而且在软件的使用过程中,还要制定一套完整的跟踪制度,防止软件出现可信性质缺失造成无法挽回的损失。

3 高可信软件工程技术的开发方法

形式化方法对高可信软件技术的发展与推进起这至关重要的作用,但是这种方法的运用多数还存在于实验室中,以一种标准化的模式,对高可信软件进行规范化,同时将形式化和非形式化进行结合是行业的趋势。多种可信性质的有效结合是高可信软件开发的重点,利用形式化方法为高可信软件工程技术提供一个高效、统一的结构框架能够同时支持多种的可信性质,所以形式化方法能够将关键性质进行有机集成。

有些形式化工程方法,可以提供具有形式化方法基础的工具,这是一种较强的自动化工具,使得使用人无需拥有较强的形式化专业知识就能够使用形式化工程方法。工具的人机交互功能非常的易于理解,可以有效地对软件的主要性质、设计进行相应的测试。

4 总结

高可信软件工程技术是当前软件技术行业所要面对的重要挑战。把握住这次信息化改革的脚步就能让我国软件开发行业更上一层楼。发展高可信软件技术有利于加深人们对于高可信软件技术的认识;提升我国科技的发展;可靠性的提升还可以帮助人类更好地探索未知的世界,让软件能够更好地服务于人类社会。

参考文献

[1]杨芙清,梅宏,吕建,金芝.浅论软件技术发展[J].电子学报,2002,30(12A):1901-1906.

[2]High Confidence Syst ems Working Group,NSTC. Setting an interagency high confidence syst ems(HCS)research agenda[A].Proceedings of the Interagency High Confidence Systems Workshop[C].Arlington,Virginia,25 March 1998.

[3]陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(12A):1933-1938.