编译技术与编译器设计专题前言

编译器作为重要的基础软件,是连接上层应用与底层系统的桥梁,在整个计算机系统软件栈中具有举足轻重的作用.编译技术与编译器设计,一方面作为国家亟待增强和突破的研究领域,迫切需要开展独立自主的科研与创新,另一方面一系列崭新领域的应用需求(如人工智能、异构计算、云计算等)也不断催生新的编译技术创新与突破.因此,编译技术与编译器设计一直是国内外学者的关注点和研究热点.本专题聚焦编译优化、编译器设计、以及编译器可信与安全等基础性问题,重点关注在相关研究领域具有创新性、突破性的高水平研究成果,探讨编译基础理论、关键技术以及编译器研发过程中关于系统设计原理、架构、经验等方面的实质性进展,及其在我国基础软件产业中的应用前景.

面向对象语言Smalltalk-80的并行与分布实现技术的研究

本文首先简要介绍面向对象语言Smalltalk-80系统的顺序实现技术,然后重点论述它的并发、分布及并行实现技术。

并行推理机设计的主要论题

基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了顺序执行Prolog的时空效率。但是,为了满足知识信息处理应用的要求,需要研究并行推理机以并行执行逻辑程序。本文论述了并行推理机设计中涉及到的一些问题,从逻辑语言,执行模型和体系结构等方面探讨了并行推理机中并行性开发方法和需考虑的问题。

一种支持逻辑程序AND和OR并行执行的存贮管理方法

为了满足知识信息处理的要求,需要研究逻辑程序的并行处理技术,逻辑程序的并行性来源主要有AND和OR并行。而AND并行性的开发遇到变量约束冲突(即数据相关性)问题,OR并行的开发面临着存贮冲突问题(即多约束环境)。本文主要给出限制的AND/OR模型RAP/LOP-WAM(Restricted And-Parallelism and Limited or-Parallelism)中的存贮管理方法以解决OR并行的存贮冲突问题。

营利性独立学院财产收益权改革研究——以兼顾公益性的营利性为理念

民办学校经分类改革分为营利性民办学校和非营利性民办学校。独立学院作为民办学校的一种特殊办学模式,自然也涉及此问题。营利性独立学院的核心特征在于举办方可以从办学结余中分配收益。文章认为,教育具有天然的公益性,营利性独立学院的财产收益权改革应坚持兼顾公益性的营利性改革理念,同时应健全相应的出资评估、亏损弥补等制度。

模拟法庭仿真教学的实践价值研究——基于应用型法学人才的培养目标

模拟法庭仿真教学是“模拟法庭”教学形式和“仿真教学”教学实质深度融合形成的一种应用性极强的教学模式。研究模拟法庭仿真教学的实践价值对于此种教学模式的改革创新奠定了理论基础。模拟法庭仿真教学相比经院式教学突出实践性,相比诊所式教学突出广泛性,相比法学专业实习突出实体操作性。本文基于对模拟法庭仿真教学模式的深层次解读,提出其在应用型法学人才的培养中体现了独特的实践价值,具体体现为有助于强化学生法律职业道德、有助于提高学生法律实务技能,促进其学习活动与法律职业深度衔接。

应用型法学人才培养理念下模拟法庭仿真教学改革探讨

培养应用型法学人才,既是法学教育的根本目标,也是法学教育应坚持的根本理念。模拟法庭仿真教学作为一种实战性、应用性极强的教学模式,其改革的出发点和落脚点就是培养应用型法学人才。本文基于应用型法学人才的培养理念,反思了模拟法庭仿真教学的现状,提出在坚持仿真性基本原则的前提下,模拟法庭仿真教学应从教学理念、教学内容、教学过程、教学考核机制方面进行改革。

母子公司交叉持股法律规制研究

