沈云付
- 作品数：63 被引量：118H指数：8
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：国家自然科学基金上海市教育委员会重点学科基金上海市教育委员会创新基金更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- 《CC2001教程》的研究与思考
- 本文研究了IEEE-CS与ACM计算教程联合工作组推出的《CC2001教程》,分析了国内、外高校计算机课程设置的现状,提出适合我们国情的教学内容和课程设置的设想.
- 陆菊康沈云付吴悦雷咏梅
- 关键词：课程体系教学改革计算机专业
- 文献传递
- 基于三值光学计算机的旅行商问题的求解实现被引量：4
- 2011年
- 根据三值光计算机具有的巨并行性特点,对给定城市数的旅行商问题进行研究。首先将旅行商问题进行预处理,并转换为改进的符号数(modified signed-digit,MSD)表示形式;然后根据三值光学计算机的位数众多和MSD加法的无进位过程,建立了相应的计算方法,用自主开发的三值逻辑光处理器系统进行求解。结果表明,在数据量同样的情况下,与电子计算机相比,三值光学计算机需较少的计算步数就可以解决旅行商问题,显示出三值光学计算机潜在的优势。
- 沈云付樊孝领
- 关键词：三值光学计算机旅行商问题
- 自适应数据库连接池的研究被引量：29
- 2003年
- 该文在分析传统数据库连接池的基础上,指出了传统数据库连接池的不足,提出了自适应数据库连接池的概念,详细给出了一个切实可行的构建自适应数据库连接池的实施方案。实际运行的结果表明它能大大改善系统响应时间、降低系统资源的开销,从而提升系统整体性能,满足大型应用的需要。
- 朱长生沈云付
- 关键词：服务器系统资源JDBC
- 三值光学计算机MSD加法器计算原理模拟实现
- MSD加法器是三值光学计算机的一个重要运算部件。利用MSD ( M odified Signed-Digit )加法计算 中具有无进位过程的特点，理论上构造三值光学计算机MSD 加法器，可使光学计算机的“三值”和“数 据...
- 沈云付金翊彭俊杰丁广太岳东剑
- 关键词：三值光学计算机加法器
- 三值光学处理器的数据位管理理论和技术被引量：10
- 2013年
- 数据位众多是三值光学计算机的突出特点之一,如何有效地管理众多的数据位成为计算机科学领域的新课题.本文通过继承、更新、增补、归纳和梳理相关的研究成果,形成了比较系统的数据位管理理论和技术架构.这个框架包括下列概念和技术:1)数据位管理基本单位"算位"和"算道",算位用于标记简单数据类型的数据位,算道用于标记复合数据类型的数据位.2)"计算量指标"用于标示一个任务的计算量规模,对大规模、中规模和小规模的任务,系统将采取不同的管理策略.3)"数据位物理形态"指出在数据传送的各个阶段数据位所占用的具体器件.4)"坏位替换"技术实现了用预留的冗余数据位及时替换失效的数据位,依靠这项技术,三值光学计算机具有对数据位软硬件故障的容错能力.5)"整体重构"技术采用定时重构所有数据位的策略,显著减少了重构过程对计算过程的打断次数.6)"数据位分配技术"将对不同规模的任务采用各不相同的规划策略.另外,文中还讨论了用这个理论指导设计三值光学计算机第三个实验系统(SD11)硬件的情况.SD11的设计目标是为探索如何应用三值光学计算机提供实验平台.SD11的光学处理器基本模块有1024个数据位,还有128个冗余数据位,而一个光学处理器可以包含16个基本模块,所以,一个SD11最多可以有16384个数据位,并有2048个冗余数据位.
- 金翊欧阳山宋凯沈云付彭俊杰刘学民
- 关键词：三值光学计算机可重构性
- 扩展三值纠一检二码原理与设计被引量：2
- 2013年
- 本文在三值汉明码一位检错纠错研究工作的基础上,对三值汉明码的检错纠错方法进行进一步研究.给出了扩展三值汉明码的形式,通过对扩展三值汉明码的错误分析获得了一位纠错和二位检错原理,给出了扩展三值汉明码的纠错码表,根据纠错码表提出了一位纠错方法,给出了基于三值光学计算机的扩展三值汉明码检错纠错概念结构图和功能部件,为检错纠错系统的光学设计提供一种途径.
- 沈云付潘磊
- M+B型三值光学加法器的数据剪辑技术
- 2016年
- 在电子计算机中,由于进位的存在使得多位数的加法效率并没有显著地提升,而光学方法则显示了其并行性和无进位的优势.在M+B型加法的运算法则和C、P、R 3个三值变换工作的基础上,对相关的数据剪辑技术进行了研究(M表示MSD数,B表示二进制数).提出了M+B型加法的数据剪辑技术策略,并用软件模拟了3个三值变换以及数据的截断和拼接,验证了该方法的正确性和可实现性.
- 沈云付张凯凯蒋本朋
- 关键词：三值光学计算机加法器累加器
- 基于三值光学计算机的并行快速Fourier算法实现被引量：5
- 2017年
- 快速Fourier变换(FFT)是信号处理领域应用十分广泛的算法,在高速、实时的应用环境中常用硬件并行实现的方法来加快FFT的运算速度,但在一些特定领域如在空间受限、对能耗及散热具有较高要求的航空航天设备中,传统的电子方法将受到很大的局限,而三值光学计算机以其能耗低、数据位数众多的优点使得它可能具有广泛的应用前景.针对这种现状,本文研究了采用三值光学计算机来实现快速Fourier变换的设计方案和方法.通过对传统基2、基4和基8时域抽取快速Fourier变换运算过程的分析,利用三值光学计算机数据位数众多和数据位数易扩展的特点设计了多个并行度更高的快速Fourier变换算法,给出了详细的算法实现流程并进行了各算法间的对比,分析了实现方案所需的时钟周期和硬件资源,模拟验证了该实现方案的正确性.相比于传统基于现场可编程门阵列的并行实现方法,这种在三值光学计算机上实现的快速Fourier变换运算功耗更低、所需时钟周期数更少,这为在嵌入式设备中高速低功耗地实现快速Fourier变换提供了新的解决思路.
- 彭俊杰魏鑫燏张晓峰沈云付付友谊
- 关键词：三值光学计算机快速FOURIER变换并行计算嵌入式设备
- 素数阶群理论的量词消去算法及其上界
- 2005年
- 在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界.
- 沈云付
- 关键词：素数阶量词消去
- 课程体系与实践环节教学改革的实践与探索
- 近几年来,根据教育部本科教学工作水平评估的要求,积极开展一系列的教学改革工作,努力使计算机学科的教学管理工作、教学计划、课程设置、教学内容以及教学手段与方法能适应学科发展和人才培养的需求.本文主要就我们在计算机本科教学课...
- 张武吴悦沈云付郑宇
- 关键词：教学水平评估计算机学科课程建设教学改革
- 文献传递
