Search

Your search keyword '"Tang, Zhisong"' showing total 14 results
Start Over Author "Tang, Zhisong"
14 results on '"Tang, Zhisong"'

3. Symbolic Model Checking of Finite Precision Timed Automata

Author

Yan, Rongjie, Li, Guangyuan, Tang, Zhisong, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Van Hung, Dang, editor, and Wirsing, Martin, editor

Published
2005
Full Text
View/download PDF

8. High‐performance work systems, multiple commitments, and knowledge exchange and combination among Chinese public hospital nurses.

Author

Zhang, Bo, Tang, Fangcheng, Sun, Bo, Niu, Yi, Tang, Zhisong, and Sun, Xiangdong

Subjects
OCCUPATIONAL roles, NURSING, INTERNET, MULTIPLE regression analysis, QUANTITATIVE research, PUBLIC hospitals, HOSPITAL nursing staff, FACTOR analysis, NURSES, QUESTIONNAIRES, DESCRIPTIVE statistics, COMMITMENT (Psychology), STATISTICAL sampling, DATA analysis software
Abstract

Aim: This research explores and examines the differentiated mediation roles of multi‐foci commitment in the relationship between HPWS and knowledge exchange and combination among Chinese hospital nurses. Design: This study employs a quantitative research approach and survey design. Methods: Individual‐level time‐lagged data were collected from 845 nurses in public hospitals in China using online questionnaires. Aside from personal information, the items in the questionnaires were adopted from mature scales in previous research. Results: The results of multiple regression analysis demonstrate that nurses' professional and affective commitments partially mediate the relationship between HPWS and KEC. Nurses' continuance commitment does not play a mediation role in HPWS‐KEC relationship, although HPWS positively influences nurse continuance commitment, which then weakly and positively impacts KEC. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

13. A Temporal Logic Semantics for UML Activity Diagrams

Author

Zhu Xueyang and Tang Zhisong

Subjects
Computer Networks and Communications, Programming language, Computer science, Interval temporal logic, Communication diagram, Activity diagram, computer.software_genre, Description logic, Unified Modeling Language, Hardware and Architecture, Semantics of logic, Temporal logic, Class diagram, computer, Software, computer.programming_language
Published
2005

14. Symbolic Model Checking of Finite Precision Timed Automata.

Author

Hung, Dang, Wirsing, Martin, Yan, Rongjie, Li, Guangyuan, and Tang, Zhisong

Abstract

This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FPTAs only record the integer values of clock variables together with the order of their most recent resets. We provide constraints under which the reachability checking of a timed automaton can be reduced to that of the corresponding FPTA, and then present an algorithm for reachability analysis. Finally, the paper reports some preliminary experimental results, and analyzes the advantages and disadvantages of the new data structure. Keywords: Finite precision timed automata, model checking, symbolic methods. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results