摘要：解决多段落中文阅读理解任务需要考虑证据段落的稀疏性、中文语义的多样性和答案片段的有效性.基于此种情况,文中设计多段落中文阅读理解模型,利用数据增强的方式学习不包含答案的段落,利用字级别编码和中文词性标注丰富中文的语义表示,通过答案片段的特征训练答案有效性验证模型.将文中模型应用到CIPS-SOGOU事实类问答数据中,实验表明,完全匹配率和F1分数的平均分均有所提高.

摘要：针对内存系统中高强度的容错编码容易造成过大开销的问题,为同时实现容错强度和容错开销的权衡,提出一种低开销的支持混合容错编码的动态调节设计.通过分析发现常见纠错检错编码数据位长与校验位长存在固定的比例关系,提出一种地址映射逻辑电路;当系统存取内存数据及容错强度发生调节时,该方法可保证容错编码中校验信息的存取,实现对内存容错强度调节以及数据与校验信息在内存中分开存储的支持.实验结果表明,文中设计简单,硬件和性能代价小、功耗开销低.

摘要：内存篡改(Memory Corruption)是现代各类攻击的主要原因,通过修改内存中的数据,达到劫持控制流的目的.使用不安全语言暴露内存细节给开发者,导致很多的敏感数据可以任意被修改.现有的解决方案针对安全攻击主要包括两个方面,软件检查和硬件机制保护.基于软件检查的机制虽然灵活,但是存在严重的性能问题.基于硬件的方法可以大幅度解决性能问题,而且要比软件的方式安全性更高.因此提出了很多的硬件相关的保护机制.但现有的硬件机制大都仅仅针对单一的攻击,而且缺乏灵活性.在本文中,我们提出了一种软硬件结合的解决方案,通过对程序运行时敏感数据进行加密隐藏,在访问这些敏感数据时进行解密,然后做安全检查,判断敏感数据是否被修改.在硬件实现上,本文设计了安全的Load和Store类指令,以及硬件加密解密模块.同时在软件编译器上对此类安全指令支持,针对不同的使用场景提出了两种安全策略:全局约束策略和上下文执行约束策略.相比于前者,后者提供了更加严格的约束,可适用于安全度更高的程序保护.本文的安全机制能够抵御多种攻击向量,比如针对CFI类攻击,最近的DOP攻击,GOT表和虚函数表指针感染攻击等.还可以抵御缓冲区溢出类的攻击,支持信息隐藏等.通过SPEC2006的测试程序表明,本文提出的安全机制性能损耗仅仅为4.5%.

摘要：模拟器是研究新型高性能计算机体系结构的一种快速、有效的手段。并行计算机体系结构模拟器SandFox是为了开展对网格化动态自组织体系结构(DSAG)研究而研制的新模拟器,在设计中采用模块化和层次化设计思想,通过四个层次的逐级模拟实现了对DSAG结构全系统模拟,并体现了DSAG的结构特点如资源按需分配,资源部件管理,资源部件可重构等,模拟器自身也可以通过交互式界面动态调整系统配置。应用测试及对测试数据的分析,表明了SandFox模拟器的正确性、可扩展性与动态性。

摘要：事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 .

摘要：为了解决“数字农业”中对野外农田数据采集传输的机动性,跨平台与经济性,在分析当前农田数据野外采集现状的基础上,提出基于Java手机平台野外农田数据采集与传输系统的设计方案。在B/S网络构架下,详细分析客户端与服务端系统设计客户端设计主要包括农田数据采集、数据传输、信息查询、定位导航;服务端设计主要包括数据接收与传输,数据存取,数据检索以及地图服务等。通过试验,结果表明基于Java手机的野外农田数据采集与传输系统设计切实可行,在野外数据采集方面具有良好的移植性,数据传输较快,费用较低,具有较大的研究与实用价值。

摘要：本文针对工程领域的特点，提出基于关系／网状的语义超图模型描述，以表达工程中不同语义类的多对多复杂对象关系；将该模型描述和表达的管理机制和基本数据在内存中统一管理和运行，使工程数据的存取效率大为提高；增加了大量通用和特殊功能，形成了功能更强、使用方便的Ｃ语言界面．

摘要：随着开放指令集RISC-V的流行,开源芯片的概念逐渐进入人们的视野.但是目前的芯片设计项目需要投入相当的人力和时间才能开展,并且具有一定的风险,这些情况一定程度上限制了开源芯片的发展.为了进一步降低芯片开发的门槛,加州大学伯克利分校先后设计了开放指令集RISC-V,开放了其SoC实现Rocket Chip的项目源码,并提出了一门面向敏捷开发的硬件构建语言***-V,Rocket Chip和Chisel是如何赋能开源芯片敏捷开发?将基于中国科学院计算技术研究所的研究工作"标签化RISC-V"项目开发过程中的若干案例,展示:1)开放又活跃的指令集生态(如RISC-V)是推动芯片研发创新的必要条件;2)Chisel的信号整体连接、元编程、面向对象编程以及函数式编程等特性可大幅缩减代码量,提升代码可维护性;3)敏捷开发能在编码效率提升一个数量级的同时,达到与传统硬件开发模式相当甚至更优的性能、功耗与面积.

摘要：针对既有基于稳定存储的机群服务检查点存在的系统成本高、恢复时间长的问题,提出了一种基于共享内存的机群服务检查点机制;设计了一套面向基于共享内存的检查点信息主-备存储模式的检查点信息管理协议,确保机群服务检查点信息一致性;设计了一套基于单向逻辑环的检查点组管理协议,确保检查点逻辑备份环中检查点进程的成员视图一致性.性能实验结果表明,该检查点机制具有较好的检查点信息读写性能,组管理协议系统开销小,较好地满足了机群服务检查点需求.

摘要：理论构造了扩展资源模型,建立人机交互活动中的动作和表征之间的联系,从而指导界面的设计和实现.扩展资源模型从静态结构和交互策略两个方面对界面交互动作提供支持,在交互中减少人的认知负担.该研究对设计符合人的认知特点的界面具有一定的指导作用.