切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种用于测试临界安全变量独立性的类内切片算法
一种用于测试临界安全变量独立性的类内切片算法
来源 :兰州交通大学学报 | 被引量 : 0次 | 上传用户:laiyongxuan
【摘 要】
:
主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直
【作 者】
:
林牧宇
张忠林
赵园
【机 构】
:
兰州交通大学电子与信息工程学院
【出 处】
:
兰州交通大学学报
【发表日期】
:
2010年6期
【关键词】
:
程序切片
MSV关系图
临界安全变量
program slicing
MSV diagram
critical safety variable
【基金项目】
:
甘肃省科技支撑计划项目(1011GKCA040), 兰州市企业技术攻关计划(2009-1-4)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直观、准确的计算出对于类内某一成员变量即临界安全变量的特定行语句的程序切片,从而达到分析临界安全变量独立性的目的.
其他文献
FHVB随机积分的收敛定理
关于分数布朗运动的随机积分用非一致Riemann和刻画得到了FHVB积分,本文讨论了此积分的收敛性,获得了平均收敛定理和一致收敛定理.
期刊
分数布朗运动
随机积分
非一致划分
收敛定理
fractional Brownian motion
stochastic integral
non-unif
自锚式悬索桥吊杆索力优化的影响矩阵法
自锚式悬索桥成桥后结构整体刚度大,变形特性近似线性结构,一般通过调整吊杆索力来纠正施工偏差.影响矩阵法适用于施工偏差调整,计算过程简洁,精度满足成桥几何线形的设计要
期刊
自锚式悬索桥
影响矩阵法
吊杆
索力优化
整体刚度
线性结构
变形特性
施工偏差
偏差调整
计算过程
设计要求
几何线形
优化过程
工程应用
成桥
精度
基于主元分析和色调的彩色图像分割
提出一种基于主元分析和色调的彩色图像分割方法.首先应用主元分析法确定分类数,将彩色图像分成几个区域,然后基于色调特征将区域再划分为若干个子区域,最后根据CIE(L*a,b*)空间的颜色差异合并具有相似颜色的子区域,得到最终的精确分割结果.
期刊
主元分析
色调
彩色图像分割
principal component analysis
hue
color image segmentation
Brinkman-Forchheimer方程双空间中的拉回吸引子
证明了R3中有界开区域Ω上的Brinkman-Forchheimer方程ut=γΔu-au-b|u|u-c|u|βu-▽p+f,当外力项f满足integral:eσs‖f(s)‖2ds〈∞ from n=-∞ to t时,(H,V)—拉回吸引子的存在性,其
期刊
Brinkman-Forchheimer方程
拉回条件(C)
拉回吸引子
Brinkman-Forchheimer equation
pullback con
南城桥二次拓宽改建技术研究
在路网改造中,由于原有桥涵等级低、线形不畅及老化破损,加之沿路建筑、河道的制约等,使老桥改造成为道路改建的关键和难点.通过对南城桥二次拓宽改造的方案优化过程、主要技
期刊
桥梁
拓宽改造
老化
道路改建
连云港市
沿路建筑
bridge
widening and improving
tech nology study
剑尾鱼脑细胞系的建立及细胞色素P4501A的诱导表达
为了构建剑尾鱼脑细胞系并探讨其细胞色素P4501a(CYP1A)基因的诱导效应,实验通过胰蛋白酶消化法对剑尾鱼脑组织进行体外培养,经连续继代培养,建立了可稳定传代的脑细胞系,命名
期刊
剑尾鱼
脑细胞系
细胞色素P4501A
Xiphophorus helleri
brain cell line
cytochrome P4501A
城市高地下水位条件下道路结构探讨
地下水对道路的使用寿命有着直接的影响,如何在高地下水位区域建设道路,是道路建设经常遇到的问题.结合洛阳市关林大道建设工程实例,对高地下水位路段的道路结构形式进行了分
期刊
路面结构
地下水
封堵
疏排
双向格栅
防水墙
渗沟
road
structure
infiltration ditch
permeable layer and
立体仓库监控系统与执行设备通讯的设计与实现
主要介绍了重力式自动化立体仓库监控系统的组成和系统的软硬件设计方案,叙述了监控系统如何通过OPC接口实现与底层PLC的通信,并且全程监控、实时调度,将企业生产过程与管理结合起开,实现了仓库监控信息的管理和出入库的自动化操作.经过实际运行证明,这种控制方式显著改善了控制效果,使系统更加实时、精确和稳定.
期刊
重力式
自动化立体仓库
监控系统
OPC
gravitational type
AS/RS
monitoring system
OPC
预应力砼箱梁节段张拉锚固面底板纵向裂缝分析与处理
移动支架逐孔现浇施工法具有施工作业标准化、工作周期化的特点而被广泛采用,但箱梁节段张拉锚固面底板常产生纵向裂缝.利用商业有限元软件ANSYS对某桥箱梁节段张拉锚固面底板
期刊
移动支架逐孔现浇施工法
锚固面
纵向裂缝
成因分析
moving trestle and span-by-span cast-in-place construc
8种鲤养殖品种线粒体Cyt b基因的遗传多样性和系统进化分析
对8种鲤养殖品种的线粒体Cyt b基因部分序列进行测定,并比较分析其遗传多样性和系统进化关系,结果获得425 bp的Cyt b序列,其中T、C、A、G的平均含量分别为26.8%、29.0%、29.7
期刊
鲤
遗传多样性
细胞色素B
Cyprinoid aquaculture breeds
genetic diversity
Cyt b
与本文相关的学术论文