论文部分内容阅读
在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理，并在该理论中定义了上界函数＊，利用有理数序列构造了该理论的一个可数模型．
完全稠密二叉偏序理论的可数模型
【摘 要】
：
在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理，并在该理论中定义了上界函数＊，利用有理数序列构造了该理论的一个可数模型．
【机 构】
：
北京师范大学哲学与社会学学院价值与文化研究中心,北京师范大学信息科学与技术学院
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
2007年2期
【基金项目】
：
北京师范大学青年教师基金资助项目
其他文献
提出了一个土壤水分变化过程对土壤蒸发、植被蒸腾以及土壤温度、叶片温度的影响存在较明显差异的假设,利用双层能量平衡模型推导出3个水分特征点(湿润、干旱和由湿到干的转折点)的组分温差(土壤温度减去叶片温度)公式,利用特征点的辐射温度和实际测量的红外温度间的关系来计算实际显热和潜热通量.用2001年北京顺义区实验期间的观测数据对本方法进行了验证,结果表明,用本方法能在只有一个角度的遥感温度数据情况下获取
随着工业化和城镇化进程不断加快,优质耕地不断被开发为建设用地,耕地面积日益减少,而粮食总需求量却在持续提升,耕地资源减少与粮食需求增加的矛盾将愈发突出。在此背景下,在保护耕地资源的基础上提高农地利用效率,对实现农业可持续发展以及保障粮食安全显得尤为重要。农户作为独立的经营主体,其农业生产决策行为对农地利用效率产生直接影响。随着农村经济不断发展,农户分化趋势日益显著,不同类型农户将根据其家庭特征、经
作为一种人机交互新模式,实感技术实现了真实世界的人与计算机生成的虚拟环境的无缝融合,在机器人、增强现实等前沿领域具有广泛的应用前景。基于此,笔者阐述了在Intel Joule平台上使用RealSense进行太阳系行星运行虚拟展示系统场景的实感应用研究与开发过程,并介绍了该技术的平台和技术基础,以及构建实感算法和实验场景的方法。
目前,我国人脸识别技术在模型训练和计算机算法设计都是在质量好、辨识度高的图像的基础上进行人脸识别,但对于低质量、模糊度高的图像,识别效果较差。公安系统、支付系统、智能监控系统、安全监控系统等人脸图像来源不一,图像质量参差不齐,如光线效果差、分辨率低等因素导致图像模糊、质量低,增加了人脸图像识别的难度。基于此,笔者在现有人脸图像模糊消除技术不足的基础上研究了低质量图像人脸图像模糊消除方法。
目的探讨鼻内镜手术治疗鼻息肉及慢性鼻窦炎的临床疗效。方法将2019年1月~2019年12月我院确诊并接受治疗的68名患者为研究对象,依照治疗方案的差异随机分为常规、内镜两组,比
目前,无人机的应用十分广泛,在影视、农业、建筑等领域发挥了极大的作用。在人脸识别模块,Harr-like特征提取和AdaBoost算法实现了人脸的识别和检测,大大提高了识别的准确率;在自动对焦追踪拍摄模块,Harr-like特征提取和AdaBoost算法被用于定位跟踪目标人物,再运用无人机的GPS定位系统实时跟踪拍摄。人脸识别技术和无人机技术的结合极大地增加了用户拍摄的自由度,同时也为无人机应用领
目的:了解脑卒中高危人群对卒中危险因素的认识、防治态度及对药师服务的需求。方法:对2013-2015年各社区脑卒中筛查的426名高危人群,采用自行设计的调查问卷进行调查。结果:
目的探讨顺逆结合法切取远端蒂腓肠神经营养血管皮瓣的效果。方法2001年1月-2007年6月例行远端蒂腓肠神经营养血管皮瓣82例（84处），其中采用顺逆结合法切取皮瓣45例（46处），逆行法切
目的探究分析罗哌卡因用于髋部手术术后镇痛效果及对运动神经阻滞的影响。方法选取2016年1月~2019年6月本院收治100例髋部手术患者,遵循随机分组原则将患者分为两组,对照组50
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技