modeling verification and testing using timed and hybrid automata

... has stem offsets [-4,-2] and suffix offsets [+1,-1] and is the best order-3 FlexGram model for Turkish rat Saraclar, and Andreas Stolcke Morphbased speech recognition and modeling of outof-vocabulary ... that when modeling a morphologically rich language like Turkish, (i) splitting words into their stem and suffix forms is beneficial when the split is performed using a morphological analyzer and (ii) ... 9.45M 1.25M 9.45M 1.19M Using a morphological tagger and disambiguator The split version of the corpus contains words that are split into their stem and suffix forms by using a previously developed...

Ngày tải lên: 20/02/2014, 09:20

... educational platform for the modeling, recognition and audiovisual monitoring of dance steps using spatiotemporal motion templates Pieter-Jan Maes∗ , Denis Amelynck and Marc Leman IPEM, Department ... dance modeling and recognition; multimodal monitoring; audiovisual dance performance database; dance-based music querying and retrieval Introduction Through dancing, people encode their understanding ... structure outlined in the music (involving rhythm and timing) The modeling and automatic recognition of dance gestures often involve Hidden Markov Modeling (HMM) [7–10] However, HMM has the property...

Ngày tải lên: 21/06/2014, 19:20

... compression using overlapped and linearly shifted codevectors,” Medical and Biological Engineering and Computing, vol 38, no 5, pp 547–552, 2000 [6] C.-C Sun and S.-C Tai, “Beat-based ECG compression using ... codebook, short and long predictors, and an adaptive residual quantizer is presented in [16] In our previous work [17, 18], speech signals were modeled by using predefined signature and envelope ... similar patterns of signature and envelope vectors are eliminated accordingly In this work, once and for all, two types of sets were created by using reduced envelope and signature sequences Re-...

Ngày tải lên: 22/06/2014, 23:20

... conditions with and without Leu3 perturbation [18]; and six profiles in nitrogen depletion after 8, 12 and 24 hours of treatment and in amino acid and adenine starvation after 1, and hours of treatment ... its modeling and refinement capabilities, which fit the needs and workflow of biological investigations It allows streamlined cycles of probabilistic modeling, laboratory experimentation and ... for modeling biological systems and formalizing experimental knowledge Bioinformatics 2006, 22:1805-1807 Bosl WJ: Systems biology by the rules: hybrid intelligent systems for pathway modeling and...

Ngày tải lên: 14/08/2014, 08:20

... application and numerical modeling and its increased use in mining industry With the evolvement of new software’s incorporating geostatistics based modeling of pit like solid modeling, 3D block modeling, ... Vehicle Routing problem using Ant colony optimization Case Study: Results and Discussions 4.0 Introduction 4.1 Results and Discussions 4.1.1 Modeling of deposit 4.1.2 Optimization using minimum cut ... Conclusion 5.0 Introduction The ore body modeling is done using Surpac and the geological database, solid model and constraint block models was developed using Surpac Owing to the flexibility,...

Ngày tải lên: 04/11/2014, 09:21

Ngày tải lên: 13/11/2014, 15:50

... and customization The value-of expr=“?@var?”/ command marks the variant point as expression var , which can be customized by a set command in the ancestor x-frame The XVCL command break command ... method and tool XVCL performs best in immature, poorly understood and evolving domains and in domains where frequent changes occur in both large and small granularity levels 2.3 PROTOTYPE VERIFICATION ... my deep and sincere gratitude to my supervisor, Professor Jin Song DONG His wide knowledge and logical way of thinking have been of great value for me His understanding, encouraging and constructive...

Ngày tải lên: 12/09/2015, 08:18

... motion and appearance features with MHI and MEI are described by HOG To represent activity, we improve BOW model by using HKM and soft-weightings scheme in order to increase clustering accuracy and ... jumping, forward, jumping in place, galloping sideways, waving with two hands, and waving with one hand The backgrounds are static and foreground silhouettes are included in the dataset The view-point ... Weizmann dataset Methods Alexander Klaser[2010] (Harris3D + HOG3D) Xinghua Sun [2009] (SIFT + ZNK) Weiland and Boyer [2008] (exemplar-based embedding + silhouettes) Fati and Mori[2008] (smoothed...

Ngày tải lên: 09/10/2015, 06:39

... modeled and analysed This thesis describes the modeling, analysis and verification of optimal fixturing configurations by the methods of force closure, optimization, and finite element modeling ... fixturing setup was developed to verify the modeling and the data was used to compare with the FEM Two case studies were conducted and compared in the experiment and in FEM As a secondary objective, ... the workpiece and fixture contacts as deformable and interacting with each other by Coulomb frictional contact The cutting process is simulated using a quasi-static cutting force and moment applied...

Ngày tải lên: 26/11/2015, 12:39

... exploration and system modeling, synthesis and verification Finally, since the book surveys the basic concepts and principles of system-design techniques and methodologies, including software and hardware, ... on processor and systems levels of abstraction An efficient design-flow will employ clear and clean semantics in its languages and modeling, which is also, required by synthesis and verification ... of logic gates and flip-flops, we can use standard cells for each logic component and perform layout placement and routing On the other hand, some components on the processor -and- system levels...

Ngày tải lên: 08/03/2016, 11:31

... Software Engineering, 7th edition Chapter 22 Slide 11 Testing and debugging     Defect testing and debugging are distinct processes Verification and validation is concerned with establishing the ... Engineering, 7th edition Chapter 22 Slide 19 Inspections and testing     Inspections and testing are complementary and not opposing verification techniques Both should be used during the V ... get the most out of testing and inspection processes Planning should start early in the development process The plan should identify the balance between static verification and testing Test planning...

Ngày tải lên: 14/09/2012, 11:41

... 2, …, m} and {ρ11, t1ij, for i = 1, 2, …, n, j = 1, 2, …, m, and i < n when j = 1} This section discusses the relationship between the q variables and the string and rod vectors tαβγ and rβij ... the integration of structure and control design appears in Skelton1,2 and Grigoriadis et al.3 Bendsoe and others4-7 optimize structures by beginning with a solid brick and deleting finite elements ... b3  u3    or fd = –Kdq + Pdud and fo = [f5] = –[K5] q + [b5] [u 5], or fo = – Koq + Pouo, using the same definitions for K and b as found in (18.45) and (18.46), simply by removing the ij...

