棋子问题的算法分析——2005年第11期题解

由于是求必胜状态，因此在搜索过程中，先假设甲方(x)在第k步已经处于必胜状态，那么，乙方(o)的第k步无论下在哪儿，甲方下第k+1步的时候，至少能够找到一个位置保持这个状态，即要么甲方已经赢了，要么继续保持这个必胜状态。因为甲方一直都能够保持这个必胜状态，所以甲方最后一定能够赢棋，因此甲方的第k步就是本题的解。     

BCLR(k)文法及其分析算法

LR(k)是很重要的一类文法,但是用正规方法构成的分析算法,需要过多的状态和很大的存储空间,因此它不适合于实际应用。后来虽然提出了SLR(k)和LALR(k)文法,但是它们都只是LR(k)文法较小的子集。本文给出了状态图和状态链的概念,并且定义了BCLR(k)文法。它是LR(k)文法较大的子集,并且包含了作为它的真子集的LALR(k)和SLR(k)文法。可是它所需的状态数却与SLR(k)文法一样多。在本文的最后,我们对算法作了某些改动,使之能分析一般的LR(k)文法。     

LBLR(k)优化中的错误检测

LBLR(k)给出了一个非常有效的优化算法。它通过状态归并的方法使LR(k)的状态数大大的减少,并使利用文法产生式进行归约之后的转向状态唯一。这样,在LR(k)的分析算法中,状态符不再需要进栈,节省了空间和时间的开销。本文在[2],[3]之后主要讨论了LBLR(k)优化中的错误检测问题,使LBLR(k)优化仍能保持LR(k)的有效的查错功能。     

拟(h,k)存贮有限自动机的可逆性

主要研究拟(h,k)阶存贮有限自动机的延迟k步与k+1步弱可逆性,以及它的弱逆,得到了拟(h,k)阶存贮有限自动机的延迟k步与k+1步弱可逆的充分必要条件,并且通过所得结果可以比较简便地构造出延迟k步与k+1步弱可逆拟(h,k)阶存贮有限自动机的延迟k步与k+1步弱逆.     

电脑中的全自动录像机——康博启视录M100＋电视卡

电视卡能定时录制电视节目，这已不是什么新鲜功能。但多数电视卡实现这个功能，要么需要在主板BIOS中设置定时开机(主板必须支持该功能)，要么需要电脑保持开机状态，总之操作不便或可行性不强。针对该问题，康博推出的启视录M100 电视卡在硬件和软件方面做了改进，用户只需点击几下鼠标．就能实现定时开机     

k元n方体网络的子网络可靠性

并行计算机系统互连网络的拓扑性质对系统功能的实现起着重要的作用。为了衡量基于[k]元[n]方体网络构建的并行计算机系统的容错能力,研究了边故障模型下[k]元[n]方体网络中[k]元[(n-1)]方体子网络的可靠性。当[k(k≥3)]为奇数时,分别在固定划分模式和灵活划分模式下得出了[k]元[n]方体网络中不同数目的[k]元[(n-1)]方体子网络保持无故障状态的平均失效时间的计算公式,并通过仿真实验验证了理论结果的精确性。研究表明,当[k]为奇数的[k]元[n]方体网络中有边故障发生时,相比固定划分模式,在灵活划分模式下不同数目的[k]元[(n-1)]方体子网络保持无故障状态的平均失效时间更大。     

一类层次环网络的构造及路由算法

讨论了一类层次环网络 HRN的构造方法、拓扑性质和路由策略 .重点讨论了 HRN网络的一个子类 ,即RP(P,k1 ,k2 )网络 ,分析了其拓扑性质 ,并和 2 D Torus,3D Torus,Hypercube和 De Bruijn Graph等拓扑结构进行了分析比较 .结果表明 ,RP(P,k1 ,k2 )网络的拓扑结构简单 ,路由策略方便 ,是一种实用的互联网络 .接着 ,讨论了RP(P,k1 ,k2 )网络上的路由问题 ,给出了点点路由、Broadcast路由、All- to- all路由和置换路由算法 ,前 3个算法分别需要 k2 / 2 k1 / 2 2 ,k2 / 2 k1 / 2 2 ,10× k1 × k2 - 4个时间步 ,置换路由需要 4 min{ k2 ,k1 } (k2 - 1)×(k1 - 1)个路由时间步 .最后 ,提出了两个参数 ,即最优节点分组和最优网络划分 ,用于评价互联网络的效率 ,并据此分析了 RP(P,k1 ,k2 ) ,2 D Torus和 Hypercube网络的性能 .     