交叉持股是一种特殊的资本运作现象。现阶段我国对母子公司交叉持股的法律规制仍属空白。如何运用法律规范使母子公司交叉持股达到趋利避害的目的,值得深入研讨。在对母子公司交叉持股的概念解析之后,详细阐述了对其进行法律规制的必要性,并据此提出了我国母子公司交叉持股法律规制应选择的立法路径和制度设计。

并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的并行实现

本文论述并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的实现。受限与/或并行执行逻辑程序模型RAP/LOP,采用改进的RAP技术开发与并行,即通过程序级和子句级的分析,动静相结合识别子句体中子目标间的数据相关性,开发独立目标的与并行,OR并行的开发受限于处理机个数,有效地控制了进程数和空间量的指数爆炸。RAP/LOP相应的抽象机称为RAP/LOP-WAM,它基于OR树林描述,扩展WAM支持受限与和或并行执行逻辑程序。本文这里首先描述RAP/LOP-WAM中的并行调度策略,分析评价了几种调度算法及它的实现方法。其次论述了否定的实现方法,最后提出了今后我们研究的方向。

基于OR树林描述的RAP/LOP逻辑程序并行执行模型

本文简要分析了当前典型的逻辑程序并行执行模型,提出了一个新的并行执行模型RAP/LOP。它基于OR树林描述,采用动靜相结合方法开发与并行,或并行开发受限处理机个数,以支持逻辑程序的与和或并行性。

网络银行监管法律制度探析

网络银行是金融市场与现代网络信息技术相结合而产生的金融创新产物。我国的网络银行产生于20世纪90年代中期,目前已处于蓬勃发展时期。网络银行在带来高效率的同时,也出现了诸多问题,如何实施有效的法律监管是迫切需要解决的问题。文章在研究网络银行基本理论和其法律监管必要性的基础上,分析了我国网络银行监管法律制度存在的问题,提出了我国网络银行监管法律制度的完善路径。

文本视角下的独立学院法律地位及法律性质分析

独立学院是公立高校与社会资本依据各自优势而建立的具有独特运行机制的高等教育类型。自独立学院产生始,其法律地位及法律性质就存在着争议。明晰独立学院法律地位及法律性质是独立学院独立化和规范化运行的基础。本文主要以文本视角对独立学院相关法律规定进行解读,进而确立其独立法人资格地位,界定其法律性质和法人属性。

并行推理机RAP/LOP-WAM的方案设计和性能评价

本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后通过软件模拟系统对系统体系结构进行评价.

适于多处理机的并行面向对象语言ParaObject

面向对象语言对于开发问题域中的并发/并行性显示出巨大的潜力。本文介绍我们设计的并行面向对家语言ParaObject。文中首先描述ParaObject模型,然后介绍ParaObject的关键语言结构,最后我们讨论了一些重要的实现技术。

一种新的用于分布共享存储系统的存储器一致性算法

ＳＶＭ系统或称ＤＳＭ系统是在基于分布存储器的多处理机上，实现物理上分布但逻辑上共享的存储系统．它集共享存储器易于编程和分布存储器可扩充性好于一体，为ＭＰＰ计算机的使用带来了方便．本文首先介绍了ＳＶＭ系统的数据一致性问题及其解决办法，然后提出了一种新的固定分布管理算法ＮＦＤＭＡ，并对此算法作了分析，最后与李凯的固定分布管理算法作了比较．

支持面向对象语言的体系结构

本文探讨体系结构对面向对象语言的支持,分析比较了若干相关的典型的体系结构。

RAP/LOP-WAM并行推理机的编译器设计

RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。本文论述了RAP/LOP-WAM编译器的设计思想和方法,它将逻辑程序转换成高效的并行抽象机指令。

34例高血压病患者动态血压分析

为探讨高血压病患者24h动态血压特点，选取34例高血压病患者进行测试。结果如下：（1）昼夜均值：19．3／12．8kPa；（2）日间均值：19．6／12．4kPa；（3）夜间均值：18．1／11．5kPa；（4）血压负荷：日间负荷：61．68％／63．67％，夜间负荷：76．71％／53．82％；（5）夜间血压下降率7％／8％。