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

5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) is part of 7th International Joint Conference on biomedical Engineering systems and Technologies (BIOSTEC)

作者： Barone, Sandro Paoli, Alessandro Razionale, Armando V. Univ Pisa Dept Civil & Ind Engn Largo Lucio Lazzarino 1 I-56126 Pisa Italy

ISBN: (纸本)9783319261294;9783319261287

In dentistry, standard radiographic imaging is a minimally invasive approach for anatomic tissue visualization and diagnostic assessment. However, this method does not provide 3D geometries of complete dental shapes, including crowns and roots, which are usually obtained by Computerized Tomography (CT) techniques. this paper describes a shape modelling process based on multi-modal imaging methodologies. In particular, 2D panoramic radiographs and 3D digital plaster casts, obtained by an optical scanner, are used to guide the creation of both shapes and orientations of complete teeth through the geometrical manipulation of general dental templates. the proposed methodology is independent on the tomographic device used to collect the panoramic radiograph.

关键词： Multi-modal imaging Dental shape modelling PAN radiograph Discrete Radon Transform

来源：评论

学校读者我要写书评

暂无评论

GISMO: A domain-specific modelling language for executable prototyping of gestural interaction 15

GISMO: A domain-specific modelling language for executable p...

引用

7th ACM SIGCHI symposium on Engineering Interactive Computing systems, EICS 2015

作者： Romuald, Deshayes Mens, Tom Software Engineering Lab. University of Mons Belgium

ISBN: (纸本)9781450336468

this paper presents GISMO, an extensible domain-specific modelling language for prototyping executable models of gestural interaction. Relying on an underlying customisable framework, domain-specific models can specify, simulate and execute the behaviour of how users interact with a software application through the use of different interaction controllers and gesture types (e.g., specific hand movements or other body gestures). Model transformation technology is used to define the domain-specific operational semantics of GISMO, as well as to verify domain-specific properties. ICO models are automatically generated from GISMO models, and are executed by an underlying framework that can communicate with the target software application. We illustrate the use of GISMO through a running example that models the gestural interaction of a graphical application using dynamic hand gestures to control an animated 3D character. We report on the usability of GISMO based on an evaluation with 12 participants. © 2015 ACM.

关键词： domain-specific modelling languages multimodal interaction gestural interaction interactive systems

来源：评论

学校读者我要写书评

暂无评论

7th International symposium on NASA Formal Methods, NFM 2015

7th International Symposium on NASA Formal Methods, NFM 2015

引用

7th International symposium on NASA Formal Methods, NFM 2015

ISBN: (纸本)9783319175232

the proceedings contain 36 papers. the special focus in this conference is on NASA Formal Methods. the topics include: Moving fast with software verification;developing verified software using leon;specification and verification;sum of abstract domains;reachability preservation based parameter synthesis for timed automata;compositional verification of parameterised timed systems;requirements analysis of a quad-redundant flight control system;partial order reduction and symmetry with multiple representatives;statistical model checking of ad hoc routing protocols in lossy grid networks;efficient guiding strategies for testing of temporal properties of hybrid systems;first-order transitive closure axiomatization via iterative invariant injections;reachability analysis using extremal rates;towards realizability checking of contracts using theories;practical partial order reduction for CSP;a little language for testing;detecting MPI zero buffer incompatibility by SMT encoding;a falsification view of success typing;verified ROS-based deployment of platform-independent control systems;a rigorous approach to combining use case modelling and accident scenarios;are we there yet? determining the adequacy of formalized requirements and test suites;a greedy approach for the efficient repair of stochastic models;integrating SMT with theorem proving for analog/mixed-signal circuit verification;conflict-directed graph coverage;shape analysis with connectors;automated conflict-free concurrent implementation of timed component-based models;formal API specification of the PikeOS separation kernel;data model bugs;predicting and witnessing data races using CSP and blocked literals are universal.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Improving BDD-based attractor detection for synchronous boolean networks 15

Improving BDD-based attractor detection for synchronous bool...

引用

7th Asia-Pacific symposium on Internetware, Internetware 2015

作者： Qu, Hongyang Yuany, Qixia Pangz, Jun Mizera, Andrzej Department of Automatic Control and Systems Engineering University of Sheffield United Kingdom Faculty of Science Technology and Communication University of Luxembourg Luxembourg

ISBN: (纸本)9781450336413

Boolean networks are an important formalism for modelling biological systems and have attracted much attention in recent years. An important direction in Boolean networks is to exhaustively find attractors, which represent steady states when a biological network evolves for a long term. In this paper, we propose a new approach to improve the efficiency of BDD-based attractor detection. Our approach includes a monolithic algorithm for small networks, an enumerative strategy to deal with large networks, and two heuristics on ordering BDD variables. We demonstrate the performance of our approach on a number of examples, and compare it with one existing technique in the literature. © 2015 ACM.

