关于基本算法语句的细细体会

算法是高中数学新增内容,其特殊的语法规则和解题思路,与学生原有的知识结构和解题经验有很大区别.算法的重点是"一个流程图,三种结构,五种语句",因此要鼓励学生细细体会算法思想,慢慢消化吸收.特别是五种基本算法语句. 考纲要求:了解几种基本算法语句--输入语句、输出语句、赋值语句、条件语句、循环语句,以及它们与三种基本逻辑结构之间的关系,会用基本算法语句编写解决简单问题的程序.     

下期发表论文摘要预报

基于网络最大流的立体匹配算法 黄海赘,戚飞虎,岑峰 (上海交通大学计算机科学与工程系,上海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的调度问题．论述了综合事件机制及时间机制优点的动态调度机制,通过被修订的工序集与所有剩余工序形成交集,来识别需要被修订的工序集．这种重调度方式减少了人为的干预,允许按环境改变而对方案作出修订,因此可以在实时条件下工作．     

基于“规则架+规则体”知识库的一致性与冗余性检查

知识库的组织和维护是大型专家系统和实现知识自动获取的所有专家系统必须解决的问题,介绍了基于“规则架＋规则体”的实用专家系统知识库中不一致与冗余规则（链）的几种可能形式,讨论了知识的一致性与冗余性检查的方法,并给出了详细的算法。     

一种基于规则与句法合成的层次化语句分析识别算法

首先, 在句子组织信息之间的结合度及基于规则、 词性和词序对句法分析系统影响的基础上, 提出一种基于规则的语句分析识别算法, 能在大量文本中快速识别出正确句式; 其次,在基于语句分析识别算法的基础上, 提出一种基于规则与句法合成的层次化语句分析识别算法, 以提高层次化句式识别检错的精度. 实验结果表明, 该算法平均精确率和平均召回率分别为84.65%和77.15%, 相比于只基于规则的语句识别算法分别提高了11.79%和14.48%, 证明了规则与句法合成的层次化语句分析识别的可行性.     

一种基于规则与句法合成的层次化语句分析识别算法

首先, 在句子组织信息之间的结合度及基于规则、 词性和词序对句法分析系统影响的基础上, 提出一种基于规则的语句分析识别算法, 能在大量文本中快速识别出正确句式; 其次,在基于语句分析识别算法的基础上, 提出一种基于规则与句法合成的层次化语句分析识别算法, 以提高层次化句式识别检错的精度. 实验结果表明, 该算法平均精确率和平均召回率分别为84.65%和77.15%, 相比于只基于规则的语句识别算法分别提高了11.79%和14.48%, 证明了规则与句法合成的层次化语句分析识别的可行性.     

基于等价类划分的并行频繁闭项集挖掘算法

针对海量数据的关联规则挖掘问题,提出了一种有效的基于等价类划分的并行频繁闭项集挖掘算法.该算法在MapReduce框架下,通过等价类的产生与划分、数据集的分配、异步频繁闭项集挖掘和汇总等步骤,不但较好地解决了多节点间的负载均衡问题,而且易于获得可靠的频繁闭项集.实验表明,该算法能有效克服传统算法挖掘效率低、冗余规则较多的缺点,整体上具有较高的性能.     

快速关联规则挖掘算法

提出了一种新颖的关联规则挖掘算法QAIS,与经典两阶段式关联规则挖掘算法不同的是,它只需扫描一遍事务数据库,不需要生成候选集,并且可以方便的应用在增量式关联规则挖掘算法中,该算法经合成数据验证是有效的．同时针对关联规则生成过程中出现大量冗余规则的问题,还讨论了冗余关联规则去除的问题．     

基于Apriori有效关联规则及其兴趣度的研究

通过对Apriori算法进行的分析与研究,发现其在实用中存在两个主要问题:生成的关联规则具有相当大的冗余性;有可能挖掘出一条支持度和置信度均很高,但却是无趣的、甚至是虚假的关联规则,且不能产生带有否定项的规则.鉴于此,给出了关联规则的两个性质和引入兴趣度的第三个度量--相关支持度;利用两个性质消除了一定的冗余,同时利用相关支持度使挖掘出的规则更符合用户的需求,设计了挖掘出有效关联规则算法,在算法中利用导出的性质提高算法效率,较好地解决了上述问题.     

基于多群体遗传算法的汉字识别系统设计

文章设计了一种基于粗糙集理论的手写体汉字识别决策系统,依据并行遗传算法在处理大型数据库上的特有优势,将信息熵理论作为粗糙集不确定性的度量,给出一种约简冗余条件属性求解决策信息系统约简集的多群体并行遗传算法;并提出了一种基于规则置信度的手写体汉字识别规则融合算法,提高识别准确率,对SCUT_IRAC手写体汉字库中手写体汉字进行识别实验,结果证明,该系统具有较强的手写体汉字识别能力。     

一种决策形式背景中挖掘决策规则的新方法

针对大规模决策形式背景中决策规则的提取问题,提出了一种将频繁闭项集与决策形式背景相结合以提取无冗余决策规则的新算法.该算法结合了深度优先搜索的思想以及概念格中概念节点之间的父子关系,改进了概念格中频繁闭项集的挖掘算法,得到的频繁决策概念格实现了对一定规模的数据库的压缩,同时得到无冗余决策规则.算法分析表明,该算法复杂度较低,更适用于大规模数据集中挖掘无冗余决策规则.     

I/O通讯中时序和同步的高级综合

研究VHDL中表示时序和约束的方法和综合前后模拟一致性在不同设计中的含义.根据这一含义,说明并实现了VHDL中循环语句的综合方法、条件语句和分支语句的综合方法,并实现了与循环有关的其它语句的综合.通过典型的例子给出程序的运行结果,说明实现的方法具有正确性和实用性.     

VHDL在数字电路设计中的应用

硬件描述语言已成为当今以及未来电子设计自动化(EDA)解决方案的核心,特别是对于深亚微米复杂数字系统的设计,硬件描述语言具有独特的作用。本利用硬件描述语言中的工业标准语言VHDL,设计了一个空调机控制器电路,并通过仿真实现了预定功能。结果表明,VHDL在数字电子电路的设计中具有硬件描述能力强、设计方法灵活等优点。     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

基于元编程技术的硬件设计模式研究

针对硬件设计的复杂性和自动化效率低等问题，提出了一种基于时钟处理的硬件设计模式．该模式充分考虑了软、硬件模式设计的互通性，并结合元编程技术，将成熟的软件设计模式的思路应用于硬件设计之中．它的核心是：用高速集成电路硬件描述语言（VHDL）解析器分析已知器件的接口，构造语法树，抽取生成器的变量值；将生成器用元程序封装在域实体之中；按照设计模式的作用和具体的变量值生成详细的VHDL代码．应用实例表明，所提模式生成的代码有效性高，设计过程可行性强，可广泛应用于复杂的时钟控制系统的设计领域．     

支持AFTER子句的综合算法研究

为了提高综合系统的效率,减少对综合系统的人工干预,提高其自动化程度,对VHDL硬件描述语言中的AFTER子句进行研究.通过对其行为综合语义的定义,给出了在AFTER子句时延约束下的ASAP和ALAP算法,建立了AFTER子句时延约束下的调度模型,并采用整数线性规划法求解调度模型.实验结果表明,在综合过程中考虑AFTER子句,不仅提供了一个有效给出时序约束的手段,而且使得设计描述方式更能够符合思维习惯,同时扩大了行为描述中可用语法范围,提高了行为综合的可预见性.     

高级综合中循环的综合方法研究

循环语句是高级综合中非常重要的语法现象^[1]。不同的循环语句（无限循环语句，有限循环语句和条件循环语句）应用于不同的场合，对不同循环语句的综合方法也不同。从VHDL语言的循环语句入手，研究高级研究中循环的综合方法，说明了VHDL语言中应用到不的各种情况和它们的综合方法，同时阐明了循环中的exit语句和next语句的综合方法。     

用VHDL语言实现基于布尔过程论的组合电路的设计

VHDL作为一种IEEE标准的电路硬件描述语言 ,正广泛地被电子技术人员使用。概要地介绍了布尔过程理论和VHDL标准语言 ,并对其在组合电路设计中的应用作一些探讨     

医学X光非标视频自适应转换系统的研究与实现

针对不同厂家X光非标医学视频技术参数不统一,无法直接接驳通用DVI、XVGA、S-Video等通用视频接口的现状,在研究建立非标准视频信号特征转换算法库的基础上,应用高速FPGA数字系统现场集成技术,采用在VHDL硬件描述语言编程设计的方法,很好地实现了高分辨X光非标医学视频的自适应转换,方便了临床X光影像的辩识。     

基于FPGA的微波炉控制器设计

本文通过VHDL的编程来实现微波炉控制系统各个模块的功能,顶层的设计使用图形输入来实现,体现了基于FPGA的微波炉控制系统模块化的设计理念和通过状态图来表现的描述方法,以及通过VHDL硬件描述语言的编程过程,并且使用Quartus II软件实现仿真。该微波炉控制系统较于基于单片机设计的市面上大多数微波炉控制系统来说,有着电路设计简单、灵活性强、功能扩展性强等优点。该系统主要由以下模块组成:状态控制电路、数据装载电路、计时电路、显示译码电路。经过对系统的分析,以及合理的进行模块连接,利用FPGA芯片进行波形仿真,验证了该系统的可行性,基本实现了该设计的预期要求。     

明导EDA系统的开发与应用

应用MentorGraphicsEDA系统模拟仿真工具和VHDL语言的模拟、综合、优化工具，研究了智能化电子设计的模拟仿真及VHDL语言描述的电子设计的模拟、综合、优化问题。