Build and evaluation of real-time control algorithms in case of incomplete information about functional processes' parameters

机译：在有关功能过程参数的信息不完整的情况下建立和评估实时控制算法

获取原文

页面导航

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

摘要

The semantic model of the real-time control algorithms introduced by the author in the previous papers deals with the quads representing execution of the particular functional task at settled time. The important element of the quad is duration of the task. The formal system of the real-time control algorithms is used in collaboration with the semantic model as the language for specification and verification of the critically important features of the control systems. The formal specification could be satisfiable or non-satisfiable on the defined basis of functional tasks (dependable on the parameters of the task, including duration). This paper is devoted to satisfiability problem of the specification of real-time control algorithm. The applicable approaches including usage of SMT solvers, is discussed.

机译：作者在前几篇论文中介绍的实时控制算法的语义模型处理的是表示在特定时间执行特定功能任务的四边形。四边形的重要元素是任务的持续时间。实时控制算法的形式系统与语义模型协作，作为规范和验证控制系统的重要特征的语言。在功能任务的定义基础上（取决于任务的参数，包括持续时间），正式规范可能是令人满意的，也可能是不令人满意的。本文致力于实时控制算法规范的可满足性问题。讨论了包括使用SMT求解器在内的适用方法。

著录项

来源
《International Conference on Soft Computing and Measurements》|2017年|179-182|共4页
会议地点
作者
Andrei A. Tiugashev;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Real-time systems; Semantics; Algorithm design and analysis; Process control; Software algorithms; Calculus; Control systems;

机译：实时系统;语义;算法设计与分析;过程控制;软件算法;微积分;控制系统;

相似文献

外文文献
中文文献
专利

1. CONTROL ALGORITHMS FOR THERMAL PROCESSES IN HEATED BUILDINGS MODEL AND SIMULATION INVESTIGATIONS [J] . W. J. CHMIELNICKI Archives of Civil Engineering . 2002,第4期

机译：加热建筑模型中的热过程控制算法及仿真研究
2. Occupants’ Evaluation of the Operation, Functionality of Building Control Systems and Energy Implications in Multi Storey Office Buildings in Ghana. [J] . Barbara Simons, Christian Koranteng, Joshua Ayarkwa Journal of Energy Technologies and Policy . 2014,第2期

机译：乘员对加纳多层办公楼中建筑物控制系统的运行，功能和能源影响的评估。
3. Evaluation of Dimensional and Aerodynamic Parameters for an Aircraft Radio Controlled through Genetic Algorithms and Design of Experiments [J] . Diego Amorim Caetano de Souza1, André Luís Cerávolo de Carvalho1, Sérgio Luiz Moni Ribeiro Filho1, International Journal of Statistics and Applications . 2013,第3期

机译：遗传算法对飞机无线电尺寸和空气动力学参数的评估及实验设计
4. Build and evaluation of real-time control algorithms in case of incomplete information about functional processes' parameters [C] . Andrei A. Tiugashev International Conference on Soft Computing and Measurements . 2017

机译：关于功能流程参数不完整信息的情况下实时控制算法的构建和评估
5. SECOND-ORDER OPTIMAL CONTROL ALGORITHMS FOR LUMPED-PARAMETER AND DISTRIBUTED-PARAMETER PROCESSES. [D] . ZONE, GARY. 1973

机译：集总参数过程和分布式参数过程的二阶最优控制算法。
6. ICA analysis of fMRI with real-time constraints: an evaluation of fast detection performance as function of algorithms parameters and a priori conditions [O] . Nicola Soldati, Vince D. Calhoun, Lorenzo Bruzzone, 2013

