搜索筛选:
搜索耗时0.0297秒,为你在为你在61,042,058篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：姚袭欣,
来源：中国科学技术大学 年份：2020
在安全关键信息物理系统中,系统的正确不仅取决于计算结果的正确,还取决于系统时间规约是否得到满足。形式化建模与验证方法是保障系统行为满足系统规约的重要手段。在系统设计与开发过程中,针对时间属性的模型验证能有效提高系统时间可预测性。形式化验证方法......
[期刊论文] 作者：俞为群,袭欣,
来源：国际流行病学传染病学杂志 年份：2001
...
[期刊论文] 作者：余晨晨, 钱欣, 周瑶, 姚袭欣, 罗飞,,
来源：科技视界 年份：2018
针对目前农村闲置土地信息交互困难及相关手续办理繁琐问题,本文结合农村实际情况及土地政策,构建了一个可由政府官方运营和管理的土地闲置信息交互及流转规范化管理平台。该...
[期刊论文] 作者：白先平, 姚袭欣, 陈香兰, 刘翀, 李曦,
来源：计算机工程与科学 年份：2023
体系结构分析及设计语言（AADL）作为一种标准且直观的实时系统分析与设计工具，可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而，AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果，尤其是对于资源动态分配的实时系统。为解决......
相关搜索：