关键词： Binary decision diagrams

来源：评论

学校读者我要写书评

暂无评论

An overview of the FP7 RECONFIGURE project: Industrial, scientific and technological objectives 9

An overview of the FP7 RECONFIGURE project: Industrial, scie...

引用

9th IFAC symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2015

作者： Goupil, Philippe Boada-Bauxell, Josep Marcos, Andres Rosa, Paulo Kerr, Murray Dalbies, Laurent AIRBUS Aircraft Control 316 route de Bayonne Toulouse Cedex 0931060 France University of Bristol Aerospace Department Queen's Building University Walk BristolBS8 1TR United Kingdom Deimos Engenharia Lisbon1998-023 Portugal DEIMOS Space S.L. U. Ronda de Poniente 19 Tres Cantos Madrid28760 Spain

this paper details the industrial challenges, goals and objectives of the European Framework 7th project termed "REconfiguration of control in Flight for Integral Global Upset REcovery" (RECONFIGURE). this project aims at investigating and developing advanced aircraft Guidance, Navigation and control (GNC) technologies that facilitate the automated handling of off-nominal events and optimize the aircraft status and flight. these technologies will extend the operation of the current GNC functionalities that assist the pilot and optimize the aircraft performance. thus, the aim is to provoke a change in aircraft transport towards: "Full-time, all-event availability of performanceenhancement electrical fly-by-wire". three key enablers have been identified for moving towards this new paradigm: Flight Parameter Estimation, Fault Detection and Diagnosis, and Fault Tolerant control. © 2015, IFAC (International Federation of Automatic control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

control and Prognostics of Accelerator's Anode Voltage Regulator Based on Empirical modelling Approach

Control and Prognostics of Accelerator's Anode Voltage Regul...

引用

the second International symposium on Socially and Technically Symbiotic systems (STSS2015);the 7th International symposium on Symbiotic Nuclear Power systems (ISSNP2015)

作者： CHRISTIAN Robby ACHMAD Balza KANG Hyun Gook Nuclear & Quantum Engineering Dept. Korea Advanced Institute of Science and Technology (KAIST) Physics Engineering Dept. Gadjah Mada University

this study investigated the development of an adaptive control,fault diagnostics and prognostics of the anode voltage regulator system at ion implantation accelerator in Indonesia.A model of the regulator system was developed by using a white box analysis and the system identification *** regression algorithms were employed to estimate the model's *** order to capture slowly time-varying degradations,the identification algorithm was biased with adaptation gain *** system was identified as a 4th order Auto Regressive with e Xogenous(ARX) model *** was validated through residual correlation tests fulfilling the Gaussian distribution with a 3% significance *** model was then used as a basis for constructing and updating a Fuzzy Logic Algorithm,fault diagnosis module and failure prognostics *** maintain the system's performance despite of degradations,the controller's response was continuously re-adjusted through an optimization *** failure modes and the corresponding indicators were *** of the active fault mode and its severity was done by analyzing the root locus of the *** data were generated in the MATLAB simulation environment to train a random forest fault classification *** optimal random forest classifier was found to be composed of 20 decision trees with a classification accuracy of 98.06%.A fault progression model based on the interaction between environmental conditions and controller actions was *** variations of these two factors were characterized to form a Hidden Markov Model(HMM).the particle filter and Bayesian inference methods were then employed to continuously update the HMM and predict the system's Remaining Useful Lifetime(RUL).the proposed methodology was able to integrate an adaptive fuzzy logic control,prognosis and failure diagnosis altogether allowing a continual satisfactory performance of the voltage regulator system throughout its lif

关键词： System identification adaptive fuzzy logic control fault progression modelling prognostics

来源：评论

学校读者我要写书评

暂无评论

Structural modelling of a compliant flexure flow energy harvester

引用

SMART MATERIALS AND STRUCTURES 2015年第9期24卷

作者： Chatterjee, Punnag Bryant, Matthew N Carolina State Univ Dept Mech & Aerosp Engn Raleigh NC 27695 USA

this paper presents the concept of a flow-induced vibration energy harvester based on a one-piece compliant flexure structure. this energy harvester utilizes the aeroelastic flutter phenomenon to convert flow energy to structural vibrational energy and to electrical power output through piezoelectric transducers. this flexure creates a discontinuity in the structural stiffness and geometry that can be used to tailor the mode shapes and natural frequencies of the device to the desired operating flow regime while eliminating the need for discrete hinges that are subject to fouling and friction. An approximate representation of the flexure rigidity is developed from the flexure link geometry, and a model of the complete discontinuous structure and integrated flexure is formulated based on the transfer matrix method. the natural frequencies and mode shapes predicted by the model are validated using finite element simulations and are shown to be in close agreement. A proof-of-concept energy harvester incorporating the proposed flexure design has been fabricated and investigated in wind tunnel testing. the aeroelastic modal convergence, critical flutter wind speed, power output and limit cycle behavior of this device is experimentally determined and discussed.

关键词： aeroelastic flutter compliant flexure transfer matrix method structural response energy harvesting piezoelectric modal convergence

来源：评论

学校读者我要写书评

暂无评论

A Design of Polynomial Fuzzy controller with Disturbance Observer 7

A Design of Polynomial Fuzzy Controller with Disturbance Obs...

引用

Joint 7th International Conference on Soft Computing and Intelligent systems (SCIS) and 15th International symposium on Advanced Intelligent systems (ISIS)

作者： Han, Hugang Higaki, Yuta Prefectural Univ Hiroshima Fac Management & Informat Syst Hiroshima 7348558 Japan

ISBN: (纸本)9781479959556

the so-called lumped disturbance in this paper includes modelling error, external disturbance, unmodelled dynamics and parameter perturbations. As the plant model, polynomial fuzzy model is employed, because it is more general than the widely used T-S fuzzy model. In this paper, a new fuzzy disturbance observer (FDO) is proposed to handle the lumped disturbance, and the estimate of the disturbance is used directly to synthesize a part of controller along with the regular control input where such a disturbance is not considered. As a result, a set of the conditions in the manner of the sum of squares (SOS) for the asymptotical stability of the closed-loop system is provided.

关键词： asymptotic stability closed loop systems control system synthesis fuzzy control observers polynomials asymptotical stability closed-loop system external disturbance fuzzy disturbance observer lumped disturbance parameter perturbation polynomial fuzzy controller sum of squares unmodelled dynamics control systems Fuzzy systems Nonlinear systems Observers Polynomials Symmetric matrices Vectors

来源：评论

学校读者我要写书评

暂无评论

Searching of correlation of weather and cardiologic events: Computer methods for relation discovery and events prediction

Searching of correlation of weather and cardiologic events: ...

引用

7th International Conference on Health Informatics, HEALthINF 2014 - Part of 7th International Joint Conference on biomedical Engineering systems and Technologies, BIOSTEC 2014

作者： Zyglarski, Blazej Bala, Piotr Mizerski, Jeremi Faculty of Mathematics and Computer Science Nicolaus Copernicus University Toruń Poland Interdisciplinary Centre for Mathematical and Computational Modelling Warsaw University Warsaw Poland

ISBN: (纸本)9789897580109

this paper presents our recent research on finding correlation between weather events and medical (cardiologic) events and trends. Such correlation is intuitive, however no solid proof exists. Such correlation was investigated, but it most cases it drives to conclusion that differences are visible in large periods of time (like year seasons, winter for example). We are trying to show, that such correlation is visible in much shorter time periods (as couple of days) with unusual weather behaviour). We examine standard statistical methods, advanced events and trend detection methods and neural networks (self organizing maps) usage. We propose basic scenarios for medical events frequency increase prediction, according to weather forecasts. Copyright © 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.

