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

3rd International symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012

作者： Capiluppi, Marta Segala, Roberto Università di Verona Dipartimento di Informatica Verona Italy

We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects or radio signals diffusion and detection. To this end we decided to specialize some variables of the HIOAs whose values are functions both of time and space. We call them world variables. Basically they are treated similarly to the other variables of HIOAs, but they have the function of representing the interaction of each automaton with the surrounding environment, hence they can be output, input or internal variables. Since these special variables have the role of simulating implicit communication, their dynamics are specified both in time and space, because they model the perturbations induced by the agent to the environment, and the perturbations of the environment as perceived by the agent. Parallel composition of world variables is slightly different from parallel composition of the other variables, since their signals are summed. the theory is illustrated through a simple example of agents systems. © M. Capiluppi and R. Segala.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Observer synthesis for uncertain nonlinear systems. Application to waste-water treatment plants

Observer synthesis for uncertain nonlinear systems. Applicat...

引用

7th IFAC symposium on Robust control Design, ROCOND'12

作者： Nagy-Kiss, Anca Maria Marx, Benoît Mourot, Gilles Schutz, Georges Ragot, José Unit of Modelling and Simulation Public Research Center Henri Tudor 29 avenue John F. Kennedy L-1855 Luxembourg-Kirchberg Luxembourg Centre de Rescherche en Automatique de Nancy INPL 2 avenue de la forêt de Haye 54500 Vandoeuvre-lès-Nancy France

ISBN: (纸本)9783902823038

the paper proposes an observer synthesis for uncertain nonlinear systems, described by multi-models with un-measurable premise variables, affected by unknown inputs. A proportional multi-integral observer is considered in order to estimate the system states and the unknown inputs and minimize the influence of the model uncertainties. the stability analysis and the observer synthesis are expressed through linear matrix inequalities based on the Lyapunov method. the performances of the proposed observer synthesis method are highlighted through the application to a waste-water treatment plant model, which is an uncertain nonlinear system affected by unknown inputs. © 2012 IFAC.

关键词： Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

Physiologic insulin delivery with insulin feedback: A control systems perspective

引用

COMPUTER MEthODS AND PROGRAMS IN BIOMEDICINE 2011年第2期102卷 130-137页

作者： Palerm, Cesar C. Medtron Diabet Closed Loop R&D Northridge CA 91325 USA

Individuals with type 1 diabetes mellitus must effectively manage glycemia to avoid acute and chronic complications related to aberrations of glucose levels. Because optimal diabetes management can be difficult to achieve and burdensome, research into a closed-loop insulin delivery system has been of interest for several decades. this paper provides an overview, from a control systems perspective, of the research and development effort of a particular algorithm-the external physiologic insulin delivery system. In particular the introduction of insulin feedback, based on beta-cell physiology, is covered in detail. A summary of human clinical trials is provided in the context of the evolution of this algorithm, and this paper outlines some of the research avenues that show particular promise. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

关键词： biomedical control system Cascade control Medical systems Model approximation PID control Diabetes Blood glucose control

来源：评论

学校读者我要写书评

暂无评论

Optimal oral drug dosing via application of the contraction mapping theorem

引用

biomedical SIGNAL PROCESSING AND control 2011年第1期6卷 57-63页

作者： Evans, Neil D. Univ Warwick Sch Engn Coventry CV4 7AL W Midlands England

the problem of determining an oral dose, or schedule of oral doses, that gives rise to an arbitrary area-under-curve or to points on the time-series for a variable of interest in a drug kinetics model is considered. these two measures are considered as surrogates for the particular drug response to the dose. the approach taken is to formulate the problem as a fixed point one to which a version of the contraction mapping theorem can be applied. the results, illustrated for a model for the anti-cancer agent topotecan, demonstrate the applicability of the approach. (C) 2010 Elsevier Ltd. All rights reserved.

关键词： Optimization problems biomedical control biomedical systems control applications control algorithms

来源：评论

学校读者我要写书评

暂无评论

Optimal oral drug dosing via application of the contraction mapping theorem

Optimal oral drug dosing via application of the contraction ...

引用

7th symposium on modelling and control in biomedical systems

作者： Evans, Neil D. Univ Warwick Sch Engn Coventry CV4 7AL W Midlands England

关键词： Optimization problems biomedical control biomedical systems control applications control algorithms

来源：评论

学校读者我要写书评

暂无评论

