动态二进制翻译中的冗余LOAD删除优化技术

动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码。在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化。该优化技术可以使优化效果超过其自身的开销,达到优化的目的。

众核阵列非满配时的并行编程方法

研究众核阵列非满配时逻辑线程映射到物理线程的方法。在此基础上提出应用于非满配众核阵列的并行编程方法,此方法也可以与MPI并行编程相结合,应用于大规模并行集群系统。

协同编辑中的语义一致性问题

针对计算机协同编辑系统的实际应用,如应用于协同写作,提出了其涉及的两种语义的一致性问题——简单语义一致性和复杂语义一致性。简单语义一致性是指参与协同编辑的用户要对所编辑文章中的概念达成一致的理解,提出利用本体这一知识表示工具来解决;复杂语义一致性是指保持所编辑文章的整体语义合乎逻辑,并与主题保持一致,提出利用本体结合自然语言理解技术来解决。

用本体论来解决协同编著中的一致性问题

协同编著是一个群体认知和创造的过程。不同背景的人对同一个主题的理解产生的自然差异会导致主题的偏移。目前,国内外协同编著研发还没有很好地解决协同编著过程发散而又要求主题一致性收敛的问题。利用本体论中的领域本体,为实现人人交互提供一种共享的语义基础,从而为解决协同编著中的主题一致性问题提供一种研究思路。另外,可以用协议本体解决系统之间的通信问题并提出了基于本体论的协同编著模型的构想。

德令哈秋色(外一篇)

离开德令哈很多年了,其间只回去过一次,还是盛夏。可说来奇怪,德令哈的秋,却深深地镌刻在脑海中,从来不曾忘却:湛蓝的天空下,一排排高大笔直的杨树伸展着它们阔大而优雅的黄叶,风过处,唰唰的声音如交响乐般此起彼伏;远处,四季奔腾不息的巴音河水在蓝天的映衬下翻滚着一朵朵细小的白色浪花……德令哈位于柴达木盆地的东北边缘,是一座戈壁绿洲中的新城。

基于SMT求解器的微处理器指令验证数据约束生成技术

处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益.

基于对称多处理机的指令Cache验证策略研究

指令Cache作为高性能计算机系统中指令代码的高速缓冲,在整个系统中占有重要地位,其正确性验证工作很有必要。针对对称多处理机结构的一级和二级指令Cache验证提出多种验证策略,对各种验证策略造成指令Cache的颠簸效果进行实验和分析,并且试图将各种验证策略综合成一个完备的验证系统,从而保证指令Cache设计的正确性。

草原、戈壁及远方（组章）

又见巴音河这是九月的高原,天空湛蓝高远,云朵悠扬。夏日已去,深秋未到,空气中透着一股夏秋交接时才有的空灵和舒展。近处的田野隐约还有一丝绿意,远方的草木却已换上了秋的衣装,在我们的视野中尽情呈现出北方之秋独有的大气与豪迈。我们乘坐的汽车驶出了德令哈市区,沿着巴音河一路向东。与我们相向的巴音河水是那样清澈洁净,淡蓝色的水面上跳跃着一朵朵白色的浪花。

音容旧事未曾遥

我出生的那一年，正是“文化大革命”开展得轰轰烈烈的时候。就在这一年，爷爷作为村里被“漏划的富农”，被驱赶到了地富反坏右的行列。解放前，爷爷的家境虽然一般，但在村里，却是个小有名气的人，秦腔唱得好，板胡拉得好，是一个有点本事也有点不务正业的农民。

凤凰于飞

很难相信,李子墨的婚事会因为几句话而完全改变。1星期六,正赶上轮休。一大早兴冲冲地爬起来,李子墨连懒觉也没顾上睡,就去早市买花。转了半天,竟没瞧见一个卖花的,只好又打车去了文化公园附近的花市。来回一折腾就耽误了一两个小时,好在这并没有影响到李子墨的情绪,当他捧着一束蓝色'勿忘我'出现在宋佳静家的小区门口时,心里仍满是欢喜。昨晚到家都快凌晨2点了吧?