图的极小顶剖的有效枚举算法

设G=(V,E)是无向连通单图,S为G的一个顶子集,G[S]为S的导出子图。若G[V-S]不连通,则称S为G的一个顶剖;若S是G的顶剖,而S的任意真子集都不是G的顶剖,则称S为G的一个极小顶剖。a,b为G中任意两个不相邻的顶,若a,b分别处在G[V-S]的不同连通片中,则称S是G的一个(a,b)顶剖;若S是G的(a,b)顶剖,而S的任意真子集都不是G的(a,b)顶剖,则称S为G的一个极小的(a,b)顶剖。枚举图中所有极小(a,b)顶剖和所有极小顶剖是图论中的一个基本枚举问题,这个问题在网络的可靠性分析和运筹学等方面有着极大的应用价值,已     

信息荟萃

本刊 2 0 0 0年度编委会年会召开　　本刊讯　 2 0 0 0年 1 2月 2 7日 ,本刊 2 0 0 0年度编委会年会在长沙召开。中国工程院院士、国防科技大学计算机学院院长、《计算机工程与科学》杂志社社长卢锡城教授 ,国防科技大学计算机学院副院长、副社长兼编委会副主任王志英教授 ,在长的部分顾问和编委会委员以及编辑部全体工作人员出席了年会。会议由王志英副社长主持。会议听取了陈怀义主编代表编辑部所作的《计算机工程与科学》杂志编辑部 2 0 0 0年工作汇报。他说 ,今年是《计算机工程与科学》杂志变更为双月刊后试运行的第二年 ,是改为大 1 6…     

变独唱为共鸣（下）

四、在VB5.0中使用此控件 在VB5.0中新建一个标准EXE项目,打开工程菜单下的部件菜单,选上CcMixer ActiveX Control module左边的复选框,这就是我们前面生成的CcMixer控件,在Forml窗体上拖出一个CcMixer控件,再加入10个CommandButton按钮,Name属性均为Commandl,Index属性为0到9,形成一个控件数组。再加入一个CheckBox复选框,两个Label标签,两个HScrollBar水平滚动条。加入以下代码:     

中国卫星遥感与定位技术应用的现状和发展

总结近年来中国卫星遥感、地理信息系统、全球定位系统的技术发展和应用成果,提出今后5－10年我国空间信息技术发展的指导目标。     

制造系统控制结构研究的新进展

制造系统的控制结构是自动化和先进制造领域的重要研究课题.本文从现代制造的需求出发,研究比较了基于Agent的控制和Holon制造模式这两种现代制造系统的主流控制结构的概念、特性、研究成果和主要差别,并介绍了将两者结合的最新研究动态和进展,最后对其发展趋势进行了分析和探讨.     

用氟离子选择电极测定浓硫酸中氟化物的含量

测定大多数物料中氟化物前,都需要将氟化物从样品中小心分离出来,这对测定硫酸中的氟化物来说是有困难的。Willard和Winter建立的分离方法需要重蒸馏。如果用固态氟离子选择电极,则可快速、简便、准确地分析样品,更重要的是由于避免了蒸馏时可能的损失而提高了准确度。在pH低于5的酸性溶液中,氟离子与氢形成一种不离解的HF或HF_2~-络合物;在pH较高的碱性溶液中,氢氧离子会干扰对氟离子的电极响应。为避免这些不希望的     

翻板闸门不锈钢止水座板施工工法

本文结合瑞安下埠水闸工程闸门施工,介绍了卧倒翻板门扇形不锈钢板水封座板的制作、加工、安装的工艺,操作方法及质量控制要点。     

黄河河口演变与管理开发研究进展

基于当前黄河河口治理与管理开发进程中出现的突出问题,本文从黄河河口来水来沙条件变化、黄河河口演变特征、黄河河口整治及管理措施研究等3个方面概括总结了黄河河口在演变与管理开发方面的研究进展,并对21世纪黄河河口的研究进行了展望。     

干旱区流域水权结构体系研究

合理的水权结构是保证初始水权合理分配的基础。通过构建科层式水权结构体系和设置构成要素,从用水主体、用水优先序、水权授予期限和比例水权的表现形式,得出行业水权的优先序为:生活水权、农业水权、工业水权、服务行业水权、生态水权、社会水权。农业水权的终端水权主体为农户,期限为1年的临时性水权,其它行业终端水权主体为该行业水管理部门,其中生活水权、工业水权和服务行业水权期限为5年的稳定性水权,生态水权和社会水权期限为1年的临时性水权。     

OSGi平台服务动态更新的发布/订阅策略

针对7×24小时运行的系统,不能停止系统运行进行更新或维护的问题,根据OSGi( Open Service Gateway Initiative)框架的特点,在分析已有的服务动态更新方法基础上,克服已有策略不能保证服务更新前后的相互一致性和服务状态的一致性,以及更新策略实现过程中的编程模型不佳问题,提出基于发布/订阅模型的服务动态更新策略.以静止状态理论为依据,利用Petri网形式化描述服务动态更新过程,从理论上验证该策略的有效性;同时,以Event Admin Service作为策略的实现工具,具有良好的编程模型,从而实现OSGi平台上的动态演化,实验结果表明该策略具有可行性.