排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
2.
大规模的海洋溢油常常导致非常严重的环境污染事件和生态灾难,溢油事故应急是世界应急技术领域面临的重大技术难题。文章通过引用典型事故案例和国内事故概况说明了溢油事故的巨大风险及其危害,分析油品入水、扩散、漂移以及着陆四个不同事故演化阶段的污染特征,系统梳理溢油事故应急的物理、化学和生物处置方法,并通过对比各类方法的适用范围和优缺点,总结当前溢油应急处置技术、应急能力以及环境适应性等方面存在的不足,提出加强溢油应急处置能力应该在提高应急装备能力、开发新技术产品、建立全球联动机制等方面加强努力。 相似文献
3.
4.
混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机.其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息. 相似文献
6.
7.
8.
9.
10.