An efficient adapting virtual intermediate instruction set towards optimized dynamic binary translator (DBT) system

A new efficient adapting virtual intermediate instruction set,V-IIS,is designed and implemented towards the optimized dynamic binary translator (DBT) system.With the help of this powerful but previously little-studied component,DBTs can not only get rid of the dependence of machine(s),but also get better performance.From our systematical study and evaluation,experimental results demonstrate that if V-IIS is well designed,without affecting the other optimizing measures,this could make DBT's performance close to those who do not have intermediate instructions.This study is an important step towards the grand goal of high performance "multi-source" and "multi-target" dynamic binary translation.

Nonlinear Theory on Dynamic Controlling Interface Patterns DuringSolidification of a Dilute Binary Alloy

In non-equilibrium nonlinear region, the nonlinear equations of time dependence of perturbation amplitude at the solid/liquidinterface during solidification of a dilute binary alloy are established on the base of assuming that there is local equilibrium at the solid/liquid interface and considering that curvature, temperature and composition at the solid/liquid interface which are related to the perturbation amplitude are nonlinear. As a result, patterns at the solid/liquid interface during solidification process, which is from nonsteadystate to steady state can be controlled by these nonlinear equations.

Bellman Equation for Optimal Processes with Nonlinear Multi-Parametric Binary Dynamic System

A process represented by nonlinear multi-parametric binary dynamic system is investigated in this work. This process is characterized by the pseudo Boolean objective functional. Since the transfer functions on the process are Boolean functions, the optimal control problem related to the process can be solved by relating between the transfer functions and the objective functional. An analogue of Bellman function for the optimal control problem mentioned is defined and consequently suitable Bellman equation is constructed.

The Dynamics of Barotropic Vortex Merging

The merging of multiple vortices is a fundamental process of the dynamics of Earth＇s atmosphere and oceans. In this study, the interaction of like-signed vortices is analytically and numerically examined in a framework of two-dimensional inviscid barotropic flows. It is shown that barotropic vortex interaction turns out to be more intricate than simple merging scenarios often assumed in previous studies. Some particular configurations exist in which the vortex merging process is never complete despite strong interaction of like-signed vortices, regardless of the strengths or distances between the vortices.While the conditions for a complete vortex merging process introduced in this study appear to be too strict for most practical applications, this study suggests that careful criteria for vortex mergers should be properly defined when simulating the interaction of vortices, because the merging may not always result in a final enhanced circulation at the end of the interaction,as usually assumed in the literature.

Forming different planetary systems

With the increasing number of detected exoplanet samples, the statistical properties of planetary systems have become much clearer. In this review, we sum- marize the major statistical results that have been revealed mainly by radial velocity and transiting observations, and try to interpret them within the scope of the classical core-accretion scenario of planet formation, especially in the formation of different orbital architectures for planetary systems around main sequence stars. Based on the different possible formation routes for different planet systems, we tentatively classify them into three major catalogs： hot Jupiter systems, standard systems and distant giant planet systems. The standard systems can be further categorized into three sub-types under different circumstances： solar-like systems, hot Super-Earth systems, and sub- giant planet systems. We also review the theory of planet detection and formation in binary systems as well as planets in star clusters.

Discovery of high-velocity EHB stars in the globular cluster ωCentauri(NGC 5139)

Abstract We report the discovery of 45 high-velocity extreme horizontal branch （EHB） stars in the globular cluster Omega Centauri （NGC 5139）. The tangential ve- locities of these EHB stars are determined to be in the range 93-313 km s^-1, with an average uncertainty of -27 km s^-1. The central escape velocity of the cluster is determined to be in the range 60~105 km s^-1. These EHB stars are significantly more concentrated toward the cluster core compared with other cluster members. The formation mechanisms of these EHB stars are discussed. Our conclusions can be sum- marized as follows： （1） A comparison of the tangential velocities of these EHB stars to the central escape velocity of the cluster shows that most if not all of these EHB stars are unbound to the cluster; （2） These EHB stars obtained high velocities in the central cluster region no longer than - 1 Myr ago and may be subsequently ejected from the cluster in the next -1 Myr; （3） If the progenitors of these EHB stars were single stars, then they may have experienced a fast mass-loss process. If the progen- itors were in close binaries, then they may have formed through disruptions by the intermediate-mass black hole in the cluster center.

