关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

单-6-叠氮-β-环糊精与苯乙炔的点击化反应

利用CuI/NBS这种新型催化体系来促进单-6-叠氮-β-环糊精与苯乙炔之间的偶联反应,通过这个多组分反应可以高效地以炔和叠氮为原料一锅法制备5-碘代-1,4-取代-1,2,3-三氮唑类化合物.     

驾车"坏习惯"可能会致命

交通事故80%以上是驾驶人责任心不强而引发的,其中操作不规范,长期养成的"坏习惯"占了多数。那么,有哪些"坏习惯"可能会致命呢?一是不在座位上打火启动车辆。启动车辆必须按照"四步曲":查看手     

氢原子碰撞截面的研究

略去质心运动的影响，在理论上计算了Ehrhard条件下的三重微分散射截面，通过级数收敛项的选择发现T12项主要影响recoil峰．找到了recoil峰的变化规律。     

基于DtN映射和三次样条逼近的二维分段均匀波导的算法

基于DtN映射的双向传播算法是计算具有二维分段均匀结构波导的最有效的算法之一。本文发展了一种新的计算DtN映射的算法，该算法主要利用三次样条函数逼近来计算每一均匀段上的DtN映射。此方法可以直接解析地表出需计算的特征值与特征向量，直接给出一阶导数的计算公式，减少了近似计算过程，从而减少计算误差。另外，它对解的光滑性要求较低，因此具有更好的适用性。本文给出的Cost 268 modeling task算例表明，这种基于DtN映射的三次样条函数逼近算法是一种高效的算法。     

于奇西地区岩溶圈闭落实技术研究

为了扩大塔河油田主体,在塔河外围建立一个新的建产阵地,对于奇西三维地震资料进行精细解释,应用振幅变化率技术、精细相干体技术、趋势面分析、模型正演等技术,深入研究该区储层发育模式,盖层条件及储盖组合,精确描述油气藏成藏机制。并通过分析塔河主体已发现岩溶圈闭的测井、地震资料的地球物理响应,总结发现地震"串珠状"反射、岩溶"残丘高"为油气成藏有利区带。据此,在塔河于奇西地区识别描述了三级圈闭18个,合计面积298.3km2。     

钒工业废水处理系统效果评价

通过对三氧化二钒沉淀废水处理系统的工艺、技术特点和实际运行效果进行评价,发现该系统虽然实现了沉钒废水的"零排放"和综合回用,但废水中重金属分离和降低氨氮方面仍存在不足,通过优化设计和强化管理可以解决。总体而言,"焦亚硫酸钠还原—氢氧化钠中和+蒸发浓缩"工艺是一种沉钒废水处理的理想方式,在钒工业领域有着良好的推广前景。     

一类四阶抛物方程解的长时间行为

四阶抛物偏微分方程的研究是一个热点，尤其是退化的方程具有比较实际的意义，在四阶抛物方程中，最大值原理和比较原理已经不再成立．本文研究一类四阶抛物微分方程的解随时间增大而衰减到其初始值的平均值．     

《广东科技》杂志读者感言

广州生产力促进中心薛峰主任:献策《广东科技》:广阔天地大有可为《广东科技》杂志这几年越办越好,我经常会看、会学习。这个平台给我们提供了很多科技政策解读、科技重点工作、创新背景介绍,这些正是科技人员需要关注的内容,也是科技管理人员需要学习的内容。对继续提升《广东科技》杂志的内容品质、优化市场经营模式,我有三个方面的建议: