期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析 被引量:18
1
作者 刘杰 阳小华 +2 位作者 刘华 刘朝晖 《中国安全生产科学技术》 CAS CSCD 2014年第5期78-83,共6页
核电厂蒸汽发生器(SG)水位控制系统的安全可靠运行是保证核电厂安全性和经济性的关键因素,其控制对象具有高度复杂、非线性的特点。由于复杂系统的安全性是特定环境下由系统相关要素交互作用所产生的一种涌现特性,运用系统理论,以STAMP... 核电厂蒸汽发生器(SG)水位控制系统的安全可靠运行是保证核电厂安全性和经济性的关键因素,其控制对象具有高度复杂、非线性的特点。由于复杂系统的安全性是特定环境下由系统相关要素交互作用所产生的一种涌现特性,运用系统理论,以STAMP模型为基础对SG水位控制系统进行安全性分析,以利于在设计早期阶段发现影响该系统安全运行的潜在风险因素,预防危险事故。该方法将系统理论用于核电厂关键系统和设备安全性分析,为核电厂安全运行提供了新的技术手段支持。 展开更多
关键词 蒸汽发生器水位控制系统 安全性分析
下载PDF
STAMP模型及其在核电厂DCS安全分析中的应用展望 被引量:17
2
作者 阳小华 刘杰 +2 位作者 刘朝晖 刘华 《核安全》 2013年第3期42-47,88,共7页
数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注... 数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注安全工程领域的新研究成果,将其引入到核电安全领域并加以研究。本文介绍一种新的基于系统理论的事故模型和过程(Systems-Theoretic Accident Modeling and Processes,STAMP)安全模型,对比分析了其与传统安全模型的优缺点,说明了基于STAMP的风险分析(STAMP-Based HazardAnalysis,STPA)技术的基本步骤,并根据STAMP在国内外的应用情况,对STAMP在我国核电领域的发展前景进行了展望。 展开更多
关键词 核电安全分析 STAMP STPA 展望
下载PDF
一种基于图深度优先搜索的基本路径集自动生成优化算法 被引量:8
3
作者 吴取劲 阳小华 +1 位作者 鹿江春 《南华大学学报(自然科学版)》 2012年第3期87-90,共4页
本文介绍了一种结合边访问标志集合使用图深度优先搜索方法遍历控制流程图,生成最小长度测试序列基本路径集合的优化算法.以矩阵工具为算法提供输入,利用回滚机制避免程序控制流中环造成的不收敛,提出引入结点复用路径最小长度记忆机制... 本文介绍了一种结合边访问标志集合使用图深度优先搜索方法遍历控制流程图,生成最小长度测试序列基本路径集合的优化算法.以矩阵工具为算法提供输入,利用回滚机制避免程序控制流中环造成的不收敛,提出引入结点复用路径最小长度记忆机制对结果进行优化,获得最小长度测试序列的优化基本路径集合作为算法输出. 展开更多
关键词 软件测试 深度优先搜索 基本路径
下载PDF
基于WEB的网络教学评价系统设计与实现 被引量:7
4
作者 刘杰 《现代教育技术》 CSSCI 2008年第S1期128-131,共4页
随着计算机技术的快速发展,高校校园网得到了日益广泛的应用,各种教学管理软件系统日趋完善。教学评价是教学管理的重要环节,是提高教学质量和办学效益的重要手段。如何利用计算机技术和校园网络来实施教学评价,使教学活动中的各个主体... 随着计算机技术的快速发展,高校校园网得到了日益广泛的应用,各种教学管理软件系统日趋完善。教学评价是教学管理的重要环节,是提高教学质量和办学效益的重要手段。如何利用计算机技术和校园网络来实施教学评价,使教学活动中的各个主体都从评价中得到有益的结果,进而从各个角度改进教学,提高整体教学质量,正是各个高校研究的热点。该文通过剖析高校教学评价的基本理论和教学评价的背景、现状及存在的问题,提取出高校教学评价系统的基本需求,设计了基于WEB的高校教学评价系统。文章详细讨论了系统的总体设计及各个功能模块的详细设计。应用证明该系统科学、方便、有效,改进了高校教学评价的方式和效率。 展开更多
关键词 校园网 教学评价
下载PDF
基于断言的程序正确性检测工具 被引量:3
5
作者 刘杰 《电脑与信息技术》 2007年第5期14-16,21,共4页
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较... 文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。 展开更多
关键词 程序正确性 检测 断言
下载PDF
计算机硬件虚拟实验室建设研究 被引量:2
6
作者 刘杰 《高校实验室工作研究》 2007年第4期33-36,共4页
采用虚拟仪器设备进行计算机硬件实验是实验室建设的发展趋势。虚拟实验同传统硬件实验相比在实验器件、实验环境和实验内容上都有着许多不同。采用传统的实验室建设模式已不能充分发挥虚拟实验所具备的优势。本文通过分析虚拟实验的特... 采用虚拟仪器设备进行计算机硬件实验是实验室建设的发展趋势。虚拟实验同传统硬件实验相比在实验器件、实验环境和实验内容上都有着许多不同。采用传统的实验室建设模式已不能充分发挥虚拟实验所具备的优势。本文通过分析虚拟实验的特点,提出了建设硬件虚拟实验室的内容和基本原则,适应虚拟实验室建设的新要求。 展开更多
关键词 计算机硬件实验 虚拟实验 实验室建设
下载PDF
Petri网的正向推理算法 被引量:2
7
作者 陈星 刘杰 《微计算机信息》 北大核心 2006年第12X期154-156,134,共4页
提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系... 提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理。该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率。 展开更多
关键词 PETRI网 知识表示 推理算法
下载PDF
贝叶斯网络在组织因素对系统可靠性影响中的应用 被引量:1
8
作者 张力 《南华大学学报(自然科学版)》 2009年第1期76-80,共5页
介绍了核电站系统在运行过程中的组织因素对系统可靠性的影响以及贝叶斯网络的理论基础,以贝叶斯概率和贝叶斯网络基本理论为基础建立了相应贝叶斯网络模型,并对该模型展开了进一步分析与解释.
关键词 组织因素 贝叶斯网络 可靠性分析
下载PDF
基本路径生成算法的图形化设计与实现 被引量:1
9
作者 张娟 +1 位作者 吴取劲 周文 《南华大学学报(自然科学版)》 2014年第1期88-90,96,共4页
介绍了一种从程序VISIO流程图直接获取基本路径集合的算法.在前期研究的基于图深度优先搜索的基本路径集自动生成优化算法基础上,利用VSTO工具开发了图形界面处理程序,提取VISIO图元信息,分析处理图形矩阵并生成基本路径集合,保证基本... 介绍了一种从程序VISIO流程图直接获取基本路径集合的算法.在前期研究的基于图深度优先搜索的基本路径集自动生成优化算法基础上,利用VSTO工具开发了图形界面处理程序,提取VISIO图元信息,分析处理图形矩阵并生成基本路径集合,保证基本路径集合的客观性与软件易操作性. 展开更多
关键词 软件测试 深度优先搜索 基本路径 VSTO 图形化实现
下载PDF
信息安全保护方法分析 被引量:1
10
作者 李赫男 张娟 《洛阳工业高等专科学校学报》 2003年第1期42-43,共2页
介绍防火墙技术,防火墙选择标准及其部署方案,讨论目前应用较多的入侵检测技术。从防御和入侵检测两个方面分析了网络信息安全的保护方法。
关键词 保护方法 防火墙 入侵检测 信息安全 网络信息 包过滤技术
下载PDF
C程序不变量动态发现编配工具的设计 被引量:1
11
作者 刘杰 阳小华 《微计算机信息》 北大核心 2008年第12期233-234,237,共3页
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的... 程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。 展开更多
关键词 程序不变量 不变量动态发现 编配工具
下载PDF
基于布尔表达式约束的测试用例生成技术 被引量:1
12
作者 孙溢 阳小华 +3 位作者 刘杰 吴志强 陈智 《计算机与现代化》 2019年第1期86-94,共9页
布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测... 布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。 展开更多
关键词 软件测试 测试用例生成 约束 布尔表达式
下载PDF
基于Java的即时通讯软件设计与开发 被引量:1
13
作者 张娟 何杰 《电脑知识与技术》 2010年第9期7049-7051,共3页
目前即时通讯工具在互联网上使用广泛,便利、易用受欢迎,结合Java语言在跨平台、安全性、多线程、网络Socket编程等方面的优点,该文设计了一个基于Java虚拟机可跨平台特性的即时通讯工具-JavaHi。文中对JavaHi即时通讯系统的体系结... 目前即时通讯工具在互联网上使用广泛,便利、易用受欢迎,结合Java语言在跨平台、安全性、多线程、网络Socket编程等方面的优点,该文设计了一个基于Java虚拟机可跨平台特性的即时通讯工具-JavaHi。文中对JavaHi即时通讯系统的体系结构、构成模块进行了分析介绍.给出了JavaHi系统的详细设计与实现过程。实验证明,该即时通讯系统简洁实用并支持在多个操作系统平台运行。 展开更多
关键词 JAVA SOCKET 多线程 即时通讯
下载PDF
基于组合测试模型的系统测试工具设计与实现
14
作者 张曌寰 +1 位作者 周进 徐浩杰 《科技视界》 2019年第9期141-143,共3页
核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当大的比重。在进行此类软件的系统测试时,不仅要求对照设计说... 核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当大的比重。在进行此类软件的系统测试时,不仅要求对照设计说明书进行常规非渐增式系统测试,还要求对输入卡值进行必要的参数替换和用例演化。整个用例演化与执行多依赖于人工,导致系统测试过程中存在工作量大、资源消耗大、效率低等问题。常见的系统测试工具难以满足此类多参数、多可选参数值、多状态的系统测试工作需求,基于这种现状,笔者提出了基于组合测试模型的系统测试工具,以试图解决测试过程中所面临的问题。 展开更多
关键词 自动化测试 组合测试 系统测试工具 测试用例演化
下载PDF
基于MC/DC的回归测试数据进化生成
15
作者 韩莹 罗扬 +1 位作者 吴取劲 《南华大学学报(自然科学版)》 2016年第1期55-60,共6页
在合理利用已有测试数据形成优势初始种群的前提下采用遗传算法自动生成回归测试数据是软件测试研究的一个热点.本文通过在已有测试数据的基础上依据MC/DC准则演进增补部分用例提升MC/DC覆盖率.首先,通过记录每个已有测试数据覆盖的条... 在合理利用已有测试数据形成优势初始种群的前提下采用遗传算法自动生成回归测试数据是软件测试研究的一个热点.本文通过在已有测试数据的基础上依据MC/DC准则演进增补部分用例提升MC/DC覆盖率.首先,通过记录每个已有测试数据覆盖的条件组合确定要增补用例的目标条件组合,其次,根据适应度函数从已有测试数据中筛选出部分数据作为初始种群,再次,根据已筛选的部分初始种群所覆盖的条件组合与目标条件组合确定遗传操作分量,最后,演进并判定提取目标数据.理论与实验表明,该方法可以提高回归测试数据生成效率及代码覆盖率. 展开更多
关键词 回归测试 遗传算法 适应度函数 初始种群 软件测试
下载PDF
信息系统构件提取机制研究
16
作者 刘杰 《福建电脑》 2007年第12期11-12,共2页
MIS系统是应用最为广泛和需求最大的软件系统之一。运用构件和软件复用理论对现有的MIS系统进行分析从中提取出高质量的构件,复用到新的MIS系统中,对提高开发效率和软件质量是非常有意义的。本文通过分析MIS系统构件体系结构,针对不同... MIS系统是应用最为广泛和需求最大的软件系统之一。运用构件和软件复用理论对现有的MIS系统进行分析从中提取出高质量的构件,复用到新的MIS系统中,对提高开发效率和软件质量是非常有意义的。本文通过分析MIS系统构件体系结构,针对不同的层次的构件提出了构件提取原则和方法。 展开更多
关键词 MIS系统 构件提取 MIS构件体系
下载PDF
基于Android平台的环保天网应用程序开发
17
作者 邓文斌 +3 位作者 徐银玉 陈诚益江 唐斌 刘慧熊 《电脑知识与技术》 2017年第4期76-77,共2页
基于Android平台,利用移动互联的普及性,通过时间,地点,图片来获取的环境污染的信息,并结合及时上传功能,实现手机端实时污染举报,为环保人士或自身利益受到周围环境污染影响的人们提供监督举报平台,同时便于环保部门及时处理污染事件。
关键词 移动互联网 环保 举报 ANDROID
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部