The Applications of Wavelets in Hierarchical Representations and Smoothing of Curves and Surfaces

ＴｈｅＡｐｐｌｉｃａｔｉｏｎｓｏｆＷａｖｅｌｅｔｓｉｎＨｉｅｒａｒｃｈｉｃａｌＲｅｐｒｅｓｅｎｔａｔｉｏｎｓａｎｄＳｍｏｏｔｈｉｎｇｏｆＣｕｒｖｅｓａｎｄＳｕｒｆａｃｅｓ①ＳｕｎＹａｎｋｕｉＺｈｕＸｉｎｘｉｏｎｇＭａＬｉｎｇＢｅｉｊｉｎｇＵｎｖｉｅｒ...     

International Journal of Automation and Computing Table of Contents

Nulnberl SPeeial Seetion on ComPutational Illtelligenee in EnterPrise (Guest Editor:Professor Edward P.K.Tsang) 1EmPlOyingComPutationalIntelligeneetoGenerateMoreIntelligent H.Hagras and Energy EfReient Living SPaees 10 An Evolutionary APProaeh to the Deli…     

Combinations of Estimation of Distribution Algorithms and Other Techniques

This paper summaries our recent work on combining estimation of distribution algorithms (EDA) and other techniques for solving hard search and optimization problems:a) guided mutation,an offspring generator in which the ideas from EDAs and genetic algorithms are combined together,we have shown that an evolutionary algorithm with guided mutation outperforms the best GA for the maximum clique problem,b)evolutionary algorithms refining a heuristic,we advocate a strategy for solving a hard optimization problem with complicated data structure,and c) combination of two different local search techniques and EDA for numerical global optimization problems,its basic idea is that not all the new generated points are needed to be improved by an expensive local search.     

Approximation property of partition of unity and its applications

The linear combination of certain partition of unity, subordinate to certain open covering of a compact set, is proved to be capable of approximating to a continuous function at arbitrarily precision. By using proper open covering and partition of unity, the robust nonlinear controllers and adaptive laws are designed for a class of nonlinear systems with uncertainties. The states and parameters of the closed-loop systems can be stabilized in the meaning of UUB (uniformly ultimately bounded) via the robus tnonlinear controllers and adaptive laws. Finally, an example shows the validity of method in this paper.     

Analysis of Die Forging Process and FEA of Piston

Die forging process of piston tail and its key technology are analyzed in detail. The key issue is to reduce friction force between punch and billet to facilitate metal flow towards two ends. Three-step forging scheme is used, namely preforming, final forging and cutting the flash. Preforming is critical for the success of the whole process and two schemes are compared. First two steps are simulated using 3D-Deform software. Simulation results show that the process is feasible and its validity is verified.     

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to be used directly within the CSP part of the specification.In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used for the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the CSP operators together with the logic for Object-Z.     

International Journal of Automation and Computing

International Journal of Automation and Computing (ISSN 1476-8186) is sponsored by the Institute of Automation in the Chinese Academy of Sciences and the Chinese Automation and Computing Society in the United Kingdom. Editors-in-Chief Prof. T N Tan Institute of Automation Chinese Academy of Sciences Beijing 100080 People's Republic of China Email: tnt@nlpr.ia.ac.cn Prof. G P Liu School of Electronics University of Glamorgan Prontypridd CF37 1DL United Kingdom Email: gpliu@glam.ac uk Editorial Advisory Board Prof. H Hu Department of Computer Science University of Essex Colchester CO4 3SQ United Kingdom Email: hhu@essex.ac.uk     

International Journal of Automation and Computing

爪盆已阴ati口”aljo脚al ofAuto跳ation of Sei叨ees and Ch纽eseAutoma柱on and ComPuting(I SSN 1476一8186) 15 a joint Publieation of Institute and ComPudng Soeiety in the United刃ngdom. of Automation，Chinese Aeademy Prof. T N Tan Institu协ofAutol刀a生ion Chinese Academy of Sciences Beijing 100080 PeoPle，5 RePublie ofChina D刀ail:切t@刀】Pria，accn Editors一n一Chief Prof G P Liu School ofEleetronies Unive”ity ofGlam〔”退an PontyPridd CF37 IDL United Kingdom Email:gPliu@gla…     

International Journal of Automation and Computing

International Journal of Automation and Computing (ISSN 1476-8186) is a joint publication of Institute of Automation, Chinese Academy of Sciences and Chinese Automation and Computing Society in the United Kingdom.     

International Journal of Automation and Computing

International Journal of Automation and Computing (ISSN 1476-8186) is a joint publication of Institute of Automation, Chinese Academy of Sciences and Chinese Automation and Computing Society in the United Kingdom. Editors-in-Chief Prof.     

Barbed Congruence of Asymmetry and Mismatch

