论文部分内容阅读
主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直观、准确的计算出对于类内某一成员变量即临界安全变量的特定行语句的程序切片,从而达到分析临界安全变量独立性的目的.
一种用于测试临界安全变量独立性的类内切片算法
【摘 要】
：
主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直
【机 构】
：
兰州交通大学电子与信息工程学院
【出 处】
：
兰州交通大学学报
【发表日期】
：
2010年6期
【基金项目】
：
甘肃省科技支撑计划项目（1011GKCA040）, 兰州市企业技术攻关计划（2009-1-4）
其他文献
关于分数布朗运动的随机积分用非一致Riemann和刻画得到了FHVB积分,本文讨论了此积分的收敛性,获得了平均收敛定理和一致收敛定理.
自锚式悬索桥成桥后结构整体刚度大,变形特性近似线性结构,一般通过调整吊杆索力来纠正施工偏差.影响矩阵法适用于施工偏差调整,计算过程简洁,精度满足成桥几何线形的设计要
提出一种基于主元分析和色调的彩色图像分割方法.首先应用主元分析法确定分类数,将彩色图像分成几个区域,然后基于色调特征将区域再划分为若干个子区域,最后根据CIE(L*a,b*)空间的颜色差异合并具有相似颜色的子区域,得到最终的精确分割结果.
证明了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）—拉回吸引子的存在性,其
在路网改造中,由于原有桥涵等级低、线形不畅及老化破损,加之沿路建筑、河道的制约等,使老桥改造成为道路改建的关键和难点.通过对南城桥二次拓宽改造的方案优化过程、主要技
为了构建剑尾鱼脑细胞系并探讨其细胞色素P4501a（CYP1A）基因的诱导效应,实验通过胰蛋白酶消化法对剑尾鱼脑组织进行体外培养,经连续继代培养,建立了可稳定传代的脑细胞系,命名
地下水对道路的使用寿命有着直接的影响,如何在高地下水位区域建设道路,是道路建设经常遇到的问题.结合洛阳市关林大道建设工程实例,对高地下水位路段的道路结构形式进行了分
主要介绍了重力式自动化立体仓库监控系统的组成和系统的软硬件设计方案,叙述了监控系统如何通过OPC接口实现与底层PLC的通信,并且全程监控、实时调度,将企业生产过程与管理结合起开,实现了仓库监控信息的管理和出入库的自动化操作.经过实际运行证明,这种控制方式显著改善了控制效果,使系统更加实时、精确和稳定.
移动支架逐孔现浇施工法具有施工作业标准化、工作周期化的特点而被广泛采用，但箱梁节段张拉锚固面底板常产生纵向裂缝．利用商业有限元软件ANSYS对某桥箱梁节段张拉锚固面底板
对8种鲤养殖品种的线粒体Cyt b基因部分序列进行测定,并比较分析其遗传多样性和系统进化关系,结果获得425 bp的Cyt b序列,其中T、C、A、G的平均含量分别为26.8%、29.0%、29.7