一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性。实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度。     

高级综合中循环的综合方法研究

循环语句是高级综合中非常重要的语法现象^[1]。不同的循环语句（无限循环语句，有限循环语句和条件循环语句）应用于不同的场合，对不同循环语句的综合方法也不同。从VHDL语言的循环语句入手，研究高级研究中循环的综合方法，说明了VHDL语言中应用到不的各种情况和它们的综合方法，同时阐明了循环中的exit语句和next语句的综合方法。     

循环双谱及在周期平稳类故障中的应用

论述了未知循环频率的周期平稳信号循环双谱的估计方法；研究了在循环双谱的循环累积量计算中涉及变量的简化存储方法，提出了该变量矩阵是对称阵，通过算法可以三角阵的元素来表述，克服了循环双谱传统估计方法计算量较大的缺陷，提高了运算效率；提出了循环双谱对调相故障信号的分析能力，以及对加性噪声的处理能力，仿真并验证了该方法的有效性，并将其应用于旋转机械状态分析。     

基于符号执行提高缺陷分析的准确性研究

静态分析是检测软件代码缺陷和提升软件代码质量的有效方式. 由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高. 相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确程度,弥补静态分析的不足. 为了提高静态分析工具分析程序缺陷的准确性,本文设计并实现了一个代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,综合采用符号执行与静态分析技术以检测源代码中的缺陷. 使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析结果的准确性.      

基于约束符号集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式,而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,本文方法可以精确的分析C程序中的条件表达式。     

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。     

用随机函数编制小学低年级算术运算命题程序

Visual Basic中的随机函数Rnd是一个很特别的标准函数，这个函数可以获取（0，1）之间的一个随机数，把这个随机数作适当处理，后可产生一个任意区间的整数，应用循环结构能得到大量的整数，这些整数可作为运算数来实现算术运算的命题程序，从而进行简单的加减乘除运算。     

基于符号表达式的程序语义缺陷警报关联识别方法

针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。     

MCNP与DORT耦合计算方法研究

 基于蒙特卡罗方法的MCNP程序和离散纵标法的DORT程序, 在解决辐射屏蔽设计过程中确定屏蔽方案时, 单独使用MCNP或DORT计算屏蔽效果的两个粒子输运程序各自存在某方面缺陷的问题.通过研究MCNP与DORT两个程序的功能与特点, 编写接口程序, 实现了MCNP与DORT的耦合计算, 弥补各自运算中的缺陷, 扩展了程序的适用范围.通过验证, 表明自主开发的接口程序能够完成两个程序输入输出文件的相互转化, 耦合计算精度满足要求, 且对各类问题有较好的处理能力, 该耦合接口程序已初步应用于工程计算.     

C语言中计数循环语句几种形式的处理方法

在C语言中,经常使用循环语句,特别是计数器循环语句,即for语句.本文结合实例,对for语句的几种特殊形式进行分析,并给出具体的处理方法.     

UMA模型上不均匀循环的自适应混合调度

不均匀循环的调度分配是并行计算中最经常遇到的问题。采用动态调度势必增加额外开销,纯采用静态调度又很难保证各处理器的负载平衡。本通过引入静态块和动态块的概念,提出了在ＵＭＡ（Ｕｎｉｆｏｒｍ Ｍｅｍｏｒｙ Ａｃｃｅｓｓ）模型上把静态调度和动态调度结合起来使用的自适应混合调度ＡＨＳ（Ａｄａｐｔｉｖｅ Ｈｙｂｒｉｄ Ｓｃｈｅｄｕｌｉｎｇ）算法,并给出了在曙光一号多处理机上的一些实验结果。     

K波段测距仪基带信号跟踪处理研究

为了精确解算星间距离及距离变化率,从而恢复地球重力场,介绍了一种在K波段测距系统中的基带信号跟踪处理方法,这种方法依据数字锁相理论,给出了环路的结构框图及KBR基带信号模型,同时给出了KBR基带信号跟踪环设计方法和仿真参数的具体确定,最后以图和表格的形式给出了Matlab仿真结果,结果表明这种方法能很好地跟踪重力卫星动态,精确地提取载波相位,可使得静态相位跟踪误差小于10^-4Hz,动态情况下能保持稳定跟踪,对恢复地球重力场有重要意义。     

