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.
A kind of electronic lock which is used for starting weapon has been widely paid attention to, it involves many aspects of difficult problems such as communication, command automation and the analysis of workflow for weapon starting. In this paper, a kind of method for design and analysis of electronic lock workflow for weapon starting based timed Petri net is put up, the timed Petri net model of...
Shearer height adjusting is a key technology for coalmine unmanned working face. On the basis of establishing Shearer working face mathematical models, this paper determined related parameters influencing the Shearer height adjusting, then analyzed traditional Shearer memory cutting strategy and pointed out its shortcomings. Aiming at changing technical limitations of Shearer height adjusting currently,...
Shock absorber is widely used on vehicle. The purposes of the shock absorber are to dissipate the energy accumulated by the suspension spring displacement, controlling thus the vertical motion between vehicle body and tires. The shock absorber has great influence on both ride and handling performance of vehicles, and a great many previous researches have been done on modeling and simulation of the...
In order to realize the sharing of medical information, coordination of medical, as well as the efficient and cost-effective health information system through the construction of a distributed and high-integrated platform, the medical and health information system infrastructure based on the cloud computing is proposed. And three kinds of application mode, SaaS, PaaS and IaaS, are applied in this...
As for the limitation of static information verification in the current remote attestation models, this paper presents a novel remote dynamic attestation model named BTRAM (Behavior based Trust Remote Attestation Model) which is based on the user behavior trustworthiness and attribute-based access control. In this model, a verifier proxy is used to verify the requestor. Meanwhile, the executive process...
The problem of node path attempters which is needed solve the important problem in grid all along. Aim at basic ant colony arithmetic appears halt easiness, through improving basic ant colony arithmetic, bring forward ant colony multilevel path optimize tactic based on information consistence optimize, this tactic use optimize average information element distributed degree, strengthens the whole (the...
This paper presents a Bayesian denoising method based on Markov Random Field (MRF) models in wavelet domain in order to improve the image denoising performance and reduce the computational complexity. The computations of the initial mask, optimal mask and shrinkage factor of the wavelet coefficient are the core of this method. To obtain the appropriate initial mask, a simple two-state Gaussian mixture...
ANN is the core of the 2rd and 3rd generation traffic flow forecasting algorithm. In order to master the traffic flow forecasting tendency comprehensively, this paper studied every kind of hybrid artificial neural network forecasting algorithms in detail, including ARIMA ANN model, fuzzy ANN model, GA ANN model, Chaos ANN model, Wavelet Analysis Model, Principal Component Analysis ANN model and Particle...
Streamline simulation shows particular advantages over finite-difference simulation. By the advantages of streamline simulation such as its ability to display paths of fluid flow and acceleration factor in simulation, the description of flooding process gets more visibility. The communication between wells and flooding area has been represented appropriately.
This paper presents a dapper Matlab implementation of solving multi-objective topology optimization of diffusion problems using the finite volume method. Except for the common objective, some constraints like center of gravity and the manufacturing demands, which are rarely discussed before, are included in this paper. Although specific attention is given to the heat conduction and its applications...
This paper studies dynamic characteristics of a hydraulic balancer at the steady state. The vibration suppression ratio (VSR) of a single-layer hydraulic balancer is derived based on a simple planar rotator and the balancer's difficulty in completely balancing the system is presented. An improved balancer with multiple layers is studied which can greatly enhance the VSR. A mathematical model for the...
By simplifying and limiting current circuit model of metro power supply, this paper firstly showed stray current production and its damage, then analyzed bilateral power supply system using resistor network theory, and constructed stray current analytical model of bilateral power supply, computer simulation in different conditions of stray current distribution was carried out, the results show that...
A multi-cluster computing environment is composed of many clusters which are distributed over different sites in an organization or an enterprise. All the clusters can be resource shared, autonomous, load balanced, interconnected and collaborative. However, there is still a problem that the uncertainty of the cluster resources caused difficulty in scheduling jobs effectively. To address this problem,...
There are two challenges faced by orgnizational knowledge managemet: low efficiency of machine in processing knowledge and high cost of man when sharing own key knowledge within his organization. The semantic web technology improves the efficiency by machine readable knowledge representation and web2.0 theory cuts the cost through nurturing a mass-collabrative, self-organized and meta-synthesitive...
Inspired information processing in biology immune system is a highly parallel and distributed intelligent computation which has immune memory, and self-learning, retrieval capabilities. The theory of modern immunology provides a new idea to study network intrusion defense algorithm. The architecture of network intrusion defense based on immune vaccination principle is proposed. The intrusion detection...
It's a focus for researchers to forecast the nonlinear data got from the reality world system. Many methods based on nonlinear models are proposed. In this paper, a forecast model based on the wavelet analysis and the neural network is proposed. Firstly, the wavelet decomposing and reconstruction should be made on the time series studied, and then neural network forecast method is applied on all the...
In order to handle accidents seriously, strengthen the accountability and promote further implementation of responsibility system for production safety, it is necessary to establish a scientific and comprehensive accident management regulation by using advanced information technology to standardize the process of accident management. Beginning with research status, this paper analyzes the shortcomings...
A dual routing engine-based routing scheme for large scale optical networks is proposed in this paper. An interpreter-based modeling of the group engine is discussed and a preliminary routing strategy is designed with consideration of scalability and flexibility.
Formal specification and analysis of security protocol is a research hotspot in network security at present. This paper models authentication service exchange of Public-Key Kerberos Protocol and an attack against this protocol with Petri nets. The Maria Tool automates analysis and verification of the model and finds that PKINIT-26 protocol has a security flaw. So we improve the model according to...
Because there are a lot of problems in the traditional representations of game, new representational languages, that is, graphical game representations were proposed successively. Multi-agent Influence Diagrams (MAIDs) is one important graphical game model. But in MAIDs, representing asymmetric games may cause representation explosion and inefficient solving. In order to solve this problem, we propose...
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.