限界约束相关硕士博士期刊学术论文 - 搜论网

限界约束相关论文

基于限界约束的安全相关性质的推理证明

安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说，不仅考虑安全性和活性的验证，还要考虑一些安全策略......

期刊

限界约束超安全性安全策略推理证明 bounded constraints hypersafety security-relevant properties

地铁调线调坡计算方法研究

伴随城市化建设的加快,地铁建设进入高峰时期。调线调坡是地铁设计施工中的一个重要环节。而目前针对地铁调线调坡出现的机助设计......

学位

线形识别方向加速法约束修正线形单元拟合限界约束

看过本文同时还关注