类JVML在线部分计值器的正确性证明

定义了JVML指令序列的程序语义，构造了相关的JVML子集部分计值器并形式化地给出了计值规则，证明了计值规则的正确性，说明了表达式和语句在一定的环境下通过部分/剩余（Partial/Residual)计值和全局（Total)计值的不变性。     

《微机有限元前后处理系统ViziCAD》在钢结构中的应用

本文以斗轮堆取料机尾车为例，利用有限元分析的基本原理，并结合有限元分析前后处理ViziCAD程序，就梁杆结构有限元分析时的建模、单元划分、添加荷载及约束、计算分析及结果分析等作了叙述，从而获得了详尽直观、可靠、精确的计算结果，不失为钢结构设计和分析的一种有效方法。     

蠕变试验下固体推进剂泊松比研究

为了研究固体推进剂的粘弹性力学行为,该文在遗传积分形式的粘弹性泊松比表达式基础上,结合拉普拉斯变换和蠕变试验条件,推导出推进剂材料在已知横向应变和松弛模量时的泊松比精确表达式,并利用Matlab编制相应的计算程序。设计相应的蠕变试验获得推进剂材料的横向应变,结合推进剂材料的松弛模量获得材料的泊松比与时间的变化规律。该文结果可为固体推进剂装药结构完整性分析提供输入参数。     

MVP程序在中国先进研究堆上的应用研究

MVP是日本原子能机构（JAEA）研发的蒙特卡罗输运程序,通过模拟中子和光子输运,能够计算有效增殖因子、中子注量率和各种反应率等参数,MVP程序自带多个连续能量的点截面数据库,并能处理指定温度下的中子截面库,计算温度相关的问题。程序采用体组合的方式描述几何模型,具有精确描述复杂三维几何结构的能力。通过与BURN模块的耦合可进行燃耗计算,可用于分析与时间相关的问题。文章对MVP程序在中国先进研究堆（CARR）上的应用进行了初步研究,利用MVP程序对CARR进行了剩余反应性计算和燃耗计算。通过与扩散程序计算结果进行比较,证明了MVP程序是CARR堆运行物理分析的良好选择,为今后的实际运用奠定了良好基础。     

过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状，提出用过程提取技术对待检的源代码进行预处理，以改善程序模型检测的可伸缩性．首先，将程序中一个选定的语句集合提取出来并包装成一个独立的过程，然后在原程序的相应位置用一个过程调用替代，进而将大型程序分解成语义一致的小型过程的集合．由于模型检测算法中的过程总结边可单独计算，所以过程提取使整个程序的模型检测任务模块化，当程序对某过程进行多次调用时，利用总结边可以避免对过程体内状态空间的重复搜索，从而降低了模型检测算法在空间：和时间上的开销．理论分析和实验表明，所提技术能有效缩短大型程序的模型检测时间，并在程序的转换中不会改变原程序语义，满足了程序模型检测的安全性要求．     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.     

基于污点分析和符号执行的漏洞签名生成方法

漏洞签名是指触发程序漏洞的输入的集合,利用漏洞签名对程序输入进行过滤是一种有效的保护漏洞程序的方法。该文主要研究漏洞签名的生成技术,提出了一种有效的基于污点分析和符号执行的漏洞签名生成方法,它通过污点信息传播定位输入中的与触发漏洞相关的字节,然后,通过符号执行得到路径约束,并通过约束求解得到最终的漏洞签名。基于开源项目Pin和Z3,该文构建了基于污点分析和符号执行的漏洞签名生成原型系统TASEVS,并对漏洞程序进行了验证。实验结果表明,TASEVS能有效地生成漏洞签名。     

一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

有限条法在混凝土浮箱桥结构分析中的应用

混凝土浮箱桥在国外已得到较多应用,但在国内尚空白。将有限条元法用来分析混凝土浮箱桥,推导了弹性介质上有限条元的计算公式,并编制了相应的有限条元计算程序。在研究中发现用有限条元计算浮桥最大弯矩与跨矩的比值同弹性地基梁法所得到的比值几乎相等。     

修形人字齿轮的润滑及摩擦特性分析

基于热弹流润滑(TEHL)理论对修形人字齿轮的齿面润滑特性和摩擦特性展开分析.首先,分析在指定工况下特定结构的人字齿轮齿面的时变接触线变化规律,沿啮合线选取指定数量的啮合点作为分析对象并得到必要的接触参数数值;然后,对TEHL计算程序的准确性进行验证并完成TEHL计算,从计算结果中提取不同啮合点处油膜特征参数,以得到其...     

A Worst-case execution time analysis approach based on independent paths for ARM programs

