Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia

Pranevicius Henrikas; Naujokaitis Darius; Pilkauskas Vytautas; Pranevicius Osvaldas; Pranevicius Mindaugas

首页> 外文期刊>Elektronika ir Elektrotechnika >Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia

【24h】

Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia

机译：患者控制镇痛随机混合自动机统计模型检查的效用

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Opiate concentration in the effect compartment of the brain (OCEC) determines both, the pain control and the side effects. This concentration can be estimated using pharmacodynamics models; however, these models do not predict OCEC when delivery of the drug is random.

机译：None

著录项

来源
《Elektronika ir Elektrotechnika》 |2017年第6期|共9页
作者
Pranevicius Henrikas; Naujokaitis Darius; Pilkauskas Vytautas; Pranevicius Osvaldas; Pranevicius Mindaugas;
展开▼
作者单位

Kaunas Univ Technol Dept Informat Studentu St 50-407 LT-51368 Kaunas Lithuania;

Kaunas Univ Technol Dept Informat Studentu St 50-407 LT-51368 Kaunas Lithuania;

Kaunas Univ Technol Dept Informat Studentu St 50-407 LT-51368 Kaunas Lithuania;

New York Presbyterian Queens Flushing Dept Anesthesiol Queens NY USA;

Albert Einstein Coll Med Bronx NY 10467 USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类无线电电子学、电信技术;
关键词
Patient controlled analgesia; hybrid automata; verification; statistical model checking;

机译：患者受控镇痛;混合自动机;验证;统计模型检查;

相似文献

外文文献
中文文献
专利

1. Useful life prediction using a stochastic hybrid automata model for an ACS multi-gyro subsystem [J] . CHENG Yuehua, JIANG Liang, JIANG Bin, 系统工程与电子技术（英文版） . 2019,第001期
2. Pain management using Han's acupoint nerve stimulator combined with patient-controlled analgesia following neurosurgery A randomized case control study [J] . Junming Ye, Zuyu Zhu, Cheng Huang, 中国神经再生研究（英文版） . 2008,第007期
3. Safety and Effectiveness of Dexmedetomidine Combined with Butorphanol in Patient-Controlled Intravenous Analgesia in Elderly Patients Treated with Proximal Femoral Nail Anti-Rotation [J] . SHI Xue-xia, GAN Gui-fen 国际转化医学杂志（英文版） . 2017,第004期
4. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia [J] . Pranevicius Henrikas, Naujokaitis Darius, Pilkauskas Vytautas, Elektronika ir Elektrotechnika . 2017,第6期

机译：患者控制镇痛随机混合自动机统计模型检查的效用
5. Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata [J] . Alexandre David, Kim G. Larsen, Axel Legay, Electronic Communications of the EASST . 2014,第3期

机译：随机混合自动机动态网络的统计模型检验
6. Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains [J] . Christian Ellen, Sebastian Gerwinn, Martin Fraenzle International Journal on Software Tools for Technology Transfer . 2015,第4期

机译：连续域上涉及不确定性的随机混合系统的统计模型检查
7. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications [C] . Joao Martins, Andre Platzer, Joao Leite Formal methods and software engineering . 2011

机译：具有智能电网应用的分布式概率控制混合自动机的统计模型检查
8. Algorithmic algebraic model checking: Hybrid automata and systems biology. [D] . Mysore, Venkatesh Pranesh. 2006

机译：算法代数模型检查：混合自动机和系统生物学。
9. Parameter discovery in stochastic biological models using simulated annealing and statistical model checking [O] . Faraz Hussain, Sumit K. Jha, Susmit Jha, -1

机译：使用模拟退火和统计模型检查的随机生物学模型中的参数发现
10. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications [O] . João Martins, André Platzer, João Leite 2014

机译：具有智能电网应用的分布式概率控制混合自动机的统计模型检查
11. Parent-Assisted Patient Controlled Analgesia for Preoperational Children withMucositis [R] . Criswell, J. D. 1994

机译：父母协助患者控制的术前患儿的粘膜炎

相关主题

Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia

摘要

著录项

相似文献

相关主题

期刊订阅