|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | An evaluation framework for energy aware buildings using statistical model checking显示文摘Cyber-physical systems are to be found in numerous applications throughout society.The principal barrier to develop trustworthy cyber-physical systems is the lack of expressive modelling and specification formalisms supported by efficient tools and methodologies.To overcome this barrier,we extend in this paper the modelling formalism of the tool UPPAAL-SMC to stochastic hybrid automata,thus providing the expressive power required for modelling complex cyber-physical systems.The application of Statistical Model Checking provides a highly scalable technique for analyzing performance properties of this formalisms.A particular kind of cyber-physical systems are Smart Grids which together with Intelligent,Energy Aware Buildings will play a major role in achieving an energy efficient society of the future.In this paper we present a framework in UPPAAL-SMC for energy aware buildings allowing to evaluate the performance of proposed control strategies in terms of their induced comfort and energy profiles under varying environmental settings(e.g.weather,user behavior etc.).To demonstrate the intended use and usefulness of our framework,we present an application to the Hybrid Systems Verification Benchmark. | DAVID Alexandre DU DeHui LARSEN Kim G. MIKUCIONIS Marius SKOU Arne | 2012 | Science China(Information Sciences)2012，55，12： | 3 |
| 2 | Thermal stability of styrene grafted and sulfonated proton conducting membranes based on poly(vinylidene fluoride)显示文摘 | Hietala S Koel M Skou E | 1998 | J Mater Chem1998，8，5： | 2 |
| 3 | 全膝关节置换术的疗效显示文摘在2012年,美国共进行了670000例全膝关节置换术。由于人口老龄化,全膝关节置换术的数量将会增加,加重未来的经济负担。尽管如此,尚没有随机对照研究来证明全膝关节置换较非手术治疗的有效性。本研究旨在探讨,全膝关节置换术联合术后12周非手术治疗方案,在疼痛缓解和功能改善方面是否优于单纯非手术治疗。研究者纳入了100例经影像学证实的膝关节骨关节炎患者并将其随机分为两组,一组为全膝关节置换术联合术后12周康复的治疗组,另一组为对照组,仅接受12周的康复治疗。 | Skou S 王传杰 吴毅 | 2016 | 中国康复2016，31，1： | 2 |
| 4 | The influence of some cations on all adenosine triphos- phatase from peripheral nerves显示文摘 | Skou J C | 1957 | Biochim Biophys Acta1957，23，2： | 1 |
| 5 | Kinetics of methanol oxidation on carbon-supported Pt and Pt+Ru catalysts显示文摘 | Kauranen PS Skou E Munk J | 1996 | J Electroanal Chem1996，404，： | 1 |
| 6 | The Na-K pump 显示文摘 | Skou J C | 1992 | News Physiol Sci1992，7，1： | 1 |
| 7 | The Danish SAR system:design and initial test显示文摘 | Madson S N Christensen E L Skou N | 1991 | IEEE Trans on GRS1991，29，3： | 1 |
| 8 | Kinetics of methanol oxidation on carbon-supported Pt and Pt + Ru catalysts显示文摘 | KAURANEN P S SKOU E MUNK J | 1996 | Journal of Electroanalytical Chemistry1996，404，1： | 1 |
| 9 | L-Band Radiometers Measuring Salinity From Space: Atmospheric Propagation Effects 显示文摘 | Niels Skou and Dorthe Hoffman-Bang | 2005 | IEEE Trans Geosci Remote sensing2005，43，10： | 1 |
| 10 | Association of knee confidence with pain, knee instability, muscle strength, and dynamic varus-valgus joint motion in knee osteoarthritis 显示文摘 | Skou S T Wrigley T V Metcalf B R | 2014 | Arthritis Care Res ( Hoboken )2014，66，5： | 1 |
| 11 | Perovskites as catalysts for the selective catalytic reduction of nitric oxide with propene:retationship between solid state properties and catalytic activity 显示文摘 | Hansen K K Skou E M Christensen H | 2001 | Catal2001，，199： | 1 |
| 12 | The Na,K-ATPase显示文摘 | SKOU J C | 1992 | J Bioenerg Biomembr1992，24，： | 1 |
| 13 | Wind direction over the ocean determined by an airborne,imaging, polarimetric radiometer system显示文摘 | Laursen B Skou N | 2001 | Geoscience & Remote Sensing IEEE Transactions on2001，39，7： | 1 |
| 14 | Nobel lecture:The identification of the sodium pump显示文摘 | Skou JC | 1998 | Biosci Rep1998，18，： | 1 |
| 15 | Heart rate variability and n-3 polyunsaturated fatty acids in patients with diabetes mellitus显示文摘 | Christensen JH Skou HA Madsen T | 2001 | J Intern Med2001，249，6： | 1 |
| 16 | SiC nanocrystals as Pt catalyst supports for fuel cell applications 显示文摘 | DHIMAN R JOHNSON E SKOU E M MORGEN P ANDERSEN S M | 2013 | J Mater Chem A2013，1，19： | 1 |
| 17 | Bisimulation through probabilistic testing显示文摘 | Larsen K G Skou A | 1991 | Information and Computation1991，94，1： | 1 |
| 18 | The energy coupled exchange of Na^+ for K^+ across the cell membrane : The Na^+, K^+-pump 显示文摘 | Skou J C | 1990 | FEBS Lett1990，268，2： | 1 |
| 19 | Wind direction over the ocean determined by an airborne, imaging, polarimetric radiometer system 显示文摘 | Skou B Laursen and N | 2001 | IEEE Trans Geosci Remote Sensing2001，39，： | 1 |
| 20 | Comparative studies on callose for- mation in powdery mildew compatible and incompatible barley显示文摘 | Skou J Jorgensen J Lilhoh U | 1984 | Journal of Phytopathology1984，109，2： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员