论文部分内容阅读
Program Monitoring Based on Automaton Simulation
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2013年2期
其他文献
Microscopic techniques were employed to investigate element enrichment characteristics in the vicinity of the interfacial transition zone (ITZ) of MgO concrete.
期刊
In this paper, an approximate analytical algorithm in the form of direct Fourier reconstruction is obtained for the reconstruction of data functions arisen from п-scheme short-scan single-photon emiss
期刊
目的：研究余甘子叶和蒲葵子的抗癌有效成分及其配伍的最佳剂量组合。 方法：1.在体外实验，采用MTT法、测定化合物A、化合物B、化合物C、化合物D对人肝癌细胞株Bele7404、人胃
We develop a new video-based motion analysis algorithm to determine whether two persons have any interaction in their meeting. The interaction between two persons can be very general, such as shaking
期刊
本文介绍了一种用来控制移动机器人组成链式网络并修复通讯连接的自适应分布式机器人合作算法。开发了单层链式伸展算法和双层链式伸展算法,使得移动机器人可以对开放式环境
Novoveská Huta附近的二叠系岩层中,铀、钼和铜矿化呈层状和脉状产出。矿石矿物主要有品质铀矿、铀-钛氧化物、硅铀矿、辉钼矿、黄铜矿、砷黝铜矿和黄铁矿。在层状矿体的矿
To support withdrawing and storing money from all levels of the bank for the customers in the real world, in this paper, we propose a proxy blind signature sche
期刊