期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于块的流图模型及其控制流图 被引量:3
1
作者 陈卫东 杨建军 +1 位作者 叶澄清 潘云鹤 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2003年第2期144-150,共7页
针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题,提出了基于块的流图模型及其基本图式.该模型巧妙地借鉴了集成电路布线的思想,极易从控制流图定位到程序代码,而且在流图上附有覆盖率等信息,尤其适合应用到具体的工程... 针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题,提出了基于块的流图模型及其基本图式.该模型巧妙地借鉴了集成电路布线的思想,极易从控制流图定位到程序代码,而且在流图上附有覆盖率等信息,尤其适合应用到具体的工程测试中进行排错和覆盖分析.最后,给出基于块的流图模型的两种不同的表现形式:BlockFlow图和BlockDiagram图.这两种形式表明基于块的控制流图模型是非常有效的. 展开更多
关键词 流图模型 控制流图 节点 不可见段 BlockFlow图 BlockDiagram图
下载PDF
动态流图法对核电厂数字化仪控系统的可靠性评价 被引量:6
2
作者 周世梁 王浩 田聪 《核科学与工程》 CAS CSCD 北大核心 2018年第1期88-98,共11页
基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(I&C)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DI&CS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性... 基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(I&C)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DI&CS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性能。由于DI&CS运行过程中存在动态交互,传统静态故障树分析(FTA)不能描述这种动态的交互特性,而动态流图法(DFM)可较好地描述系统间的各种动态交互。因此采用DFM评价核电厂DI&CS自动功率控制系统(APC)的可靠性。给定三组初始条件,即传感器故障、输出闭锁装置与主处理器故障和主辅处理器故障,利用DFM的归纳分析,得出了存在对应故障情况下控制棒实际位移与正常条件下的偏差;给定义当前时刻控制棒实际位移较正常条件下偏小的顶事件,利用DFM演绎分析,得出顶事件发生贡献最大的原因为当前时刻SRB(输出闭锁装置)切换失效,主处理器输出偏小,其他节点正常的故障组合。 展开更多
关键词 可靠性分析 动态流图法 DI&CS 自动功率控制系统
下载PDF
实时控制系统程序模式的WCET自动分析方法 被引量:1
3
作者 侯小静 姬孟洛 +2 位作者 黄辰林 舒云星 阎奔 《计算机工程》 CAS CSCD 北大核心 2017年第8期56-62,68,共8页
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相... 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。 展开更多
关键词 程序模式 最差情况执行时间分析 实时控制系统 控制流图 线性规划
下载PDF
一种源程序到控制流图的自动生成方法 被引量:7
4
作者 单永明 《小型微型计算机系统》 CSCD 北大核心 1996年第10期45-49,共5页
将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件维护等方面。
关键词 软件工程 程序控制流图 逆向工程
下载PDF
DFM在人员可靠性分析中的应用 被引量:1
5
作者 余少杰 赵军 童节娟 《核动力工程》 EI CAS CSCD 北大核心 2011年第4期77-82,共6页
结合人员事件分析技术(ATHEANA),探讨动态流图法(DFM)模型识别迫使失误环境(EFC)和不安全动作(UA)的可行性,并根据此方法对核电厂的蒸汽发生器传热管破裂(SGTR)事故进行建模和求解。通过演绎分析得到26个质蕴含并对结果进行解释,其中有... 结合人员事件分析技术(ATHEANA),探讨动态流图法(DFM)模型识别迫使失误环境(EFC)和不安全动作(UA)的可行性,并根据此方法对核电厂的蒸汽发生器传热管破裂(SGTR)事故进行建模和求解。通过演绎分析得到26个质蕴含并对结果进行解释,其中有1个质蕴含与某核电站曾发生的人误事件情景很相似。最后对质蕴含定量化的方法以及对执行型错误(EOC)的分析等问题进行了讨论。 展开更多
关键词 人员可靠性分析 动态流图法 ATHEANA法 蒸汽发生器传热管破裂
下载PDF
SGTR事故人员可靠性DFM模型定量化方法研究 被引量:1
6
作者 余少杰 赵军 方成跃 《核科学与工程》 CSCD 北大核心 2015年第2期271-276,共6页
以SGTR事故人员可靠性DFM模型求解为基础,对模型定量化中的技术难点进行分析;结合THERP、HCR等第一代人员可靠性方法中人误数据库对DFM模型进行定量化分析和讨论。结果表明:质蕴含PI#5和PI#6人误概率占SGTR事故中人误的主要部分,前几个... 以SGTR事故人员可靠性DFM模型求解为基础,对模型定量化中的技术难点进行分析;结合THERP、HCR等第一代人员可靠性方法中人误数据库对DFM模型进行定量化分析和讨论。结果表明:质蕴含PI#5和PI#6人误概率占SGTR事故中人误的主要部分,前几个时间段的执行失误和诊断/决策失误的FV及RAW重要度相对较大,将时间划分为2步长、3步长和1步长的总体人误概率无显著差异,这都与如何获得的人误数据及处理质蕴含内部相关性等密切相关。 展开更多
关键词 人员可靠性分析(HRA) 动态流图法(DFM) 定量化方法 蒸汽发生器传热管破裂(SGTR)
下载PDF
民用飞机全寿命周期费用的流图分析方法 被引量:1
7
作者 官建成 周忠义 《管理工程学报》 CSSCI 1993年第1期26-33,共8页
本文介绍了一种以图论为基础的用于大型工程项目的全寿命周期费用的流图分析方法,并将其成功地应用于民用飞机的概念设计阶段。分析结果表明,应用该方法进行飞机的全寿命周期费用分析的途径合理、概念清晰,可为飞机选型提供辅助决策。
关键词 流图 全寿命周期 费用 民用飞机
下载PDF
转移概率流图的概率理论基础与应用方法(Ⅵ)——中止规则对调整型抽样方案复合OC函数影响的进一步讨论 被引量:1
8
作者 解顺强 《数理统计与管理》 CSSCI 北大核心 1998年第6期51-55,共5页
解顺强.转移概率流向图的概率理论基础与应用方法(Ⅵ)—中止规则对调整型抽样方案复合OC函数影响的进一步讨论.数理统计与管理.1998.17(6)本文运用转移概率流向图及其粘接方法,证明了当检查始于加严抽样方案时,不带... 解顺强.转移概率流向图的概率理论基础与应用方法(Ⅵ)—中止规则对调整型抽样方案复合OC函数影响的进一步讨论.数理统计与管理.1998.17(6)本文运用转移概率流向图及其粘接方法,证明了当检查始于加严抽样方案时,不带中止规则的调整型抽样方案与带中止规则的相应的调整型抽样方案。 展开更多
关键词 调整型抽样方案 中止规则 转移概率流图 概率论
下载PDF
射频/微波功率测量不确定度分析及计算 被引量:1
9
作者 康中尉 《微计算机信息》 2009年第6期268-269,260,共3页
本文根据戴维宁等效电路,建立了射频/微波功率传输信号流图,阐述了功率测量电路中相关测量参数及其相互关系,并分析了测量不确定度的来源及改善失配误差的方法,最后介绍了常见的三种测量不确定合成方法:最大误差不确定度、RSS误差不确... 本文根据戴维宁等效电路,建立了射频/微波功率传输信号流图,阐述了功率测量电路中相关测量参数及其相互关系,并分析了测量不确定度的来源及改善失配误差的方法,最后介绍了常见的三种测量不确定合成方法:最大误差不确定度、RSS误差不确定度和扩展不确定度。 展开更多
关键词 戴维宁等效电路 信号流图 功率测量 反射系数
下载PDF
Block-based test data adequacy measurement criteria and test complexity metrics
10
作者 陈卫东 杨建军 +1 位作者 叶澄清 潘云鹤 《Journal of Zhejiang University Science》 CSCD 2002年第1期37-41,共5页
On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based ... On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible. 展开更多
关键词 block NODE SEGMENT control flowgraph model test data adequacy measurement criteria test complexity metric Kiviat diagram
下载PDF
基于信息熵抑制的轨迹隐私保护方法 被引量:4
11
作者 汪逸飞 罗永龙 +2 位作者 俞庆英 刘晴晴 陈文 《计算机应用》 CSCD 北大核心 2018年第11期3252-3257,共6页
针对传统高维轨迹隐私保护模型抑制点数过多而导致的数据匿名性差及数据损失大的问题,提出了一种基于信息熵抑制的轨迹隐私保护方法。通过为轨迹数据建立基于熵的流量图,根据轨迹时空点信息熵大小设计合理的花费代价函数,局部抑制时空... 针对传统高维轨迹隐私保护模型抑制点数过多而导致的数据匿名性差及数据损失大的问题,提出了一种基于信息熵抑制的轨迹隐私保护方法。通过为轨迹数据建立基于熵的流量图,根据轨迹时空点信息熵大小设计合理的花费代价函数,局部抑制时空点以达到隐私保护的目的;同时改进了一种比较抑制前后流量图相似性的算法,并提出了一个衡量隐私收益的函数;最后,与LK-Local方法进行了轨迹隐私度与数据实用性的比较。在模拟地铁交通运输系统数据集上的实验结果表明,与LK-Local方法相比,在相同的匿名参数取值下,所提方法在相似性度量上提高了约27%,在数据损失度量上降低了约25%,在隐私收益上提高了约21%。 展开更多
关键词 隐私保护 轨迹抑制 时空点 流量图 信息熵
下载PDF
射频/微波功率测量的信号流图表示
12
作者 康中尉 《微计算机信息》 2009年第5期310-312,共3页
以戴维宁等效电路为基础,建立了射频/微波功率的信号流图,并由该流图详细阐述了反射系数、驻波比等参数的物理意义,最后分析了Z0失配和共轭失配误差的来源。
关键词 戴维宁等效电路 信号流图 功率测量 反射系数
下载PDF
七阶元件级仿真椭圆滤波器设计方法 被引量:1
13
作者 降雪辉 孙滨 《洛阳师范学院学报》 2021年第5期19-21,25,共4页
在通信系统中,连续时间滤波器是不可或缺的部分,如何灵活简洁地设计出易于集成、高频特性好、传输特性误差小的滤波器是电路与系统学界研究的重要方向.本文给出一种基于积分器模块的通用设计方法.该方法实现的电路结构中电阻与电容的元... 在通信系统中,连续时间滤波器是不可或缺的部分,如何灵活简洁地设计出易于集成、高频特性好、传输特性误差小的滤波器是电路与系统学界研究的重要方向.本文给出一种基于积分器模块的通用设计方法.该方法实现的电路结构中电阻与电容的元件数值合适,易于集成电路的工艺实现,并具有低的元件参数分散度.仿真结果表明所提出的电路方案正确有效,适于全集成. 展开更多
关键词 积分器 连续时间滤波器 信号流图 有限传输零点
下载PDF
四种流图的转换
14
作者 徐振江 《天津理工大学学报》 1989年第1期67-72,共6页
Mason 流图,Coates 流图,改进 Coates 流图及 Chan-Mai 流图都是计算线性系统电子网络的有力工具.本文提出四种流图的相互转换方法。以利不同情况的应用和计算.
关键词 流图 转换
下载PDF
Android本地恶意应用鉴别系统的实现
15
作者 廖元之 《信息安全与技术》 2016年第4期56-60,共5页
近年来,Android手机由于其出色的用户体验,吸引了大量的用户,同时也因为它的开源特性,也极易受到恶意软件的攻击,其中本地恶意软件尤为恶劣。论文针对Android平台上本地恶意应用软件,提出了基于代码基本块控制流比较的鉴别方法。通过代... 近年来,Android手机由于其出色的用户体验,吸引了大量的用户,同时也因为它的开源特性,也极易受到恶意软件的攻击,其中本地恶意软件尤为恶劣。论文针对Android平台上本地恶意应用软件,提出了基于代码基本块控制流比较的鉴别方法。通过代码中基本块的分离,控制流图的构造及其信息的抽象比较,设计实现了一套Android平台上本地代码恶意应用鉴别系统。 展开更多
关键词 安卓 本地代码 控制流图
下载PDF
路径前缀软件测试策略
16
作者 潘林森 《重庆师范学院学报(自然科学版)》 1993年第1期62-65,共4页
本文提出一种新的软件测试策略,这种策略是一种自适应性的方法。它利用前面的测试路径引导新的输入选择,并能保证对具有n个判定节点的程序只需经过O(n)级测试,就能达到总的分支复盖。
关键词 可逆前缀 程序系统 测试 路径
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部