The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Considering effects air turbulent and other chemical reactions in blast furnace (BF) raceway, the raceway turbulent mathematical model was built. CFX software has been applied to complete the numerical simulation of the mathematical model and to analyze the physical and chemistry states in a visualization way. The maximum concentration of CO is about 27.4% under the condition of 1000 coke particles...
Engine control systems, consisted of ECU hardware, software, sensors, and actuators, are the most significant part of automotive control, and can be considered as mixed-signal systems which interact with engine through sensors and actuators. In this article, we present a component-based modeling and simulation framework for automotive system design. This component framework is compatible with AUTOSAR...
Automatic conveying system was used widely in Distribution Center. The paper discusses the high-fidelity simulation methods on Automatic conveying system, analyzed automatic conveying system high-fidelity simulation levels of classification, reference standards and key points. An evaluation for simulation value and cost of each model is implemented. A high fidelity Simulation Modeling of a cold DC...
Bundle adjustment is an effective mean to improve the precision of 3D reconstruction. A fast adjustment algorithm is provided based on the theory of one by one parameter estimation. The time complexity and space complexity of algorithm we provided and classical bundle adjustment algorithm are comparatively analysised. Both simulated and real experiments show that the algorithm we provided can achieve...
The general process of human's solving complex problem and the incompleteness of qualitative knowledge and quantitative knowledge when being used in solving complex problem are analyzed. Then a meta-synthesis approach and its framework to model the complex problem solving are put forward. According to this approach, the modeling process is divided into three phrases, which are the construction of...
The conventional prediction model of GPS static point positioning (GSPP) system is usually considered that the positioning errors are caused by the external stochastic factors. And many independent models were built for every single type of errors. Actually, the observed error time series is mostly a seemingly random nonlinear chaotic series. In this paper, phase space reconstruction and chaotic characteristic...
User interface is an important component of business application. We present a new model to design user interface. The model is creative in that it is elicited from business requirement. Then we want to check the user interface model whether it is valid to user requirement of interface. As the state space of user interface model testing is large, the large number of possible states makes the user...
Abstract- To reduce the construction complexity of multi-agent system, the proposal is presented that combining several small systems into a larger one, and obtain the properties of the larger system through the properties of small systems. Make reference to dynamic task allocation based on contact protocol, the macroscopical model for task allocation and the microscopical model for agent inner BDI...
The multitone signals make traditional analysis difficult even impossible if the circuits are highly nonlinear. Using multiple time variables allow an efficient representation of these signals. In this formulation the components with different rates of variation are decoupled, each disparate signal being represented by its own artificial time scale. The differential algebraic equations describing...
The constraints to manage in a telecom splitter design are numerous and according to a given splitter structure, the choice became difficult. The paper proposes a software tool allowing the design of such filters. This one carries out the modelling of the electrical circuit configurations, and creates the corresponding computation code, used for simulation or optimisation. The methodology is detailed...
The spatial layout of public space has an enormous impact upon the ease with which people can move. For example, a well designed public building such as a train station or hospital should allow for the smooth flow of a large number of people. In extreme cases, design can be so poor that during emergency evacuations people have been crushed to death. It is vital that design takes into account the smooth...
We present a near-linear time algorithm that approximates the edit distance between two strings within a polylogarithmic factor. For strings of length n and every fixed ε >; 0, the algorithm computes a (log n)O(1/ε) approximation in n1+ε time. This is an exponential improvement over the previously known approximation factor, 2Õ(√log n), with a comparable running time [Ostrovsky and Rabani, J....
The satisfiability problem (SAT) is shown to be the first decision NP-complete problem. It is central in complexity theory. A CNF formula usually contains an interesting number of symmetries. That is, the formula remains invariant under some variable permutations. Such permutations are the symmetries of the formula, their elimination can lead to make a short proof for a satisfiability proof procedure...
"Process Automation in Strategic Command Decision Support System" (PASC DSS) is a program being executed by Center for Artificial Intelligence and Robotics (CAIR) to provide Indian Defence with a system built on leading edge technology. PASC DSS helps in collecting, collating, filtering, processing, synthesizing and displaying the information gathered from various sources and provide support...
The aim of this paper is to study how preferences, which are used to model intrinsic strengths of arguments, can be used in argumentation. We show that they play two roles: i) to repair the attack relation between arguments, and ii) to refine the evaluation of arguments. Then, we point out that the existing approaches for preference-based argumentation model only the first role. They may also return...
We generalize in this paper the Dung's abstract argumentation theory in order to represent, in addition to the attack relation, a particular kind of support relation which captures knowledge of the form : “argument a is necessary to obtain argument b”. Unlike a general unspecified support, the necessity relation has the advantage to ensure that its interaction with direct attacks generates new (indirect)...
We consider argumentation systems taking into account several attack relations of different strength. We focus on the impact of various strength attacks on the semantics of such systems, and particularly on the decision problem of credulous acceptance: namely, focussing on one particular argument, a classical issue is to compute a proof, under the form of an admissible set containing this argument...
We give new pseudorandom generators for regular read-once branching programs of small width. A branching program is regular if the in-degree of every vertex in it is either 0 or 2. For every width d and length n, our pseudorandom generator uses a seed of length O((log d + log log n + log(1/ϵ)) log n) to produce n bits that cannot be distinguished from a uniformly random string by any regular width...
The Coin Problem is the following problem: a coin is given, which lands on head with probability either 1/2 + β or 1/2 - β. We are given the outcome of n independent tosses of this coin, and the goal is to guess which way the coin is biased, and to answer correctly with probability ≥ 2/3. When our computational model is unrestricted, the majority function is optimal, and succeeds when β ≥ c/√n for...
The objective of the present study is to examine whether a simple affine-linear model of autonomous nervous activities would be able to reproduce the characteristic features of MAP regulation observed over long periods of time. In this study, we approach the problem first by constructing a modified nonlinear model for the human ABP regulation system. By simulating with various gain combination values,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.