运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

查询重写在查询优化中的应用

查询优化是数据库系统设计和实现所采用的一项重要技术,也是影响数据库系统性能的一个关键因素。针对用户对查询效率要求较高的特点,对SQL查询语句具体的执行过程进行了深入地探讨,并以大连市公安局实际项目——刑事审讯辅助决策支持系统为研究背景,通过建立实视图的方法,对查询进行了重写,切实地提高了数据的查询效率。     

再谈丰田佳美(2.4)遥控器设定

在一次偶然的机会中,本人接手一辆佳美(2.4)轿车,需进行遥控器设定工作。让助手到资料库取来原厂资料,于是按照资料上的每一步骤进行操作,但是无论怎样操作都无法完成遥控器的设定。是在设定时间上未掌握好?还是资料有误?因现在还有一把钥匙可进行遥控,现在只是添加一把钥匙(即     

查询重写在查询优化中的应用

查询优化是数据库系统设计和实现所采用的一项重要技术,也是影响数据库系统性能的一个关键因素.针对用户对查询效率要求较高的特点,对SQL查询语句具体的执行过程进行了深入地探讨,并以大连市公安局实际项目──刑事审讯辅助决策支持系统为研究背景,通过建立实视图的方法,对查询进行了重写,切实地提高了数据的查询效率.     

重写、消费与女性主义——解读厄普代克的小说《葛特露和克劳狄斯》

2000年,约翰·厄普代克出版了风格迥异的个人第19部小说《葛特露和克劳狄斯》。文章在互文性和消费文化理论的背景下,分析这部小说是对莎剧的重写。并指出小说借古喻今、戏仿名人,一方面利用名人意识,另一方面又充满着浓郁的女性主义色彩,是美国消费文化领域的一位操手。