共查询到20条相似文献,搜索用时 31 毫秒
1.
The Applications of Wavelets in Hierarchical Representations and Smoothing of Curves and Surfaces 总被引:2,自引:0,他引:2
Sun Yankui Zhu Xinxiong Ma Ling Beijing Unviersity of Aeronautics Astronautics 《计算机辅助绘图.设计与制造(英文版)》1997,(2)
TheApplicationsofWaveletsinHierarchicalRepresentationsandSmoothingofCurvesandSurfaces①SunYankuiZhuXinxiongMaLingBeijingUnvier... 相似文献
2.
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. 相似文献
3.
《国际自动化与计算杂志》2008,(4)
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… 相似文献
4.
CHENG Jun-wei XIA Jun-chen DAI Hu-min HU Guo-an 《计算机辅助绘图.设计与制造(英文版)》2005,15(2):19-23
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. 相似文献
5.
6.
《国际自动化与计算杂志》2008,(3)
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. 相似文献
7.
《国际自动化与计算杂志》2005,(2)
爪盆已阴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… 相似文献
8.
《国际自动化与计算杂志》2006,(4)
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. 相似文献
9.
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP 总被引:1,自引:0,他引:1
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. 相似文献
10.
《国际自动化与计算杂志》2004,(1)
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 相似文献
11.
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… 相似文献
12.
Neural networks in mechanics of structures and materials – new results and prospects of applications
《Computers & Structures》2001,79(22-25):2261-2276
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. 相似文献
13.
Connectivity and synchronization of Vicsek model 总被引:1,自引:0,他引:1
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. 相似文献
14.
《国际自动化与计算杂志》2006,(2)
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 相似文献
15.
Jayantha P.Liyanage 《国际自动化与计算杂志》2010,7(2):137-145
Plant maintenance has been a discipline that has gradually evolved with the industrial revolution. For quite some time, it has been a ``necessary evil' in production, manufacturing, and process settings. The changing business needs and industrial conditions have had various impacts on the maintenance process, particularly over the last few years. While some industries have inherent difficulties seeing what maintenance is all about, others have begun to add more flavor to the organizational maintenance practices. This article brings an overview of developments within the offshore oil and gas production sector. 相似文献
16.
17.
18.
SUN Xing-hua YANG Jing-yu 《通讯和计算机》2007,4(3):18-32
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. 相似文献
19.
Backward error recovery is one of the important techniques of software fault tolerance. Because of error propagation its recovery in distributed software needs cooperation between processes to achieve consistent recovery. However, the techniques of the achievement suffer from either concurrency level decreasing or the domino effect. Based on a formal model of the distributhed system, a backward recovery protocol without the two drawbacks is specified in this paper. The algorithm of the protocol is Woven strictly and its implementation is proposed. 相似文献
20.
Ribs and fans are interesting geometric entities that are derived from a given Bezier curve or surface based on the recent theory of rib and fan decomposition. In this paper, we present some of new geometric properties of ribs and fans for a Bezier curve including composite fans, rib-invariant deformation, and fan-continuity in subdivision. We also give some examples for the presented properties. 相似文献