迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

王场油田盐间层地层水结盐规律研究*

盐间泥质白云岩油藏是江汉盐湖沉积盆地非常独特的一种盐间烃源盐油气藏,其中王场油田盐间层具有典型代表性。由于地层水矿化度高,油井生产过程中产生大量的盐垢,导致维护费用大大增加,产量明显下降,酸化压裂效果变差,挤水压力高,有效期短。分析了该油田的地层水理化性能和模拟井筒条件下的井筒结盐规律。研究结果认为:结盐井地层水的的化学成份主要是NaCl,同时含有一定量的CaSO_4和MgSO_4,盐垢样主要为白云石、方解石和钙芒硝,与地层水成分是相吻合;随温度逐渐降低,地层水结盐量增加,特别是在50~70℃结盐速度最快;压力对结盐速度影响不大;低转速(10 000~30 000r/min)对结盐速度影响不大;而高转速(﹥100 000 r/min)条件下结盐速度减慢。     

试论顾随对王国维词的继承和发展

顾随对王国维词的继承和发展主要体现在四个方面：一是在词中融入对人间的关注和人生的思考;二是擅于＂造境＂,以象征手法表现心灵中的境界;三是运用句法修辞增强词的表现力;四是对王国维词语言的借用和意境的化用。     

李梅杏种质资源的系统起源研究进展

李梅杏是近年来新发现的研究李属植物自然进化的重要种质资源,尤其是研究李、杏杂种自然发生规律的重要试材,本文对该类种质资源的形态多样性及分子系统学方面的研究作了综述,同时就如何深入研究该类资源的遗传结构以及对整个李属植物起源演化的意义作了展望.     

裴迪与王维交游考

裴迪因与王维赋诗唱和而名世,过去论者研究王维者多,研究裴迪者少,在他们二人交游问题上．难免以偏概全。裴迪为裴天恩之弟裴天寿之后裔,大约生于开元六年（718）。他与王维交游始于唐天宝二年（743）正月,交谊深厚,亲密无间。乾元元年（758）初,即裴迪与王缙入蜀之前,二人交游始止。其后裴迪便无踪迹,难以查考。     

太阳能光伏发电系统技术的发展

太阳能PV系统从国防军用到民用、从离网系统到并网系统已走过了半个多世纪的历程,效率不断提高,技术日益完善,发电成本逐年下降。随着科技和时代的发展,大规模利用PV技术进行太阳能发电已经蓬勃兴起,而大量分散型PV电源的入网又需要发展微网系统、智能电网系统和全球PV供电系统。     

论王筠的“古今字”观念

王筠所论的"古今字",指的是为记录一个词,不同时期的文献中使用了不同的字符这一现象。王筠使用"古今字",是以沟通字词关系为目的的,"古今字"和专门论述汉字造字演变的术语"分别文"、"累增字"并不处在同一理论层面上。把王筠的"分别文"、"累增字"概念与"古今字"概念混同起来是有违学术史事实的。     

巨灾死亡率债券定价模型研究

巨灾死亡率债券是以规避巨灾死亡率风险为目的的金融衍生产品,此类债券的给付与死亡率指数相关联.利用含Poisson频率的跳跃-扩散过程刻画随机死亡率指数发生跳跃的频率与幅度,应用共同单调理论处理不同地区死亡率指数之间的相关性问题.进一步运用王氏变换(Wang transform)方法,在不完全市场中给出巨灾死亡率债券的定价模型.最后,依据我国人口死亡率数据进行实证研究.