【摘 要】
：
研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的
【机 构】
：
华东理工大学计算机科学与工程系!上海200237,华东理工大学计算机科学与工程系!上海200237
论文部分内容阅读
研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对 CFSM模型进行分析和验证奠定了基础
The automaton semantics of CFSM model is studied and an algorithm is proposed to convert from CFSM to automaton. The core idea of this algorithm is to construct a finite state automata system including control automaton, input automaton and output automaton, and simulate the asynchronous behavior of CFSM by the synchronization of automata. The work in this paper lays the foundation for the further analysis and verification of the CFSM model by using automaton theory and tools
其他文献
用 H3PO4、ZnCl2 等活化剂分别制备了两种化学活化的活性碳纤维(HPSACF 和 ZCSACF),并通过水蒸汽活化制备了水蒸气活化活性碳纤维(SACF).研究了它们对水溶液中 Ag(NH3)2+ 的
本文介绍了浙江北仑发电厂二期工程(3×600 MW)机组消防系统的组成、设置.
针对传统Web数据库三层体系结构不足,综合B/W系统与C/S系统的优点,本文提出了一种新的Web数据库系统的B/W/D/C四层体系结构.并给出了对于四层体系结构在物理上的精简实现.
叙述了从不同渠道收集的12个样品理化性能的测定结果.结果表明:改性后的田菁胶各种性能指标均接近国外进口的瓜尔胶,是瓜尔胶理想的替代品.
提出并分析了一种全新的反馈型随机神经网络模型 ,该模型不同于常见的Boltzmann机 ,它不直接使用随机激活函数而是采用了随机型加权连接 ,神经元为简单的非线性处理单元 .揭
对食品中牛磺酸的各种测定方法进行了介绍,并对各自的优劣性进行了比较.荧光法和单磺酰氯柱前衍生法具有选择性好,操作简便,不需要昂贵的仪器;氨基酸自动分析法和高效液相色
河流携带的泥沙进入水库后 ,由于河流水体与水库水体的共同作用而在河口区产生沉降。理论上水体中的泥沙含量是与距入库口处的空间距离相关的。并且 ,根据实验与模拟的结果 ,在可见光的任一波段内 ,水体中的含沙量与水面反射率具有一定的相关关系。TM影像的第二、三波段刚好位于含沙水体反射光谱的肩部和峰值部分 ,可以准确地反映水体的含沙情况。以潮河与密云水库的交接处为例 ,在泥沙含量与反射率负指数关系式的基础
对线性啁啾光纤光栅的色散补偿性能进行了数值分析。结果表明 ,啁啾光栅时延曲线的纹波大小和线性度是影响其色散补偿性能的两个重要因素。对高斯型耦合系数分布光栅而言 ,更
提出并实验了一种有温度补偿的用于测量应力的光纤光栅传感系统。该系统用一组光纤光栅作为温度传感元件 ,对另一组应力传感的光纤光栅作温度补偿 ,有效地消除了由于温度变化而带来的应力测量误差。用一个应变仪作为系统的读出设备 ,使系统的测量结果的线性拟合度达 0 999。
利用有效微生物(Effective Microorganisms,简称EM)的富集培养液进行絮凝试验.试验结果表明:(a)EM的富集培养液对于高岭土溶液有较好的絮凝效果,絮凝率达到80%左右,显示出广