空间生命支持系统中VCCR子系统的安全性验证

基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性。

《维也纳领事关系公约》的革新与中国的应对——以海外国民领事保护为视角

囿于签署时代,《维约》在领事保护实践中渐显规则缺失之憾,有必要秉承"责任"与"人本"理念因时而变。领事通知与探视权是其生效以来最具争议的问题:条约解释理论下的博弈无法定纷止争;考察缔约历史记录及司法实践,权利的司法救济确有可能,实际损害的证明标准需要确立;责任承担有必要遵循恢复原状、补偿、抵偿的先后顺序。《关于强制解决争端之任择议定书》是《维约》得以遵守的关键路径,未决事项的强制管辖权及争端解决机制的退出困惑有待厘清。考虑设立"领事保护事务委员会"监督与协调《维约》实施。海外突发事件中的领事保护需规范依据,尤其是在海外国民保护与不干涉内政间寻求平衡;破解资源相对稀缺,急待创建合作机制,欧盟共同领事保护制度可批判性借鉴。中国应致力于从拟定双边领事条约范本、构建区域性领事保护合作机制、推进领事保护立法、开启司法救济及完善海外突发事件中的领事保护机制等方面予以回应。

领事保护制度的新发展

处于变革时代中的国际法自身也在发生着深刻的变化,它既关注国际共同体利益保护,也更加重视个人权利的保护,程序正义原则在后2012时代进一步彰显,这些变化也影响着传统的领事法内容。《维也纳领事关系公约》第36条规定的领事通知权已经被广泛接受为一项个人权利,围绕着该权利的保护,领事保护制度也在形成和发展中。结合当前最新的国际法院的司法实践,领事保护已经从职能逐步被特定化,领事保护的内容被进一步丰富,国家的通知义务被强化,权利主体被进一步廓清,国际救济和国内救济方式还在发展,领事保护制度已经基本形成,并将对各国国内立法和实践产生重要影响。