简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立集I,都有G-I有完美匹配,则称G是独立集可削去的因子临界图.如果图G不是独立集可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+xy是独立集可削去的因子临界图,则称G是极大非独立集可削去的因子临界图.本文刻画了极大非独立集可削去的因子临界图.
简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立集1,都有G-I有完美匹配,则称G是独立集可削去的因子临界图.如果图G不是独立集可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+zy是独立集可削去的因子临界图,则称G是极大非独赢集可削去的因子临界图.本文刻画了极大非独立集可削去的因子临界图.
简介:国内外许多学者认为,数学是有别于自然科学和社会科学的独立科学形式。本文主要参考《古今数学思想》[1]和《数学史教程》[2],从历史与哲学的角度探讨数学成为独立科学形式的主要根源。通过考证发现,数学成为独立科学形式的主要根源在于历史上三次重大的哲学思潮,它们导致了纯粹数学研究与背景问题(学科)研究的一次融合和三次重大分离,即:(1)毕达哥拉斯的'万物皆数'的哲学思想导致了第一次分离,形成古希腊抽象数学体系;(2)随着'文艺复兴'时期古希腊文明的复苏,数学和背景问题(学科)研究开始强大融合,并逐步被笛卡尔、伽利略以及后来的牛顿和莱布尼茨的'科学的本质是数学'的哲学思想所主宰,导致了
简介:为了解决独立软件供应商面临的多个紧急项目点专家资源配置过程中出现的资源竞争和费用偏高问题,本文建立一种以双层规划方法为基础的多紧急项目点——多专家资源供应点-多专家类型的专家资源配置模型,使专家资源配置过程兼顾及时性和高效性,从而确保在全局项目开始时间最早情况下费用最少。为了克服双层规划模型求解时间复杂度过高的缺陷,本文提出一种竞争缓解策略,能够快速求取双层专家资源配置模型的全局满意解。最后,通过数值分析证实算法的有效性。
简介:根据公开资料分析,韩国政府曾在20世纪70年代组织开发过核武器,后迫于美国的压力而宣布终止。韩国在2004年被揭露出一系列核问题:(1)激光浓缩铀试验。韩国科学家在2000年实验采用原子气体激光同位素分离(AVLIS)技术,耗费3.5kg金属铀,最后共获得了0.2g平均浓度为10.2%的铀-235。试验生成的铀-235的最高浓缩度已达到77%,接近武器级水平。(2)钚分离试验。1982年4月至5月,几名韩国科学家从钚和铀裂变产物的溶液中提取了少量(毫克级)的钚。(3)化学铀浓缩试验。1979年至1981年,韩国科学家将0.7埏天然铀粉末浓缩为0.72%的铀-235。(4)金属铀提炼试验。1982年,韩国在一座未公开的设施上将UO2转换成UF4,而后在1982年5月至1984年11月,用UF4生产了大约150kg金属铀。这些核问题韩国都未按《全面保障监督协定》规定及时向IAEA申报。