In this paper, the optimization of safety parameters for a communication channel with the required safety integrity level (SIL) 3 at runtime is investigated. In order to guarantee the safe communication additional mea...
详细信息
Given a polynomial with symbolic/literal coefficients,a complete discrimination system is a set of explicit expressions in terms of the coefficients,which is sufficient for determining the numbers and multiplicities o...
详细信息
Given a polynomial with symbolic/literal coefficients,a complete discrimination system is a set of explicit expressions in terms of the coefficients,which is sufficient for determining the numbers and multiplicities of the real and imaginary *** it is of great significance,such a criterion for root-classification has never been given for polynomials with degrees greater than *** lack of efficient tools in this aspect extremely prevents computer implementations for Tarski’s and other methods in automated theorem *** remedy this defect,a generic algorithm is proposed to produce a complete discrimination system for a polynomial with any *** result has extensive applications in various fields,and its efficiency was demonstrated by computer implementations.
The main methods of analysis the accuracy of the geolocation system were studied. The aspects of technology for obtaining geographical coordinates using Google geolocation system (GPS) were considered. The best method...
详细信息
This paper presents a simulation environment, which is a C++/SystemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer archite...
详细信息
This paper describes the implementation and integration process of a complete communication computer system on the field programmable gate array (FPGA). After such a design is reached, safety measures are integrated t...
详细信息
In this paper definite Horn clause programs are investigated within a proof-theoretic framework;program clauses being considered rules of a formal system. Based on this approach, the soundness and completeness of SLD-...
详细信息
This paper introduced the optimization and deoptimization technologies for Escape analysis in open world. These technologies are used in a novel Escape analysis framework that has been implemented in Open runtime plat...
详细信息
This paper introduced the optimization and deoptimization technologies for Escape analysis in open world. These technologies are used in a novel Escape analysis framework that has been implemented in Open runtime platform, Intel's opensource Java virtual machine. We introduced the optimization technologies for synchronization removal and object stack allocation, as well as the runtime deoptimization and compensation work. The deoptimization and compensation technologies are crucial for a practical Escape analysis in open world. We evaluated the runtime efficiency of the deoptimization and compensation work on benchmarks like SPECjbb2000 and SPECjvm98.
Sensor communication applications not only require high performance processing but also flexible and reliable computing. Today, standard microprocessor systems are still application oriented and aren't suitable by...
详细信息
This paper presents an extension of our Mathematica- and MathCode-based symbolic-numeric framework for solving a variety of partial differential equation (PDE) problems. The main features of our earlier work, which im...
详细信息
This paper presents an extension of our Mathematica- and MathCode-based symbolic-numeric framework for solving a variety of partial differential equation (PDE) problems. The main features of our earlier work, which implemented explicit finite-difference schemes, include the ability to handle (1) arbitrary number of dependent variables, (2) arbitrary dimensionality, and (3) arbitrary geometry, as well as (4) developing finite-difference schemes to any desired order of approximation. In the present paper, extensions of this framework to implicit schemes and the method of lines are discussed. While C++ code is generated, using the MathCode system for the implicit method, Modelica code is generated for the method of lines. The latter provides a preliminary PDE support for the Modelica language. Examples illustrating the various aspects of the solver generator are presented.
In chapter 2 the authors firstly give a short outline of Bayesian inference, Bayesian prior and posterior distributions and Bayesian estimators. In chapter 3 they investigate random variables following a Poisson distr...
详细信息
ISBN:
(纸本)9784883254194
In chapter 2 the authors firstly give a short outline of Bayesian inference, Bayesian prior and posterior distributions and Bayesian estimators. In chapter 3 they investigate random variables following a Poisson distribution. They then handle the rate parameter as a random variable, and show that the associated posterior distribution is an Erlang distribution. They then calculate the density functions of two ratios related to rate parameters. In chapter 4 the authors are dealing with partial stroke tests, proof tests, failure rates, and diagnostic coverage factors, determine the respective probability density functions and calculate confidence intervals. Finally they discuss the question whether or not to take account of the last failure of a test interval.
暂无评论