争渡，争渡，惊起一滩鸥鹭——记我的一次教研经历

2008年3月,我准备参加一次教坛新秀评比活动,教学内容范围是浙教版<算法与程序设计>第二章<算法实例>枚举、解析、排序、查找中的某一小节.所以,我开始准备<枚举算法>这一小节内容.     

计算线性规划问题最优解的新方法

介绍了一种计算线性规化问题最优解的新方法──枚举法，并用实例给出了求解步骤和方法。     

3-维匹配问题的一种固定参数枚举算法

枚举问题的多个最优解是计算机科学中人们日益关注的一个研究方向。运用固定参数枚举理论和着色技术对3-维匹配问题提出了一个高效的固定参数枚举算法,即给定一个含有n个带权值的元组集合S,两个非负整数k和z,该算法能在时间O(5.483kkn2z)内枚举出S中权值最大的z个k-matchings,进而表明了3-维匹配问题是固定参数线性可枚举的。     

尽在掌握联想云视频

在开始介绍联想云视频这个新奇的产品之前,我想有必要简单表达一下我的观点：首先,严格意义上讲并非所有相关网络的应用都可被称作云,但有时候“接地气”的说法的确能大幅降低普通用户理解的难度,从这个角度看,这款产品的命名也无可厚非：其次,尽管类似安防和监视的设备不胜枚举,但真正能够将其空降至家用却并不容易,因此在我看来,联想云视频可以称得上是一款剑走偏锋的产品,当然也许用“服务”代替“产品”来描述会更合适。     

基于SEP5010嵌入式系统中USB功能的实现

随着数字信号处理速度的提高,串口、并口已不能满足主机与嵌入式设备之间的高速数据传输要求,设计了一种采用具有东南大学自主知识产权ARM9的SEP5010芯片硬件平台的USB系统功能,简单分析USB的驱动架构并在应用层中提出了新的传输协议,提出了一种对平台中的USB模块进行高性能读写的设计方案,使得USB模块达到了702KB/s的读写速度。同时此测试方案的不依赖于底层硬件,可以在适用于各种类型的硬件平台。     

基于ISP1161的USB主机系统的设计

根据数据采集的实时性要求,并针对要将现场采集的数据存储到U盘的情况,文章提出了一种基于ISP1161的USB主机系统的设计方案,详细介绍了系统硬件及软件设计。该方案通过对USB芯片ISP1161的操作、DSP芯片TMS320F2812与USB芯片ISP1161的硬件连接及USB数据传输系统的软件设计,实现了USB传输和存储数据的功能,并在U盘里完成了FAT32文件系统的构建。实验结果表明,基于ISP1161的USB主机系统性能可靠,可以根据需要对U盘正确、高效地读写,满足数据采集的实时性要求。     

Rwtt/Mwtt中的枝点元素

该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商     

R/M中的与R中的≤T的关系

证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤_Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.     

R/M中的(≤)与R中的≤T的关系

证明存在递归可枚举图灵度a和c使得c(≤)a,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.     

细分曲面的GPU完全实现

本文提出一种完全在GPU上实现的细分曲面绘制策略。该方法以扇区为基本单元,利用三种新的枚举坐标对网格顶点进行编码。初始控制网格按扇区分割后,其顶点被编码到一张纹理上,控制顶点不规则性分离到扇区的同时扇区之间又具有松耦合联系,使GPU像素管线的并行性从片段网格内扩展到整个网格。另外,通过三张查找表来降低实时计算量,并且避免了在CPU上预先细分一次。经过实验对比说明,本文方法具有更高的实时性能。