交换Banach代数的谱延拓性质

通过研究交换Ｂａｎａｃｈ代数Ａ与Ａ／ｒａｄＡ的关系,得到了Ａ具有谱延拓性质、强谱延拓性质、乘法Ｈａｈｎ＿Ｂａｎａｃｈ性质的充要条件．作为一个推论,当Ａ为半单时,得到Ｍｅｙｅｒ（１９９１）的结论．     

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

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

胜利断块油藏人工边水驱提高采收率技术研究

通过对胜利油田高采收率断块油藏地质开发特征的分析研究,归纳总结了其获得高采收率的成功开发经验。在此基础上,提出了借鉴其成功经验和做法开展人工仿强边水驱开发断块油藏的技术思路。矿场试验研究表明可以实现剩余油的有效动用和高效波及,而且对断块油藏进一步提高采收率具有重要意义。同时这还有利于油田的污水减排工作,具有较高的社会经济效益。     

平面图的强边染色的一个结果

如果图G的一个正常边染色的任意有公共邻边的两条边的染色不相同,则它是图G的一个强边染色。图G的强边染色所需要的最小颜色数称作图G的强边色数。本文利用差值转移方法证明了最大顶点度为偶数且不小于6的平面图,如果其不含有3圈,则其强边色数不超过5△2/4,特别地,本文证明了最大顶点度为4的平面图,如果其围长不小于5,则其强边色数不超过20。     

一类强大数定律的推广与应用

引入了随机变量序列的一类可求和方法,证明了一类强大数定律成立的充要条件。它们还是Kolmogorov和Marcinkiewicz两个经典强大数定律在某种意义上的推广。     

强Rasmusen智猪公理系统的最可能局势

基于Rasmusen原始智猪博弈模型,由引进大小猪的跑速、吃速、投食量和槽板距等指标和即喷公理、弱和平公理、强成本公理、强跑速公理和吃速公理,建立了所谓强Rasmusen智猪公理系统。给出最优局势分布公式,得到当成本和槽板距充分小时,最可能两猪都踏;当成本足够大时,最可能大猪独踏的结论。作为应用,引进一种所谓Rasmusen技术创新模型,举例说明了计算这种模型中各局势的概率和如何控制此概率的问题。     

新丰江水库大坝地震反应专用台阵介绍

对水库诱发地震的监测、预测和大型水利枢纽或大型水电站如何防震减灾是我国政府、水利水电项目的投资者和建设者、地震科技人员一直密切关注的问题。新丰江水库大坝地震反应专用台阵的布设,为大坝抗震设防提供了科学准确的数据资料,在国内水库大坝监测与防震减灾领域具有重要的科学意义。     

回归函数的混合型核估计的一致强收敛速度

设(X,Y)为取值于R~d×R~1的随机变量,(X_i,Y_i) i=1,2,…,n是取自(X,Y)的i·i·d·的样本,E|Y|<∞.用m(x)=E(Y|X=x)表示回归函数。m(x)的一种重要的核估计是Stone(1977)提出了一种把经典的最小二乘估计与非参数的权函数估计结合起来去估计m(x)的方法。在这篇文章里,讨论了把上述核估计与最小二乘估计结合起来所得的m(x)的混合型核估计的强一致收敛速度。     

频率分裂现象下的磁感应信道容量分析

研究磁感应通信系统处于强耦合状态时产生的频率分裂特性.首先,对磁感应通信系统进行建模,分析不同电路参数对频率分裂时路径损耗的波谷位置、波谷个数、波谷幅度等的影响.然后,利用频率分裂现象产生的多通道信道,分析可用带宽及路径损耗.最后,计算信道容量.理论分析和仿真结果表明,磁感应通信系统产生的频率分裂能有效扩大磁感应系统的信道容量,进而提高系统的传输效率.     

变革的生产视角——对人工智能政治批判的批判

人工智能作为热点话题吸引了相关学者对其进行政治哲学维度的批判,但其批判依然停留在政治和观念的上层建筑半径之内,并未深入到政治的前提——生产领域.大数据算法作为强人工智能的重要应用,其所得出的非线性结果重塑了人们对于"价值"的理解,并引导一种对于"使用价值"追求的复归.随着边际成本的不断递减,大规模生产逐渐向大众生产转变...