排序方式: 共有108条查询结果,搜索用时 15 毫秒
1.
一看到东方之子,惊艳之余及中却一下子冒出了上面那四个字,连自己都有些意外。这四个字也许可以这样理解:有些端庄,有些典雅,也有些另类。 相似文献
2.
3.
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。 相似文献
4.
论信息网络传播权 总被引:2,自引:0,他引:2
李金玉 《武汉船舶职业技术学院学报》2006,5(5):123-126
2001修订的《著作权法》增加了信息网络传播权,弥补了法律上的空白,为法院审理有关著作权纠纷提供了法律依据。本文在阐述信息网络传播权的内涵、特征的基础上,对法律没有明确规定的信息网络传播权的保护和限制问题进行探讨,以加强和完善我国著作权法对信息网络传播权的保护。 相似文献
5.
6.
确保安全是城市轨道交通建设和运营管理中最重要的职责与任务。介绍了英国城市轨道交通安全法规中的安全管理体系内容、程序和管理,分析了安全管理体系及其安全认证和许可、安全评估和安全评估准则的执行。介绍了伦敦地铁安全认证和许可、审计。提出借鉴英国的经验,建立我国城市轨道交通安全认证、许可制度,强调制度应具有的程序化和不断更新、法规执行具体化落实和持续的安全审计等关键特征。 相似文献
7.
8.
依据空管系统许可认证原理和中国民航空管项目管理周期,构建了中国民航空管系统基于安全的寿命周期管理模型。归纳了美国、欧洲许可规范体系,揭示了美国、欧洲许可规范核心框架结构。以此为基础,提出了以精密进近着陆引导系统(GLS)终端区运行安全性评估为基础的中国民航GLS 许可认证体系及其框架。给出了该体系的系统设计审查、设备性能测试、现场运行测试3个阶段的许可认证流程。从运行安全性角度分析了许可性审定体系流程中3个认证阶段的层次关系与内容,规范 GLS 的安全运行质量。所建立的 GLS 许可性审定体系从其系统设计方案、生产及运行层面进行全面、系统的许可性认证,确保该系统达到终端安全运行性能,完成中国民航 GLS 运行性能测试的认证许可。 相似文献
9.