排序方式: 共有8条查询结果,搜索用时 125 毫秒
1
1.
2.
3.
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。 相似文献
4.
在集体合同普遍签订的同时,出现了集体合同形式化现象。这是由于地方政府角色错位、在劳动法制模式转换中,操之过急”导致的。要将政府角色归位应做到推动但不干预、保障但不干涉。 相似文献
5.
地震应急预案是地震应急救援的重要组成部分,是对突发地震灾害应急响应和全程管理的操作指南。阐述了地震应急预案在地震应急中的作用和使用现状,指出了数字化地震应急预案的意义。从地震应急预案的形式化描述、数字化建模和地震应急预案数字化系统与其它地震应急技术系统的集成等方面探讨了地震应急预案数字化的关键技术。 相似文献
6.
公众参与要更加注重实效,避免形式化。在公众参与过程中,无论是程序的设计,还是参与方式方法的运用,都要从实效原则出发。公众参与是我国环保立法的一项基本原则,但在工作实践中我们发现,除了《环境影响评价法》外,我国现行环境保护法和其他单项法律、法规等,至今还没有很好地解决这个问题。公众参与理论起源于英国普通法上的"自然公正原则",即"任何权力必须公正行使,对当事人不利的决定必须听取他们的意见"。公众参与是指社会群众、社会 相似文献
8.
1.安全活动是过程。安全活动是安全管理工作的一个过程,安全工作是一项没有终点的工作,没有节假日和休息日。各层级安全管理者应将所开展的安全活动由形式化向行事化转变,再由行事化过渡到规范化、习惯化及标准化,通过坚持不懈、日积月累地开展形式多样 相似文献
1