几何常识凸显已知数全体仅为数宇宙的一颗星球——课本“以球为守”的重大错误应及时纠正

几百年解析几何一直认定书上x轴R包含一切正数。然而如正方形对角线的长揭示有无理数那样“a_b充分短才能使a≈b”揭示：各已知正数x均有无穷多≈x的用而不知的“更无理”数x＋△x〉x（△x〈一切已知正数），推翻了百年“R完备”定理；已知数全体远远不够用。因其仅为数宇宙中的一颗星球!由“一一配对”常识证明客观存在无穷数。几百年“△f≈df＋d^2f／2!”揭示R有太小正数x小至其对应数x^n≥2不∈R。     

不识最大自然数等使课本有一系列重大根本错误

可数集的各元都必可有自然数“配偶”这一特点使自识正整数5千年来一直“深埋地下”的最大自然数及无穷多无穷大自然数一下子“破土而出”推翻百年“标准实数完备”论，显示已知实数全体仅为实数宇宙中的一颗星球。从而揭示中、小学课本有一系列重大错误：搞错变量的变域而将部分误为全部（继而推出病态的“部分可=全部”）；误以为“有首项的无穷数列必无末项”使级数论有常识性与概念性错误而使小学课本违反起码数学常识地断定0．99…=1；…。     

中学极重大根本错误:无穷数列必无末项——“一对一”常识推翻五千年科学“常识”:无最大自然数

由"一一配对"常识证明了:自识自然数5千年来科学界一直认定的"无最大自然数"是极重大根本错误,{n≥1}不一定是非0自然数集N+而有可能是其真子(扩)集;无穷级数都有末项;存在欧拉使用的无穷数。不识"更无理"无穷数的数学自相矛盾,其目光太短浅、视野太狭窄从而远不能满足实际的需要,其对"无穷"的认识有极其重大根本错误。指出数轴R内各已知数点x均有无穷多与之无限逼近的用而不知的无穷数点x+△x,故R的已知数x全体仅是R的沧海一粟。强调教科书的重大错误所造成的重大经济损失一点也不亚于经济建设中的重大错误所造成的经济损失。     

真正科学常识否定5千年“常识”:没最大自然数——证实庞加莱百年前伟大科学预见推翻百年集论

无穷多对"夫妻"之间互相任意"换妻"后绝不会有"单身"出现———此起码逻辑学常识让"深藏"5千年的最大自然数和别的无穷大自然数n及其倒数1/n<ε一下子暴露出来,从而推翻百年自然数公理和消除极限论百年糊涂话使集论一下子现出庞加莱所认为的百年病魔原形。如化学曾被错误燃素说统治百年一样,数学也…。近似常识凸显相应无穷大也有相比下总≈0的另一面。揭示没有用而不知的起决定性作用的无穷大(小)数就没有微积分。     

中学极显然重大错误：将两异集误为同一集——再论实数与已知实数轴的点远不可一一对应

“——配对”常识反复证明：存在用而不知的最大自然数和无穷大自然数，此无穷序列{n}的项可多（少）于彼{n}的项。非常形象直观地揭示中学数学有一系列搞错了变量的变域的重大错误。几百年解析几何一直将y=x轴与人们未知的y=2x轴等羌穷多各根本不同的数轴误为同一轴。从而使康脱推出极荒唐“革命发现”：线段所包含的点可与其一部分的点一样多。揭示点集与数集有根本区别，实数与书上实数轴的点远不可——对应。     

百年集论使人犯极荒唐常识错误:0-10~(10)=0——再论形如{1,2,3,…,n,…}一般都有末项

-1+0+0+…=-1凸显无穷级数w必比w+a少一个项。顺藤摸瓜得:无穷多双项组成的{(2n-1,2n)}与{1,{(2n,2n+1)}}不是同一数列;医学不知血有血型就会医死人,数学不知集有奇、偶型之分就会…;变集每增(减)一元都比变化前多(少)了一个元,故无穷集U增元变为U+V=K中的V有多少个元,K就比U多多少个元;有无穷大正整数n=1+1+1+…的项比Q={1,2,…,n,…}的项还要多而>Q的一切n;各级数w都有末项;w发散≠w没有所有项的和;对无穷对象同样有:本身-本身=0;无限循环小数并非有理数。     