The X calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges. In the paper, two constructions are incorporated into the framework of the chi calculus, which are asymmetric communication and mismatch condition widely used in applications. Since the barbed bisimilarity has proved its generality and gained its popularity as an effective approach to generating a reasonable observational equivalence, we study both the operational and algebraic properties of the barbed bisimilarity in this enriched calculus. The investigation supports an improved understanding of the bisimulation behaviors of the model. It also gives a general picture of how the two constructions affect the observational theory.     

Modeling and Identification of Multirate Systems

Multirate systems are abundant in industry; for example, many soft-sensor design problems are related to modeling, parameter identification, or state estimation involving multirate systems. The study of multirate systems goes back to the early 1950s, and has become an active research area in systems and control. This paper briefly surveys the history of development in the area of multirate systems, and introduces some basic concepts and latest results on multirate systems, including a polynomial transformation technique and the lifting technique as tools for handling multirate systems, lifted state space models, parameter identification of dual-rate systems, how to determine fast single-rate models from dual-rate models and directly from dual-rate data, and a hierarchical identification method for general multirate systems. Finally, some further research topics for multirate systems are given.     

Progress and Challenge of Artificial Intelligence

Artificial Intelligence （AI） is generally considered to be a subfield of computer science, that is concerned to attempt simulation, extension and expansion of human intelligence. Artificial intelligence has enjoyed tremendous success over the last fifty years. In this paper we only focus on visual perception, granular computing, agent computing, semantic grid. Human-level intelligence is the long-term goal of artificial intelligence. We should do joint research on basic theory and technology of intelligence by brain science, cognitive science, artificial intelligence and others. A new cross discipline intelligence science is undergoing a rapid development. Future challenges are given in final section.     

Connectivity and synchronization of Vicsek model

The collective behavior of multi-agent systems is an important studying point for the investigation of complex systems, and a basic model of multi-agent systems is the so called Vicsek model, which possesses some key features of complex systems, such as dynamic behavior, local interaction, changing neighborhood, etc. This model looks simple, but the nonlinearly coupled relationship makes the theoretical analysis quite complicated. Jadbabaie et al. analyzed the linearized heading equations in this model and showed that all agents will synchronize eventually, provided that the neighbor graphs associated with the agents＇ positions satisfy a certain connectivity condition. Much subsequent research effort has been devoted to the analysis of the Vicsek model since the publication of Jadbabaie＇s work. However, an unresolved key problem is when such a connectivity is satisfied. This paper given a sufficient condition to guarantee the synchronization of the Vicsek model, which is imposed on the model parameters only. Moreover, some counterexamples are given to show that the connectivity of the neighbor graphs is not sufficient for synchronization of the Vicsek model if the initial headings are allowed to be in [0,2π）, which reveals some fundamental differences between the Vicsek model and its linearized version.     

International Journal of Automation and Computing

International Journal of Automation and Computing (ISSN 1476-8186) is a joint publication of Institute of Automation, Chinese Academy of Sciences and Chinese Automation and Computing Society in the United Kingdom. Prof. TN Tan Institute of Automation Chinese Academy of Sciences Beijing 100080 People's Republic of China Email: tnt@nlpr.ia.ac.cn     

Neural networks in mechanics of structures and materials – new results and prospects of applications

Basic ideas of back-propagation neural networks (BPNNs) are presented in short. Then BPNN applications in analysis of the following problems are discussed: (1) bending analysis of elastoplastic beams, (2) elastoplastic plane stress problem, (3) estimation of fundamental vibration periods of real buildings, (4) detection of damage in a steel beam, (5) identification of loads applied to an elastoplastic beam. Regularization neural network is briefly discussed and its application to estimation of concrete fatigue durability it shown. A modified Hopfield network is used to the analysis of an elastic angular plate with unilateral constraints. In the end some conclusions and prospects of neurocomputing applications are pointed out.     

Development and application of a model for analysis and design phases of Web-based system development

The major characteristics of Web systems that shall be taken into account can be summarized as follows: First, the implementation of Web systems shall have a beneficial effect. To meet the requirements of Internet business system, the Web systems shall enable businesses to provide customers with something valuable through the Internet and profit from this process in return[1]. Second, the way to express the contents on the Web matters. To express the contents, Web systems shall introduce mu…     

Inference and retrieval of soccer event

As to the soccer video, the event is defined as the medium-level spatiotemporal entity interesting to users, having certain context cues corresponding to the specific domain knowledge model. As a medium-level entity, the inference of soccer event is based on the fusion of context cues and domain knowledge model. The shooting event is chosen as research target and the event analysis method is expected to be reusable for other soccer events. According to the analysis of shooting event, the following seven kinds of context cues are extracted, respectively including one kind of caption detection, two kinds of face detection, one kind of audience detection, one kind of goal detection, and two kinds of motion estimation. In the inference of soccer event Bayesian network is used to perform the fusion of context cues. In the experiments the event retrieval is performed based on the video data of World Cup 2002, and the results show that the key to event retrieval is the extraction of context cues related with the user-defined event closely.