Numeric-Based XML Labeling Schema by Generalized Dynamic Method

Most efficient indeces and query techniques over XML （extensible markup language） data are based on a certain labeling scheme, which can quickly determine ancestor-descendant and parent-child relationship between two nodes. The current basic labeling schemes such as containment scheme and prefix scheme cannot avoid re- labeling when XML documents are updated. After analyzing the essence of existing dynamic XML labels such as compact dynamic binary string （CDBS） and vector encoding, this paper gives a common unifying framework for the numeric-based generalized dynamic label, which can be implemented into a variety of dynamic labels according to the different user-defined value comparison methods. This paper also proposes a novel dynamic labeling scheme called radical sign label. Extensive experiments show that the radical sign label performs well for the initialization, insertion and query operations, and especially for skewed insertion where the storage cost of the radical sign label is better than that of former methods.

Structural relaxation and glass transition behavior of binary hard-ellipse mixtures

Structural relaxation and glass transition in binary hard-spherical particle mixtures have been reported to exhibit unusual features depending on the size disparity and composition. However, the mechanism by which the mixing effects lead to these features and whether these features are universal for particles with anisotropic geometries remains unclear. Here, we employ event-driven molecular dynamics simulation to investigate the dynamical and structural properties of binary two-dimensional hard-ellipse mixtures. We find that the relaxation dynamics for translational degrees of freedom exhibit equivalent trends as those observed in binary hard-spherical mixtures. However, the glass transition densities for translational and rotational degrees of freedom present different dependencies on size disparity and composition. Furthermore,we propose a mechanism based on structural properties that explain the observed mixing effects and decoupling behavior between translational and rotational motions in binary hard-ellipse systems.

基于污点和概率的逃逸恶意软件多路径探索

Static analysis is often impeded by malware obfuscation techniques,such as encryption and packing,whereas dynamic analysis tends to be more resistant to obfuscation by leveraging concrete execution information.Unfortunately,malware can employ evasive techniques to detect the analysis environment and alter its behavior accordingly.While known evasive techniques can be explicitly dismantled,the challenge lies in generically dismantling evasions without full knowledge of their conditions or implementations,such as logic bombs that rely on uncertain conditions,let alone unsupported evasive techniques,which contain evasions without corresponding dismantling strategies and those leveraging unknown implementations.In this paper,we present Antitoxin,a prototype for automatically exploring evasive malware.Antitoxin utilizes multi-path exploration guided by taint analysis and probability calculations to effectively dismantle evasive techniques.The probabilities of branch execution are derived from dynamic coverage,while taint analysis helps identify paths associated with evasive techniques that rely on uncertain conditions.Subsequently,Antitoxin prioritizes branches with lower execution probabilities and those influenced by taint analysis for multi-path exploration.This is achieved through forced execution,which forcefully sets the outcomes of branches on selected paths.Additionally,Antitoxin employs active anti-evasion countermeasures to dismantle known evasive techniques,thereby reducing exploration overhead.Furthermore,Antitoxin provides valuable insights into sensitive behaviors,facilitating deeper manual analysis.Our experiments on a set of highly evasive samples demonstrate that Antitoxin can effectively dismantle evasive techniques in a generic manner.The probability calculations guide the multi-path exploration of evasions without requiring prior knowledge of their conditions or implementations,enabling the dismantling of unsupported techniques such as C2 and significantly improving efficiency compared to linear exploration when dealing with complex control flows.Additionally,taint analysis can accurately identify branches related to logic bombs,facilitating preferential exploration.