Deriving real-time action systems in a sampling logic

Action systems have been shown to be applicable for modelling and constructing systems in both discrete and hybrid domains. We present a novel semantics for action systems using a sampling logic that facilitates reasoning about the truly concurrent behaviour between an action system and its environment. By reasoning over the apparent states, the sampling logic allows one to determine whether a state predicate is definitely or possibly true over an interval. We present a semantics for action systems that allows the time taken to sample inputs and evaluate expressions (and hence guards) into account. We develop a temporal logic based on the sampling logic that facilitates formalisation of safety, progress, timing and transient properties. Then, we incorporate this logic to the method of enforced properties, which facilitates stepwise refinement of action systems.     

侧钻水平井机械堵水工艺技术

本文介绍了大庆油田侧钻水平井机械堵水的工艺技术，并从工艺的可行性、安全性、经济合理性进行论证。为确保堵水管柱安全起下，对插入密封段的合理长度进行了理论计算，用计算机程序模拟计算了管柱起下时的受力情况，并给出了计算结果，为侧钻水平井堵水工艺的实施提供了科学的理论依据。     

深井缓倾薄矿脉连续推进强化开采技术

分析了我国缓倾斜薄矿脉开采的现状 ,提出了实现强化开采的新工艺 ,并详细介绍了新工艺中的关键设备水压支柱的研制及帷幕隔离尾砂充填新技术的试验情况     

GYCBL200型厂拌冷再生设备

GYCBL200型厂拌冷再生设备可以对旧沥青路面材料进行厂拌冷再生,具有配料计量精准,全自动,效率高,可连续生产等优点,其搅拌主机采用具有自主知识产权的"连续式"、"强制"、"角度"和"沸腾"的搅拌技术,搅拌力度大,搅拌效率高,混合均匀,搅拌能力最大可达250t/h.介绍GYCBL200型厂拌冷再生设备的工作原理、结构...     

评析一起盐业行政强制执行案

行政强制执行是行政法律制度的重要组成部分，针对行政强制执行的三个特征，从一起普通的盐业行政强制执行案例入手进行了客观的评析，阐述了行政强制执行应当遵循的三个观点。     

强力混捏冷却系统在阴极生产中的应用

主要介绍了中铝贵州分公司碳素厂五成型车间引进的德国爱立许强力混捏冷却系统生产阴极碳素制品,对电阻加热器及强力混捏冷却机的工作原理、工艺过程进行了阐述,分析总结了使用强力混捏冷却系统生产阴极碳素制品的优点。     

光面爆破装药量的确定

从光面爆破岩石破坏形态出发 ,分析了爆炸能量的消耗 ,提出了光面爆破线装药密度 ,炮孔底部加强装药量的计算公式 ,并在工程实践中得到了验证