標題: Titlebook: Hybrid and Real-Time Systems; International Worksh Oded Maler Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1997 Steuersyst [打印本頁] 作者: CHARY 時間: 2025-3-21 19:34
書目名稱Hybrid and Real-Time Systems影響因子(影響力)
書目名稱Hybrid and Real-Time Systems影響因子(影響力)學科排名
書目名稱Hybrid and Real-Time Systems網(wǎng)絡(luò)公開度
書目名稱Hybrid and Real-Time Systems網(wǎng)絡(luò)公開度學科排名
書目名稱Hybrid and Real-Time Systems被引頻次
書目名稱Hybrid and Real-Time Systems被引頻次學科排名
書目名稱Hybrid and Real-Time Systems年度引用
書目名稱Hybrid and Real-Time Systems年度引用學科排名
書目名稱Hybrid and Real-Time Systems讀者反饋
書目名稱Hybrid and Real-Time Systems讀者反饋學科排名
作者: Complement 時間: 2025-3-21 22:08
Amir Pnuelis an Interval Type-2 Fuzzy Cellular Model (IT2-FCM) applied to the dynamics of a uni-specific population. In ecology is known that in the dynamics of all population, the reproduction, mortality and emigration rates are not constants, and its variability is induced by a combination of environment fac作者: 無可非議 時間: 2025-3-22 01:04 作者: Loathe 時間: 2025-3-22 05:39 作者: 著名 時間: 2025-3-22 11:54 作者: 真實的你 時間: 2025-3-22 16:43
Jean-Fran?ois Raskin,Pierre-Yves Schobbensic Algorithms (GA’s) for optimization. In this paper we consider pattern recognition with ensemble neural networks for the case of fingerprints to the test proposed method of response integration. An ensemble neural network of three modules is used. Each module is a local expert on person recognitio作者: AMBI 時間: 2025-3-22 19:34 作者: Fillet,Filet 時間: 2025-3-22 22:24
Vlad Rusutus periodically. The process information time-lagging and human-error may occur. These causes may defect the output products and reduce manufacturing productivity. This research paper proposes a real-time and automatic machine display tracking system. The proposed real-time seven-segment LED displa作者: Iniquitous 時間: 2025-3-23 01:32 作者: 懶惰民族 時間: 2025-3-23 09:26
Frédéric Boniol,Augusto Burgue?o,Olivier Roux,Vlad Rusuessages at the nano- or micro-nano scale for information exchange and collaboration. Clock synchronization between nanomachines plays an important role in collaboration. The current researches on the synchronization between nanodevices mainly focus on fixed MC systems. However, the movement of nanod作者: Projection 時間: 2025-3-23 13:11 作者: 水獺 時間: 2025-3-23 17:19 作者: Brittle 時間: 2025-3-23 20:23 作者: ENACT 時間: 2025-3-23 22:57
Shankar Sastrywo cables are employed to deliver force distally from proximal motors, which has potential weight, speed, and safety benefits. Cables are only capable of pulling, not pushing. As a result, the puller–follower idea is commonly used; two cables are coupled to a handle or an end-effector and are contro作者: 小溪 時間: 2025-3-24 06:19 作者: 口訣法 時間: 2025-3-24 09:30
Antonio Cerone,Alex J. Cowie,George J. Milne,Philip A. Moseleyfunctions of the body, such as muscle strength, jumping, and muscle endurance. .: The participants were divided into EMS squat group (ESG), squat group (SG), and control group (CoN) without squat exercise, and measured all subjects. Squat exercise was performed at 90° knee flexion with broad legs an作者: Panacea 時間: 2025-3-24 13:51 作者: Misgiving 時間: 2025-3-24 15:18 作者: 開始沒有 時間: 2025-3-24 21:13
Myla Archer,Constance Heitmeyered in this chapter considering the effects of substrate roughness and film thickness. It demonstrates that the normal adhesion force of the nanofilm on rough substrate depends significantly on the geometrical parameters of substrate. When the film length is larger than the wavelength of the sinusoid作者: prostate-gland 時間: 2025-3-25 01:18
David Sinclairof bio-inspired fibrils, are investigated. It is found that the adhesion force of a mushroom-shaped fibril in perfect contact with a rigid substrate decreases with the increase of peeling angle, but it will increase with an increasing flange thickness at a determined peeling angle. With the same con作者: 替代品 時間: 2025-3-25 06:52
Relating high-level and low-level action descriptions in a logic of actions and change, description has a hybrid character, involving both continuous and discrete change; the effect description is wholly or predominantly discrete. Both descriptions are expressed in a logic of actions and change, with extensions for characterizing continuous change, discontinuities, the distinction bet作者: 時代 時間: 2025-3-25 10:44
A new algorithm for discrete timed symbolic model checking,ficient ROBDD techniques are no more applicable or the semantics becomes counter intuitive..In this paper, we present a new approach to symbolic QCTL (Quantitative CTL) model checking. In contrast to previous approaches we use an intuitive QCTL semantics, provide an efficient model representation an作者: Prostatism 時間: 2025-3-25 14:57
State clock logic: A decidable real-time logic,ent Clock automata of Alur et al [6]. Unlike timed automata [4], they are complementable and thus language inclusion becomes decidable. SC automata and SC logic are less expressive than timed automata and MITL but seem expressive enough in practice. A procedure to translate each SC formula into a SC作者: Condescending 時間: 2025-3-25 16:38 作者: concubine 時間: 2025-3-25 20:34 作者: patriarch 時間: 2025-3-26 02:56
Comparing timed c/e systems with timed automata (abstract),m an “equivalent” timed automaton. Equivalence has to be understood as describing the same set of trajectories. A benefit from providing such a function is that analysis tools developed for timed automata can now be applied to analyze timed c/e systems. We also provide an effective function that tra作者: 考博 時間: 2025-3-26 05:37
Design tools for hybrid control systems,ystem design, are described here. These extensions allow the management of discrete events such as mode switching. The Framework provides a highly automated path from a control engineering specification to a distributed system implementation. Simulink, an extension to Matlab, is used to specify cont作者: Antioxidant 時間: 2025-3-26 11:35 作者: Cubicle 時間: 2025-3-26 13:05 作者: choroid 時間: 2025-3-26 18:14 作者: 出血 時間: 2025-3-26 21:20 作者: BURSA 時間: 2025-3-27 03:37 作者: Confound 時間: 2025-3-27 06:05
Safety verification for automated platoon maneuvers: A case study, formally, using the hybrid input/output automaton model of Lynch, Segala, Vaandrager and Weinberg [7]. A key safety requirement of such a system is formulated, namely, that the two platoons never collide at a relative velocity greater than a given bound ... Conditions on the controller of the secon作者: AXIOM 時間: 2025-3-27 11:21 作者: Libido 時間: 2025-3-27 15:26
Using an object-oriented methodology to bring a hybrid system from initial concept to formal definiure. Because a real-time embedded system interacts and controls a real world system, issues such as . and . can be critically important. The failure of such a system to meet it . and . constraints can result in large economic costs and the loss of life. The behaviour of such systems needs to verifie作者: 滋養(yǎng) 時間: 2025-3-27 19:46
978-3-540-62600-8Springer-Verlag Berlin Heidelberg 1997作者: overweight 時間: 2025-3-27 23:54
Hybrid and Real-Time Systems978-3-540-68330-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 不可磨滅 時間: 2025-3-28 02:27
https://doi.org/10.1007/BFb0014706Steuersysteme; computer; computer science; control systems; embedded systems; hybrid systems; real-time sy作者: Introvert 時間: 2025-3-28 06:23 作者: maudtin 時間: 2025-3-28 12:33 作者: 令人心醉 時間: 2025-3-28 15:15
A case study in timed CSP: The railroad crossing problem,We use timed CSP, which is an extension of the formal method CSP to problems with a real-time component, to tackle a benchmark problem for real-time systems, the railroad crossing problem.作者: 樂章 時間: 2025-3-28 18:46
Analysis of slope-parametric hybrid automata,operty to be verified. The problem is shown decidable in some practical situations (e.g. finding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based symbolic analysis and it involves reasoning about polyhedra with parametric shapes.作者: aesthetic 時間: 2025-3-29 02:33
Modelling a time-dependent protocol using the Circal process algebra, concurrent systems. Although Circal is a discret formalism, it permits the analysis of interesting aspects of timed systems. We utilise the Circal System, a mechanisation of Circal, to automatically verify the correctness of an audio control protocol.作者: 抵消 時間: 2025-3-29 06:37
uses exchange mutation (EM) operator. Finally, the practical production data of the aluminium factory is used to verify the validity and practicability of the method, and the results show that this method can obtain a feasible solution for the user to choose suitable solutions, and avoid the defect作者: 提煉 時間: 2025-3-29 07:43
Amir Pnueliies described by the dynamics of the population present a better stability in the time and space. The validation of the model was made within a comparative frame using the results of another research where a FCM were used to describe the dynamics of a population.作者: Estimable 時間: 2025-3-29 15:16 作者: gustation 時間: 2025-3-29 18:17
Erik Sandewallies described by the dynamics of the population present a better stability in the time and space. The validation of the model was made within a comparative frame using the results of another research where a FCM were used to describe the dynamics of a population.作者: predict 時間: 2025-3-29 22:32
Jürgen Ruf,Thomas Kropffunction of The Type-1 Fuzzy Logic and Type-2 Fuzzy logic to test the proposed method of response integration and finally show the comparison of the results between these methods. We show in this paper a comparative study of fuzzy methods for response integration and the optimization of the results 作者: 歪曲道理 時間: 2025-3-30 01:47
Jean-Fran?ois Raskin,Pierre-Yves Schobbensfunction of The Type-1 Fuzzy Logic and Type-2 Fuzzy logic to test the proposed method of response integration and finally show the comparison of the results between these methods. We show in this paper a comparative study of fuzzy methods for response integration and the optimization of the results 作者: aquatic 時間: 2025-3-30 07:32
Thomas A. Henzinger,Orna Kupferman y diabetes pharmacology for large periods. Although the view of this work is theoretical and prospective, it is based entirely in closed-form physics equations that sustain the main claim of this paper: electric interactions driven by charged nano particles would be a window to stop the progress of作者: pulmonary-edema 時間: 2025-3-30 11:50
Vlad Rusuwork. The RSDC can track the machine’s display and interpret the camera images to numerical data using the machine learning technique to handle the installation problems. The experiment result shows that the proposed ISS framework has an interpretation accuracy of 91.1%.作者: fender 時間: 2025-3-30 12:23
Luming Lai,Phil Watsond 2) calculate the quality score of each R-peak annotations detected in 1) according to the ECG waveform features including kurtosis, skewness and the frequency band power ratio, then exclude the wrong annotations based on the quality scores. The proposed method was evaluated on two databases: MIT-B作者: 我不重要 時間: 2025-3-30 18:52
Frédéric Boniol,Augusto Burgue?o,Olivier Roux,Vlad Rusurmation, the clock offset and the distance between mobile nanodevices in nanonetworks are estimated by the least-square method. By using different types of molecules, the challenge of the varying synthesis time of the molecule is overcome. The simulation results show the effectiveness of the propose作者: 暫停,間歇 時間: 2025-3-31 00:44 作者: 內(nèi)部 時間: 2025-3-31 03:18 作者: GRATE 時間: 2025-3-31 05:30 作者: Intractable 時間: 2025-3-31 12:11 作者: bronchiole 時間: 2025-3-31 17:09
John Lygeros,Claire Tomlin,Shankar Sastryy?and Automated Endoscopic System for Optimal Positioning lead to several advantages as these methods provide less aggressive treatments and provide better results in terms of blood loss and faster recovery. Furthermore, Internet of medical things addresses numerous health conditions such a vital bi作者: nonsensical 時間: 2025-3-31 20:47 作者: textile 時間: 2025-4-1 00:11 作者: sphincter 時間: 2025-4-1 02:30
Ekaterina Dolginova,Nancy Lynchh adhesive performance and flaw tolerance of such a composite product coming from a single, rather simple, type of silk glands. These principles contradict, in many regards, the paradigms of adhesives design and application, like aimed homogeneity of the bonding. Understanding the function of silk a作者: Critical 時間: 2025-4-1 09:54
Myla Archer,Constance Heitmeyert is inferred that gecko may achieve an optimal spatula thickness not only to follow rough surfaces but also to saturate the adhesion force. The results in this study may be helpful for understanding how geckos overcome the influence of natural surface roughness and possess such adhesion to support 作者: 民間傳說 時間: 2025-4-1 11:24
David Sinclairl is further found, above which the adhesion force attains the maximum. For a multi-fibril structure, the phenomenon of almost equal load sharing for each fibril is verified numerically, which is consistent with the existing experimental observation.作者: Diverticulitis 時間: 2025-4-1 14:31
A new algorithm for discrete timed symbolic model checking,olically, we generalize the notion of characteristic functions. These functions are represented using multi-terminal BDDs (MTBDDs). The paper presents the new model checking algorithm as well as experimental results, showing the efficiency of the new approach.作者: 毗鄰 時間: 2025-4-1 21:51
From quantity to quality,l-checking problem for TCTL, a continuous-time extension of the logic CTL, is PSPACE-complete..In this paper we suggest a reduction from TCTL model checking to CTL model checking. The contribution of such a reduction is twofold. Theoretically, while it has long been known that model-checking methods作者: COMA 時間: 2025-4-2 02:26
On-Line, reflexive constraint satisfaction for hybrid systems: First steps, its associated convergence properties are discussed. The philosophy has been successfully applied to a robot‘s maintaining collision avoidance while under higher-level control, viz. path planners and teleoperation. The system operates on-line in real-time; in executing collisionfree motions, the ro
