搜索筛选:
搜索耗时0.6709秒,为你在为你在102,285,761篇论文里面共找到 10 篇相符的论文内容
发布年度:
[期刊论文] 作者：李栋,,
来源：传媒 年份：2014
何宗儒、赵焕军、黄祖东、刘文新、李鑫、陈榆秀、董玉坤、高...
[期刊论文] 作者：董玉坤,,
来源：现代农业科技 年份：2014
土壤污染防治直接关系到食品安全和广大人民群众的身体健康,关系到经济社会的可持续发展和国家的长治久安,总结了方城县土壤污染防治工作取得的成效,分析了存在的困难和问题,...
[学位论文] 作者：董玉坤,,
来源：北京邮电大学 年份：2014
可信软件的相关研究是软件工程领域的一个焦点,如何在软件的开发过程或测试阶段中尽早的发现并消除掉软件缺陷,是构建可信软件的重要途径。软件代码中的缺陷是导致软件故障及...
[学位论文] 作者：董玉坤,
来源：中国医科大学 年份：2014
目的 本研究通过分析目前我国医患关系的现状以及社区卫生服务发展情况，在此基础上进行问卷调查，了解沈阳市社区卫生服务机构的医患关系情况，针对医患之间暴露出的问题，分析当......
[期刊论文] 作者：董玉坤,,
来源：城市道桥与防洪 年份：2014
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[期刊论文] 作者：董玉坤,李琳,,
来源：民营科技 年份：2014
主要介绍的是红外线双声道音量遥控电路。红外线双声道音量遥控电路是由发射机和接收机两部分组成。该电路完成了左右声道音量各自进行控制,它的误码率几乎为零,而且操作方便...
[期刊论文] 作者：董玉坤, 宫云战, 金大海,,
来源：电子学报 年份：2014
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Val...
[期刊论文] 作者：史国滨,董玉坤,齐英,朱娜,
来源：黑龙江农业科学 年份：2014
现代化多媒体教学设施为高校的教学现代化提供基础保障,为充分发挥新型教学设施平台作用,提高多媒体教学设施管控水平,通过对现代化教学设施的功能、管理与服务及应用的概述,...
[期刊论文] 作者：董玉坤, 金大海, 宫云战, 邢颖,,
来源：软件学报 年份：2014
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存...
[期刊论文] 作者：张大林, 金大海, 宫云战, 王前, 董玉坤, 张海龙,,
来源：软件学报 年份：2014
缺陷检测一般包括静态分析与人工审查两个阶段．静态检测工具报告大量缺陷，但是主要的缺陷确认工作仍由人工完成，这是一件费时、费力的工作．巨大的审查开销可能会导致软件开发人员......
相关搜索：
