检索结果-内蒙古大学图书馆

6th ACM International conference on Multimedia: Face/Gesture Recognition and their Applications, MULTIMEDIA 1998

作者： Dorgan, Stephen J. Institute of Automatic Control Engineering Technical University of Munich Munich80290 Germany

ISBN: (纸本)1581131631

human motion analysis has numerous medical and multimedia applications. Particularly important medical applications include the diagnosis and synthesis of human motion. The complexity of the human motion apparatus is such that its analysis is difficult. It is the internal muscle forces responsible for a given motion are not readily obtained from externally measured hmb motion data. Consequently, mathematical models of the musculoskeletal system play a central role m the analysis, diagnosis and synthesis of human motion. Some of the methodologies currently used in the acquisition of human motion data are reviewed, as are some of the models employed to gain insight mto the internal system dynamics. The controllers used to enable paralysed individuals to stand with neuroprostbeses are also outlmed. Finally, an animation tool used for the visuahsation of predicted human motion and the assessment of neuroprosthetic controllers is presented. © 1998 ACM.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

1st International conference on Fundamental Approaches to Software engineering, FASE 1998 Held as Part of the Joint European conferences on Theory and Practice of Software, ETAPS 1998

引用

1st International conference on Fundamental Approaches to Software engineering, FASE 1998

ISBN: (纸本)3540643036

The proceedings contain 23 papers. The special focus in this conference is on Fundamental Approaches to Software engineering. The topics include: A humanistic discipline of software development;specifying and analyzing dynamic software architectures;observational proofs with critical contexts;integrating aorta with model-based data specification languages;specifying safety-critical embedded systems with statecharts and z;an agenda for cyclic software components;algebra transformation systems and their composition;navigation expressions in object-oriented modelling;compositional verification of reactive systems specified by graph transformation;reflections on the design of a specification language;constructs, concepts and criteria for reuse in concurrent object-oriented languages;backtracking-free design planning by automatic synthesis in metaframe;rule-based refinement of high-level nets preserving safety properties;automated formal analysis of networks;behaviour analysis and safety conditions;distributed safety controllers for web services;refining formal specifications of human computer interaction by graph rewrite rules;a system for calculating with relations and relational programming and a formal language and its supporting tools for requirements engineering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Zurriola beach evolution two years after nourishment

Proceedings of the Coastal Engineering Conference

引用

Proceedings of the Coastal engineering conference 1998年 3卷 3086-3095页

作者： Santas, Jose C. Medina, Jose M. Caballero, Alejandro Uriarte, Adolfo Esteban, Vicente CEDEX Madrid Spain

