The element acted as object in XYZ/E object-oriented program is agent, a module consists of a data package and a process. The semantics of XYZ/E object-oriented programs are defined, including their language elements,...
详细信息
The element acted as object in XYZ/E object-oriented program is agent, a module consists of a data package and a process. The semantics of XYZ/E object-oriented programs are defined, including their language elements, under the framework of temporal logic. And several theories for proving the semantics consistency between these elements are also provided.
In this paper, a kind of new way of vehicles transmission system faults diagnosis based on the emission spectrum analysis of the vehicle used lubrication and artificial neural networks (ANN) is reported. At first, a s...
详细信息
In this paper, a kind of new way of vehicles transmission system faults diagnosis based on the emission spectrum analysis of the vehicle used lubrication and artificial neural networks (ANN) is reported. At first, a series of used lubrication samples which are obtained from the transmission system of a vehicle at different running time are analyzed by inductively coupled plasma emission spectrum (ICP) for determining the metal contents in the lubrication, analysis results indicate that there are 14 metal elements in the used lubrication, and the metal contents of the used lubrication change according to the running time of the vehicle, and the metal contents in the used lubrication is considered that can imply the faults of the transmission system of this vehicle, so the analysis of the metal contents in the used lubrication is considered that is an effective way of vehicles transmission system fault diagnosis. And then the ANN model for faults diagnosis of this vehicle based on the analysis of lubrication ICP samples is given. There are 14 input nodes which stand for the metal contents in the used lubrication in the model, and there are 5 output nodes which stand for the types of vehicles transmission system working status in the model, there is one hidden layer in it, and the number of units in the hidden layer is adaptive. Finally, the ANN model is trained using the betterment of genetic algorithm (BGA) inst.ad of traditional BP algorithm for improving the performance of ANN. The available literature indicate the simple GA (SGA) can adapt to faults diagnosis, and there are more advantages than traditional BP algorithm, such as the convergence speed is faster than BP algorithm, and it is easier to find the globe minimum in the system and etc. There are, however, some disadvantages in SGA, such as the calculation is more comp.ex than traditional BP algorithm and etc. BGA is used in this paper for improving some disadvantages in SGA. In the BGA used for this paper,
The architecture description language (ADL) is the foundation of software development based on software architecture. An ADL supporting stepwise refinement can make it more convenient that a good design leads to a goo...
详细信息
The architecture description language (ADL) is the foundation of software development based on software architecture. An ADL supporting stepwise refinement can make it more convenient that a good design leads to a good implementation. The architecture description language XYZ/ADL can support the stepwise transition from higher-level architectures to lower-level architectures, because it is based on the temporal logic language (TLL) XYZ/E, which can represent both dynamic semantics and static semantics under a unified logical framework. The framework and syntax of XYZ/ADL is presented and its underlying semantics is explained using XYZ/E, and how to describe software architecture and software architecture style using XYZ/ADL is introduced.
A fast conditional breakpoint is considered to be an essential process control capability of advanced high-performance parallel debuggers. The fundamental principles for finding and implementing fast conditional break...
详细信息
A fast conditional breakpoint is considered to be an essential process control capability of advanced high-performance parallel debuggers. The fundamental principles for finding and implementing fast conditional breakpoints are introduced and the design problems associated with their implementations such as code generation, code inst.umentation and source program mapping are discussed. Dynamic code inst.umentation, combined with hybrid code generation and source breakpoint identification, provides a well-suited solution to those problems. Using an enhanced version of the Dyninst.run-time code patching library, a fast conditional breakpoint in a parallel debugger, XBUSTER, is implemented. comp.red with GDB experimental results show that XBUSTER can debug a program with a higher efficiency. comp.red with other fast conditional breakpoint implementations based on dynamic inst.umentation technique, XBUSTER is more portable and functional.
To determine whether a physical robot produces a more direct emotional coupling with human beings than a comp.ter-generated graphical image of a similar robot (agent), we performed interactive experiments comp.ring hu...
详细信息
To determine whether a physical robot produces a more direct emotional coupling with human beings than a comp.ter-generated graphical image of a similar robot (agent), we performed interactive experiments comp.ring human-agent and human-robot interactions. We found that robots were better communication partners with humans under some conditions. At the MIT Artificial Intelligence Laboratory, we then constructed a robot that has human-like facial expressions and shoulder and neck gestures. After moving it to NTT Communication sci.nce Laboratories in Kyoto, we measured the responses of human subjects under various conditions. Experiments to measure the effects of eye contact and shared-attention are currently under way.
The traditional network management tools usually generate alarms according to the preset threshold. This method is straightforward, but it has poor adaptability. Therefore, the technique to detect network anomaly appe...
详细信息
The traditional network management tools usually generate alarms according to the preset threshold. This method is straightforward, but it has poor adaptability. Therefore, the technique to detect network anomaly appeared, sometimes it can find even predict faults of the network. A novel method to detect network anomaly is introduced. According to the method, the observation series of network traffic is transformed and assumed to be stationary, an AR model is built to fit it, and a statistic is defined for network anomaly detection. The result shows that the proposed method has more advantages comp.red with GLR method.
In Grid, which is a distributed and heterogeneous environment, locating needed resource quickly is very important for the performance of Grid comp.ting. This article analyzes the existing resource locating methods, po...
详细信息
In Grid, which is a distributed and heterogeneous environment, locating needed resource quickly is very important for the performance of Grid comp.ting. This article analyzes the existing resource locating methods, points out their insufficiency and brings a new algorithm based on Routing-Transfer mechanism. Authors also analyze the time cost and space cost of all these algorithms. The result shows that the RT algorithm costs lest time and tolerable space. As a conclusion, RT algorithm is an effective algorithm in Grid environments.
One possible approach to web personalization is to mine typical user profiles from the vast amount of historical data stored in access logs. Clustering techniques have been used to automatically discover typical user ...
详细信息
ISBN:
(纸本)1932415076
One possible approach to web personalization is to mine typical user profiles from the vast amount of historical data stored in access logs. Clustering techniques have been used to automatically discover typical user profiles recently. But it is a challenging problem to design effective similarity measure between the session vectors which are usually high dimensional and sparse. A new approach based on non-negative matrix factorization (NMF) is presented. We apply non-negative matrix factorization to dimensionality reduction of the session-URL matrix, and the projecting vectors of the user session vectors are clustered into typical user session profiles using the spherical k-means algorithm. The results of experiment show that our algorithm can mine interesting user profiles effectively.
We consider the techniques of on-line parameter identification for a simplified model of ship dynamic. In the past two decades, there is an increase in the use of the Extended Kalman Filter (EKF) algorithm in estimati...
详细信息
We consider the techniques of on-line parameter identification for a simplified model of ship dynamic. In the past two decades, there is an increase in the use of the Extended Kalman Filter (EKF) algorithm in estimating parameters from noisy data;this algorithm and an improved EKF - the Second Order Filter (SOF), will be used in this paper. The parameters, which are generated theoretically from a ship dynamic model with one propeller moving in the forward direction, are identified via comp.ter simulation under different scenarios.
Classification and association rules are important research issues and focuses of data mining technology. A classification method of association rules with linguistic variables, which fits for the interval valued rela...
详细信息
ISBN:
(纸本)1932415076
Classification and association rules are important research issues and focuses of data mining technology. A classification method of association rules with linguistic variables, which fits for the interval valued relational database, is presented. In this classification method, values of the record in each attribute are partitioned into several linguistic variables by the fuzzy c-medoids algorithm. Then, Apriori algorithm is improved for mining interesting association rules with linguistic variables in the interval valued relational database. Last, we use these interesting association rules with linguistic variables to build classification system. The classification method is implemented on a constructed interval valued relational database. The experiment results show that the classification method has fine accuracy.
暂无评论