Skip to main content

4 Result(s)

within Daohua Wu Remove this filter

and

  1. Article

    Open Access

    A high-speed railway network dataset from train operation records and weather data

    High-speed train operation data are reliable and rich resources in data-driven research. However, the data released by railway companies are poorly organized and not comprehensive enough to be applied directly...

    Dalin Zhang, Yunjuan Peng, Yi Xu, Chenyue Du, Yumei Zhang, Nan Wang… in Scientific Data (2022)

    Download PDF (2342 KB) View Article

  2. No Access

    Article

    Scenario-based system design with colored Petri nets: an application to train control systems

    For the goal of model-based system software development, this paper exploits the formalism of colored Petri nets (CPNs) to design complex systems based on scenarios. The specification of UML sequence diagrams ...

    Daohua Wu, Eckehard Schnieder in Software & Systems Modeling (2018)

  3. No Access

    Chapter and Conference Paper

    Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis

    This paper proposes a new method called formalSTPA which combines Colored Petri Nets (CPN) and System-Theoretic Process Analysis (STPA). Using formal method to extend the STPA includes establishing the system ...

    Shaoqiang Hu, Daohua Wu, Huashen Wang in Proceedings of the 3rd International Confe… (2018)

  4. No Access

    Article

    Observation of two-photon interference with continuous variables by homodyne detection

    We experimentally observed a two-photon interference between a squeezed vacuum state from an optical parametric amplifier and a weak coherent state on a beam splitter with continuous variables. The photon sta...

    Daohua Wu, Kota Kawamoto, **aomin Guo, Katsuyuki Kasai… in The European Physical Journal D (2017)