静态二进制翻译中间接过程调用恢复技术研究

间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解释器的方法,该方法具有实现简洁、在目标机上运行速度更快的优点。

二进制翻译中间接调用动态链接库恢复技术

针对使用C后端的静态二进制翻译框架,提出了间接调用动态链接库函数恢复方法。该方法使用伪地址来代替需要动态解析的动态链接库函数的地址,在后端构建了伪地址与目标机上动态链接库函数地址的对应表,在后端C代码生成过程中插入根据伪地址获得动态链接库函数地址的查表代码,使用查表得到的库函数地址恢复对于动态链接库函数的间接调用。

Smith补偿器的非线性校正及系统稳定鲁棒性

利用非对称非线性的环节对Smith补偿器进行校正,并用于间接加热蒸煮过程控制,仿真表明闭环系统具有较好的关于模型不匹配的稳定鲁棒性。

全自动控制系统下人类劳动的演变

全自动控制系统意味着向无人化生产方式的转变 ,这使人类劳动从劳动形式、数量、质量、次数等方面都发 生了具有根本意义的变化 ,显示出人类劳动的主体成份已从过去重复性劳动向创造性劳动演进 ,标志着人类劳动即将进入创造性劳动的新阶段。

油罐自动计量系统测量方法分析及应用

面向物联网应用的油罐自动计量系统由感知层、网络层和应用层组成。为提高油罐自动计量系统感知层的适应性、可靠性及性价比,在介绍静压法、液位法和混合法3种测量方法原理的基础上,分析了罐内间接测量参数的计算过程,对比了测量方法在参数测量精度、泄漏监测、安装条件及设备成本方面的性能,探讨了测量方法应用中需重点解决的问题,给出了建议配置方案。

Corrosion evaluation of friction stir welded lap joints of AA6061-T6 aluminum alloy

Corrosion behavior of friction stir lap welded AA6061-T6 aluminum alloy was investigated by immersion tests in sodium chloride + hydrogen peroxide solution. Electrochemical measurement by cyclic potentiodynamic polarization, scanning electron microscopy, and energy dispersive spectroscopy were employed to characterize corrosion morphology and to realize corrosion mechanism of weld regions as opposed to the parent alloy. The microstructure and shear strength of welded joint were fully investigated. The results indicate that, compared with the parent alloy, the weld regions are susceptible to intergranular and pitting attacks in the test solution during immersion time. The obtained results of lap shear testing disclose that tensile shear strength of the welds is 128 MPa which is more than 60% of the strength of parent alloy in lap shear testing. Electrochemical results show that the protection potentials of the WNZ and HAZ regions are more negative than the pitting potential. This means that the WNZ and HAZ regions do not show more tendencies to pitting corrosion. Corrosion resistance of parent alloy is higher than that for the weldments, and the lowest corrosion resistance is related to the heat affected zone. The pitting attacks originate from the edge of intermetallic particles as the cathode compared with the Al matrix due to their high self-corrosion potential. It is supposed that by increasing intermetallic particle distributed throughout the matrix of weld regions, the galvanic corrosion couples are increased, and hence decrease the corrosion resistance of weld regions.

Smith预估补偿器的非线性校正及系统稳定鲁棒性

利用非对称非线性的环节对Smith预估补偿器进行校正,并用于间接加热蒸煮过程,仿真表明闭环系统具有较好的关于模型不匹配的稳定鲁棒性.

Walter Benjamin： A New Positive Concept of Destruction

The author＇s proposal is to show how an apparently marginal text by Walter Benjamin, ＂The Destructive Character＂, can be taken as a hermeneutic model for understanding the connection of Benjamin＇s with history and tradition and for characterizing his thought as philosophy of threshold. It is the author＇s intention to show how the destructive character, on the threshold between destruction and construction, succeeds in remaining in that transition area that announces a change, showing its creative and conservative features; thus it appears as a figure of coexistence between stillness and movement, passage and interruption, and past and future. What the author wants to point out is that, in the description of this figure, Benjamin is driven by a cognitive demand, which tends to focalize the process of destruction itself rather than the result of the destruction process. The space in which the destructive character is acting is the space of the possibility of change and emancipation, and the space where it is possible to keep together past and future, and memory and redemption. Starting from these reflections, an important question arises about the problem of the relation between history and tradition, and culture and its memory： Neither the destruction of memory by a culture nor its canonization is meaningful. The concept of destructive character then represents a preferential point of observation for analyzing the articulations of Benjamin＇s thought. From this perspective, a decisive point of Benjamin＇s reflection seems to emerge on one side, strengthened in the permeation of Hebraic ancestors between destruction and salvation; on the other side, some of the concepts and images of the Berliner philosopher seem to show up in a new light.

