形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

基于一种文档表示模型的站内搜索引擎设计与实现

根据全信息理论,认识论信息是语法信息、语义信息和语用信息的三位一体．在信息检索的过程中加入语用信息能有效的提高信息检索的质量．基于查询与内容的文档表示模型较好的利用了语用信息,对站内搜索引擎的查准率的提高有着很好作用;Lucene是一个用java语言开发的开源的全文搜索引擎架构．本文利用Lucene设计和实现一个基于查询与内容的文档表示模型的站内搜索引擎,实验结果表明该模型能有效的提高信息检索的查准率．     

基于Z语言的互联网登陆系统的形式化规格与验证

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.     

一种似然蜕变关系动态发现工具设计

蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.