期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
动态二进制翻译中的冗余LOAD删除优化技术
被引量:
2
1
作者
王丽一
文延华
《计算机应用与软件》
CSCD
北大核心
2008年第6期40-43,共4页
动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码。在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化。该优化技术可以...
动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码。在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化。该优化技术可以使优化效果超过其自身的开销,达到优化的目的。
展开更多
关键词
动态二进制翻译
动态优化
冗余删除
下载PDF
职称材料
众核阵列非满配时的并行编程方法
2
作者
王丽一
郑岩
+1 位作者
李岱峰
王俊
《计算机应用与软件》
CSCD
北大核心
2012年第10期123-127,共5页
研究众核阵列非满配时逻辑线程映射到物理线程的方法。在此基础上提出应用于非满配众核阵列的并行编程方法,此方法也可以与MPI并行编程相结合,应用于大规模并行集群系统。
关键词
众核
逻辑线程
物理线程
并行编程
下载PDF
职称材料
协同编辑中的语义一致性问题
3
作者
吴青
王丽一
翟建设
《计算机应用研究》
CSCD
北大核心
2007年第4期114-116,共3页
针对计算机协同编辑系统的实际应用,如应用于协同写作,提出了其涉及的两种语义的一致性问题——简单语义一致性和复杂语义一致性。简单语义一致性是指参与协同编辑的用户要对所编辑文章中的概念达成一致的理解,提出利用本体这一知识表...
针对计算机协同编辑系统的实际应用,如应用于协同写作,提出了其涉及的两种语义的一致性问题——简单语义一致性和复杂语义一致性。简单语义一致性是指参与协同编辑的用户要对所编辑文章中的概念达成一致的理解,提出利用本体这一知识表示工具来解决;复杂语义一致性是指保持所编辑文章的整体语义合乎逻辑,并与主题保持一致,提出利用本体结合自然语言理解技术来解决。
展开更多
关键词
计算机支持的协同编辑
语义一致性
本体
自然语言理解
下载PDF
职称材料
用本体论来解决协同编著中的一致性问题
4
作者
吴青
翟建设
王丽一
《现代电子技术》
2007年第4期86-88,共3页
协同编著是一个群体认知和创造的过程。不同背景的人对同一个主题的理解产生的自然差异会导致主题的偏移。目前,国内外协同编著研发还没有很好地解决协同编著过程发散而又要求主题一致性收敛的问题。利用本体论中的领域本体,为实现人人...
协同编著是一个群体认知和创造的过程。不同背景的人对同一个主题的理解产生的自然差异会导致主题的偏移。目前,国内外协同编著研发还没有很好地解决协同编著过程发散而又要求主题一致性收敛的问题。利用本体论中的领域本体,为实现人人交互提供一种共享的语义基础,从而为解决协同编著中的主题一致性问题提供一种研究思路。另外,可以用协议本体解决系统之间的通信问题并提出了基于本体论的协同编著模型的构想。
展开更多
关键词
计算机支持的协同编著
本体论
一致性
模型
下载PDF
职称材料
德令哈秋色(外一篇)
5
作者
王丽一
《青海国土经略》
2023年第1期74-75,共2页
离开德令哈很多年了,其间只回去过一次,还是盛夏。可说来奇怪,德令哈的秋,却深深地镌刻在脑海中,从来不曾忘却:湛蓝的天空下,一排排高大笔直的杨树伸展着它们阔大而优雅的黄叶,风过处,唰唰的声音如交响乐般此起彼伏;远处,四季奔腾不息...
离开德令哈很多年了,其间只回去过一次,还是盛夏。可说来奇怪,德令哈的秋,却深深地镌刻在脑海中,从来不曾忘却:湛蓝的天空下,一排排高大笔直的杨树伸展着它们阔大而优雅的黄叶,风过处,唰唰的声音如交响乐般此起彼伏;远处,四季奔腾不息的巴音河水在蓝天的映衬下翻滚着一朵朵细小的白色浪花……德令哈位于柴达木盆地的东北边缘,是一座戈壁绿洲中的新城。
展开更多
关键词
德令哈
奔腾不息
一朵朵
柴达木盆地
交响乐
忘却
下载PDF
职称材料
基于SMT求解器的微处理器指令验证数据约束生成技术
被引量:
5
6
作者
谭坚
罗巧玲
+3 位作者
王丽一
胡夏晖
范昊
徐占
《计算机研究与发展》
EI
CSCD
北大核心
2020年第12期2694-2702,共9页
处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约...
处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益.
展开更多
关键词
指令功能
数据路径
约束求解
SMT求解器
验证数据
并行加速
下载PDF
职称材料
《土族音乐文化实录》出版发行
7
作者
王丽一
《中国土族》
2006年第3期58-58,共1页
关键词
互助土族自治县
出版发行
音乐文化
实录
中国文联出版社
青海省
音乐家
副主席
下载PDF
职称材料
基于对称多处理机的指令Cache验证策略研究
被引量:
1
8
作者
谭坚
李岱峰
+1 位作者
王俊
王丽一
《计算机应用与软件》
CSCD
北大核心
2013年第11期231-234,共4页
指令Cache作为高性能计算机系统中指令代码的高速缓冲,在整个系统中占有重要地位,其正确性验证工作很有必要。针对对称多处理机结构的一级和二级指令Cache验证提出多种验证策略,对各种验证策略造成指令Cache的颠簸效果进行实验和分析,...
指令Cache作为高性能计算机系统中指令代码的高速缓冲,在整个系统中占有重要地位,其正确性验证工作很有必要。针对对称多处理机结构的一级和二级指令Cache验证提出多种验证策略,对各种验证策略造成指令Cache的颠簸效果进行实验和分析,并且试图将各种验证策略综合成一个完备的验证系统,从而保证指令Cache设计的正确性。
展开更多
关键词
指令CACHE
验证策略
完备
下载PDF
职称材料
草原、戈壁及远方(组章)
9
作者
王丽一
《青海国土经略》
2019年第6期93-98,共6页
又见巴音河这是九月的高原,天空湛蓝高远,云朵悠扬。夏日已去,深秋未到,空气中透着一股夏秋交接时才有的空灵和舒展。近处的田野隐约还有一丝绿意,远方的草木却已换上了秋的衣装,在我们的视野中尽情呈现出北方之秋独有的大气与豪迈。我...
又见巴音河这是九月的高原,天空湛蓝高远,云朵悠扬。夏日已去,深秋未到,空气中透着一股夏秋交接时才有的空灵和舒展。近处的田野隐约还有一丝绿意,远方的草木却已换上了秋的衣装,在我们的视野中尽情呈现出北方之秋独有的大气与豪迈。我们乘坐的汽车驶出了德令哈市区,沿着巴音河一路向东。与我们相向的巴音河水是那样清澈洁净,淡蓝色的水面上跳跃着一朵朵白色的浪花。
展开更多
关键词
德令哈市
一朵朵
空灵
远方
下载PDF
职称材料
音容旧事未曾遥
10
作者
王丽一
《延安文学》
2018年第2期139-144,共6页
我出生的那一年,正是“文化大革命”开展得轰轰烈烈的时候。就在这一年,爷爷作为村里被“漏划的富农”,被驱赶到了地富反坏右的行列。解放前,爷爷的家境虽然一般,但在村里,却是个小有名气的人,秦腔唱得好,板胡拉得好,是一个有...
我出生的那一年,正是“文化大革命”开展得轰轰烈烈的时候。就在这一年,爷爷作为村里被“漏划的富农”,被驱赶到了地富反坏右的行列。解放前,爷爷的家境虽然一般,但在村里,却是个小有名气的人,秦腔唱得好,板胡拉得好,是一个有点本事也有点不务正业的农民。
展开更多
关键词
“文化大革命”
解放前
爷爷
原文传递
凤凰于飞
11
作者
王丽一
《雪莲》
2019年第7期16-26,共11页
很难相信,李子墨的婚事会因为几句话而完全改变。1星期六,正赶上轮休。一大早兴冲冲地爬起来,李子墨连懒觉也没顾上睡,就去早市买花。转了半天,竟没瞧见一个卖花的,只好又打车去了文化公园附近的花市。来回一折腾就耽误了一两个小时,好...
很难相信,李子墨的婚事会因为几句话而完全改变。1星期六,正赶上轮休。一大早兴冲冲地爬起来,李子墨连懒觉也没顾上睡,就去早市买花。转了半天,竟没瞧见一个卖花的,只好又打车去了文化公园附近的花市。来回一折腾就耽误了一两个小时,好在这并没有影响到李子墨的情绪,当他捧着一束蓝色'勿忘我'出现在宋佳静家的小区门口时,心里仍满是欢喜。昨晚到家都快凌晨2点了吧?
展开更多
关键词
丁香花
太阳光
原文传递
题名
动态二进制翻译中的冗余LOAD删除优化技术
被引量:
2
1
作者
王丽一
文延华
机构
江南计算技术研究所
出处
《计算机应用与软件》
CSCD
北大核心
2008年第6期40-43,共4页
基金
国家"八六三"高技术研究发展计划项目支持(2002AA112010)
文摘
动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码。在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化。该优化技术可以使优化效果超过其自身的开销,达到优化的目的。
关键词
动态二进制翻译
动态优化
冗余删除
Keywords
Dynamic binary translation Dynamic optimization Redundancy elimination
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
众核阵列非满配时的并行编程方法
2
作者
王丽一
郑岩
李岱峰
王俊
机构
江南计算技术研究所
出处
《计算机应用与软件》
CSCD
北大核心
2012年第10期123-127,共5页
基金
科技重大专项(2011ZX01039-001-002)
文摘
研究众核阵列非满配时逻辑线程映射到物理线程的方法。在此基础上提出应用于非满配众核阵列的并行编程方法,此方法也可以与MPI并行编程相结合,应用于大规模并行集群系统。
关键词
众核
逻辑线程
物理线程
并行编程
Keywords
Manycore Logical thread Physical thread Parallel programming
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
协同编辑中的语义一致性问题
3
作者
吴青
王丽一
翟建设
机构
南京审计学院计算机科学与技术系
解放军理工大学
出处
《计算机应用研究》
CSCD
北大核心
2007年第4期114-116,共3页
基金
江苏省高校自然科学基金指导性项目(06kJD520091)
文摘
针对计算机协同编辑系统的实际应用,如应用于协同写作,提出了其涉及的两种语义的一致性问题——简单语义一致性和复杂语义一致性。简单语义一致性是指参与协同编辑的用户要对所编辑文章中的概念达成一致的理解,提出利用本体这一知识表示工具来解决;复杂语义一致性是指保持所编辑文章的整体语义合乎逻辑,并与主题保持一致,提出利用本体结合自然语言理解技术来解决。
关键词
计算机支持的协同编辑
语义一致性
本体
自然语言理解
Keywords
computer supported collaborative editing
semantic consistency
ontology
natural language understanding
分类号
TP393.09 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
用本体论来解决协同编著中的一致性问题
4
作者
吴青
翟建设
王丽一
机构
南京审计学院
解放军理工大学
出处
《现代电子技术》
2007年第4期86-88,共3页
基金
江苏省高校自然科学基金指导性项目(06KJD520091)
文摘
协同编著是一个群体认知和创造的过程。不同背景的人对同一个主题的理解产生的自然差异会导致主题的偏移。目前,国内外协同编著研发还没有很好地解决协同编著过程发散而又要求主题一致性收敛的问题。利用本体论中的领域本体,为实现人人交互提供一种共享的语义基础,从而为解决协同编著中的主题一致性问题提供一种研究思路。另外,可以用协议本体解决系统之间的通信问题并提出了基于本体论的协同编著模型的构想。
关键词
计算机支持的协同编著
本体论
一致性
模型
Keywords
collaborative writing
ontology
consistence
model
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
德令哈秋色(外一篇)
5
作者
王丽一
机构
不详
出处
《青海国土经略》
2023年第1期74-75,共2页
文摘
离开德令哈很多年了,其间只回去过一次,还是盛夏。可说来奇怪,德令哈的秋,却深深地镌刻在脑海中,从来不曾忘却:湛蓝的天空下,一排排高大笔直的杨树伸展着它们阔大而优雅的黄叶,风过处,唰唰的声音如交响乐般此起彼伏;远处,四季奔腾不息的巴音河水在蓝天的映衬下翻滚着一朵朵细小的白色浪花……德令哈位于柴达木盆地的东北边缘,是一座戈壁绿洲中的新城。
关键词
德令哈
奔腾不息
一朵朵
柴达木盆地
交响乐
忘却
分类号
I26 [文学—中国文学]
下载PDF
职称材料
题名
基于SMT求解器的微处理器指令验证数据约束生成技术
被引量:
5
6
作者
谭坚
罗巧玲
王丽一
胡夏晖
范昊
徐占
机构
江南计算技术研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2020年第12期2694-2702,共9页
基金
国家重点研发计划项目(2017YFB0202703)。
文摘
处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益.
关键词
指令功能
数据路径
约束求解
SMT求解器
验证数据
并行加速
Keywords
instruction function
datapaths
constraint solving
SMT solver
verification data
parallel acceleration
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
《土族音乐文化实录》出版发行
7
作者
王丽一
机构
《中国土族》记者
出处
《中国土族》
2006年第3期58-58,共1页
关键词
互助土族自治县
出版发行
音乐文化
实录
中国文联出版社
青海省
音乐家
副主席
分类号
G235 [文化科学]
下载PDF
职称材料
题名
基于对称多处理机的指令Cache验证策略研究
被引量:
1
8
作者
谭坚
李岱峰
王俊
王丽一
机构
江南计算技术研究所
出处
《计算机应用与软件》
CSCD
北大核心
2013年第11期231-234,共4页
文摘
指令Cache作为高性能计算机系统中指令代码的高速缓冲,在整个系统中占有重要地位,其正确性验证工作很有必要。针对对称多处理机结构的一级和二级指令Cache验证提出多种验证策略,对各种验证策略造成指令Cache的颠簸效果进行实验和分析,并且试图将各种验证策略综合成一个完备的验证系统,从而保证指令Cache设计的正确性。
关键词
指令CACHE
验证策略
完备
Keywords
Instruction Cache ,Verification strategy, Completeness
分类号
TP306 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
草原、戈壁及远方(组章)
9
作者
王丽一
机构
不详
出处
《青海国土经略》
2019年第6期93-98,共6页
文摘
又见巴音河这是九月的高原,天空湛蓝高远,云朵悠扬。夏日已去,深秋未到,空气中透着一股夏秋交接时才有的空灵和舒展。近处的田野隐约还有一丝绿意,远方的草木却已换上了秋的衣装,在我们的视野中尽情呈现出北方之秋独有的大气与豪迈。我们乘坐的汽车驶出了德令哈市区,沿着巴音河一路向东。与我们相向的巴音河水是那样清澈洁净,淡蓝色的水面上跳跃着一朵朵白色的浪花。
关键词
德令哈市
一朵朵
空灵
远方
分类号
I267 [文学—中国文学]
下载PDF
职称材料
题名
音容旧事未曾遥
10
作者
王丽一
机构
青海省作家协会
鲁迅文学院第
出处
《延安文学》
2018年第2期139-144,共6页
文摘
我出生的那一年,正是“文化大革命”开展得轰轰烈烈的时候。就在这一年,爷爷作为村里被“漏划的富农”,被驱赶到了地富反坏右的行列。解放前,爷爷的家境虽然一般,但在村里,却是个小有名气的人,秦腔唱得好,板胡拉得好,是一个有点本事也有点不务正业的农民。
关键词
“文化大革命”
解放前
爷爷
分类号
D652 [政治法律—中外政治制度]
原文传递
题名
凤凰于飞
11
作者
王丽一
机构
不详
出处
《雪莲》
2019年第7期16-26,共11页
文摘
很难相信,李子墨的婚事会因为几句话而完全改变。1星期六,正赶上轮休。一大早兴冲冲地爬起来,李子墨连懒觉也没顾上睡,就去早市买花。转了半天,竟没瞧见一个卖花的,只好又打车去了文化公园附近的花市。来回一折腾就耽误了一两个小时,好在这并没有影响到李子墨的情绪,当他捧着一束蓝色'勿忘我'出现在宋佳静家的小区门口时,心里仍满是欢喜。昨晚到家都快凌晨2点了吧?
关键词
丁香花
太阳光
分类号
I247 [文学—中国文学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
动态二进制翻译中的冗余LOAD删除优化技术
王丽一
文延华
《计算机应用与软件》
CSCD
北大核心
2008
2
下载PDF
职称材料
2
众核阵列非满配时的并行编程方法
王丽一
郑岩
李岱峰
王俊
《计算机应用与软件》
CSCD
北大核心
2012
0
下载PDF
职称材料
3
协同编辑中的语义一致性问题
吴青
王丽一
翟建设
《计算机应用研究》
CSCD
北大核心
2007
0
下载PDF
职称材料
4
用本体论来解决协同编著中的一致性问题
吴青
翟建设
王丽一
《现代电子技术》
2007
0
下载PDF
职称材料
5
德令哈秋色(外一篇)
王丽一
《青海国土经略》
2023
0
下载PDF
职称材料
6
基于SMT求解器的微处理器指令验证数据约束生成技术
谭坚
罗巧玲
王丽一
胡夏晖
范昊
徐占
《计算机研究与发展》
EI
CSCD
北大核心
2020
5
下载PDF
职称材料
7
《土族音乐文化实录》出版发行
王丽一
《中国土族》
2006
0
下载PDF
职称材料
8
基于对称多处理机的指令Cache验证策略研究
谭坚
李岱峰
王俊
王丽一
《计算机应用与软件》
CSCD
北大核心
2013
1
下载PDF
职称材料
9
草原、戈壁及远方(组章)
王丽一
《青海国土经略》
2019
0
下载PDF
职称材料
10
音容旧事未曾遥
王丽一
《延安文学》
2018
0
原文传递
11
凤凰于飞
王丽一
《雪莲》
2019
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部