首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
The modelling and analysis of multi-component discrete event systems is a challenging research area. Over 30 years, modelling and simulation research of discrete event system specification (DEVS) has been developed with (1) dense-time, (2) the I/O concept, and (3) hierarchical model construction. Nevertheless, DEVS model verification research began relatively recently considering the whole DEVS research history. In the meantime, over 15 years, the automata theory has been developed to cover the dense-time behaviour verification of discrete event systems. Especially, timed automata (TA) has performed the key role in the field.

This paper builds on the research results that have been achieved from both theories of DEVS and TA. Thus contributions of this paper can be seen from each side. From the viewpoint of the DEVS theory, a finite and nondeterministic DEVS has been found as a verifiable class. From the viewpoint of the TA theory, a TA which is modular and hierarchical as well as verifiable, is proposed. To show the results, this paper uses the top down manner in which a general formalism is defined first and then its sub-classes are introduced.  相似文献   

2.
This paper presents CMOS circuit designs of a ternary adder and a ternary multiplier,formulated usingtransmission function theory.Binary carry signals appearing in these designs allow conventional look-aheadcarry techniques to be used.Compared with previous similar designs,the circuits proposed in this paperhave advantages such as low dissipation,low output impedance,and simplicity of construction.  相似文献   

3.
4.
5.
6.
7.
《Ergonomics》2012,55(2):235-236
Abstract

Industrial Design is a discipline which, despite an early pre-occupation with styling and making technology saleable, is now centrally concerned with user needs. This is reflected in Coventry's unique degree course in the Industrial Design/Transport Department at Lanchester Polytechnic. The course contains a significant commitment to Human Factors and this is evident in the range of design projects which are undertaken either by students or as sponsored research. The emphasis in these projects is on practical designs which meet user requirements.

This paper describes the following typical course projects:

1. The competition winning design for a dinghy which can be used as an emergency life-raft.

2. An adaptation of a standard front-wheel-drive car with a transverse slide seat to allow easy access for a wheel chair user.

3. The design for a bus seat which can be used either as a conventional seat or as a standee ‘lean’ seat.

4. Design of a vehicle for use by spina bifida children.

5. Design for a pedal driven power unit for transport and machine uses in Developing Countries.

6. The design of adult tricycles for the transport of mothers plus children under 5 yr.

It is concluded that greater collaboration between industrial designers and ergonomists would be possible if the latter published their data in a more accessible form, and that designers must place greater emphasis on the product evaluation aspect of their work.  相似文献   

8.

Possibility distribution introduced by Zadeh ["Fuzzy sets as a basis for a theory of possibility theory", Fuzzy Sets Syst. 1 (1978) 3-28] in his introductory paper of possibility theory assumes a normal distribution, in the sense that it supposes the existence of at least one element s 0 of the universe of discourse U , for which the distribution ~ is fully compatible with the context of interest: ~ (s 0 )=1. However, when such element does no longer exist, it leads to a subnormal possibility distribution. This situation may arise from incomplete data, inconsistent statements, or contradictory beliefs. To deal with such case, many authors like Yager ["On the relationships of methods of aggregation evidence in expert systems", Cybern. Syst. , 16 (1985) 1-21; "A modification of the certainty measure to handle subnormal distributions", Fuzzy Sets Syst. , 20 (1986) 317-324], Dubois and Prade ["An alternative approach to the handling of subnormal possibility distributions--A critical comment on a proposal of Yager", Fuzzy Sets Syst. , 24 (1987) 123-126] have put forward some proposals in order to keep track of the consistency of the basic axioms attached to possibility and necessity measures. In this paper, the proposals are reviewed in the light of new results regarding some appealing criteria. Particularly, when subnormal distribution and normal distribution are encountered in the same level, intuitively, two approaches are possible: Either the subnormal distributions are risen up to a normal distribution level, or the normal ones are flatted down to agree with the normal ones. In both cases there is a sort of gaining or losing information. We review some of the proposal solutions. The flatting approach is mainly related to fuzzy arithmetic calculus while the rising effect is motivated by Dempster-Shafer theory of evidence and its normalization paradigm. The two approaches will also be investigated with respect to some appealing criteria like preference preservation, distance minimization, entropy, minimum/maximum specificity, and, further, particular interest is focused on information based uncertainty preservation. Later on, the proposals are discussed according to the f -certainty qualification where the greatest value h of the subnormal distribution is understood as a degree of certainty that must be attached to the resulting normal distribution.  相似文献   

