基于WEB的网络教学评价系统设计与实现

随着计算机技术的快速发展,高校校园网得到了日益广泛的应用,各种教学管理软件系统日趋完善。教学评价是教学管理的重要环节,是提高教学质量和办学效益的重要手段。如何利用计算机技术和校园网络来实施教学评价,使教学活动中的各个主体都从评价中得到有益的结果,进而从各个角度改进教学,提高整体教学质量,正是各个高校研究的热点。该文通过剖析高校教学评价的基本理论和教学评价的背景、现状及存在的问题,提取出高校教学评价系统的基本需求,设计了基于WEB的高校教学评价系统。文章详细讨论了系统的总体设计及各个功能模块的详细设计。应用证明该系统科学、方便、有效,改进了高校教学评价的方式和效率。

基于Java的即时通讯软件设计与开发

目前即时通讯工具在互联网上使用广泛，便利、易用受欢迎，结合Java语言在跨平台、安全性、多线程、网络Socket编程等方面的优点，该文设计了一个基于Java虚拟机可跨平台特性的即时通讯工具-JavaHi。文中对JavaHi即时通讯系统的体系结构、构成模块进行了分析介绍．给出了JavaHi系统的详细设计与实现过程。实验证明，该即时通讯系统简洁实用并支持在多个操作系统平台运行。

贝叶斯网络在组织因素对系统可靠性影响中的应用

介绍了核电站系统在运行过程中的组织因素对系统可靠性的影响以及贝叶斯网络的理论基础,以贝叶斯概率和贝叶斯网络基本理论为基础建立了相应贝叶斯网络模型,并对该模型展开了进一步分析与解释.

基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析

核电厂蒸汽发生器(SG)水位控制系统的安全可靠运行是保证核电厂安全性和经济性的关键因素,其控制对象具有高度复杂、非线性的特点。由于复杂系统的安全性是特定环境下由系统相关要素交互作用所产生的一种涌现特性,运用系统理论,以STAMP模型为基础对SG水位控制系统进行安全性分析,以利于在设计早期阶段发现影响该系统安全运行的潜在风险因素,预防危险事故。该方法将系统理论用于核电厂关键系统和设备安全性分析,为核电厂安全运行提供了新的技术手段支持。

基于组合测试模型的系统测试工具设计与实现

核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当大的比重。在进行此类软件的系统测试时,不仅要求对照设计说明书进行常规非渐增式系统测试,还要求对输入卡值进行必要的参数替换和用例演化。整个用例演化与执行多依赖于人工,导致系统测试过程中存在工作量大、资源消耗大、效率低等问题。常见的系统测试工具难以满足此类多参数、多可选参数值、多状态的系统测试工作需求,基于这种现状,笔者提出了基于组合测试模型的系统测试工具,以试图解决测试过程中所面临的问题。

STAMP模型及其在核电厂DCS安全分析中的应用展望

数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注安全工程领域的新研究成果,将其引入到核电安全领域并加以研究。本文介绍一种新的基于系统理论的事故模型和过程(Systems-Theoretic Accident Modeling and Processes,STAMP)安全模型,对比分析了其与传统安全模型的优缺点,说明了基于STAMP的风险分析(STAMP-Based HazardAnalysis,STPA)技术的基本步骤,并根据STAMP在国内外的应用情况,对STAMP在我国核电领域的发展前景进行了展望。

Petri网的正向推理算法

提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理。该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率。

一种基于图深度优先搜索的基本路径集自动生成优化算法

本文介绍了一种结合边访问标志集合使用图深度优先搜索方法遍历控制流程图,生成最小长度测试序列基本路径集合的优化算法.以矩阵工具为算法提供输入,利用回滚机制避免程序控制流中环造成的不收敛,提出引入结点复用路径最小长度记忆机制对结果进行优化,获得最小长度测试序列的优化基本路径集合作为算法输出.

C程序不变量动态发现编配工具的设计

程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。

信息安全保护方法分析

介绍防火墙技术，防火墙选择标准及其部署方案，讨论目前应用较多的入侵检测技术。从防御和入侵检测两个方面分析了网络信息安全的保护方法。

基本路径生成算法的图形化设计与实现

介绍了一种从程序VISIO流程图直接获取基本路径集合的算法.在前期研究的基于图深度优先搜索的基本路径集自动生成优化算法基础上,利用VSTO工具开发了图形界面处理程序,提取VISIO图元信息,分析处理图形矩阵并生成基本路径集合,保证基本路径集合的客观性与软件易操作性.

基于断言的程序正确性检测工具

文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。

计算机硬件虚拟实验室建设研究

采用虚拟仪器设备进行计算机硬件实验是实验室建设的发展趋势。虚拟实验同传统硬件实验相比在实验器件、实验环境和实验内容上都有着许多不同。采用传统的实验室建设模式已不能充分发挥虚拟实验所具备的优势。本文通过分析虚拟实验的特点,提出了建设硬件虚拟实验室的内容和基本原则,适应虚拟实验室建设的新要求。

信息系统构件提取机制研究

MIS系统是应用最为广泛和需求最大的软件系统之一。运用构件和软件复用理论对现有的MIS系统进行分析从中提取出高质量的构件,复用到新的MIS系统中,对提高开发效率和软件质量是非常有意义的。本文通过分析MIS系统构件体系结构,针对不同的层次的构件提出了构件提取原则和方法。

基于布尔表达式约束的测试用例生成技术

布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。

基于MC/DC的回归测试数据进化生成

在合理利用已有测试数据形成优势初始种群的前提下采用遗传算法自动生成回归测试数据是软件测试研究的一个热点.本文通过在已有测试数据的基础上依据MC/DC准则演进增补部分用例提升MC/DC覆盖率.首先,通过记录每个已有测试数据覆盖的条件组合确定要增补用例的目标条件组合,其次,根据适应度函数从已有测试数据中筛选出部分数据作为初始种群,再次,根据已筛选的部分初始种群所覆盖的条件组合与目标条件组合确定遗传操作分量,最后,演进并判定提取目标数据.理论与实验表明,该方法可以提高回归测试数据生成效率及代码覆盖率.

基于Android平台的环保天网应用程序开发

基于Android平台,利用移动互联的普及性,通过时间,地点,图片来获取的环境污染的信息,并结合及时上传功能,实现手机端实时污染举报,为环保人士或自身利益受到周围环境污染影响的人们提供监督举报平台,同时便于环保部门及时处理污染事件。