摘要：分析了 WWW用户的浏览活动规律 ,提出了有关 WWW浏览路径优化的一些基本概念 ,设计了一个基于用户访问模式的浏览路径优化算法 。

摘要：软件验证是保证核电软件质量的必经步骤之一,基准题验证是核电软件验证的一种重要手段.基准题的数据来源主要是通过自主实验、收集核电厂运行数据、加入国际实验研究计划和购买国际基准题的数据等传统方法获取,但是存在成本高,周期长的问题.为了给堆芯稳态核设计程序验证测试提供更多的验证基准题,本文基于蜕变测试原理提出一种基准题衍生技术,该技术首先建立基准题衍生框架,主要思想是根据蜕变关系的参变量及关系式,直接对原始基准题的相关输入和输出参变量进行计算求解,得到衍生基准题(新的测试用例).再者,针对基准题以固定格式输入卡的形式实现待测程序数据输入的特点,为了提高衍生效率,设计基准题自动衍生算法,开发基准题自动衍生工具系统.最后,以堆芯稳态中子扩散程序的二维、三维基准题的衍生为实例展示.结果表明,该技术可自动地实现单个或者批量生成二维,三维衍生基准题.不但生成数据准确、效率高,而且比传统的方法成本低.

摘要：针对反应堆紧急停堆子系统,将故障模式影响分析(FMEA)、故障树分析(FTA)、系统理论的过程分析(STPA)3种独立的基本分析方法进行组合,形成仪表控制系统设计阶段的失效和故障基本项覆盖统计表格。STPA方法能够很好地弥补了FMEA和FTA方法的不足。同时,在仪控系统的设计阶段,STPA方法非常适合发现反应堆紧急停堆子系统涉及的软件类、系统交互以及通信类的故障和安全问题。

摘要：基于组件技术的软件技术开发模式是实现大规模的代码复用的一条切实可行的途径,是面向对象技术的发展,该文介绍了基于组件的软件复用的基本概念及4种组件技术,着重阐述了B/S模式下的.NET组件开发的一般方法,并在此基础上完成了教学信息发布与管理系统的功能描述、设计与实现。

摘要：基于我国自主研发的MICON数字化硬件平台,根据其系统结构形式特点和数据传输要求,提出了适合于该平台的反应堆数字化仪控系统通信的可靠性协议设计措施和保障方案,满足了其对通讯网络高可靠性的需求;现场测试结果表明:改进的心跳信号机制、逐位倒置检错机制以及双重循环冗余检查机制可以成功实现对可靠性的提高;同时本项目所提出的可靠性保障措施能够满足系统实时性的需求。

摘要：通过分析组合查询的一般性设计原则,结合数据视图和.NET技术的特点,设计了一个基于B/S模式的通用型类汉语组合查询组件,并就实现中的几个关键问题进行了探讨。

摘要：随着数字化技术及软件系统的广泛应用,很多事故是由于部件间异常的交互所引起,传统的分析方法已经力不从心,基于STAMP(Systems-Theoretic Accident Model and Processes)的安全性分析方法STPA(System Theoretic Process Analysis),可以有效解决这一困难。首先介绍STPA方法及分析步骤,将该方法应用到反应堆紧急停堆子系统,得到了引起停堆失败的可能原因及设计中所应遵守的安全约束,这些约束有益于提高设计的安全性。

摘要：当前搜索引擎用户个性化的研究是搜索引擎优化的一个研究分支。当前检索模型的主要弊端就是搜索引擎用户提供的信息很少。目前主要借助于用户在和元搜索引擎交互的过程中提供的隐反馈信息对成员搜索引擎的数据源选择算法进行优化,利用语言模型对用户检索行为建模,用户与元搜索引擎交互的过程中动态更新用户行为模型,自适应的满足不同检索动机的用户的信息需求。

摘要：基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。

摘要：软件失效及软硬件交互故障是核电厂全数字化仪控系统故障的主要来源之一。现有基于硬件的状态监测机制应对这一新型失效模式存在不足。应用系统理论事故建模与处理(STAMP)模型,对核电厂全数字化仪控系统的失效模式进行初步分析,提出将软件、硬件及其交互作为监测对象,建立一种整合软、硬件状态的全状态监测机制,为系统状态监测提供多样性及预警能力,对提高核电厂数字化仪控系统的安全性具有重要意义。