关键词： Self organizing maps

来源：评论

学校读者我要写书评

暂无评论

Data based modelling of expired airflow clarifies chronic obstructive pulmonary disease

Data based modelling of expired airflow clarifies chronic ob...

引用

7th International Conference on Bio-Inspired systems and Signal Processing, BIOSIGNALS 2014 - Part of 7th International Joint Conference on biomedical Engineering systems and Technologies, BIOSTEC 2014

作者： Marko, Topalovic Exadaktylos, Vasileios Aerts, Jean-Marie Troosters, thierry Decramer, Marc Berckmans, Daniel Janssens, Wim University Hospital Leuven Department of Clinical and Experimental Medicine KU Leuven Leuven Belgium Department of Biosystems KU Leuven Leuven Belgium Department of Rehabilitation Sciences Faculty of Kinesiology and Rehabilitation Sciences KU Leuven Leuven Belgium

ISBN: (纸本)9789897580116

One of the major health challenges of the future is Chronic Obstructive Pulmonary Disease (COPD). It is characterized by airflow limitations, although current diagnosis does not give attention to the flow measurements. We aimed to develop a data-based model of the decline of the forced expiratory flow. Moreover, we analysed the relationship of model parameters with COPD presence and its severity. the data-based model was developed in 474 smoking individuals, who are at risk of having COPD, and have performed complete pulmonary function tests in order to identify whether the disease is present and at which stage. the time series of the decline of the flow was parameterised using the poles and steady state gain (SSG) of a second order transfer function model. these parameters were then linked with the presence of COPD. Observing SSG, median (IQR) in subjects with COPD was lower 3.9(2.7-5.6) compared to 8.2(7.1-9.3) in subjects without, (p

关键词： Transfer functions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：