基于缺陷分析与测试评审的软件可信性评价方法

该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性,以软件缺陷入手,评估软件的安全性、隐私性、容错性;以扩展软件测试入手,评估软件的正确性、可靠性;通过这5个素的评估,最终考量软件的可信性。通过这种方法,从以上5个维度对软件可信性进行量化评价,并发现设计初期引入的缺陷,提高了软件开发的质量和效率。     

尿素装置蒸汽快速升温钝化法研究

尿素生产过程具有强烈的腐蚀性,不锈钢材质表面需要生成一层牢固的氧化膜才具有抗腐蚀性.从CO2气提法尿素装置为例,在化工投料前,合成系统设备必须进行升温钝化.尿素厂多用二氧化碳加空气法、蒸汽加空气法进行钝化,现又增加了一种蒸汽快速升温钝化法．经生产实践验证,该方法不仅克服了前两种方法都存在的钝化时间长,温度不易控制等缺点,而且使用该方法完全能够满足合成系统四台高压设备的防腐要求.     

基于PPLN晶体的单光子探测器定标研究

从光学二次谐波入手分析影响转换效率的主要因素,引出相位匹配条件,从而提出基于周期极化晶体的准相位匹配,研究周期调谐、温度调谐等多种调谐方式来调控输出光的波长,有利于纠缠源在更宽光谱范围内得以应用。通过532nm的连续激光器泵浦周期性极化的掺镁铌酸锂晶体,采用e→e+e相位匹配,利用了介质的最大非线性系数d_(33),通过周期调谐方式,在满足准相位匹配的模式下制备出高质量的纠缠光源,叙述了探测器量子效率的定标原理,提出了一种基于高亮度纠缠源的单光子探测器量子效率定标系统,为高精度量子效率定标奠定了良好的基础。     

有限元线法在解FPK方程中的应用

本文首次将有限元线法（ＦＥＭＯＬ）引入到非一性随机振动领域，给出了相应的单元特性的计算格式，探索了求ＦＰＫ方程的方法，并以船舶侧摆运动和Ｄｕｆｆｉｎｇ为例进行了必要的讨论。计算结果表明，用有限元线法求解非线性随机振动问题，较有限 法有所需内存小、计算精度好的效率高的优点。     

一种移动Agent开发模板

现在大多数的软件工程都是基于面向对象的方法,而对于商业性质的移动多Agent系统工程来说,急需面向移动Agent的软件工程方法学对其进行指导.Agent作为比对象更高层次的抽象具有更智能、更灵活的性质[1],应该是在粗粒度的级别上来描述它.针对这一问题,广大研究者开展了面向Agent     

网络多媒体信息传输同步失调控制研究

介绍了网络中多媒体传输系统的结构,并针对系统内连续媒体同步播放出现同步失调问题提出了相应的措施,给出了缓冲容量和状态信息反馈率的计算方法．在此基础上,描述了处理媒体间同步失调的控制策略,实现了基于有限缓冲区的强制同步和基于反馈的强制同步控制     

Ontology技术在元信息表示中的应用

元信息抽象化数据对象的描述，使各种信息可以通过元素属性与值之间的关系对表示。文中根据资源描述框架规范将信息网格上的各种信息(包括结构化、半结构化和非结构化的数据)映射成数据实体。     

Ontology技术在自然语言理解中的应用

自然语言的理解是解决人机交互问题的一个重要课题。本文则将Ontology技术应用于自然语言的理解。通过建立基于Ontology技术的语义分析模型来提高语义理解的成功率。     

Intranet技术在校园实验项目管理信息系统的应用

根据教务处实验管理部门管理工作流程的特点，设计了一套基于Intranet的校园实验项目管理系统的解决方案．本方案利用Internet技术，采用Browser／Server的体系结构对系统进行分析，设计．校园实验项目管理系统能使全校各实验室的管理人员可以远程登录到该系统，完成实验项目卡片数据的录入，数据的维护，数据的打印等工作．该系统投入使用后将大大提高实验室项目管理数据的准确性，及时性，易维护性、     

Intranet技术在校园实验项目管理信息系统的应用

根据教务处实验管理部门管理工作流程的特点,设计了一套基于Intranet的校园实验项目管理系统的解决方案.本方案利用Internet技术,采用Browser/Server的体系结构对系统进行分析,设计.校园实验项目管理系统能使全校各实验室的管理人员可以远程登录到该系统,完成实验项目卡片数据的录入,数据的维护,数据的打印等工作.该系统投入使用后将大大提高实验室项目管理数据的准确性,及时性,易维护性.