【摘 要】
：
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动作的映射关系.在本文中,我们主要针对以线性
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室,中国科学院研究生院,苏州大学计算机学院
论文部分内容阅读
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动作的映射关系.在本文中,我们主要针对以线性时序逻辑（LTL）描述的可达性作为获胜目标,进行合成策略的发现.文中介绍了一种采用on-the-fly思路的合成算法,以规避状态数目太多带来的内存溢出问题.文中算法是对文献[1]的一种扩展,该算法主要用于解决基于分支时序逻辑（CTL）的控制器合成.另外,我们实现了相关的控制器合成工具CTAV/TGA（Timed Gamed Automata）,
其他文献
洋葱含丰富维生素、钙磷等矿物质。可用于维生素缺乏症，治疗非痢疾性肠炎，降低血糖。切碎装入布袋放在枕边，临睡前闻一闻，有镇静催眠的作用。研究表明：洋葱中含有的抗血小板凝固成
传统的统计口径已经不能真实反映中国货币流动性的创造。一直以来我国的货币政策框架对金融市场的关注程度不高,但近年间中国金融发展的广度和深度都有了非常大的变化。因此,
皮瓣的命名及其解剖学依据钟世镇，徐达传皮瓣的研究发展迅速，新的供区大量涌现，应用目的灵活多样，命名上的见仁见智在所难免。综观现有文献资料，同一名词可能蕴含着不同的解剖学结
目的研究院前创伤患者的流行病学特征,提高对创伤患者的救治能力。方法通过对2008年1月~2010年12月3年间笔者所在医院院前急救的6 216例创伤患者进行回顾性分析,对患者性别、
铁路车站信号安全控制系统是我国铁路技术体系和装备现代化的重要组成部分,是保障列车安全、可靠、高效运行的核心装备。随着我国铁路向“高速、高密度、重载、信息化、智能化”的方向发展,对于保障铁路列车安全运行的中枢神经—计算机联锁系统提出了新的更高技术要求。在我国铁路交通飞速发展的同时,由于线路运营规模扩大,大量的铁路专用线、厂矿线投入运营,合格的车站信号操作人员急缺问题日益突出。就我国铁路一线操作人员培
区域尺度上的主体功能区划研究对区域规划的实施具有重要意义。选择哈大齐地区作为研究区,从生态敏感性、生态系统服务功能重要性和社会经济发展潜力等方面选择了10个指标,采
越来越多的企业过分注重自身的利润,而忽视其社会责任。为了追逐利润,企业不惜降低产品质量,欺骗消费者,削减员工福利。在很多企业家深信履行社会责任会减少企业利润、丧失竞
文章介绍了用８９Ｃ５１单片机等外部设备，完成语音、数字、汉字寻呼机全兼容及高效ＰＯＣＳＡＧ编码器的设计与实现，并给出了应用实例。使用结果表明，本文设计的编码器具有编码效率高，速度快、可靠性高
为研究枸溶性钾肥配施对烤烟生长及钾素营养的影响,探明利于烤烟栽培应用的枸溶性钾与水溶性钾配施比例,进而为枸溶性钾肥开发及其在烤烟生产上的应用提供参考,以烤烟品种K32
将高校运动队纳入项目管理体系中，结合人本管理理念，对运动队进行多渠道、多元化管理，在复合型教练团队建设，更有效合理地利用有限资源，改进完善激励机制等方面实现运动队训练管理