驻极体式微型发电机的研究进展

随着电子系统的尺寸不断减小,研制体积小、重量轻、能量密度高并且能够持续供能的微型发电机将对电子系统具有重要意义．振动能在日常环境中广泛存在,振动能微型发电机是将振动能转化成能给电子系统供能的装置．驻极体式微型发电机是振动能采集微型发电机的一种,是目前微能源研究的热点之一．本文主要从驻极体材料及注极方法、振动能拾取方式和转换效率的提高3个方面介绍了驻极体式微型发电机的最新进展．     

递归可枚举的fuzzy集合

本文给出了递归和递归可枚举B——值fuzzy集合的概念。证明了递归fuzzy集合对并、交、补封闭,证明了一般递归论中递归可枚举集合的大部分初等性质,对于递归可枚举B——值集合仍然成立。     

用力迫法构造的一个非标准的算术模型

Skolem建立了形式算式的第一个非标准模型.A.Robinson在由紧致性定理和共点关系所获得的非标准模型中引进了标准的、内的和外的对象(集合、关系、函数等)的概念,并证明了:如果S是无穷的,则S中含有非标准的内对象.这是形式算术的一切非标准模型的共性吗?本文对这一问题作了否定回答,获得并证明了下述结果:主要定理.存在着形式算术的一个非标准模型,在其中有无穷多个不包含非标准元素的无穷内子集合.这就是说,这些无穷的内子集合纯粹是由有限的自然数所组成.我们的证明使用了 P.J.Cohen的力迫法.     

一类格值集合模型

D.scott建立了集合论的布尔值模型∨~((B)),并且指出人们还可以建立格值集合域∨~((G)),他猜想这样的域∨~((G))可能是直觉主义集合论的模型。本文选取一类特定的格G,并在G上引进一些逻辑词项,形成强蕴涵词的弗晰逻辑,并由之建立格值集合域∨~((G));然后证明这样的域∨~((G))不是直觉主义逻辑的集合论模型,亦即它不满足直觉主义逻辑所要求的某些公理,而满足直觉主义逻辑所拒绝的另外一些公理,进而证明∨~((G))形成了弱谓词逻辑W_2L上的Zermelo集合论的一类模型。     

水库移民后期扶持资源整合：理论解析与框架优化

有效的资源整合工作可以产生规模经济、降低交易费用,实现协同效应。基于水库移民后期扶持对象的身份多重性,以协同理论为指导,辅之以必要的制度建构和运作机制的协调,拓展资源整合内容,健全资源整合平台,实施多层级资源整合,集聚与移民身份具有连带关系的资金资源、政策资源、行政资源与项目资源并进行优化组配,提升移民后期扶持资源整合水平,有助于移民后期扶持目标的顺利实现。     

低温相变蓄冷材料热物性的高精度预测模型

针对实验法研究低温蓄冷材料性能耗时长、误差大、低温实验条件苛刻等问题,提出了基于SRK-UNIFAC方程计算液相逸度,采用虚拟路径参考态法求取固相逸度的热力学方法来模拟研究低温相变蓄冷材料.利用改进的方法预测复合低温固液相变材料的共晶点、共晶配比及熔化焓等热物性质,结果表明,新方法的准确度较高,与实验法的精度误差小.以液化天然气(LNG)冷能空分装置为例,通过建立的高精度模型预测相变材料热物性可有效地进行蓄冷装置的选材及应用.     

二型集合与二型序数

本文论述聚合(二型集合)的合理性,并定义了二型序数的概念,建立了有关它的性质的定理,推广了序数的共尾概念,证明了二型序数ω_2不与任意的一型序数共尾,从而获得cf(ω_2,0)=ω_2,0.     

数理逻辑及其系统特征

引言在数学研究和数学应用中,人们总是要进行大量的推理和计算,推理要有一定的前提和推演规则,计算要有一定的数据和计算法则,这是数学家的常识。但是,推理和计算有什么性质,有什么联系,有什么局限性,这些都是需要进行研究的问题。人们研究这些问题,不仅可以探索推理与计算的规律,而且还可以探索数学的本质,寻求新的研究领域,并且还可能发现数学的不同分支之间的共同规律。上述这些问题和研究,就是人们称之为数理逻辑的问题和研究。一百年来,特别是近几十年来这项研究取得了一系列重大的进展和结果,引起了科学界的重视。     

集合论及其进展

人类不仅从物理、天文、化学、生物等基础学科出发探索客观世界的无限性,而且通过集合论研究数学中的无限。无穷集合(包括无穷序数,无穷基数)的研究在数学上、逻辑上、人类思想史与科学史上都占重要位置。其中某些课题如连续统问题、大基数问题、选择公理等至今仍是数学界关注的难题。它们吸引着许多著名数学家和哲学家在进行研究与思索。本文介绍这些研究的历史、现代进展和哲学意义。