矩形自动机相关论文
混合系统的形式验证方法是从理论计算机科学中发展而来,是混合系统研究的一个热点和难点.该文所有论述均围绕着解决混合系统的形式......
针对PLC等逻辑控制器控制连续对象的可靠性问题,给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过对其商迁移的可达性分......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......