模型论中有关代数闭域的一个性质

模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.     

一种研究空间机构震动力完全平衡的方法及其应用

本文提出了一种研究空间机构震动力完全平衡的新思路,并由此导出两种空间机构(空间RSS'R(Ⅱ),RRRSR)震动力完全平衡的条件。这些条件比用其它方法导得的条件更为宽松和简单。     

乘积分布族完全性的一个充分条件

本文提出了一个新的乘积分布族完全性的充分条件:定理 设(i)(P_θ,θ∈T)关于(T,B_T,μ)是严格完全的:(ii)任意B∈B_X,P_θ(B)是B_X-可测的;(iii)任意θ∈T,分布族(P_(0,θ~*),θ~*∈T~*)是完全的;(iv)P(θ_1,θ~*)≡P(θ_2,θ~*)(θ_1,θ_2∈T,θ~*∈T~*)则(P_θ×P_(θ,θ~*),θ∈T,θ~*∈T~*)是完全的.它是已有结果的一个推广.     

关于数学中的不可判定命题

本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。     

完全性右束支阻滞QRS平均心电轴的范围与心脏疾患的关系

为了探讨完全性右束支阻滞QRS平均心电轴的角度与心脏疾患的关系,分析了94例CRBBB的QRS平均心电轴的改变。结果显示:平均心电轴在—30°—+110°时,无心病脏证据者居多;当QRS平均电轴右偏>+110°,左偏<—30°有器质性心脏病的可能。其中左偏者以冠心痛和高血压居多,右偏者以风心痛和肺心病居多。     

关于旅行推销员问题的一个算法

通过圈上结点下标自足方法，给出了一个关于旅行推销员问题的算法，尽管该算法实质上无法改变问题的NP－完全性的难度，但较分支定界法的执行速度快，比一些近拟算法要好。     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

完全性肺静脉异位引流的外科治疗

总结7例完全性肺静脉异位引流的外科治疗经验;对兰州大学第一医院自2004年12月-2007年12月收治的7例完全性肺静脉异位引流患者（均为心上型）外科治疗方面的经验进行总结,手术无死亡,术后出现心律失常3例,急性肺水肿3例,肺部感染1例,经内科保守治疗均治愈;早期采用经左房顶部进路方法纠治心上型完全性肺静脉异位引流,可以取得较好效果。     

80486极小指令集及其构造性证明

指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。