9.
Crop classification is a key issue for agricultural monitoring using remote-sensing techniques. Synthetic aperture radar (SAR) data are attractive for crop classification because of their all-weather, all-day imaging capability. The objective of this study is to investigate the capability of SAR data for crop classification in the North China Plain. Multi-temporal Envisat advanced synthetic aperture radar (ASAR) and TerraSAR data were acquired. A support vector machine (SVM) classifier was selected for the classification using different combinations of these SAR data and texture features. The results indicated that multi-configuration SAR data achieved satisfactory classification accuracy (best overall accuracy of 91.83%) in the North China Plain. ASAR performed slightly better than TerraSAR data acquired in the same time span for crop classification, while the combination of two frequencies of SAR data (C- and X-band) was better than the multi-temporal C-band data. Two temporal ASAR data acquired in late jointing and flowering periods achieved sufficient classification accuracy, and adding data to the early jointing period had little effect on improving classification accuracy. In addition, texture features of SAR data were also useful for improving classification accuracy. SAR data have considerable potential for agricultural monitoring and can become a suitable complementary data source to optical data.  相似文献   

10.

Obituary

In memory of V.A. Kotelnikov  相似文献   

11.
12.
A nonlinear state-space model representing the robot dynamics and containing a disturbance term due to gravitational loading is presented. An adaptive model-following control problem satisfying the matching conditions is formulated using a suitable linear time-invariant reference model. The control input is designed to have two components: a non-adaptive linear component to do the task of model-following and a nonlinear unit-vector component based on hyperstability theory to do the adaptive task. An additional integral feedback term is further added and then the overall asymptotic hyperstability is established. Simulation experiments on the first three joints of a PUMA 560 robot manipulator have indicated the potential of our design approach.  相似文献   

13.
Data gathered during the NASA sponsored Multisensor Aircraft Campaign Hydrology (MACHYDRO) experiment in central Pennsylvania (U.S.A.) in July, 1990 have been analysed to study the combined use of active and passive microwave sensors for estimating soil moisture from vegetated areas. These data sets were obtained during an eleven-day period with NASA's Airborne Synthetic Aperture Radar (AIRSAR), and Push-Broom Microwave Radiometer (PBMR) over an instrumented watershed, which included agricultural fields with a number of different crop covers. Simultaneous ground truth measurements were also made in order to characterize the state of vegetation and soil moisture under a variety of meteorological conditions. Various multi-sensor techniques are currently under investigation to improve the accuracy of remote sensing estimates of the soil moisture in the presence of vegetation and surface roughness conditions using these data sets. One such algorithm involving combination of active and passive microwave sensors is presented here, and is applied to representative corn fields in the Mahantango watershed that was the focus of study during the MACHYDRO experiment. In this algorithm, a simple emission model is inverted to obtain Fresnel reflectivity in terms of ground and vegetation parameters. Since Fresnel reflectivity depends on soil dielectric constant, soil moisture is determined from reflectivity using dielectric-soil moisture relations. The algorithm requires brightness temperature, vegetation and ground parameters as the input parameters. The former is measured by a passive microwave technique and the later two are estimated by using active microwave techniques. The soil moisture estimates obtained by this combined use of active and passive microwave remote sensing techniques, show an excellent agreement with the in situ soil moisture measurements made during the MACHYDRO experiment.  相似文献   

14.
15.
This paper utilizes trapezoidal rule together with Genetic Algorithm (GA) to convert a continuous-time system with input and state delays to an equivalent discrete-time one. A new method has been proposed to construct the hybrid control of sampled-data system with state and input delays via digital redesign which transforms the control law of a continuous-time system with state and input delays into an equivalent one of a sampled-data system so that the states of the digitally controlled sampled-data system closely match those of the originally well-designed continuous-time system for a relatively longer sampling period. An example is given to demonstrate that the proposed digital redesign is superior to the existing ones under a longer sampling period.  相似文献   

16.
17.
18.
19.
20.
This paper presents the results of theoretical and experimental investigations of human activity and anticipation based on A.A. Ukhtomsky’s concept of brain dominance – a non-equilibrium system-forming factor in living systems. Facts on the stages of dominance formation are presented in relation to the creative abilities of the human brain and the role of fatigue as a “lever” for increasing systems’ work capacity on the basis of “trace exaltation”. Individually, specific features of dominantogenesis are compared with variations in behavioural types. On the basis of chronotopic EEG analysis, we delineate cortical dominants that underlie individual specifics of cognitive processes. The relation is shown between anticipation and the “expansion of dominants” – the broadening of “distal perception” in time and space, as framed by A.A. Ukhtomsky.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号