50字纠正五千年重大错误:任何自然数n<自然数n+1——续50字推翻五千年科学"常识":无最大自然数

正整数集N=11=1号数,2=2号数,…,n=n号数,…}的真扩集K=Nu{0}的0=m号数,显然:m是N以外的>所有自然数n的超自然数,m-1是与1相隔无穷多个n的最大自然教--五千年来一直不识与否定这类无穷大数及其倒数而误以为"有首项的无穷数列必无末项"的重大缺陷与错误,使级数论有概念性错误而一直误以为无限循环小数是有理数;使康脱脱离健康误入歧途铸成更重大错误:百年集论;使"精确"的极限论是自相矛盾的学说而根本不能化解无穷小危机.显然K有m个数.因K外还有负整数、正负分数等.故表示"多少个"的数n的全体中N只占极小一部分.从各个方面、角度深入分析论证了:客现存在用而不知的无穷大自然数是无穷多个1的和而与1之间有无穷多个自然数;无穷级数y一般都代表教,只不过有的y是用而不知的无穷大数罢了.     

“时空量子化”的关键：纠正数学课本一系列重大错误——证明实数轴有最小、大正数点推翻百年集论

破解“时空量子化”难题的关键：须知“点无大小”是初等几何最重大根本错误。近似计算常识凸显R轴相比下是极短直线段，R仅是实数全体的沧海一粟而远不够用，中学“R各点可与全部实数一一配对；…”等是一系列重大根本错误——微积分不能自圆其说的症结。揭示：否定无穷数使极限论的思想极其混乱；R轴由长为R的最小正数的点组成；各相应曲线是由充分短直线段连接成的；没空隙的y=x轴的区间D各点y=x都沿轴保序增距移动变为点y’=2x形成比D长的ZCy’=2x轴的原因只能是①D-Z各点都弹性变长了②或点与点之间都拉开了一段距离而使其所占据的空间变长了，使Z有许多空隙（各点可变大填补空隙；Z变回D是因…），否则就是点的保距变挟了；将大小不同的点或有空隙与无空隙的线混为一谈．就误以为DiZ而推出：Z的点能与其真子集的点一样多：有半径相等的两圆的点不可一一配对从而不≌更不可重合相等。     

下期发表论文摘要预报