Ngày tải lên: 18/10/2013, 09:15

... upperarm and the forearm, representing a kind of direct drive On the other hand, if a DC motor is used, it is usually displaced from the elbow and located on the robot base This concept understands ... mathematical modeling, driving characteristics, and mounting on the robot arm Section 21.1.1 presents a review of actuators currently used in robots and automation The main characteristics, advantages, and ... problems, increased reliability and improved thermal capacity are achieved On the other hand, brushless motors require more complex and expensive control systems Sensors and switching circuitry are...

Ngày tải lên: 25/10/2013, 13:15

... computing the modified command position based on the target impedance model and using the nominal position and force measurements, and a controller involving a PD regulator and robust control part ... force limits and contact with the environment, and indicate when the desired force is achieved In conjunction with the standard robot programming language commands, exception handling, and motion ... controller design and experiment, IEEE J Robotics and Automation, 4(6), 1988 12 Anderson, R and Spong, M., Hybrid impedance control of robotic manipulators, IEEE J Robotics and Automation, (4)5,...

Ngày tải lên: 29/10/2013, 20:15

... is A11 and … and Xn is A1n, then Y = B11 and … and Ym = B1m R 2: if X1 is A21 and … and Xn is A2n, then Y = B21 and … Ym = B2m M R r: if X1 is Ar1 and … and Xn is Arn, then Y1 = Br1 and … and Ym ... not and connectives or and and Modifiers that modify the basic concept to which they are applied (e.g., very, extremely, etc.) Markers, such as parentheses Negation not and connectives or and and ... Procyk and Mamdani.37 24.4.3.4 Inference Mechanism Consider the rule base: R1: if X1 is A11 and K and Xn is A1n, then Y = B1 R2: if X1 is A21 and K and Xn is A2n, then Y = B2 M Rr: if X1 is Ar1 and...

Ngày tải lên: 29/10/2013, 20:15

... ultrasonic-based range-finder mounted on a pan -and- tilt unit This unit is located on the front end of the chassis and constantly rotates left -and- right and up -and- down independently of the speed of the ... topography using two high-resolution CCD cameras and stereo-photogrammetry techniques; (2) surface mineral composition using two spectrometers, an oven soil heater, and a gas analyzer; and (3) regolith ... line segment exists between the initial and final point, A and B; and (b) a path consists of a set of straight segments tangential to augmented obstacles, and arcs along the obstacle boundaries...

Ngày tải lên: 09/11/2013, 05:15

... Technology Management Handbook, Richard C Dorf The Transforms and Applications Handbook, 2nd Edition, Alexander D Poularikas The VLSI Handbook, Wai-Kai Chen The Mechatronics Handbook, Robert H Bishop ... Engineering Handbook, 2nd Edition, Richard C Dorf The Electric Power Engineering Handbook, Leo L Grigsby The Electronics Handbook, Jerry C Whitaker The Engineering Handbook, Richard C Dorf The Handbook ... Handbook of Formulas and Tables for Signal Processing, Alexander D Poularikas The Industrial Electronics Handbook, J David Irwin The Measurement, Instrumentation, and Sensors Handbook, John G Webster...

Ngày tải lên: 17/12/2013, 13:15

... interconnected set of links and powered joints that support or move a wrist, a hand or an end effector • Wrist: a set of joints between the arm and the hand that allows the hand to be oriented to the ... will give an overview of the state of the art and current trends in robot design and application Industrial and service robots will be considered and typical examples of their system design will ... control, and communication Rarely have so many technologies and scientific disciplines focused on the functionality and performance of a system as they have done in the fields of robot development and...

Ngày tải lên: 17/12/2013, 13:15

... transports meals, pharmaceuticals, and documents along normal corridors Clear and simple user interfaces, robust robot navigation, and ability to open doors and operate elevators by remote control ... mobility-impaired persons and helps them remain at home It offers multimedia communication, operation of home electronics, active guiding or support, and will fetch and carry objects such as ... 28.3.3.2 Systems Design Planning and design of service robot systems involves systematic design of mechatronic products (Schraft and Hägele,18 Kim and Koshla,94 and Schraft et al.20) followed by...

Ngày tải lên: 17/12/2013, 13:15

... 1997 Arbib, M.A and Liaw, J.S., Sensori-motor transformations in the world of frogs and robots, Artif Intelligence, 72, 53, 1995 Bogoni, L and Bajcsy, R., Functionality investigation using a discrete ... using a discrete event system approach, Robotics and Autonomous Syst., 13, 173, 1994 Cutkosky, M.R., On grasp choice, grasp models, and the design of hands for manufacturing tasks, IEEE Trans Robotics ... Tokyo, 1993 Leondes, C.T (Ed.), Mechatronic System Techniques and Applications, Transportation and Vehicular Systems, Vol 2, Gordon and Breach, Amsterdam, 2000 Hirose, S., A code of conduct for...

Ngày tải lên: 17/12/2013, 13:15