Calculation of Measurement Uncertainty for Stiffness Modulus of Asphalt Mixture

Asphalt mixture is a highly heterogeneous material, which is one of the reasons for high measurements uncertainty when subjected to tests. The results of such tests are often unreliable, which may lead to making bad professional judgments. They can be avoided by carrying out reliable analyses of measurement uncertainty adequate for the research methods used and conducted before the actual research is done. This paper presents the calculation of measurements uncertainty using as an example--the determination of the stiffness modulus of the asphalt mixture, which, in turn, was accomplished using the indirect tension method. The paper also shows the employment of the basic methods of statistical analysis, such as testing two mean values and conformity tests. Essential concepts in measurements uncertainty have been compiled and the determination of the stiffness module parameters are discussed. It has been demonstrated that the biggest source of error in the stiffness modulus measuring process is the displacement measure. The aim of the research was to find the measurement uncertainty for stiffness modulus by an indirect tensile test and the presentation of examples of the used statistical methods.

Hardware-in-the-loop simulation for the contact dynamic process of flying objects in space

In the one-gravity environment on the ground, the simulation of the contact process of two flying objects in the zero-gravity environment of space has been a challenging issue since humans first explored space by flying objects. Hardware-in-the-loop （HIL） simulation is an important and effective method to test the usability, reliability, and safety of real docking mechanisms in space. There are four main issues for HIL simulation systems： Design of simulators capable of high frequency response, high motion precision, high velocity, and rapid acceleration; compensation for simulation distortion; design of a control model for the HIL simulation process; and experimental verification. Here, we propose a novel HIL simulator system with a 6-DOF 3-3 perpendicular parallel mechanism and a 3-DOF 3-PRS parallel mechanism; discover the principle of simulation distortion; present distortion compensation models for the force measurement system, dynamic response, and structural dynamics of the simulator; and provide a control model for the HIL simulation process. Two kinds of experiments were performed on the pas- sive-undamped elastic rod and the docking mechanisms to test their performances and to verify the effectiveness and usability of the HIL simulator. The HIL simulation system proposed in this paper is useful for developing space docking, berthing, refu- eling, repairing, upgrading, transporting, and rescuing technologies.

Car capacity near bus stops with mixed traffic derived by additive-conflict-flows procedure

To determinate car capacity at bus stops with mixed traffic, a new theoretical approach was developed on the basis of additive-conflict-flows procedure. The procedure was extended from homogeneous traffic flow to mixed traffic flow. The conflicts among cars, buses and bicycles near the stop can be described by the extended procedure. The procedure can be understood more easily than the theory of gap acceptance. Car capacity near the stop is the function of both bus stream and bicycle stream. The proposed model can also analyze the cases of pedestrian effects and limited priority of bicyclists. Numerical results show that the car capacity decreases with the increasing flow rates of other streams. In addition, pedestrian effects and bicyclist's limited priority have negative effects on car capacity near bus stops with mixed traffic flow.

Numerical Simulation of 2-D Radiation-Drive Ignition Implosion Process

A Lagrangian compatible radiation hydrodynamic algorithm and the nuclear dynamics computing module are developed and implemented in the LARED Integration code, which is a radiation hydrodynamic code based on the 2-D cylindrical coordinates for the numerical simulation of the indirect-drive Inertial Confined Fusion. A number of 1-D and 2-D ignition implosion numerical simulations by using the improved LARED Integration code (ILARED) are presented which show that the 1-D numerical results are consistent with those computed by the 1-D radiation hydrodynamic code RDMG, while the simulation results of the 2-D low-mode radiative asymmetry and hydrodynamic instability growth,according to the physical analysis and anticipation, are satisfactory. The capsules driven by the sources from SGII experiments are also simulated by ILARED, and the fuel shapes agree well with the experimental results. The numerical simulations demonstrate that ILARED can be used in the simulation of the 1-D and 2-D ignition capsule implosion using the multi-group diffusion model for radiation.

Continuous-Time Independent Edge-Markovian Random Graph Process

In this paper, the continuous-time independent edge-Markovian random graph process model is constructed. The authors also define the interval isolated nodes of the random graph process, study the distribution sequence of the number of isolated nodes and the probability of having no isolated nodes when the initial distribution of the random graph process is stationary distribution, derive the lower limit of the probability in which two arbitrary nodes are connected and the random graph is also connected, and prove that the random graph is almost everywhere connected when the number of nodes is sufficiently large.