基于网络最大流的立体匹配算法 黄海赘,戚飞虎,岑峰 (上海交通大学计算机科学与工程系,上海200030) 摘要：为得到立体图像对的全局最优匹配,将视差搜索范围离散化,与图像坐标一起构成三维空间网络．恰当定义网络各边的容量,使之兼顾立体匹配的相容性和光滑性约束,将立体匹配转化为网络优化问题．通过求解网络的最大流和最小切割,获得全局最优的视差分布数据‘实验表明,算法生成的视差数据不仅连续稠密而且保留了细节信息． 多分类器结合的人脸识别 陈刚,戚飞虎 (上海交通大学计算机科学与工程系,上海200030) 摘要：用贝叶斯理论分析了常见的和、积、中值及投票多分类器结合方法,指出它们各自的缺陷,类比真实的选举情形,对原投票法进行了改进：赋予不同分类器不同的"说话份量,被重视程度",即不同权值,增加"第二候选人"备选,并考虑"第一与第二候选人"的可信度差给予"附加选票"．采用Olivetti和Oracle研究室的人脸图像库,结合本征脸法、协同算法和自联想神经网络法分类器,对比了新方法和常见结合方法．实际结果表明,改进的方法有较好的识别率． Rough有限格的蕴涵规则挖掘 赵奕1,邢平平1,施鹏飞1,熊范纶2 (1．上海交通大学图像处理与模式识别研究所,上海200030; 2．中国科学院合肥智能机械研究所,合肥230031) 摘要：提出了一种基于Rough有限概念格的规则发现方法(RRLIRD),以揭示数据集中的蕴涵规则．首先引入有限概念格的简化表示形式,由用户选择数据集中感兴趣属性集创建概念格结构,提高用户的交互性和挖掘的效率;然后运用有限概念格与Rouhg集理论相结合形成Rough有限概念格,蕴涵规则则由其特有的上、下近似运算得到,不需计算繁琐的频繁项目集．算法运用大型超市的交易流水数据进行仿真实验．结果表明,执行时间比经典的Apriori算法大大降低．该算法也适用于证券行情分析和农业数据库中的病虫害分析等． 基于最优梯度估计及小波变换的指纹图像处理技术 陈茂林,戚飞虎,汪黎明 (上海交通大学计算机科学与工程系,上海200030) 摘要：提出了最优梯度估计算法,用于提取指纹图像局部窗口中的纹理梯度特征参数,并在此局部窗口内计算出相应的频率参数．小波滤波器再根据这些特征参数对指纹图像进行自适应滤波,并用滤波后的合成梯度强度对滤波性能进行了衡量．实验结果表明,该算法较好地去除了图像中的噪声,并较大程度地提高了图像的质量． 多字体字符识别的分级协同模型 王海龙,戚飞虎,任庆生 (上海交通大学计算机科学与工程系,上海20030) 摘要：提出了一种用于多字体字符识别的分级协同神经网络模型．该分级模型的识别由两部分组成：Haken的协同网络被用来确定识别进入哪个协同子网;用协同子网进行具体识别．对大量实际采集得到的多字体字符样本的测试表明：新模型能有效地提高协同神经网络对多字体字符的识别率,但由于仍保留了识别速度快的特点,所以新模型适用于实时的光学字符识别应用．对加噪字符的识别试验表明该模型具有很好的鲁棒性． 一种快速单模式准确匹配算法 王永成,陈桂林,韩客松 (上海交通大学电子信息学院,上海200030) 摘要：引入连续跳跃查找文本的思想,提出了一种新的单模式精确匹配算法,其最优条件下的时间复杂度为O [n／(m+1)],新算法的平均时间复杂度分析表明其具有优越的查找性能．对比实验结果显示,新算法的性能优于目前所见的同类算法,特别是在模式较短的情况下,优势更为明显,这一特点非常适合于自然语言文本的检索． VHDL RT级综合中赋值语句的优化算法 曹炜,周海峰,林争辉 (上海交通大学大规模集成电路研究所,上海200030) 摘要：在基于硬件描述语言VHDL的电路系统综合中,系统的实际功能是由各种形式的赋值语句来描述的,而赋值语句的核心是各种形式的表达式．当设计的规模变大后,去除大量冗余的赋值语句和公共子表达式的优化(含运算的重定序问题)就成为关系到所设计系统性能的两类重要的优化问题．首先对各种可能出现的赋值语句组合情况进行研究,得到一系列的处理规则,进而提出一种基于规则的算法,用来消除赋值语句冗余;对于第二类问题的两个子问题,提出一种基于代数中基本定律的算法同时解决．实验结果表明,提出的解决第一类问题的算法在处理赋值语句冗余和二义性方面是有效的,解决第二类问题的算法比传统的DAG算法更具普适性． 一种改进的多级逻辑优化算法 吕宗伟,张镭,林争辉 (上海交通大学大规模集成电路研究所,上海200030) 摘要：基于变换化简法,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法．该算法通过计算逻辑网络中门或连线处的可观测性无关项,可迅速得到最大允许函数集,从而节省了计算时间,并且提高了原算法的适用性．实验结果表明,改进后的算法可用于大规模集成电路的设计． 一种改进的Hausdorff距离目标跟踪算法 刘珂,张宪民,付永会 (上海交通大学图像处理与模式识别研究所,上海200030) 摘要：在序列图像中进行目标跟踪是计算机视觉、图像处理和模式识别领域里非常活跃的课题．采用Hausdorff距离模板匹配的方法具有计算量小、适应性强的特点．为了能对复杂背景(包括运动背景或移动镜头)情况下的序列图像进行准确的跟踪,综合考虑了图像边缘的位置信息和方向信息,对模板匹配和模板更新的策略作了改进．与原有方法相比,目标跟踪的准确程度和算法的效率有了显著提高． 一种改进的偏微分方程图像平滑方法 杜啸晓,施鹏飞,杨新,严京旗 (上海交通大学图像处理与模式识别研究所,上海200030) 摘要：针对退化扩散方程在图像平滑时对角点的圆弧化,提出由梯度及与其正交方向上的二阶方向导数共同决定扩散速度．在图像的角点位置上,扩散速度趋于零,在线条点位置上,扩散速度由梯度的模值来决定,并在与梯度正交的方向上进行平滑;在灰度变化不大的区域上,采用传导系数为常数的热方程进行平滑．本文从理论上说明扩散速度的构造方法．实验结果表明,该扩散模型在对图像进行平滑的同时,对特征点的保留是明显的． 基于 NDIS的网络监视实现技术剖析 赵险峰,汪为农 (上海交通大学计算机科学与工程系,上海200030) 摘要：从构造一个高性能网络监视系统的角度,介绍了NDIS(Network Device Interface Specification)及其在Windows网络协议栈实现中的地位和作用,剖析了采用核心态NDIS协议驱动程序实现与底层网络接口设备具体细节无关的网络监视技术,给出了在内核和核外使用这项技术的基本方法;建立了基于NDIS的网络监视系统的基本构造模型和性能分析模型,给出了系统典型的构造过程和操作过程,展示了系统所具备的良好的结构性、扩展性、并行性、效率性和可编程性,评估了其性能参数,给出了实验方法和实验数据． BSP模型下的并行程序设计与开发 赖树华,陆朝俊,孙永强 (上海交通大学计算机科学和工程系,上海200030) 摘要：介绍了Bulk Synchronous Parallel(BSP)模型,讨论了在该模型下进行并行程序设计的优点,分析了BSP模型下如何进行并行算法的分析和设计,并提出了几条BSP模型下进行并行算法分析和设计必须遵守的原则．提出了BSP模型下的并行程序设计和开发的具体方法--两阶段BSP并行程序设计方法．以两矩阵的乘法为例说明借助已开发成功的BSP并行程序性能预测工具,利用两阶段BSP并行程序设计方法进行BSP并行程序的设计和开发是成功的． 敏捷供应链中基于多代理的Legacy系统封装技术 刘敏,李彪,张申生 (上海交通大学计算机集成技术开放实验室,上海200030) 摘要：为解决敏捷供应链中各异构Legacy系统的封装、集成问题,首先分析了直接数据库存取、基于函数与过程的调用、基于多代理封装等3种Legacy系统封装方案,然后采用CORBA、智能代理技术,构造了基于多代理的Legacy系统封装框架,以实现系统的功能与信息集成．最后在Windos环境下实现了构成内封装适配器的网络通信代理、服务分解代理与监控执行代理等3个智能代理． 一种无冗余的关联规则发现算法 高峰,谢剑英 (上海交通大学自动化系,上海20030) 摘要：关联规则是数据挖掘的重要研究内容之一,而传统算法生成的关联规则之间存在着大量的冗余规则.提出了一种通用的由最大频繁项目集生成无冗余关联规则的GNRR算法,利用规则之间的冗余关系,按一定顺序挖掘不同的规则,消除了规则之间的冗余性,使发现的规则数目呈指数倍减少． 一种用于高速逻辑电路综合优化的新算法 申旦,林争辉 (上海交通大学大规模集成电路研究所,上海200030) 摘要：本文提出了一种改进时序重排算法,使时序重排可以更有效地与其他组合优化算法结合起来,共同提高同步时序电路的速度．在各种不同的测试电路上得到的实验结果显示,这种算法在与其他组合优化方法的结合上,较以往的时序重排算法有很大的改进． 使用进化策略的图像矢量量化 张高,余松煜,王进 (上海交通大学图像通信与信息处理研究所,上海200030) 摘要：在分析自组织特征映射(SOFM)算法的基础上,把进化策略引入到矢量量化设计中．在使用SOFM算法作为基本聚类算法的前提下,基于等误差原则,利用最大最小原则改变各区域聚类点,使各子区域的误差趋于相等．利用进化策略在子区域误差大的聚类点附近产生新的聚类点,从而调整各个区域的子误差,进一步改善总期望误差．试验证明该方法可克服基本聚类算法落入局部最优的局限．在对Lena图像进行量化的过程中,改善了码书矢量,提高量化后图像的质量． 一类非线性系统的监督控制 范子彦,韩正之 (上海交通大学自动化系,上海200000) 摘要：在监督控制方案下实现了一类非线性系统的输出调节．过程是全局Lipschitz的严格反馈形系统,含有不确定的定常参数．假设参数属于一个已知的、由有限个元素组成的集合．控制方案可分成控制器组和监督器两部分．根据参数的先验知识,用反传方法设计确定性等价的控制器,组成候选控制器组．监督器对参数进行在线辨识,实现控制器之间的切换,最终将过程的输出调节到零． 形式化面向对象方法与并发系统的建模 朱兰娟,吴智铭 (上海交通大学自动化系,上海200030) 摘要：形式化规范语言提供了平行处理系统的建模、规范和证明机制,但它的过于抽象、表示形式复杂、可读性和可复用性差等缺点,阻碍了其进一步发展．为了弥补形式化规范语言的不足,本文试将统一建模语言(UML)的面向对象可视化设计与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列(Redundant Arrays of Inexpen-sive Disks,RAID)系统中的并发特性进行建模、分析和规范． 具有复制执行机构的非线性H∞可靠控制 --完全信息情况 伏玉笋,田作华,施颂椒 (上海交通大学自动化系,上海200030) 摘要：研究了具有复制执行机构的非线性H∞状态反馈可靠控制及其控制器的参数化问题．基于Hamihon-Jacobi不等式,得到了非线性H∞状态反馈可靠控制问题可解的充分条件,并构造出了一簇控制器,使得当有执行机构失效时,闭环系统仍渐近稳定且L2增益有限．本文的结果解决了非线性H∞可靠控制问题并为非线性H∞可靠控制问题的综合提供了更深的视角． 三个Buffers切换到达系统的混合系统建模和控制 杨根科,吴智铭 (上海交通大学自动化系,上海200030) 摘要：采用被服务Buffer编号为离散标识,Buffer中待处理任务数为连续状态,建立了系统的代数微分方程模型．提出了3个Buffers切换到达系统不稳定周期轨道的一种基于混合状态的镇定控制方法．当Server服务于1个Buffer时,以此状态下在连续周期轨道上对应的2个顶点张成的一维线形子流型为滑动目标,仅通过系统许可的对极限连续处理时间的控制,使系统镇定于周期轨道．并从系统的混合模型角度,分析了镇定方法的鲁棒性． 具有强鲁棒性的时滞滤波器设计 梁春燕,谢剑英,钟庆昌 (上海交通大学自动化系,上海200030) 摘要：采用了零极点配置方法来设计具有强鲁棒性的时滞滤波器,消除小阻尼不确定性系统的残留振动．通过在系统极点附近配置多个滤波器零点,建立离散传递函数得到时滞滤波器方程,设计简单．该方法在起重机载荷防摆控制中得到了很好的应用,能够有效地消除载荷的摆动,且对缆绳长度的变化具有很好的鲁棒性． 遗传算法在柔性动态调度中的应用 李岩,吴智铭 (上海交通大学自动化系,上海200030) 摘要：采用一种实用的柔性制造系统(FMS)在线动态调度方案,以对车间生产环境的变化作出及时反应．建立了零件的可变工艺路径、包含自动引导小车(AGV)的FMS调度问题的模型,采用遗传算法以任意始点的任务集为背景同时调度机器和AGV．研究由若干台加工中心和AGV组成的FMS的调度问题．论述了综合事件机制及时间机制优点的动态调度机制,通过被修订的工序集与所有剩余工序形成交集,来识别需要被修订的工序集．这种重调度方式减少了人为的干预,允许按环境改变而对方案作出修订,因此可以在实时条件下工作．