期刊文献+
共找到52篇文章
< 1 2 3 >
每页显示 20 50 100
纸上得来终觉浅,绝知此事要躬行——“树叶电镀”科普实验的实践与反思
1
作者 程一飞 杨嘉辉 +4 位作者 邵伟 张万群 胡万群 李维维 杨凯平 《大学化学》 CAS 2024年第9期319-327,共9页
介绍了作为2023年中国科学技术大学科技周化学与材料学院科普点的志愿者,在准备“树叶电镀”科普实验时,如何经历重重失败,克服种种困难,最终顺利完成“树叶电镀”项目的经历,以及在此经历中的感悟与收获。“树叶电镀”实验是受艺术性... 介绍了作为2023年中国科学技术大学科技周化学与材料学院科普点的志愿者,在准备“树叶电镀”科普实验时,如何经历重重失败,克服种种困难,最终顺利完成“树叶电镀”项目的经历,以及在此经历中的感悟与收获。“树叶电镀”实验是受艺术性的树叶书签之启发,主要利用化学镀与电镀原理,目的在树叶表面均匀镀上一层铜的科普实验。通过该实验,观众可初步了解氧化还原反应及电化学的初步知识,激发小朋友们对于化学的兴趣。 展开更多
关键词 科普实验 树叶电镀 电化学 氧化还原反应
下载PDF
基于本体的清扫机器人智能运维知识库构建
2
作者 刘宗坤 刘海宁 +2 位作者 李发家 程一飞 杨奉钦 《济南大学学报(自然科学版)》 CAS 北大核心 2024年第5期573-580,共8页
为了应对清扫机器人的复杂化趋势,降低清扫机器人的运维门槛,提出一种基于本体的清扫机器人智能运维知识库构建方法;通过形式化描述清扫机器人零部件的工作状态,构建清扫机器人运维本体;基于决策树制定运维方案语法规则,建立清扫机器人... 为了应对清扫机器人的复杂化趋势,降低清扫机器人的运维门槛,提出一种基于本体的清扫机器人智能运维知识库构建方法;通过形式化描述清扫机器人零部件的工作状态,构建清扫机器人运维本体;基于决策树制定运维方案语法规则,建立清扫机器人运维本体的规则体系;通过添加设备案例的实例数据,对清扫机器人运维本体进行推理与分析;以清扫机器人运维本体为基础,开发清扫机器人的在线推理应用。结果表明:运维本体推理的决策语义逻辑合理,基于本体的清扫机器人智能运维知识库构建方法具有一定可行性和有效性;所开发的清扫机器人在线推理应用为无人清扫作业提供了一种高效的知识服务手段。 展开更多
关键词 本体 智能运维知识库 知识推理 清扫机器人 辅助决策
下载PDF
一种双游程交替编码的测试数据压缩方法 被引量:6
3
作者 程一飞 詹文法 《计算机科学》 CSCD 北大核心 2014年第11期22-24,55,共4页
SoC测试面临的挑战之一是测试数据量过大,而测试数据压缩是应对这一挑战行之有效的方法。因此,提出了一种新的双游程交替的测试数据压缩方法,该方法对测试集中0游程和1游程交替编码,并且后一游程类型可以根据前一游程类型转变得到。这... SoC测试面临的挑战之一是测试数据量过大,而测试数据压缩是应对这一挑战行之有效的方法。因此,提出了一种新的双游程交替的测试数据压缩方法,该方法对测试集中0游程和1游程交替编码,并且后一游程类型可以根据前一游程类型转变得到。这样在代码字中不需要表示游程类型,减少了游程所需代码字的长度。实验结果表明,该方法能够取得比同类方法更高的压缩率,而且解压结构简单,因此能够达到降低测试成本的目标。 展开更多
关键词 测试数据压缩 双游程 无关位
下载PDF
长度折半的测试资源编码方法 被引量:3
4
作者 程一飞 詹文法 《电子测量与仪器学报》 CSCD 北大核心 2016年第3期480-486,共7页
编码方法通过压缩原始测试数据达到减少测试数据量的目的,是解决集成电路测试过程中测试数据量快速增长的有效方法之一。提出一种新的长度折半的测试数据编码方法,该方法首先对测试数据同时按0游程和1游程进行划分,然后对划分进行长度折... 编码方法通过压缩原始测试数据达到减少测试数据量的目的,是解决集成电路测试过程中测试数据量快速增长的有效方法之一。提出一种新的长度折半的测试数据编码方法,该方法首先对测试数据同时按0游程和1游程进行划分,然后对划分进行长度折半,编码。该方法既减少了编码的游程数量,又减少了编码的游程长度,可以在不增加代码长度的情况下增加能编码的游程长度。理论分析证明该方法具有极高的压缩效率,同时该方法解压结构简单,且独立于测试数据。实验结果表明:该方法平均压缩率达到65.13%。因此该方法具有很高的性价比,具有一定的应用价值。 展开更多
关键词 测试数据压缩 编码 折半 FDR(frequency directed run-length) EFDR(extended FREQUENCY directed run-length)
下载PDF
一种基于相邻位异或运算的测试数据压缩方法 被引量:1
5
作者 程一飞 詹文法 《系统仿真学报》 CAS CSCD 北大核心 2015年第11期2756-2761,共6页
压缩测试数据是降低测试成本的一种非常有效的手段。提出了一种基于相邻位异或运算的测试数据压缩方法,该方法通过将当前位与其前一位进行异或运算,将测试集中0游程和1游程转换成0游程,01和10交替序列转换成1游程,对转换后的游程进行编... 压缩测试数据是降低测试成本的一种非常有效的手段。提出了一种基于相邻位异或运算的测试数据压缩方法,该方法通过将当前位与其前一位进行异或运算,将测试集中0游程和1游程转换成0游程,01和10交替序列转换成1游程,对转换后的游程进行编码。该方法可以减少测试集划分数量;也可以增加最短可编码的划分长度,即可编码的最短划分长度由传统的0变成2,从而达到在不额外增加解码电路硬件开销的前提下进一步提高压缩率。用实验验证了本方法具有极高的压缩效率。 展开更多
关键词 测试数据压缩 异或运算 游程 FDR(Frequency Directed Run-Length)
下载PDF
适合内存空间受限制设备的多标量乘算法 被引量:1
6
作者 程一飞 陈文莉 《计算机工程与设计》 CSCD 北大核心 2006年第11期1979-1980,2027,共3页
标量乘及多标量乘算法是实现椭圆曲线密码系统的关键,如何快速高效实现标量乘及多标量乘算法是研究的重点。该文提出一个基于fractionalMOF(mutualoppositeform)的interleaving多标量乘算法,该算法能够充分利用内存空间,因此它非常适用... 标量乘及多标量乘算法是实现椭圆曲线密码系统的关键,如何快速高效实现标量乘及多标量乘算法是研究的重点。该文提出一个基于fractionalMOF(mutualoppositeform)的interleaving多标量乘算法,该算法能够充分利用内存空间,因此它非常适用于内存受限的设备。 展开更多
关键词 椭圆曲线密码系统 多标量乘 interleaving算法 MOF FRACTIONAL MOF
下载PDF
高速多级深井泵固液两相流及磨损特性 被引量:3
7
作者 曹卫东 张洋杰 +2 位作者 茅佳雨 程一飞 张留 《排灌机械工程学报》 CSCD 北大核心 2023年第5期433-439,共7页
为研究高速多级深井泵内部固液两相流动以及过流部件的磨损特性,采用DPM离散相模型对深井泵内部流动进行数值模拟,并采用磨损模型对叶轮和空间导叶进行磨损数值计算,分析在不同流量下固相颗粒在深井泵内部的流动规律以及叶轮和空间导叶... 为研究高速多级深井泵内部固液两相流动以及过流部件的磨损特性,采用DPM离散相模型对深井泵内部流动进行数值模拟,并采用磨损模型对叶轮和空间导叶进行磨损数值计算,分析在不同流量下固相颗粒在深井泵内部的流动规律以及叶轮和空间导叶的磨损情况.研究结果表明:在小流量工况下,颗粒在叶轮叶片进口处轨迹较为紊乱,颗粒速度随着流量的增大而增大;颗粒主要分布于叶轮叶片的头部和工作面上,随着流量的增大,颗粒分布面积逐渐扩大;在空间导叶上,颗粒主要呈带状分布于叶片工作面靠近外缘处,且在大流量工况下,叶片上颗粒堆积现象较为严重;叶轮叶片的磨损区域随着流量的增大而扩大,磨损程度以叶片头部最为严重;空间导叶的磨损率和磨损区域随着流量的增大而增大,在大流量工况下叶片工作面靠近外缘处最为严重;第一级叶轮和空间导叶的最大磨损率最大,随着级数的增加,叶轮和空间导叶的最大磨损率逐渐减小;在第一级叶轮中小流量工况下的叶轮最大磨损率最大,额定流量工况下叶轮的最大磨损率最小;在第一级空间导叶中流量为6 m^(3)/h时最大磨损率分别为2 m^(3)/h和4 m^(3)/h的33.5倍和8.5倍;第一级空间导叶的最大磨损率受流量的影响较大. 展开更多
关键词 深井泵 固液两相流 磨损特性 DPM模型 数值模拟
下载PDF
《C语言程序设计》教学探讨 被引量:7
8
作者 程一飞 程玉胜 《安庆师范学院学报(自然科学版)》 2011年第4期114-117,共4页
C语言程序设计作为一门专业基础课,为后继程序设计基础,同时又是专业课的实验编程语言,主要培养学生程序设计能力。但在实际的教学过程中存在种种困难,为此从如何引导和激励学生学习、教学内容、课堂教学、实验教学和考核方式等五个方... C语言程序设计作为一门专业基础课,为后继程序设计基础,同时又是专业课的实验编程语言,主要培养学生程序设计能力。但在实际的教学过程中存在种种困难,为此从如何引导和激励学生学习、教学内容、课堂教学、实验教学和考核方式等五个方面进行新的教学尝试,在2009级和2010级《C语言程序设计》课程教学中取得了较好的效果。 展开更多
关键词 C语言 程序设计 教学改革
下载PDF
RSA算法及其应用 被引量:8
9
作者 程一飞 《安庆师范学院学报(自然科学版)》 2004年第2期68-69,共2页
本文介绍RSA算法基本原理以及RSA算法在加密/解密,数字签名,密钥交换三个方面的应用。
关键词 RSA算法 加密/解密 数字签名 密钥交换
下载PDF
多标量乘算法的快速实现
10
作者 程一飞 侯整风 刘桂江 《河南科技大学学报(自然科学版)》 CAS 2005年第2期51-54,i004,共5页
标量乘及多标量乘算法是实现椭圆曲线密码系统的关键,如何快速高效实现标量乘及多标量乘算法是研究的重点。将基于滑动窗口的NAF算法引入到interleaving算法中,提出了基于滑动窗口NAF的interleaving算法,该算法在计算速度方面优于基本in... 标量乘及多标量乘算法是实现椭圆曲线密码系统的关键,如何快速高效实现标量乘及多标量乘算法是研究的重点。将基于滑动窗口的NAF算法引入到interleaving算法中,提出了基于滑动窗口NAF的interleaving算法,该算法在计算速度方面优于基本interleaving算法。 展开更多
关键词 算法 标量 快速实现 椭圆曲线密码系统 滑动窗口 快速高效 计算速度 NAF
下载PDF
一个新的基于radix-8的标量乘算法
11
作者 程一飞 陈文莉 《计算机技术与发展》 2007年第10期155-157,161,共4页
椭圆曲线标量乘是椭圆曲线密码系统中最关键、最耗时的运算,因此如何快速高效实现标量乘运算是研究的重点。目前常见的标量乘算法有:double-and-add算法,NAF算法,MOF算法等,但它们都是基于radix-2编码表示的,无论采用何种编码,倍点运算... 椭圆曲线标量乘是椭圆曲线密码系统中最关键、最耗时的运算,因此如何快速高效实现标量乘运算是研究的重点。目前常见的标量乘算法有:double-and-add算法,NAF算法,MOF算法等,但它们都是基于radix-2编码表示的,无论采用何种编码,倍点运算的次数都不变,减少的只是点加(或点减)运算的次数。提出一个基于radix-8表示的新的编码方法,及一个基于radix-8表示的标量乘算法,通过用八倍点运算代替倍点运算,且编码是从左到右(即从最高位向最低位)进行,编码和主计算可以合并,提高实现效率并节省内存空间。实验结果表明,该算法较经典的double-and-add算法能够提高效率30%以上。 展开更多
关键词 椭圆曲线密码系统 标量乘 radix-8表示 改进Booth算法 编码
下载PDF
抗SPA的多点乘算法
12
作者 程一飞 冯新亚 《计算机技术与发展》 2006年第5期106-108,共3页
SPA(Simple Power Analysis)攻击可能通过泄露的信息获取内存受限制的设备中的密钥,它是通过区分一次点乘运算中点加运算和倍点运算进行的。抗SPA攻击的点乘算法较多,但对于多点乘算法相关措施较少。Sharmir-NAF多点乘算法是一个时间和... SPA(Simple Power Analysis)攻击可能通过泄露的信息获取内存受限制的设备中的密钥,它是通过区分一次点乘运算中点加运算和倍点运算进行的。抗SPA攻击的点乘算法较多,但对于多点乘算法相关措施较少。Sharmir-NAF多点乘算法是一个时间和空间效率都非常优秀的多点乘算法。为此提出一种基于Sharmir-NAF的抗SPA攻击的多点乘算法。新的算法在内存空间消耗和计算速度上较原算法负担增加可以忽略不计,而且能够抗SPA攻击。 展开更多
关键词 点乘 多点乘 SPA Shamir—NAF
下载PDF
在Linux下配置DNS 被引量:1
13
作者 程一飞 《安庆师范学院学报(自然科学版)》 2002年第2期88-90,共3页
在简要介绍 DNS原理的基础上 ,以一个实例介绍如何在 Red Hat L inux7.0下配置DNS。
关键词 DNS 区域 解析器 资源记录
下载PDF
一个新的基于radix-4从左到右编码的标量乘算法
14
作者 程一飞 侯整风 《微型电脑应用》 2007年第5期44-45,55,共3页
椭圆曲线标量乘是椭圆曲线密码系统中最关键、最耗时的运算,因此如何快速高效实现标量乘运算是研究的重点。目前常见的标量乘算法有:double-and-add算法,NAF算法,MOF算法等,但它们都是基于radix-2编码表示的,无论采用何种编码,倍点运算... 椭圆曲线标量乘是椭圆曲线密码系统中最关键、最耗时的运算,因此如何快速高效实现标量乘运算是研究的重点。目前常见的标量乘算法有:double-and-add算法,NAF算法,MOF算法等,但它们都是基于radix-2编码表示的,无论采用何种编码,倍点运算的次数都不变,减少的只是点加(或点减)运算的次数。提出一个基于radix-4表示的新的编码方法,并提出一个基于radix-4表示的标量乘算法,通过用四倍点运算代替倍点运算,且编码是从左到右(即从最高位向最低位)进行,编码和主计算可以合并,提高实现效率并节省内存空间。实验结果表明,该算法较经典的double-and-add算法能够提高效率30%以上。 展开更多
关键词 椭圆曲线密码系统 标量乘 radix-4表示 改进Booth算法 编码
下载PDF
一个椭圆曲线多标量乘算法
15
作者 程一飞 刘桂江 《微机发展》 2005年第10期90-92,102,共4页
提出一种基于MOF(Mutual Opposite Form)的interleaving多标量乘算法,该算法在计算速度上明显快于基本inter-leaving方法,在计算速度和预存储方面和基于ωNAF(non-adjacent form)的interleaving方法相当,但MOF编码可从左到右实现,故编... 提出一种基于MOF(Mutual Opposite Form)的interleaving多标量乘算法,该算法在计算速度上明显快于基本inter-leaving方法,在计算速度和预存储方面和基于ωNAF(non-adjacent form)的interleaving方法相当,但MOF编码可从左到右实现,故编码和主计算可以合并,从而节省标量编码的存储空间,因此更适合于内存受限的设备上使用。 展开更多
关键词 多标量乘 interleaving方法 MOF方法 ωNAF方法
下载PDF
一个新的基于MOF从左到右编码的多标量乘算法
16
作者 程一飞 《计算机技术与发展》 2007年第11期157-159,163,共4页
很多基于椭圆曲线的密码协议都需要计算多标量乘法kP+lQ。目前常见的多标量乘算法的效率主要取决于标量的(联合)海明权值。JSF表示的平均联合海明权密度为1/2,是所有带符号二进制表示中最优的,但JSF编码只能从右到左实现。提出一个新的... 很多基于椭圆曲线的密码协议都需要计算多标量乘法kP+lQ。目前常见的多标量乘算法的效率主要取决于标量的(联合)海明权值。JSF表示的平均联合海明权密度为1/2,是所有带符号二进制表示中最优的,但JSF编码只能从右到左实现。提出一个新的从左到右的基于MOF的编码方法,该方法的平均联合海明权密度与基于JSF表示的相同,并提出一个新的多标量乘算法,该算法对标量从左到右进行编码,并将编码合并到多标量乘的主计算中,从而节省了存储标量的新编码的内存空间,提高了实现效率。 展开更多
关键词 椭圆曲线密码系统 标量乘 多标量乘 MOF JSF
下载PDF
共享MODEM上因特网
17
作者 程一飞 冯新亚 《安庆师范学院学报(自然科学版)》 2001年第3期50-52,55,共4页
在说明共享上网原理和功能的基础上 ,介绍与此相关的对等网配置 ,再介绍代理服务器的配置以及客户机上常用软件的设置。
关键词 因特网 局域网 代理服务器 客户机 MODEM
下载PDF
验证平台的可重用性分析 被引量:2
18
作者 詹文法 马俊 +1 位作者 黄玉 程一飞 《计算机科学》 CSCD 北大核心 2004年第B09期198-200,219,共4页
传统的验证方法学已经不能满足SoC验证的需求,现在通常使用验证平台来提高验证的质量.SoC的设计实际上是IP的集成设计,因此需要建立两个验证平台:IP单独验证平台和SoC系统验证平台.为了减少验证时间,提高验证质量,最有效的办法... 传统的验证方法学已经不能满足SoC验证的需求,现在通常使用验证平台来提高验证的质量.SoC的设计实际上是IP的集成设计,因此需要建立两个验证平台:IP单独验证平台和SoC系统验证平台.为了减少验证时间,提高验证质量,最有效的办法是使这两个验证平台统一,即IP单独验证平台的部分元件甚至全部元件可以直接被SoC系统验证平台重用。本文对验证平台的元件,如激励、驱动、监视器、脚本等的可重用性进行了分析,并提出了达到最大可重用的验证平台的设计方法,按该方法设计的验证平台的可重用率至少可达到60%. 展开更多
关键词 验证平台 SOC系统 IP SOC验证 元件 监视器 可重用性 脚本 验证方法 集成设计
下载PDF
独立于测试数据的字典编码方法 被引量:4
19
作者 吴海峰 詹文法 程一飞 《电子测量与仪器学报》 CSCD 北大核心 2016年第4期638-644,共7页
为减少测试数据量,提出一种新的独立于测试数据的字典编码方法。首先设计基于图论寻找团的启发式算法,合并相容扫描链,压缩测试数据宽度,然后利用最简分数对应浮点数的二进制形式生成字典,使用字典编码进一步压缩测试数据长度。该编码... 为减少测试数据量,提出一种新的独立于测试数据的字典编码方法。首先设计基于图论寻找团的启发式算法,合并相容扫描链,压缩测试数据宽度,然后利用最简分数对应浮点数的二进制形式生成字典,使用字典编码进一步压缩测试数据长度。该编码方法无需填充测试集中的无关位且字典的生成独立于测试数据,可以预先生成字典,缩短了测试时间;解压时无需存储字典,通过简单计算即可还原测试数据,减小了硬件开销。实验表明,该方法在ISCAS 89标准电路Mintest集上的平均压缩率达到65.57%,能够有效地压缩测试数据。 展开更多
关键词 测试数据压缩 相容组 字典编码 独立于测试数据
下载PDF
无理数字典码的测试数据压缩方案 被引量:2
20
作者 吴海峰 詹文法 程一飞 《计算机工程与应用》 CSCD 2014年第7期235-237,241,共4页
提出了一种无理数字典码的测试数据压缩方案,能有效地压缩芯片测试数据。方案利用无理数序列建立字典,编码时只需进行相容性检查,无需填充无关位,简化了操作步骤;同时,选择局部压缩率最大的一组数据作为最终编码结果,保证压缩效果可以... 提出了一种无理数字典码的测试数据压缩方案,能有效地压缩芯片测试数据。方案利用无理数序列建立字典,编码时只需进行相容性检查,无需填充无关位,简化了操作步骤;同时,选择局部压缩率最大的一组数据作为最终编码结果,保证压缩效果可以达到局部最优。对ISCAS 89标准电路Mintest集的实验结果显示,该方案的压缩效果优于传统压缩方法,如Golomb码、FDR码、混合定变长码等。 展开更多
关键词 无理数 字典 测试数据压缩 局部最优
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部