First results about the behaviour of the nourishment done at Zurriola beach, Vasc Country, Spain, have been obtained, by means of the data acquired during 2 years monitoring. The general conclusion appoint to a good agreement with the previous physical model results: in spite of a small percentage of sand is lost, the beach is `self kept'. A rough evaluation of losses has been done, helping us to predict the future maintenance to do. The topography and bathymetry of the beach do not help to a easy modelling by means of mathematical models.

关键词： Coastal engineering

来源：评论

学校读者我要写书评

暂无评论

A new fuzzy-fractal-genetic method for automated mathematical modelling and simulation of robotic dynamic systems

A new fuzzy-fractal-genetic method for automated mathematica...

引用

IEEE International conference on Fuzzy Systems (FUZZ-IEEE)

作者： O. Castillo P. Melin Department of Computer Science Instituto Tecnologico de Tijuana Chula Vista CA USA School Of Engineering Cetys University Chula Vista CA USA

We describe a computer program for mathematical modelling and simulation (MMS) of robotic dynamic systems (RDS) using fuzzy logic techniques, genetic algorithms and fractal theory. The computer program combines soft computing (SC) techniques with mathematical methods and can be considered as an intelligent system for the domain of modelling and simulation of robotic systems. The computer program simulates the reasoning of a human expert in the process of developing the mathematical models of RDS. The program contains the knowledge of the human experts expressed as fuzzy rules (in the knowledge base) for MMS of RDS. The computer program uses efficiently the SC techniques and fractal theory for MMS of RDS.

关键词： mathematical model Computational modeling Computer simulation Fractals Intelligent robots humans Robotics and automation Fuzzy logic Genetic algorithms Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Transient performance simulation of permanent magnet motor

Transient performance simulation of permanent magnet motor

引用

Mediterranean Electrotechnical conference (MELECON)

作者： L.B. Petkovska M.D. Cundev G.V. Cvetkovski Faculty of Electrical Engineering Ss Cyril and Methodius University Skopje Macedonia

In this paper an original approach to modelling and transient simulation of an electronically operated permanent magnet motor (EOM) is presented, with special attention to determination of its dynamic and transient characteristics, which are analyzed. This type of motor appertains to the generation of new special motors, supplied and controlled by modern semiconductor devices. The mathematical modelling of the EOM presented in this paper is performed by the corresponding dynamic model of the motor itself and by a proper modelling and simulation of its control device. A particular mathematical model for calculations of dynamic characteristics of the motor is derived and presented, too. The dynamic characteristics of torque, current and speed, for different control parameters is also presented on diagrams. The transient simulation of the electronically operated permanent magnet motor is carried out by using these characteristics. The proposed methodology is used for an extended analysis of dynamic performance of an EOM and prediction of its transient behaviour is also performed.

关键词： Permanent magnet motors Synchronous motors mathematical model Inverters Transient analysis Rotors Stator windings Bridges Magnetic analysis Torque control

来源：评论

学校读者我要写书评

暂无评论

System level modelling for hardware/software systems

System level modelling for hardware/software systems

引用

EUROMICRO conference

作者： J.P.M. Voeten P.H.A. van der Putten M.C.W. Geilen M.P.J. Stevens Section of Information and Communication Systems Faculty of Electrical Engineering Eindhovan University of Technology Eindhoven Netherlands

Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system level languages towards specification and design. We report on the system level modelling language called POOSL. The language is very expressive and is able to model dynamic hard real time behaviour as well as static (architecture and topology) structure in an object oriented fashion. The language integrates a process part, based on the process algebra CCS, with a data part, based on the concepts of traditional object oriented programming languages. Unlike many modelling languages today, POOSL is equipped with a complete mathematical semantics. Currently a number of automated software tools (model editing simulator and compiler tools) are available. It is shown how the language and tools allow the estimation of a performance parameter of a datalink protocol.

关键词： Hardware Software systems Object oriented modeling Computer industry Crisis management Topology Algebra Carbon capture and storage Object oriented programming mathematical model

来源：评论

学校读者我要写书评

暂无评论

Sharing human-computer interaction and software engineering design artifacts

Sharing human-computer interaction and software engineering ...

引用

Australasian conference on Computer human Interaction

作者： J. Brown S. Marshall School of Mathematical and Computing Sciences Victoria University of Wellington Wellington New Zealand

Software engineering (SE) and human computer interaction (HCI) disciplines typically have separate processes and design artifacts. The paper describes a coevolutionary design process, which incorporates both SE and HCI processes, and indicates how design artifacts can be usefully shared throughout the development of an interactive product. We show how scenarios in particular can serve as a bridge between the two disciplines. We present a tool called Scenic Vista that is a prototype for a development environment of linked SE and HCI design artifacts. The design artifacts in Scenic Vista are: task hierarchies, textual scenarios, Unified modelling Language (UML) sequence diagrams, and ClockWorks user interface architectures.

关键词： Software engineering Software design human computer interaction Prototypes Process design Unified modeling language Computer architecture Software prototyping Design engineering Clocks

来源：评论

学校读者我要写书评

暂无评论

Analysis of dynamic memory access using amorphous slicing

Analysis of dynamic memory access using amorphous slicing

引用

International conference on Software Maintenance (ICSM)

作者： M. Harman Y. Sivagurunathan S. Danicic Department of Mathematical and Computing Sciences Goldsmiths College University of London London UK School of Informatics University of North London London UK

Problems associated with understanding, verifying and re-engineering the way in which a system allocates and releases dynamic memory present significant challenges to the software maintainer. Because the questions underlying these problems are undecidable, no system can provide a completely fail safe certification. For example, in checking for memory leaks, a system can only warn of potential problems, but cannot guarantee that no leaks remain. We present an approach to modelling the dynamic memory access properties of a program using amorphous program slicing to create a Dynamic Memory Model (DMM). The slices are constructed from a transformed version of the original program in which heap access has been made explicit using a pseudo variable to denote the top of the heap. The DMM is a simplified version of the original program which is concerned solely with the dynamic memory access behaviour of the original. We illustrate the use of DMMs in problems of comprehension, verification and re-engineering. We introduce a proof-of-concept DMM construction algorithm, showing how slicing simplification power can be dramatically improved using domain-specific transformation rules.

关键词： Amorphous materials Vehicle dynamics Random access memory Educational institutions Informatics Maintenance engineering Read only memory Predictive models Vehicle crash testing Vehicles

来源：评论

学校读者我要写书评

暂无评论

Fetal heart modelling based on a pressure-volume relationship

引用

MEDICAL & BIOLOGICAL engineering & COMPUTING 1997年第6期35卷 715-721页

作者： Menigault, E Vieyres, P Pourcelot, L Lepoivre, B Durand, A Berson, M Fac Med Tours INSERM U316 F-37032 Tours France IUT Bourges Lab Vis Robot F-18020 Bourges France Fac Med Tours GIP Ultrasons F-37032 Tours France

Study of the cardiovascular system of the human fetus is based on noninvasive measurement methods such as Doppler echography systems. The circulation conditions in fetal vessels are usually evaluated by resistance indices, giving limited physiological information on distal territories such as the placenta or the brain. To enhance the understanding of human fetal haemodynamics, a numerical model of the fetal heart has been developed, using the hydraulic-electric analogy. The model is based on a mechanical hypothesis of parallel functioning of the right and left ventricles, considered to have analogue elastance properties. Their behaviour is equivalent to that of a single ventricle ejecting an equivalent blood volume of 7 ml in the aorta. The characterisation of the equivalent ventricle is based on the determination of a set of four parameters (E-max, V-0, k(v) and P-0) representing the maximum ventricle contractility, a reference volume, and volume and pressure constants, respectively. The model proposed is validated by studying the effects of preload and afterload variations on the fetal heart work, and by comparing the numerical results with literature and measured data. The model constitutes the first step towards a global model of the cardiovascular system of the human fetus.

关键词： human fetal circulation heart mathematical model varying elastance

来源：评论

学校读者我要写书评

暂无评论

The impact of microbiological tools on mathematical modelling of biological wastewater treatment

引用

WATER SCIENCE AND TECHNOLOGY 1997年第10期36卷 97-108页

作者： Pollard, PC von Munch, EV Lant, PA Greenfield, PF Univ Queensland Adv Wastewater Management Ctr St Lucia Qld 4072 Australia

Biological systems are being used to treat an increasing range of complex wastes;domestic and industrial wastewaters containing nutrients and refractory organic compounds, soil sites and groundwater contaminated by organics, and organic solid residues. These treatment processes rely on micro-organisms and, more than ever before, must deliver higher quality outcomes at higher levels of reliability to protect the environment. At the same time, pressures to deliver cost-effective treatment have increased. The challenge for these biological treatment technologies and the associated engineering is to achieve the environmental and economic goals simultaneously. mathematical modelling is an essential component in developing a detailed understanding of such processes, as well as design guidelines and suitable operating and control strategies. This paper provides a brief summary of the development of mathematical models for biological waste treatment systems, why they have become increasingly complex and how certain microbiological tools can provide the experimental means to validate more complex segregated and structured models of biological behaviour. With a number of specific modelling examples in the field of wastewater treatment, we illustrate the potential of these modern microbiological tools and their implications for gaining an improved understanding of biological waste treatment. (C) 1997 IAWQ. Published by Elsevier Science Ltd.

关键词： modelling wastewater bacteria growth rates molecular probes

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：