搜索筛选:
搜索耗时0.0825秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：张可迪,
来源：国防科学技术大学 年份：2020
...
[期刊论文] 作者：张可迪,董威,,
来源：计算机光盘软件与应用 年份：2012
本文结合作者课题内容，介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程，过程中使用了相关开源的第三方软件使得该......
[期刊论文] 作者：张可迪, 胡康, 刘翔,,
来源：电工电气 年份：2019
为区分热老化和水分对频域介电特性的影响,将FDS法应用于变压器主绝缘的老化和受潮状态评估。通过绝缘诊断仪对制备的老化和水分试品进行FDS测量,提取1mHz及0.1mHz为老化试品...
[期刊论文] 作者：刘翔,张可迪,胡康,
来源：电工电气 年份：2019
为研究水分对油纸绝缘系统的影响,分别在30℃和60℃下对试验室制备的试品进行频域介电谱(FDS)测量,通过对所得试验结果进行分析,选取特征频率处的介质损耗和水分含量进行拟合...
[期刊论文] 作者：张可迪,舒绍娴,董威,
来源：计算机工程与科学 年份：2014
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注.然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究.对面向...
相关搜索：