BCube在2-限制连通度下的容错路由算法

BCube是具有良好性能的数据中心网络。相比传统的树形数据中心网络,BCube在扩展和容错性能方面都表现出很大的优势。目前,对于BCube的研究可以归结为对其逻辑图BC_n,k(广义超立方体的一种特例)的研究,其中交换机被视为透明设备。在实际应用中,随着网络规模的不断增加,顶点发生故障已经成为一种常态。因此,研究网络的容错路由很有意义。目前,有不少关于BC_n,k容错路由的研究,但其2-限制连通度下的容错路由目前还没有被研究。在提出容错路由算法之前,首先证明了BC_n,k的2-限制连通度为3(k+1)(n-1)-2n,其中k≥3且n≥3。然后在此基础上提出了一个时间复杂度为O(κ(BC_n,k)³)的容错路由算法,其中κ(BC_n,k)=(k+1)(n-1)是BC_n,k的连通度。该算法可以在故障顶点个数小于3(k+1)(n-1)-2n且每个无故障顶点至少有两个无故障邻居时找到任意两个不同的无故障顶点之间的一条无故障路径。     

撬出Caps Lock键

键盘上有没有什么键是你想撬掉的?如果有的话,那很可能是CapsLock键,如果你符合以下5种情况中的1种或多种,那就真应该学学怎么撬键盘了。★你在输入时几乎不用CapsLock键,你根本不需要这个键。★你已经不小心按到这个键至少1000次。★在你发现CapsLock键是打开状态前,你已经持续输入了10秒～30秒。★你不得不重新输入整句句子(如果是英语句子,你可以使用大小写转换的宏来解决)。★你不得不敲击CapsLock键和Shift键至少5次才能搞清楚如何关闭某个键盘的大写锁定状态。你当然不必真的把键盘给撬了,有个老外已经解决这个问题,他特意制作了…     

推箱子游戏——2002年第2期题解

问题描述见2002年第2期杂志。问题分析本题属于典型的状态空间搜索问题。 1.状态的表示通常可用精灵的坐标(rs,cs)和箱子的坐标(rb,cb)来表示状态。当精灵和箱子相邻时,状态可以用箱子的坐标(rb,cb)以及精灵和箱子的相对位置d表示为三元组(rb,cb,d),其中d=0、1、2、3分别表示东南西北四个方向,我们称这些状态为关键状态。例如图1中的两幅图分别表示为状态(2,1)、(2,3)和关键状态(2,3,2)。     

K带实时图灵机计算能力与图灵机带数的关系

本文证明了对任意整数k,至少存在一个语言能被k带实时图灵机接受,但不能被(k—1)带实时图灵机所接受,从而证明了k带图灵机计算能力严格强于(k-1)带实时图灵机。     

用于实现(k,e)-匿名模型的MDAV算法

MDAV算法是一种高效的微聚集算法,但它未考虑等价类中敏感属性多样性问题,生成的匿名表不能抵制同质性攻击和背景知识攻击。针对该问题,提出一种能够实现(k,e)-匿名模型的MDAV算法,简称(k,e)-MDAV算法。该算法将距离类中心最近的至少k个不同敏感值的元组聚为一类,并要求每个类内敏感属性值最大差异至少为e。实验结果表明,该算法能够生成满足(k,e)-匿名模型的匿名表。     

(n,k)-冒泡排序网络的子网络可靠性

并行计算机系统互连网络的拓扑性质对系统功能的实现起着重要的作用。为了精确度量基于(n,k)-冒泡排序网络构建的并行计算机系统的子网络容错能力,建立了(n,k)-冒泡排序网络中(n-m,k-m)-冒泡排序子网络与特定字符串之间的一一对应关系,研究了点故障模型下(n,k)-冒泡排序网络中(n-m,k-m)-冒泡排序子网络的可靠性。当2≤k≤n-2,1≤m≤k-1时,首先在概率故障条件下给出了(n,k)-冒泡排序网络中存在无故障的(n-m,k-m)-冒泡排序子网络的概率估计,并通过仿真实验验证了所得结果的精确性;其次,得出了不同数目的(n-m,k-m)-冒泡排序子网络保持无故障状态的平均失效时间的计算公式,仿真实验表明理论结果与仿真结果趋于一致。     

