WorldCat Identities

赵余宏

Overview
Works: 56 works in 106 publications in 2 languages and 211 library holdings
Genres: Fiction 
Roles: Author, Editor
Classifications: KNQ3127, 002
Publication Timeline
.
Most widely held works by 赵余宏
Online model checking mechanism and its applications by Yuhong Zhao( )

1 edition published in 2016 in English and held by 16 WorldCat member libraries worldwide

Die vorhandenen Validierungs- und Verifikationstechniken können nicht vollständig sich- erstellen, dass sich die eingebettete Software wirklich wie gewünscht verhält, nachdem sie freigegeben oder eingesetzt wurde. Vor diesem Hintergrund stellen wir einen Online Model Checking Mechanismus vor, um die Korrektheit eines aktuellen Ausführungspfades, anstatt die gesamte Korrektheit der eingebetteten Software, sicherzustellen. Es ist dabei nicht das Ziel, einen schnelleren Model Checking Algorithmus vorzulegen. Die Grundidee des Ansatzes ist es, eine Folge von partiellen Modellen, die den aktuellen Ausführungspfad der zu überprüfenden Software überdecken, während der Systemausführung zu überprüfen. Die Fehler, die in den partiellen Modellen erkannt werden, können mögliche Fehler im Quellcode des zu überprüfenden Systems anzeigen. Die partiellen Modelle entstehen aus dem Verhaltensmodell des zu überprüfenden Systems mittels der aktuellen Zustandsinformation, die während der Laufzeit periodisch aufgenommen wird. Das Online Model Checking Problem reduziert sich zu Online Erreichbarkeitsanalyse, wobei in jedem Überprüfungszyklus nur endlich viele Schritte auf der Modellebene verfolgt werden. Die zu überprüfenden Eigenschaften sind Formeln in Linearer Temporaler Logik. Sowohl Sicherheits- wie auch Lebendigkeitsüberprüfungen lassen sich dabei auf Erreichbarkeitsanalyse während der Laufzeit zurückführen. Mittels Online Model Checking sind wir in der Lage, die Zustände, die sich beliebig tief in dem Zustandsraum befinden, zu erreichen. Dazu können wir auch potenzielle Fehler vorhersagen, selbst wenn der Checking Prozess hinter der Ausführung des zu überprüfenden Systems zurückfällt.. - The existing validation and verification techniques cannot completely ensure that the embedded software does behave as desired after it is released or deployed. Against this background, we present an online model checking mechanism aimed to ensure the correctness of the actual execution trace, instead of the universal correctness, of the embedded software system. Notice that we dont mean to propose a faster model checking algorithm. The basic idea is to check during system execution a sequence of bounded models that cover the actual execution trace of the software system under investigation. Errors detected in the bounded models may indicate potential errors in the source code of the target system. The bounded models are derived from the behavioral model of the target system using the actual state information monitored periodically during system execution. The online model checking problem is reduced to online reachability analysis, which tries to look ahead finitely many steps on the model level. The properties to be checked are specified in linear temporal logic. Because the checking process is done on the model level, both safety and liveness properties can be handled during runtime. By doing model checking online, we are able to reach those states that locate arbitrarily deep in the state space and to predict potential errors even if the checking process falls behind the execution of the target system
Zhongguo di yi bing by Yuhong Zhao( Book )

4 editions published in 2004 in Chinese and held by 13 WorldCat member libraries worldwide

Wei qi xian jing yu dui ce by Yuhong Zhao( Book )

4 editions published between 1998 and 2000 in Chinese and held by 9 WorldCat member libraries worldwide

Wei qi bu ju yi dian tong by Yuhong Zhao( Book )

3 editions published in 1997 in Chinese and held by 8 WorldCat member libraries worldwide

Bao xian mei mei : jiang shu bao xian xiao jie zi ji de gu shi by Yuhong Zhao( Book )

3 editions published in 2002 in Chinese and held by 8 WorldCat member libraries worldwide

Ben shu yi di yi ren cheng de fang shi,Xu shu le zuo wei bao xian xiao jie suo yu dao de ren he shi
Wei qi zhong pan jue sheng by Yuhong Zhao( Book )

3 editions published in 2000 in Chinese and held by 8 WorldCat member libraries worldwide

Wei qi si huo miao suan jue qiao by Yuhong Zhao( Book )

4 editions published in 1999 in Chinese and held by 7 WorldCat member libraries worldwide

Wei qi shou jin qiao yong jue qiao by Yuhong Zhao( Book )

3 editions published in 1999 in Chinese and held by 7 WorldCat member libraries worldwide

Wei qi qi li zi ce yan by Yuhong Zhao( Book )

4 editions published between 1997 and 1998 in Chinese and held by 7 WorldCat member libraries worldwide

Cai liao xiang bian guo cheng wei guan zu zhi mo ni = Simulation for the materials microstructure evolution in phase transformation process by Yuhong Zhao( Book )

2 editions published in 2010 in Chinese and held by 7 WorldCat member libraries worldwide

Ben shu jie shao le cai yong xiang chang fa dui jin shu cai liao chen dian xiang bian he ning gu guo cheng zhong wei guan zu zhi de yan hua jin xing mo ni de li lun mo xing he shi ji suan li, Nei rong bao kuo:xiang chang fa zai he jin chen dian guo cheng zhong de li lun mo xing ji ying yong, Xiang chang fa zai ning gu guo cheng zhong de li lun mo xing ji ying yong deng
Wei qi zhong pan gong fang by Yuhong Zhao( Book )

3 editions published in 2000 in Chinese and held by 7 WorldCat member libraries worldwide

Wei qi chi zi huo li jue qiao by Yuhong Zhao( Book )

3 editions published in 1999 in Chinese and held by 7 WorldCat member libraries worldwide

Wei qi guan zi sheng fu shou by Yuhong Zhao( Book )

4 editions published between 1997 and 1999 in Chinese and held by 7 WorldCat member libraries worldwide

Ying shi chan pin kua wen hua chuan bo yu wo guo wen hua ruan shi li jian she by Yuhong Zhao( Book )

2 editions published in 2015 in Chinese and held by 6 WorldCat member libraries worldwide

Detailed summary in vernacular field only
Zhongguo huan jing fa by Ruilin Jin( Book )

1 edition published in 1998 in Chinese and held by 6 WorldCat member libraries worldwide

Wei qi wu li shou ying dui by Yuhong Zhao( Book )

3 editions published in 2000 in Chinese and held by 6 WorldCat member libraries worldwide

Wei qi xu pan gou si by Yuhong Zhao( Book )

3 editions published in 2000 in Chinese and held by 6 WorldCat member libraries worldwide

Wei qi si huo miao shou by Yuhong Zhao( Book )

3 editions published in 2000 in Chinese and held by 6 WorldCat member libraries worldwide

Wei qi da ru ji dui gong by Yuhong Zhao( Book )

3 editions published in 1998 in Chinese and held by 5 WorldCat member libraries worldwide

Wei qi ding shi qiao yong by Yuhong Zhao( Book )

3 editions published in 2000 in Chinese and held by 5 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.87 (from 0.77 for Zhongguo h ... to 0.94 for Cai liao x ...)

Alternative Names
赵玉宏 (Writer on economic policy)

Languages