位置：立项数据库 > 立项详情页
信息物理融合系统的基础研究
  • 项目名称：信息物理融合系统的基础研究
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：61061130541
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：朱惠彪
  • 依托单位：华东师范大学
  • 批准年度：2010
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 10
  • 55
  • 1
  • 1
  • 0
期刊论文
Continuous KAOS, ASM, and Formal Control System Design Across the Continuous/Discrete Modeling Inter
An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking
三值逻辑证明系统及正例与反例的提取
Efficient controller synthesis for a fragment of \(\hbox {MTL}_{0, \infty }\)
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Lang
Algebraic Approach to Linking the Semantics of Web Services
会议论文
Formal Approaches to Wireless Sensor Networks
Formalising the Continuous/Discrete Modeling
Formal Approaches to Mode Conversion and Positioning for Vehicle System
From Requirements to Development: Methodology and Example
Linking the Semantics of BPEL using Maude
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study
Linking Operational Semantics and Algebraic Semantics for Wireless Networks
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System
A Calculus for Mobile Ad Hoc Networks from a Probabilistic Perspective
Formalizing Hybrid Systems with Event-B
Denotational Semantics for a Probability Timed Shared-Variable Language
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs
A Denotational Model for Interrupt-Driven Programs
Formal Analysis of AODV Using Rely-Guarantee
A Timing Verification Framework for AUTOSAR OS Component Development based on Real-Time Maude
Combinatorial Testing on ID3v2 Tags of MP3 Files
A Unifying Approach to Validating Specification-Oriented XML Constraints
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions
Formal Modelling and Analysis of AODV
A Type System for SPARDL
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice
Bisimulation for Lattice-valued Transition Systems
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
Formal Model of Interrupt Program from a Probabilistic Perspective
Modeling and Verifying the Code-Level OSEK/VDX Operating System With CSP
Approximate Simulation for Metric Hybrid Input/Output Automata
Formalizing Application Programming Interfaces of the OSEK Operating System
An Event-B Interpretation for SPARDL Model
Continuous Behaviour in Event-B: A Sketch
A Clock-based Framework for Construction of Hybrid Systems
Hybrid Relation Calculus
Towards a Modeling Language for Cyber-Physical Systems
Modeling and Verifying the Ariadne Protocol Using CSP
ASM and Controller Synthesis
Investigating Time Properties of Interrupt-Driven ProgramsProc SBMF 2012: 15th Brazilian Symposium o
Complementary Methodologies for Developing Hybrid Systems with Event-B
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude
A Denotational Model for Instantaneous Signal Calculus
xBIL–A Hardware Resource Oriented Binary Intermediate Language
Formal Verification and Simulation: Co-Verification for Subway Control Systems
LTL Satisfiability Checking Revisited
Requirement Specification for Transportation Cyber Physical Systems
Multi-View Approach for Modeling Aerospace Cyber-Physical System
Towards a Signal Calculus for Event-Based Syn-chronous Languages
Formal Specification of Automatic DMARF based on CSP
Modeling and Analyzing the \muTESLA Protocol using CSP
Continuous ASM, and a Pacemaker Sensing Fragment
Modeling and Verification of AUTOSAR OS and EMS Application
A Timed CSP Model for the Time-Triggered Language Giotto
Cascade: A Test Generation Tool for Combinatorial Testing
Profile Directed Systematic Testing of Concurrent Programs
MDM: A Mode Diagram Modeling Framework
An Approach to Requirement Analysis for Periodic Control Systems
专利
汽车电子器件中断安全隐患检测系统及其检测方法
获奖
基于模型的可信软件理论与开发方法
朱惠彪的项目
信息物理融合系统的基础研究
期刊论文 5
Web事务的模型和语义研究
期刊论文 7 会议论文 23