电子导航系统

现在说起GPS已经不会再有人问这东西是否与GPRS有什么关系,至少会问这个问题的人已经不多,从好的方面可以理解为这个产品已经为大众所熟悉,都明白这东西能帮助你在陌生的环境中保持方向并顺利到达目的地。     

ERP合同范本

甲方(客户方):乙方(实施方):双方就乙方为甲方实施ERP项目(以下简称“项目”)的服务事宜,本着诚信互利原则,经友好协商并一致同意,在省市(方所在地)签订本项目实施合同(以下简称“本合同”)。1.甲、乙双方在合同签订之前,已经进行了软件系统功能的初步演示,软件实施文档材料(产     

基于局部保持投影–加权k近邻规则的 多模态间歇过程故障检测策略

针对多模态间歇过程故障检测问题,本文提出一种基于局部保持投影–加权k近邻规则(LPP--Wk NN)的故障检测策略.首先,应用局部保持投影(LPP)方法将原始数据投影到低维主元子空间;接下来,在主元子空间中,应用样本第k近邻的局部近邻集确定每个样本的权重并计算权重统计量Dw;最后,应用核密度估计方法确定Dw控制限并进行故障检测.本文方法应用LPP对过程数据进行维数约减,既能够降低训练过程中离群点对模型的影响,又能够降低在线故障检测的计算复杂度.同时,加权k近邻规则(Wk NN)方法通过引入权重规则能够使得过程故障检测统计量分布具有单模态结构.相比传统的k NN统计量,本文引入的权重统计量具有更高的故障检测性能.通过数值例子和半导体蚀刻过程的仿真实验,并与主元分析(PCA), k NN, Wk NN, LPP--k NN等方法进行比较,实验结果验证了本文方法的有效性.     

用WinZip制作自解压包

第1步 将需要建立压缩包的文件进行整理,最好都将他们集中存放在一个目录下,用WinZip将其压缩成一个扩展名为zip的压缩文件。 第2步 在【效果】(Actions)中选择【制作自解压文件】(Make.EXE File)选项,启动自动解压缩程序(如图)。     

“找不到网页”变身收藏夹

对于经常上网冲浪的朋友,点击某个网络链接而提示“找不到网页”或“404错误”的情况很常见,一般都是直接关闭或重新输入其他的网址。要是能在提示“找不到网页”时显示收藏夹中的网址岂不更好?这样就可以直接点击喜爱的网址进行浏览了。其实,这个“梦想”在Maxthon中很容易实现。导出收藏夹在I E浏览器中依次点击“文件/导入和导出”,在弹出的向导窗口中选择“导出收藏夹”后点击“下一步”,继续“下一步”,点击“浏览”按钮选定保存位置后即可得到一个名称为“b o o k m a r k.h t m”的文件(如图1)。开启“友好错误页面”目前,Maxthon…     

无线传感网络中覆盖保持的K-连通子集构造算法

构造无线传感网络中具有连通覆盖特性的节点子集是实现网络休眠调度、延长网络生命周期的关键技术之一,具有重要的研究意义.已有的研究大多侧重于k覆盖节点子集构造问题,由于k覆盖子集在一定条件下便满足k连通,故人们对k连通子集的构造问题研究较少,但通过构造k覆盖节点子集来实现k连通会耗费过多的节点,代价较大.因此,本文提出一个直接构造k连通1覆盖节点子集的算法-CPC,能够用较少的节点构造出一个既能满足网络的覆盖特性又能够满足k-连通特性的节点子集,使得在任意k-1个节点发生故障时,网络能够仍然保持连通.本文还对算法的正确性进行了严格证明,并通过仿真实验与相关算法进行了性能比较.结果表明,与已有的k覆盖算法相比,CPC算法能够节省约55%的节点数.     

拟（h,k）存贮有限自动机的可逆性

主要研究拟（h,k）阶存贮有限自动机的延迟k步与k＋1步弱可逆性,以及它的弱逆,得到了拟（h,k）阶存贮有限自动机的延迟k步与k＋1步弱可逆的充分必要条件,并且通过所得结果可以比较简便地构造出延迟k步与k＋1步弱可逆拟（h,k）阶存贮有限自动机的延迟k步与k＋1步弱逆。