基于平淡卡尔曼滤波的微弱GPS信号跟踪算法

在接收信号很微弱的情况下,全球定位系统(GPS)的传统方法不能很好地跟踪信号.采用非线性卡尔曼滤波算法取代传统的延迟锁定环和相位锁定环,用于高灵敏度GPS接收机的微弱信号处理环节.针对所提出的微弱信号系统模型中相关运算的特点,运用平淡卡尔曼滤波器进行信号跟踪.仿真结果表明,新方法能够较好地跟踪到载噪比低至27 dB-Hz的微弱信号,确保了跟踪精度;同时具有较高的灵敏度.     

数字锁相环与滤波技术在PWM整流器中的应用

三相电压型SVPWM整流器可采用基于MATLAB和FPGA的VHS-ADC高速数字信号处理平台建模,但建模时,三相静止坐标系到两相同步旋转坐标系的Park变换和两相旋转坐标系到两相静止坐标系的变换初相位不定,使变换不能顺利实现,另外,电网电压、电流采集时存在噪声,影响了系统稳定性。在常规的三相电压型SVPWM整流器模型基础上,增加数字锁相环以跟踪电网电压的相位和频率,增加FIR数字滤波器对信号进行处理,减少干扰。在VHS-ADC平台上设计了电压外环PI环节、电流内环PI环节和坐标变换模型。通过小功率实验,三相电压型SVPWM控制系统运行稳定,验证了数字锁相环和FIR数字滤波器应用于三相电压型SVPWM整流器的可行性。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

GPS变形监测网数据分析探讨

GPS变形监测数据分析方法多种多样。对传统的静态数据处理方法进行了研究,探讨了该方法在数据分析过程中所应考虑的各种问题,重点研究了监测网平差模型、变形分析基准统一的数学模型和GPS监测网的变形分析。     

SDH中恢复四次群时钟的数字化预处理方法

同步数字系列（ＳＤＨ）中的指针调整引入了８ｂｉｔ或２４ｂｉｔ的大幅度抖动。为了处理这一抖动，提出了一种数字化处理方法——自适应预测法，可以作为预处理方法应用于ＳＤＨ中的四次群时钟恢复。该方法在一个统计周期内统计指针调整和码速调整的次数，并根据统计结果，在下一个周期内自适应地预测出四次群支路时钟。该时钟不含指针抖动，便于利用模拟锁相环进行最终处理，得到均匀的四次群时钟。从该方法的基本原理，以及对它的静态抖动和抖动转移性能分析中可知，相对于以往的减小指针抖动的方法，如比特泄漏法等，自适应预测法具有输出抖动小，抖动转移性能好，捕捉范围宽等特点。     

结构静力反问题求解逆摄动算法

研究了基于有限元分析的结构静力反问题求解的逆摄动方法,以桁架结构的静力分析为例,基于桁架结构的有限元分析模型,利用反问题求解的思想提出了静力反问题求解的逆摄动算法。给出逆摄动参数ε的显式计算公式,避免或减少了重分析。算例表明,这是一种具有较高效率的计算方法,可应用于复杂工程结构的静力优化设计。     

网络分析的一种改进的回路分析法

回路分析法是电路分析的一种基本方法．但是基本的回路分析法不能用于处理含有电流源支路的回路分析问题．本文导出了一种改进的回路方程，提出了改进的回路法．这种方法减少了回路方程的维数和求解回路方程计算．该方法适用于计算机辅助电路分析(CACA)．     

二维变形监测网的条件动态平差问题

迄今,对多期复测二维监测网进行数据处理,以各期施测年代是否相同,形成了静、动态之分。对动态平差处理,以往讨论了参数法动态平差,本文则导出了用条件观测法实现复测二维网动态平差的数学模型。可用以解决较大规模二维监测网多期复测的数据处理。