论文部分内容阅读
本文通过对荣华二采区10<
Formal Verification of TASM Models by Translating into UPPAAL
【摘 要】
：
本文通过对荣华二采区10
【机 构】
：
School of Computer Science and Engineering,Beihang University,Beijing 100191,China
【出 处】
：
东华大学学报（英文版）
【发表日期】
：
2012年1期
其他文献
Rapid solidification is regarded as being an effective method to refine the microstructure and reduce or eliminate the segregation of alloying elements.In this
It is important to reveal the performance of carbon/carbon composites subjected to complex loading,which can provide a basis for developing the failure laws of
A process to fabricate a kind of novel micro-nano scaled TiO2/CuS composite fibers by electrospinning technique and chemical precipitation method was developed
An adaptive backstepping sliding mode control is proposed for a class of uncertain nonlinear systems with input saturation.A command filtered approach is used t
Hollow calcium carbonate microspheres prepared in the presence of polyoxyethylene (20) sorbitan mono
Hollow calcium carbonate ( CaCO3 ) microspheres were prepared in aqueous solution with the presence of polyoxyethylene (20) sorbitan monolaurate (Tween20) and s
Extracting the parameters of the multipath with high accuracy can be achieved by using high-resolution algorithm for time-domain ultra wideband (UWB) channel mo
Accumulated low density parity check (LDPCA) codec is proposed for DISCOVER project in distributed video coding (DVC),which offers flexible coding rate.Although
Anti-worm is an effective way to fight against malicious worm and has been followed closely by malicious worm researchers recently.However,active and passive co
In wireless sensor networks,data missing is a common problem due to sensor faults,time synchronization,malicious attacks,and communication malfunctions,which ma
Contact problems are one of the most challenging fields in virtual assembly.Information of contact states could be utilized to realize compliant motion of work