搜索筛选:
搜索耗时0.0813秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：毛维波,
来源：中国科学院成都计算机应用研究所 年份：2005
数字电路形式化验证通常有三种方法:定理证明、模型检验和等价性检验.这些方法都是利用数学机制来验证数字电路的性质.在工业界中,模型检验和等价性检验因为能完全自动化的进...
[期刊论文] 作者：王佩刚,王娟,毛维波,
来源：中国保健营养 年份：2021
目的 探究学校常见的传染病,掌握预防方法及控制措施.方法 将本地区的12所学校纳入研究范围,其中,4所初中,4所小学,4所高中,对学校传染病发生及控制情况进行分析.结果 在本次...
[期刊论文] 作者：王佩刚,王娟,毛维波,
来源：中国保健营养 年份：2021
学校作为学生学习及活动的场所,学校不只为学生创造舒适的学习环境,也要保证学生的身体健康.对此,在学校卫生监督现场检测技术实施过程中应当具有相关的规范,根据规范内容完...
相关搜索：