机译：具有实时约束的fMRI的ICA分析：根据算法参数和先验条件对快速检测性能的评估
7. P1007Aortic root diameters and aortic regurgitation in hypertensive patients and normal subjectsP1008Ultrasonic assessment of backscatter signal intensity of the right ventricle in patients with arterial hypertension as a method of measuring alterations of myocardiumP1009Speckle strain echocardiography for the evaluation of left ventricular dyssynchrony in patients with severe lung diseases and pulmonary hypertensionP1010Impaired left ventricular ejection fraction in a cohort of systemic sclerosis patients: clinical and echocardiographic characteristicsP1011Prognostic role of subclinical left ventricular systolic dysfunction evaluated using strain imaging by speckle-tracking echocardiographyP1012Inferior vena cava diameter is a strong and practical marker of physical activity and fitnessP1013When the heart works for two: morphologic and functional adaptation during pregnancyP1014Extensive use of lung ultrasound in pediatric cardiac surgery: preliminary experienceP1015Asymptomatic delayed right ventricular perforation by cardiac implantable electronic devices lead, echocardiographic featuresP1016Novel echocardiographic prognostic markers for cardiac tamponade in patients with large malignant pericardial effusions. A paradigm shift from flow to tissue imagingP1017Doppler echocardiographic parameters as a marker of cardiac tamponadeP1018Sigmoid septum as a marker of elongation of thoracic aorta caused by progression of atherosclerosisP1019Carotid artery atherosclerosis and stiffness: comparison of different metabolic measuresP1020Feasibility of triple imaging vasodilator stress echo in patients with suspected coronary artery diseaseP1022The use of combined echo and cardio-pulmonary stress for discriminating cardiac problems from de-conditioning in patients with dyspneaP1023Long-term prognosis of a stress echocardiography in patients after successful primary percutaneous intervention and incomplete revascularization of non-culprit lesionsP1024Diastolic exercise stress echo can unmask diastolic dysfunction in type 2 diabetes, a five-year follow-up studyP1025Diabetes mellitus is the major limitation for diagnosis of coronary artery disease assessed by semisupine ergometer stress echocardiographyP1026Longitudinal changes of atherosclerotic features in the aorta on transcatheter aortic valve implantation using transesophageal echocardiographyP1027Severe aortic stenosis: comparison between effective and anatomical aortic?valvular area by two and three dimension transesophageal ecocardiographyP1028Region growing method provides better left ventricular volume and cardaic output measuringP10293 dimensional echocardiographic evaluation of mitral valve geometry in patients with secondary and primary mitral regurgitationP1030The impact of adjustable region of interest on ventricular strain measurements and arrhythmic risk assessment in patients with hypertrophic cardiomyopathyP1031Left ventricular strain at presentation predicts long-term outcome in ALCAPA patientsP1032Global atrial-ventricular strain as a new index of subclinical left heart dysfunction in hypertensive and diabetic patients [O] . O. Vriz, S. Ivanov, M. Szulik, 2016

机译：高血压患者的根直径和主动脉反转和正常主动脉的动脉高压患者右心室反散射信号强度的正常主动脉强度评估，作为测量严重肺病患者患者肌动脉高压肌动脉高压肌动脉高血压菌菌菌菌变化的方法。肺动脉高压患者患者患者群中左心室射血分数：临床和超声心动图特征P1111811潜临床左心室收缩功能障碍使用散斑跟踪超声心动图1012121221212121212121212121212121212121212121212121212121212121212121121212121212121111111111111111111111111111111111111111111111111111121212121212121211为本的适用于两种：在儿科心脏外科肺超声中妊娠期妊娠期间的形态学和功能适应：初步体验P1015Asymptomatic延迟编右心室穿孔通过心脏植入式电子设备导致，超声心动图featuresP1016Novel超声心动图预后标志物，从而在患者心脏压塞与大恶性心包积液。从流动到组织imagingP1017Doppler超声心动图参数模式转变为心脏tamponadeP1018Sigmoid隔膜的标志物所造成的atherosclerosisP1019Carotid动脉粥样硬化和刚度的进展胸主动脉的伸长率的标志物：在患者三重成像血管扩张应力回波的不同代谢measuresP1020Feasibility的比较疑似冠状动脉疾病P11022在成功的原发性经皮干预后患者的呼吸困难超声心动图和非罪魁祸首后的患者应激超声心动图患者患者的患者中患者中的患者歧视患者歧视心脏病患者的歧视和心动肺胁迫。患者中的应激超声心动图和非罪魁祸首P11024diaaltolic运动压力回声的不完全血运2型糖尿病患者中的露起舒张功能障碍，五年后续研究1025Dabetes Mellitus是SemiSupine Ergometer超声心动图1026评估冠状动脉疾病诊断的主要限制在主动脉上的动脉粥样硬化的特征纵向变化导管主动脉瓣植入使用经食道echocardiographyP1027Severe主动脉瓣狭窄：由两个和三个有效和解剖主动脉瓣区域之间的比较尺寸经食道ecocardiographyP1028Region生长方法提供了更好的左心室体积和cardaic输出measuringP10293维超声心动图评估二尖瓣患者的心室应变测量，并在患者就诊时肥厚cardiomyopathyP1031Left室劳损性心律失常的风险评估利率调整区域的中小学二尖瓣regurgitationP1030The影响阀几何预测长期结局ALCAPA patientsP1032Global心房心室株为新的索引高血压和糖尿病患者亚临床左心功能障碍
8. Refinement and evaluation of helicopter real-time self-adaptive active vibration controller algorithms [R] . Davis, M. W. 1984

机译：直升机实时自适应主动振动控制器算法的改进与评估

Build and evaluation of real-time control algorithms in case of incomplete information about functional processes' parameters

摘要

著录项

相似文献

相关主题

期刊订阅