correctness相关论文
The verification of business process models is an important step in the design phase of process-aware information system......
Cluster synchronization in community network with nonidentical nodes via intermittent pinning contro
In this paper, cluster synchronization in community network with nonidentical nodes is investigated. By combining interm......
China’s economy in 2002 developed so well that was beyond many people’s expectation. In the very beginning, many depa......
Energy cone is a unique but characteristic slope that describes the extent of deposits left around a volcano by various ......
Root-MUSIC (MUltiple SIgnal Classification) is the polynomial rooting form of MUSIC, namely, the spectrum peak searching......
A radiant source with a large aperture at 5-95℃ in the wavelength bands of 8-12 μm for calibrating infrared imaging sy......
Multithreaded technique is the developing trend of high performance processor.Memory consistency model is essential to t......
Hot carrier effect(HCE) is studied on annular NMOS and two-edged NMOS such as H-shape gate NMOS, T-shape gate NMOS and c......
Calculation of all-time apparent resistivity of large loop transient electromagnetic method with ver
In large loop transient electromagnetic method(TEM),the late time apparent resistivity formula cannot truly reflect the ......
The process that tree cone acquisition robot gets cones has been simulated with the process that human bends or stretche......
Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibil......
CALCULATION METHOD FOR EVALUATING THE SEPARATION PERFORMANCES OF HOLLOWFIBER MEMBRANE N_2-H_2 SEPARA
A mathematical model for evaluating the separation performances of hollow-fiber membrane N_2—H_2 separators has been e......
在澳洲读到王蒙先生在今年第五期《读书》上发表的《头朝下漫议》,觉得作者提出了一个十分有意义的问题。我对整篇文章的观点完全......
Mathematical model on heat transfer of water-cooling steel-stick bottom electrode of DC electric arc
For predicting and controlling the melted depth of bottom electrode during the process of steelmaking, the water-cooling......
The contact melting processes of ice, caused by pressure under the two-dimension axisymmetric horizontal columns, are ge......
Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problem......
Model control technologies of dynamic secondary cooling and soft reduction for slab continuous casti
Dynamic model control technologies of secondary cooling and soft reduction of Baosteel are introduced. Model principle a......
Both the asymptotical stability criterion and the bounded stability criterion of the coning motion for wrap around fin(W......
How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadl......
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops ......
阜阳市局 ￡4a 局长——_MINtkMMtgj’＃lnH＄B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
This paper provides an introduction to a support vector machine, a new kernel-based technique introduced in statistical......
At high temperature rise rate,the mechanical properties of 10 # steel were determined ex-perimentally in a very wide ra......
The shape stiffness of mill m is defined as the crosswise rigidity of the unit width of steel plate, that is, m = k/b. ......
Based on the analysis on the development of the cooperative commerce in automobileindustry,the systematic model of the ......
With an example,this paper describes a method of using temporal logic for stepwise analysis of protocolspecifications.E......
There has been much interest in the use of formal techniques for the design and analysis ofsystolic arrays.One importan......
In this paper,we study the problem,of calculating the minimum collision distance between two planarconvex polygons when......
INCAPS,a subsystem of XYZ system,is an INteractive Computer-Assisted Proving System,The primary targets to develop it r......
Proving correctness of concurrent systems is quite difficult because of the high level ofnondeterminism,especially in l......
A novel integrated quadrature voltage controlled oscillator(QVCO) with a feedback current source is presented in this pa......
To analyze the stress of the guiding & positioning board and the effectiveness of the guiding & positioning device,accor......
China experimental Fast Reactor(CEFR)Neutron Instrumentation System(NIS),is an important part of reactor protection syst......
Recently many authors have attepmted to model circulations in East China Sea by numerical means, for example, Xi et al.......
An analytic method is used to study the reflection and transmission coefficients of the double submerged rectangular blo......
API recommendation is a promising approach which is widely used during software development.However,the evaluation of AP......
In recent years, QoS multicast routing has continued to be a very important research topic in the areas of networks. Th......
Compared with the traditional channel estimation methods, blind channel estimation methods can increase the bandwidth ef......
An improved circular synthetic aperture radar(CSAR) imaging algorithm of omega-k(ω-k) type mainly for reconstructing an......
This paper proposes a new algorithm of blind source separation(BSS).The algorithm can overcome the difficulty known as“......
Based on nonlinear trajectory generation (NTG) software package,a general approach (i.e.numerical solution) to trajector......
Based on a fuzzy neural network, the letter presents an approach for the inductionof decision trees. The approach makes......
Simulation analysis on co-site interference of vehicular digital communication system based on IM pr
The co-site interference exists in kinds of communication systems, especially in digital communication systems, also is ......
A GPC (generalized predictive control) law is developed to control the power of a turbine, after transforming the nonli......
In this paper, we present an interval model of networked control systems with time-varying sampling periods and time-var......
Learning Bayesian network structure is one of the most important branches in Bayesian network. The most popular graphica......
Few students know that grammar is acquired naturally; it need not be taught. Grammar is often misunderstood in the langu......
The robust integral control problem is studied for a class of nonlinear systems with input-to-state stable (ISS)unmodele......
To solve the dynamical consensus problem of second-order multi-agent systems with communication delay,delay-dependent co......
A simple testing method for secondary or induced stress of surrounding rockwas presented by laboratory experiment, nume......
