Skip to main content

7 Result(s)

within Conference Paper Remove this filter Zhongwei Xu Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Port-Based Composable Modeling and Simulation for Safety Critical System Testbed

    While there has been much attention paid to the applications of Modeling and Simulation (M&S) for safety critical system testbed lately, little has been done to address related technology areas that enable M&S...

    Yujun Zhu, Zhongwei Xu, Meng Mei in Web Information Systems and Mining (2012)

  2. No Access

    Chapter and Conference Paper

    A Formal Method for Testing Reactive System from Symbolic Model

    Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test...

    Yongbing Wan, Zhongwei Xu, Meng Mei in Artificial Intelligence and Computational … (2012)

  3. No Access

    Chapter and Conference Paper

    Initial State Modeling of Interlocking System Using Maude

    In order to do formal verification of interlocking system, which is complicated but safety critical, we choose formal specification language Maude for modeling and verification based on membership equational l...

    Rui Ma, Zhongwei Xu, Zuxi Chen, Shuqing Zhang in Computer Engineering and Networking (2014)

  4. No Access

    Chapter and Conference Paper

    New Generation Power System Security Protection Technology Based on Dynamic Defense

    With the development of power information systems and the evolution of attack means, the traditional security protection scheme is difficult to deal with the increasing network attacks. In order to deal with t...

    **aowei Chen, Hefang Jiang, Shaocheng Wu, Tao Liu… in Artificial Intelligence and Security (2022)

  5. No Access

    Chapter and Conference Paper

    A Method for Evaluating Health Status of Rail Transit Signaling Equipment Based on Group Decision

    Aiming at the service lifetime and health status of signaling equipment that rail transit operators are concerned about, this paper proposes a method for evaluating the health status of signaling equipment bas...

    Yijun Chen, Zhongwei Xu, Jianjun Yuan… in Advances in Decision Science and Management (2022)

  6. No Access

    Chapter and Conference Paper

    Research on Music Genre Classification Based on Residual Network

    With the rapid development of information technology, the number of songs is exploding, so the classification of music genres is a very challenging task, and at this stage, the implementation of automated clas...

    Zhongwei Xu, Yuan Feng, Shengyu Song, Yuanxiang Xu… in Mobile Multimedia Communications (2022)

  7. No Access

    Chapter and Conference Paper

    Conf-UNet: A Model for Speculation on Unknown Oracle Bone Characters

    Oracle Bone Characters (OBC) are the oldest developed pictographs in China, having been created over 3000 years ago. As a result of their antiquity and the scarcity of relevant historical sources, identifying ...

    Yuanxiang Xu, Yuan Feng, Jiahao Liu… in Knowledge Science, Engineering and Managem… (2023)