首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
讨论了关系数据库在类型和函数两个方面的扩充问题.对于类型扩充,讨论了特殊类型、抽象数据类型以及语言类型三个方向的扩充;对于函数扩充,讨论了源函数、SQL函数和外部函数三个方面的扩充.研究了关系数据库在函数扩充方面出现的动态联编问题  相似文献   

2.
9月28日,全国政协副主席、科技部部长万钢在国庆新闻中心举行的新闻发布会上表示.新中国成立60年以来是中国现代化建设取得巨大成就的60年,也是中国科学技术事业蓬勃发展的60年。  相似文献   

3.
从现实角度讨论自然数集扩充的意义.从历史角度研究自然数的公理化定义,自然数集扩充后基数、序数理论的变化.探讨自然数集扩充后的宣传和教学.  相似文献   

4.
5月20日,华中科技大学同济医学院迎来百年华诞.中共中央政治局委员、湖北省委书记俞正声,全国政协副主席张怀西,德国卫生部副部长施罗德,中国女医师协会名誉会长林佳楣,以及来自美、德、日、俄等8个国家的180多名外宾参加了庆祝活动.  相似文献   

5.
对偶单纯形法的一点补充   总被引:1,自引:0,他引:1  
管梅谷,郑汉鼎在《线性规划》中指出:如果初始基本解不是正则解,那么可以增加一个约束(含一个大数M).这个增加了约束的新问题叫做扩充问题.可以用对偶单纯形法解此扩充问题.作者指出:如果扩充问题的最优目标值不含M,则原问题有最优解.本文进一步指出并证明:如果扩充问题的最优目标值含有M,则原问题无有限最优解  相似文献   

6.
讨论了带有误差参数的统计缺省理论.引入了闭正规统计缺省概念,指出存在正规统计缺省理论没有在ε内的统计扩充,但在添加封闭性后每个正规闭统计缺省理论都有扩充.证明了半单调性和正交性等基本性质,对闭正规统计缺省理论的证明作了研究,论证了在一定条件下序列的存在性蕴涵统计扩充的存在性,给出了相容正规缺省理论扩充存在的充要条件.  相似文献   

7.
朱清时,四川成都人,中国科学院院士,中国科学技术大学校长,国务院学位委员会委员.兼任英国皇家化学学会会员(Fellow of Royal Society of Chemistry)、中国科技史学会副理事长、中国化学会常务理事、国际纯粹与应用化学联合会会员(Fellow of IUPAC)暨物化部理事、东亚地区研究型大学校长联合会副主席、中国自然辩证法学会副理事长、海外华人物理协会“亚洲成就奖”评议委员会成员.第八、九届全国人大代表、第十届全国政协委员.  相似文献   

8.
为研究以最少边集扩充一个任意无向图为R点连通图这一尚未解决的优化问题,通过将无向图点连通问题转化为有向图边连通问题,采用增广扩充的方法,提出了一个复杂度为O(|V|^5)的算法.利用该算法可最优地将给定无向图中任意2点达到所要求的点连通度.它发展了K点连通最优扩充的研究,从而使图的点连通扩充的研究在应用于网络设计的可靠性设计方面更具有实际意义.  相似文献   

9.
在许多情况下λ-演算的能力不够、Felleisen M等把λ-演算加以扩充,并证明扩充后的语言λc具有某些基本性质.本文试图为λc-演算加上类型,给出带类型λc-演算的逻辑系统,然后考虑它的指称语义.  相似文献   

10.
Fuzzy矩阵是普通矩阵的扩充,而区间值Fuzzy矩阵是Fuzzy矩阵的扩充,因此区间值Fuz巧矩阵与普通矩阵也有密切关系.本文将给出区间值Fuzzy矩阵的分解定理与表现定理.  相似文献   

11.
设G是一个简单图,f:V(G)→(1,3,5....),如何对G的任意n对集M,G-V(M)有一个(1,f)-奇因子,则称图G存在n-可扩充的(1,f)-奇因子,本文主要对n-可扩充图成立的一些结果进行了改进,证明了这些结果在有n-可扩充的(1,f)-奇因子的图中也成立。  相似文献   

12.
提出了一种改进缺省逻辑的方法,讨论了这种缺省理论的性质,证明了每个缺省理论都有扩充,具有半单调性和累积性,并讨论了处理多扩充问题的一种方法.  相似文献   

13.
设G是一个简单图,f:V(G)→{1,3,5,…},如果对G的任意n对集M,G—V(M)有一个(1,f)一奇因子,则称图G存在n-可扩充的(1,f)一奇因子.本文主要对n-可扩充图成立的一些结果进行了改进,证明了这些结果在有n-可扩充的(1,f)一奇因子的困中也成立.  相似文献   

14.
经典粗糙集理论是面向完备信息系统的,为处理不完备信息系统.需要进行理论扩充.本文首先介绍了粗糙集理论的基础知识,然后对经典粗糙集理论在不完备信息系统中的几种扩充模型进行了介绍和分析,并对现有基于粗糙集理论的不完备信息系统知识获取方法的研究进行了总蛄,最后展望了谊理论未来的发展方向.  相似文献   

15.
2004年10月29日,“热烈庆祝中国技术市场二十周年暨中国技术市场建设成就奖颁奖大会”在人民大会堂隆重举行。全国政协副主席张怀西、全国政协第八、九届副主席孙孚凌、全国政协第九届副主席王文元、全国人大常委、财政经济委员会副主任委员郭树言、全国人大常委、农业和农村委员会副主任委员舒惠国、国家科技部副部长程津培、国家科技部原副部长韩德乾、全国人大第九届常委、江西省原副省长陈癸尊、中共陕西省  相似文献   

16.
基于带约束条件的缺省理论,给出了缺省理论△=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理.在此基础上,本文建立了缺省理论的关于约束的一个动态描述过程,证明了当缺省理论遇到新约束时扩充呈单调变化,遇到约束反驳时呈现非单凋性,进一步讨论了当不断添加新约束和约束反驳时,扩充的最终结果为某一特定问题的经验公式集.  相似文献   

17.
1.序言在中国创新方法研究会主办的主题为“方法·创新·转变”的2010创新方法高层论坛上,全国政协副主席、科技部部长万钢指出,创新方法工作是一项基础性、战略性、长期性和开创性的工作,要把创新方法工作作为“十二五”科技工作的重要抓手,为科技创新提供方法支撑。在大会的区域创新发展分论坛上,  相似文献   

18.
本文采用格论观点研究拓扑学中连续映射的扩充问题,给出陪域为局部紧的T_2空间时连续映射扩充的充要条件,此结果包括陪域为紧空间或实数域的情况作为特例.  相似文献   

19.
把MacHale关于结合环的反交换性定理(Amer.Math.Monthly,1987,94:162~165.)扩充到near-环上。  相似文献   

20.
本文就软磁盘非破坏性扩充格式化进行了研究,并给出实现方法.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号