论文部分内容阅读
提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同时，将有限状态机作为ＦＳＭ事务的控制原语，使事务的控制部分得以形式从，从而可实现确认控制自动化。
一角认控制的形式化方法
【摘 要】
：
提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同
【出 处】
：
华中理工大学学报
【发表日期】
：
1999年A01期
【基金项目】
：
国家高技术研究发展计划资助项目! ( 86 3 5 1 195 0 1E30 1 )
其他文献
根据流体力学基本方程组建立了采用平行板叠结构回热器的热声谱管的有源网络模型，为为热声谐振管与制冷机的优化匹配了一种有效的理论工具。
基于三维重建工作中物体截面轮廓线序列中相邻轮廓线基本相似的事实，提出了物体截面轮廓线点集之间三角划分的一种快速算法，算法首先寻找轮廓线的控制法点，对每两条相邻轮廓线的
通过对化学复合镀Ｎｉ－ＳｉＣ复合镀层的研究，找到了制备ＳｉＣ／Ｎｉ－Ｐ功能梯度材料的工艺方法。并采用光学显微镜，电子探针分析仪，透射电镜等方法和手段对ＳｉＣ／Ｎｉ－Ｐ功能梯度材料的组织，形貌和成分进行了研究。结果
提出了一种能有效地克服实际ＰＷＭ逆变器系统中多种非线性和不确定性因素影响的新型输出波形控制技术，该技术在逆变器理想标称模型的基础上针对输出偏差采用非线性Ｂａｎｇ－Ｂａｎｇ控制，并对实际系统
在分析用挤压胀形工艺把无缝管坯一次成形为大变形多通管的可行性的基础上，讨论了各种胀形介质对工艺过程的影响，指出最适合地获取超长支管的胀形介质是流体，给出了坯料计算公式
由半导体光放大器速率方程及泵浦光、探测光在放大器中的传输方程，建立了交叉增益调制波长转换器转换功率与输出消光比关系的小信号理论模型，并在不同泵浦光功率下进行了数值计
建立了应用反向传播学习算法的多层前馈神经网络模型，对混合结构住宅建筑的主要工料消耗进行神经网络计算。以木门木窗和木门钢窗的砖墙住宅建筑为实例的计算结果表明，用神经网
分析了导致ＳＰＷＭ逆变电源输出变压器直流不平衡的几种主要因素－控制系统成的直流分量，脉冲分配及死区引起的直流分量和主电路引起的直流分量，在此基础上提出了两种相应的对策－静态补偿
考虑由两个色噪声驱动的非线性随机系统，将Ｊｕｎｇ和Ｈａｎｇｇｉ的单色噪声统一近似理论推广到双色噪声情形，具体应用到由乘法和加法色噪声同时驱动的双稳系统，计算了定态几率分布，发现在弱加法噪声
对注塑模具以及制品的冷却过程进行分析，从热力学基本理论出发，引入合理的假设和简化，建立了注塑冷却过程的数学模型，采用边界元法和有限差分法耦合求解模具和制品的温度分布。