论文部分内容阅读
Conference Report on Modern Developments in Computability Theory and Its Applications
【出 处】
：
逻辑学研究
【发表日期】
：
2012年3期
【基金项目】
：
This symposium is supported by Sino-German Center in Beijing.
其他文献
纺织服装与人们的生活密切相关,人们年年都要买新衣,添新装,所占消费比例是相当大的。但随时随地都有可能被欺骗——买到的是假冒伪劣品。提起假冒伪劣商品,人人都恨之入骨,
水库移民是水利水电建设工作的重要组成部分,移民工作的成败决定了工程建设的成败.树立以人为本的思想理念是做好水库移民工作的基础,特别要在移民的安置规划中、移民的补偿
对滩坑水电站泄洪洞进行了模型试验,观测了流态、水面线、压力分布、掺气浓度等水流特性.重点对反弧段进行了优化.由于对反弧段影响水流特性的因素较多,采用正交优化法对优化
论述了水电西电东送的必要性和迫切性.只有积极推进西电东送,才能促进四川水电的发展;要实现西电东送,必须先落实电力市场.并提出促进溪洛渡水电站早日开工兴建,实现西电东送
近年来,锁具市场正由低档向高档发展,销售趋旺,铜质钥匙、铜质锁头受欢迎。弹子门锁需求上升。由于消费结构发生了变化,低档铸铁壳弹子门锁销势转疲;冲压中档多保险双
对于定子在现场组装的水轮发电机组,磁化试验是定子铁芯硅钢片叠片完成后必须进行的一项重要试验,其目的是检查定子铁芯制造和现场安装的整体质量.本文对吉林台水电站首台发
1994年底以来,国内家电市场上放像机持续走俏。笔者在合肥市场上采访时发现,经销放像机的单位越来越多,其销量也普遍上升,购买者多为工薪阶层的普通消费者。据调查分析,放像
近年来,建筑用螺纹钢筋质量问题突出,大量劣质螺纹钢筋通过各种渠道流向市场及建筑工地,给建筑工程带来严重的事故隐患。为迅速扭转螺纹钢筋质量低劣的状况,严厉打击生产和经
分析了某电站水轮机导轴承冷却润滑水系统的异常原因。通过示流器的移位，操作回路结线异动和调整水压，消除了不安全因素。