期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
活性细胞膜计算的可执行性描述与实现
被引量：
1
1
作者
张民
戚正伟
董笑菊
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2008年第10期1635-1639,共5页
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的...
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.
展开更多
关键词
活性细胞膜计算
重写逻辑
可满足性问题
在线阅读
下载PDF
职称材料
嵌入式无线VOD系统方案设计
被引量：
1
2
作者
顾锋磊
戚正伟
《航空计算技术》
2007年第3期114-117,共4页
通过一个嵌入式无线视频点播方案的设计与实现,展示了远程教育中移动学习的一个典型应用。通过支持IEEE802.11b无线网络协议和MMS协议,在带CF无线网卡的Intel PXA270硬件平台上,采用支持多种编码格式的Mplayer播放器,并对Konqueror浏览...
通过一个嵌入式无线视频点播方案的设计与实现,展示了远程教育中移动学习的一个典型应用。通过支持IEEE802.11b无线网络协议和MMS协议,在带CF无线网卡的Intel PXA270硬件平台上,采用支持多种编码格式的Mplayer播放器,并对Konqueror浏览器加入MMS协议支持。通过对整个方案中若干关键技术的设计与实现,建立了原型系统,为以后进一步的推广和应用打下了良好基础。
展开更多
关键词
无线网络协议
MMS协议
视频点播
在线阅读
下载PDF
职称材料
GPU内置传感器的功耗数据矫正方法研究
3
作者
李君科
郭兵
+3 位作者
沈艳
李德光
黄彦辉
戚正伟
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2016年第2期282-287,共6页
功耗数据采集是绿色计算的前提,也是软件能耗测量的基础工作。在功耗数据采集中,通常内置功率传感器采集软件能耗面临功率迟滞、程序能耗受启动时间影响等问题,产生的原因在于内置传感器的硬件构成及其使用的功耗算法。该文针对内置传...
功耗数据采集是绿色计算的前提,也是软件能耗测量的基础工作。在功耗数据采集中,通常内置功率传感器采集软件能耗面临功率迟滞、程序能耗受启动时间影响等问题,产生的原因在于内置传感器的硬件构成及其使用的功耗算法。该文针对内置传感器的功耗算法问题,提出了一种基于逼近函数的功率数据矫正方法。该方法根据程序运行时间长短,分别采用数据拟合方法和基于误差方向的逼近函数进行矫正。最后,在代表性的K20系列GPU实验平台上进行验证,实验结果表明该方法能较好地解决传感器采集功耗数据存在的问题,且使用该方法和经验参数法获得的能耗数据相比误差小于1%,具有较高的精度。
展开更多
关键词
内置功率传感器
数据矫正
绿色计算
软件能耗
在线阅读
下载PDF
职称材料
题名
活性细胞膜计算的可执行性描述与实现
被引量：
1
1
作者
张民
戚正伟
董笑菊
机构
上海交通大学电子信息与电气工程学院
上海交通大学软件学院
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2008年第10期1635-1639,共5页
基金
国家重点基础研究发展规划(973)项目(2003CB317005)
国家自然科学基金资助项目(60573002
+1 种基金
60703033)
高等学校博士学科点基金资助项目(20010248033)
文摘
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.
关键词
活性细胞膜计算
重写逻辑
可满足性问题
Keywords
P systems with active membranes（PSAM）
rewriting logic
satisfiability（SAT） problem
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
嵌入式无线VOD系统方案设计
被引量：
1
2
作者
顾锋磊
戚正伟
机构
上海交通大学软件学院
出处
《航空计算技术》
2007年第3期114-117,共4页
基金
国家"863"计划基金资助项目(2004AAIZ2330)
上海市教育信息化重大应用项目"上海教育资源库建设"(沪教委基[2004]81)
文摘
通过一个嵌入式无线视频点播方案的设计与实现,展示了远程教育中移动学习的一个典型应用。通过支持IEEE802.11b无线网络协议和MMS协议,在带CF无线网卡的Intel PXA270硬件平台上,采用支持多种编码格式的Mplayer播放器,并对Konqueror浏览器加入MMS协议支持。通过对整个方案中若干关键技术的设计与实现,建立了原型系统,为以后进一步的推广和应用打下了良好基础。
关键词
无线网络协议
MMS协议
视频点播
Keywords
wireless network protocol
MMS
VOD
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
GPU内置传感器的功耗数据矫正方法研究
3
作者
李君科
郭兵
沈艳
李德光
黄彦辉
戚正伟
机构
四川大学计算机学院
成都信息工程大学控制工程学院
上海交通大学软件学院
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2016年第2期282-287,共6页
基金
国家自然科学基金重点项目(61332001)
国家自然科学基金(61272104
+1 种基金
61472050)
四川省应用基础研究计划(2014JY0257)
文摘
功耗数据采集是绿色计算的前提,也是软件能耗测量的基础工作。在功耗数据采集中,通常内置功率传感器采集软件能耗面临功率迟滞、程序能耗受启动时间影响等问题,产生的原因在于内置传感器的硬件构成及其使用的功耗算法。该文针对内置传感器的功耗算法问题,提出了一种基于逼近函数的功率数据矫正方法。该方法根据程序运行时间长短,分别采用数据拟合方法和基于误差方向的逼近函数进行矫正。最后,在代表性的K20系列GPU实验平台上进行验证,实验结果表明该方法能较好地解决传感器采集功耗数据存在的问题,且使用该方法和经验参数法获得的能耗数据相比误差小于1%,具有较高的精度。
关键词
内置功率传感器
数据矫正
绿色计算
软件能耗
Keywords
built-in power sensor
data correction
green computing
software energy
分类号
TP338.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
活性细胞膜计算的可执行性描述与实现
张民
戚正伟
董笑菊
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
2
嵌入式无线VOD系统方案设计
顾锋磊
戚正伟
《航空计算技术》
2007
1
在线阅读
下载PDF
职称材料
3
GPU内置传感器的功耗数据矫正方法研究
李君科
郭兵
沈艳
李德光
黄彦辉
戚正伟
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
