搜索筛选:
搜索耗时0.5021秒,为你在为你在102,285,761篇论文里面共找到 10 篇相符的论文内容
发布年度:
[学位论文] 作者：周文帆,,
来源：北京交通大学 年份：2020
在计算机科学和软件工程领域,软件工程师采用软件测试的方法来验证计算机软硬件系统的正确性,这样的测试虽属于常规方式,但有时耗费巨大。工程师还会采用形式化验证技术来进行相关的正确性验证工作。形式化验证就是根据某些数学化的形式规范,利用严格的数学化方......
[期刊论文] 作者：周文帆,
来源：安徽电力 年份：2003
...
[期刊论文] 作者：周文帆,,
来源：山海经（故事） 年份：2016
“筑梦人”，多么崇高、多么令人振奋的称谓。帮助少数民族学生实现他们小小的梦想，是我一个在少数民族学校工作的汉族校长一个美丽的梦想，我甘当一个致力于少数民族孩子教育的筑......
[会议论文] 作者：周文帆;,
来源：2006年电力信息化高级论坛——企业信息集成与生产信息化 年份：2006
国家电网公司提出"一强三优"的企业战略,新建220千伏以下的变电站都要求实现无人值守.无人值守变电站是实现节人增效、电网坚强的必然途径,监控系统反映电网运行的实时信息,...
[会议论文] 作者：周文帆,
来源：2000年全国农村电气化学术研讨会 年份：2000
该文论述了如何实现通过计算机和远程通信技术实现电能数据的自动采集；及其在供电企业中的应用。...
[期刊论文] 作者：周文帆,,
来源：山海经 年份：2016
大教育家陶行知曾说过:“生活之场所,亦即教育之场所。”学校作为专门培养人、教育人的场所,不仅仅是一个教室、操场的概念,同时也是一个环境、文化的理念,是在教育教学和管...
[期刊论文] 作者：张大伟,周文帆,
来源：安徽电力 年份：2002
...
[期刊论文] 作者：周文帆,杨波,
来源：安徽电力技术情报 年份：2000
...
[期刊论文] 作者：张大伟,周文帆,
来源：安徽电力技术情报 年份：2000
...
[期刊论文] 作者：周文帆,王卫东,
来源：安徽电力技术情报 年份：2000
...
相关搜索：
