一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

氮化铁磁性流体密封研究

利用磁性流体被磁场吸附的原理，探讨了氮化铁磁性流体密封装置的设计原理和动作过程，分析并通过试验验证了磁性流体密封承压能力，进而成功地研制了氮化铁磁性流体密封安全阀，基于磁性流体密封安全阀开启压力稳定性、可控性和密封性能测试结果，所研制的样机已正常运行10000h。     

准静态离散元方法和线性粘弹性问题的模拟

离散元方法是近年发展起来的一种新数值方法,但原则上只能用于动态问题。从静力平衡条件出发建立了离散元系统的准静态演化方程并证明了系数矩阵具有对称正定、稀疏、带状分布等特点,适用于“有效列”方法求解,该解法比高斯消去法节省更多的内存和机时。通过引入广义Maxwell体的元间作用模型建立起线性粘弹性材料准静态响应的离散元模拟方法。该方法独立于传统动态离散元方法,是传统动态离散元方法的拓展,可望在更多领域获得应用。     

关于精确结构静力重分析法的注记

结构重分析是与结构优化设计紧密相关的分析环节。位移约束条件、载荷与单元刚度矩阵可修改的精确结构静力重分析是较新的一种方法，文献[1,2]提出其结构静力重分析的列式，这一重分析方法被多篇综述文章引用。本文从另一角度推导结构修改的基本方程，并给出广义柔度矩阵的简便可行算法，推导过程简单明了，力学意义明显。     

Applications of SMP Bounds to Multi-class Traffic in High-speed Networks

In this paper, we consider the stochastic fluid-flow model of a single node in a high-speed telecommunication network handling multi-class traffic. The node has multiple buffers, one for each class of traffic. The contents of these buffers are multiplexed onto a single output channel using one of the service scheduling policies: the Timed Round Robin Policy or the Static Priority Service Policy. The Quality of Service requirements for each class are based on cell loss probabilities. Using effective bandwidth methodologies and the recently developed bounds for semi-Markov modulated traffic, we solve call admission control problems for the two service scheduling policies at this node. We compare the performance of the effective bandwidth methodologies and the SMP bounds technique. We also numerically compare the performance of the two service scheduling policies.     

Precise bounds for the petersen time-varying real parameter uncertainty system stabilized via linear static controllers

Using a class of linear static controllers, we stabilize the Petersen open-loop two-dimensional linear system (Ref. 1), which consists of one time-varying uncertainty in the state matrixA and one timevarying uncertainty in the input matrixB. We show that the worst-case uncertainty strategy for the closed-loop system is a piecewise constant strategy of the angular state with three switches on the half-turn, –/2/2; it is unique with respect to a set of measure zero. Formulas are derived for the worst-case half-turn radius gainr _HT as a function of the parameters of the class of stabilizing linear static controllers. Using the class of scalar-quadratic Lyapunov functions, we show that a necessary and sufficient condition for the closed-loop system to be robustly stable against all time-varying admissible uncertainties is thatr _HT be less than unity. The bound on the time-varying real parameter uncertainties for the closed-loop system to be robustly stable is derived for the class of linear static feedback controllers. We obtain stabilizing linear static controllers such that the bound is as close to infinity as desired. The derived results are compared with numerical results obtained using commerical robust-control software.     

无滑动滚动时的摩擦力

通过一个演示实验 ,分析论证了纯滚动刚体所受摩擦力为静摩擦力 ,静摩擦力与物体的运动状态有关 ,与接触面性质无关 .     

软X射线条纹相机的静态性能研究

软X光扫描相机是对软X光时间持性进行研究的主要诊断工具,我们利用 同步辐射作为光源,对它的静态性能：能量响应、增益等性能进行了相对标定,给出了软X 光条纹相机的能量响应曲线和增益特性曲线,并与利用B.L.Henke的经验公式计算给出的响 应曲线比较,其结果与理论较符合。     

飞机空速校准用静压测量装置轮廓结构绕流影响分析

介绍了针对一种面向飞机空速校准的外置式静压测量方法,为了减小测量装置轮廓结构绕流对静压测量的影响,从而提高静压测量精度,应用FLUENT对装置轮廓结构进行绕流影响分析,得到绕流影响最小的轮廓结构类型,并采用正交试验方法对收缩角度β、过渡长度L、最大直径ΦD、最小直径Φd共4个参数进行优化;仿真结果表明,测量装置轮廓采用圆弧型收缩过渡结构绕流影响最小,轮廓最大直径和过渡长度对静压测量绕流影响较为显著;最优参数组合为:β=33°,L=40 mm,ΦD=50 mm,Φd=22 mm,优化后的结构对静压管的绕流影响减小了37.5%,提高了静压测量精度。     

Monte-Carlo study of correlations in quantum spin chains at non-zero temperature

Antiferromagnetic Heisenberg spin chains with various spin values (S=1/2,1,3/2,2,5/2) are studied numerically with the quantum Monte-Carlo method. Effective spin S chains are realized by ferromagnetically coupling n=2S antiferromagnetic spin chains with S=1/2. The temperature dependence of the uniform susceptibility, the staggered susceptibility, and the static structure factor peak intensity are computed down to very low temperatures, . The correlation length at each temperature is deduced from numerical measurements of the instantaneous spin-spin correlation function. At high temperatures, very good agreement with exact results for the classical spin chain is obtained independent of the value of S. For the S=2 chain which has a gap , the correlation length and the uniform susceptibility in the temperature range are well predicted by the semi-classical theory of Damle and Sachdev. Received: 23 December 1997 / Revised and Accepted: 11 March 1998