A comparative study of codification techniques for clustering heart disease database

引用

biomedical SIGNAL PROCESSING AND control 2011年第1期6卷 64-69页

作者： Barcelo-Rico, Fatima Luis Diez, Jose Bondia, Jorge Univ Politecn Valencia Inst Control Syst & Ind Comp Valencia 46022 Spain

this paper compares various proposals for codifying categorical attributes in a heart disease database so that numerical clustering algorithms can be applied to them. An approach for the codification of categorical attributes based on polar coordinates is proposed. this is compared with other codifications and methods for clustering mixed databases found in the literature. Our proposal has many advantages: it is relatively easy to understand and apply;the increment in the length of the input matrix is not excessively large;and the committed error is under control. the proposed codification has been combined in this case with the well-known k-means algorithm and has shown a very good performance in a heart disease database benchmark. (C) 2010 Elsevier Ltd. All rights reserved.

关键词： biomedical signal processing Mixed data Clustering k-means Data conversion Heart disease

来源：评论

学校读者我要写书评

暂无评论

A novel model-based PET detector block simulation approach

引用

biomedical SIGNAL PROCESSING AND control 2011年第1期6卷 27-33页

作者： Szlavecz, A. Buekki, T. Steinbach, C. Benyo, B. Budapest Univ Technol & Econ Dept Control Engn & Informat Technol H-1117 Budapest Hungary Mediso Ltd H-1022 Budapest Hungary Budapest Univ Technol & Econ Dept Atom Phys H-1111 Budapest Hungary

In this paper we present the development of a modelling convention and a modelling environment, called PetDetSim, able to describe different PET detector block geometries. Using the developed simulation environment, the PET detector block designer can easily define different detector block configurations and test their optical behaviour regarding the characteristic features that determine the imaging quality of the device. In addition to the common optical behaviour of the detector block the developed modelling environment is also able to model gamma photon penetration. the PetDetSim environment is designed to use on a computer cluster and in a grid computing environment in order to reduce the computation time of the simulation. the validation of PetDetSim has been successfully done in the case of basic detector models, i.e. consisting of a single crystal needle. Crown Copyright (C) 2010 Published by Elsevier Ltd. All rights reserved.

关键词： Simulation PET Detector block model and design Gamma photon penetration PetDetSim DETECT2000

来源：评论

学校读者我要写书评

暂无评论

A comparative study of codification techniques for clustering heart disease database

A comparative study of codification techniques for clusterin...

引用

7th symposium on modelling and control in biomedical systems

作者： Barcelo-Rico, Fatima Luis Diez, Jose Bondia, Jorge Univ Politecn Valencia Inst Control Syst & Ind Comp Valencia 46022 Spain

关键词： biomedical signal processing Mixed data Clustering k-means Data conversion Heart disease

来源：评论

学校读者我要写书评

暂无评论

Model-based Decision support in Diabetes Care

引用

COMPUTER MEthODS AND PROGRAMS IN BIOMEDICINE 2011年第2期102卷 206-218页

作者： Salzsieder, E. Vogt, L. Kohnert, K. -D. Heinke, P. Augstein, P. Inst Diabet Gerhardt Katsch Karlsburg D-17495 Karlsburg Germany Diabet Serv Ctr Karlsburg Karlsburg Germany

the model-based Karlsburg Diabetes Management System (KADIS (R)) has been developed as a patient-focused decision-support tool to provide evidence-based advice for physicians in their daily efforts to optimize metabolic control in diabetes care of their patients on an individualized basis. For this purpose, KADIS (R) was established in terms of a personalized, interactive in silico simulation procedure, implemented into a problem-related diabetes health care network and evaluated under different conditions by conducting open-label mono- and polycentric trials, and a case-control study, and last but not least, by application in routine diabetes outpatient care. the trial outcomes clearly show that the recommendations provided to the physicians by KADIS (R) lead to significant improvement of metabolic control. this model-based decision-support system provides an excellent tool to effectively guide physicians in personalized decision-making to achieve optimal metabolic control for their patients. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

关键词： Model-based control system design Physiological model System identification Decision-support system Clinical trials Diabetes health care

来源：评论

学校读者我要写书评

暂无评论

A novel model-based PET detector block simulation approach

A novel model-based PET detector block simulation approach

引用

7th symposium on modelling and control in biomedical systems

关键词： Simulation PET Detector block model and design Gamma photon penetration PetDetSim DETECT2000

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：