To overcome disadvantages of traditional worst-case execution time (WCET) analysis approaches, we propose a new WCET analysis approach based on independent paths for ARM programs. Based on the results of program flow analysis, it reduces and partitions the control flow graph of the program and obtains a directed graph. Using linear combinations of independent paths of the directed graph, a set of feasible paths can be generated that gives complete coverage in terms of the program paths considered. Their timing measurements and execution counts of program segments are derived from a limited number of measurements of an instrumented version of the program. After the timing measurement of the feasible paths are linearly expressed by the execution times of program seg-ments, a system of equations is derived as a constraint problem, from which we can obtain the execution times of program segments. By assigning the execution times of program segments to weights of edges in the directed graph, the WCET estimate can be calculated on the basis of graph-theoretical techniques. Comparing our WCET estimate with the WCET measurement obtained by the exhaustive measurement, the maximum error ratio is only 8.259 3 %. It is shown that the proposed approach is an effective way to obtain the safe and tight WCET estimate for ARM programs.     

河北卫视文化类节目的生存状况及其启示

河北卫视在2011年8月的改版中推出了包含四档栏目的文化类节目带,分别从文化、知识、道德和信念四个角度来诠释文化和精神的力量。但经过一年多的试水,大制作、大投入的栏目带遭遇小收视、小产出的生存困境,这背后的原因并非电视不适合做文化节目,而是由于此栏目带自身存在诸多问题,这包括缺乏长远的规划意识、人才梯队建设薄弱、节目样式陈旧单一、没有形成独特的风格以及不合理的栏目评价机制。     

一个数字通信计算机模拟程序的设计

本文主要描述一个数字通信中部分响应技术的计算机模拟程序。该程序用C语言编程,将时域一频域分析、绘图、打印结合为一体,可对各种类型的部分响应进行分析研究。文中给出了完整的C代码,并逐段叙述了各部份代码的主要思想或编程算法,程序经多次验证,可供教学演示使用。     

灰靶决策在油田开发方案评价中的应用

本文拓广了灰靶决策,应用于油田开发方案的评价,可从多个可行方案中选出最优方案。计算简单,优选结果信度高。     

Complexity measure based on program slicing and its validation

The popular single-factor complexity measure cannot comprehensively reflect program complexity and the existing hybrid complexity measure cannot express the interactive behaviors of programs. To treat these problems, in this paper, we propose a complexity measure based on program slicing（CMBPS）. CMPBS not only can evaluate factors which affect program complexity such as the length of the program, control flow, data flow and data types of output variables, but also can give expression of the interactive relation between programs. And we also prove that CMBPS satisfies all of Weyuker properties. Compared with the popular complexity measures, CMBPS is a well-structured complexity measure.     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

既有线扩能改建方案研究

中国铁路近几年获得了飞速发展,除了发展新的铁路通道外,既有铁路的扩能改建在铁路工程中也占了很大的比重。通过对改建方案综合比选,制定经济合理的速度目标值及技术标准对满足运量、促进地方发展、节约国家投资起着至关重要的作用。以四松铁路辽源至梅河口段线路改建方案比较为例,探讨既有线扩能改建方案研究的过程及原则。     

局部空间自适应有源降噪系统的实验研究

针对在前人所做的有源降噪的程序设计中,对误差通道传递函数估计为1的不合理性,讨论了局部空间自适应有源降噪控制系统误差通道的在线自适应建模,给出了误差通道在线自适应建模的原理、实现方法及应用程序的设计,实验证明,采用这种方法,能明显改善系统的稳定性,提高降噪效果。     

基于OOPN的面向对象的集成测试方法

面向对象的程序与传统的结构化程序相比,具有许多特点,如消息传递、同步、动态绑定、对象实例、继承、多态等．面向对象软件的测试比结构化软件的测试更困难,因此提出一种基于OOPN模型的面向对象的集成测试方法．首先用面向对象petri网（OOPN）模拟系统中的对象及其交互过程,然后在此模型的基础上提出生成测试例的算法．此方法的创新之处在于将数据流与控制流相结合的方法用于面向对象的测试之中．     

车辆行驶平顺性的计算机辅助分析

介绍了作者开发的平顺性计算机辅助分析程序,能对二维五自由度,三维八自由度非独立悬架或独立悬架车辆的振动模型进行平顺性计算、分析评价及系统特性参数修改该程序用ＶｉｓｕａｌＢａｓｉｃ５．０语言编写,运行于Ｗｉｎｄｏｗｓ９５环境下,与以往运行于ＤＯＳ环境下的同类程序相比,操作更为直观方便,功能和适用性更强最后给出了某四轮农用运输车的平顺性计算和评价结果,并作了试验验证