2篇
您的检索式：作者名="Naijun Dong"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL显示文摘Train control systems like most digital controllers are, by definition, hybrid systems as they interact with or try to control some aspects of the physical world. Detailed behavior modeling with constraints specification and formal verification, required for reliability prediction, is a great challenge for hybrid system designers.Train control systems further intensify this challenge with extensive interaction between computing units and their physical environment and their mutual dependence on each other. In this paper, we investigate behavior modeling and formal verification of Chinese Train Control System Level 3(CTCS-3) using Architectural Analysis & Design Language(AADL) to cope with this challenge. AADL is an architecture description language for embedded systems and is based on model-based engineering paradigm. Along with structural modeling of embedded systems using the core language constructs, AADL also provides support for language extension through annex sublanguages. In system requirements specification document, the behavior of the CTCS-3 is specified as a set of basic operation scenarios that cooperate with each other to achieve safe and secure functionality of trains.Movement Authority(MA) scenario, explored in this paper, is considered as a basic and most crucial scenario to prevent trains from colliding with each other. The detailed discrete behavior of control system is modeled and verified using the Behavior Language for Embedded Systems with Software(BLESS) annex sublanguage of AADL, and the continuous behavior of train with the cyber–physical interaction(communication between train and control system) is modeled using the Hybrid annex sublanguage. The behavior of the MA scenario at system level is verified using the Hybrid Hoare Logic theorem prover. Behavior constraints are specified as assertions using first-order logic formulas augmented with a simple temporal operator. | AHMAD Ehsan DONG YunWei LARSON Brian Lü JiDong TANG Tao ZHAN NaiJun | 2015 | Science China(Information Sciences)2015，58，11： | 4 |
| 2 | Promoting oral mucosal wound healing using a DCS-RuB_(2)A_(2) hydrogel based on a photoreactive antibacterial and sustained release of BMSCs显示文摘The high occurrence rate and difficulties in symptom control are listed as the major problems of oral mucosal disease by medical professionals.Following the development of oral mucosal lesions,the oral microenvironment changes,immunity declines,and continuous bacterial stimulation causes wound infection.Traditional antibacterial drugs are ineffective for oral mucosal lesions.To overcome this problem,a light-responsive antibacterial hydrogel containing sustained-release BMSCs was inspired by the trauma environment in the oral cavity,which is different from that on the body surface since it mostly remains under dark conditions.In the absence of light,the hydrogel seals the wound to form a barrier,exerts a natural bacteriostatic effect,and prevents invasion by foreign bacteria.Simultaneously,mesenchymal stem cells are presented,and the released growth factors and other substances have excellent anti-inflammatory and angiogenic effects,which result in rapid repair of the damaged site.Under light conditions,after photo-induced shedding of the hydrogel,RuB_(2)A exerts an antibacterial effect accompanied by degradation of the hydrogel.Results in a rat oral mucosal repair model demonstrate that DCS-RuB_(2)A_(2)-BMSCs could rapidly repair the oral mucosa within 4 days.Sequencing data provide ideas for further analysis of the intrinsic molecular mechanisms and signaling pathways.Taken together,our results suggest that this light-responsive antibacterial hydrogel loaded with BMSCs can be used for rapid wound repair and may advance the development of therapeutic strategies for the treatment of clinical oral mucosal defects. | Wenxin Qi Naijun Dong Lingling Wu Xueqi Zhang He Li Hao Wu Natalie Ward Jian Yu He Liu Jiao Wang Xiaoyong Deng Robert Chunhua Zhao | 2023 | Bioactive Materials2023，，5： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员