论文部分内容阅读
互逆主义程序精化——程序精化从形式化到半自动化的发展
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年z2期
其他文献
当前我国农村地区经济快速发展,农民生活水平不断提升,十九大中强调支持农村经济发展、做好农村基础设施建设工作.本文中以农村土地流转问题为对象,分析解决土地流转问题的措
由于涉及的利益较多,在政府招标采购中就会遇到多种风险,如果不加以防范的话,将会带来各种不良的风险影响.文章从风险发生的多个层面对政府招标采购中存在的风险进行分析,并
2018年年底,交通运输部印发《船舶大气污染物排放控制区实施方案》(以下简称《实施方案》),该方案明确,在已设立的环渤海(京津冀)、长三角、珠三角水域船舶排放控制区基础上,
期刊
现如今随着新媒体时代的来领,互联网的技术以及信息技术的应用变得越来越普遍,网络信息的传播变得更加快速,网络舆情危机的信息也是因此出现了比较大的变化,所以本文主要分析
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
虽然我国目前的乡镇国土资源管理工作取得一定进展,但由于面临众多问题与挑战,而且影响因素复杂,所以仍需对管理工作进行加强,以良好适应发展需要,解决资源管理现存难题.针对
随着科学技术的发展,连续运行卫星定位综合服务系统(CORS)、无人机低空航空摄影测量等技术已经得到了广泛应用,探讨如何利用新方法、新技术进行地籍测量非常必要.
本文论述了仪器学理论的内涵;从理论与实践相结合的角度,讨论了仪器学理论的重要性。可供研发、设计、使用、维修各类分析仪器的科技工作者参考。
This article discusses t