时间变元Now的绑定算法

时间变元Now是时间元素中的特殊对象,对它的合理处理关系到整个数据库中时间元素的规范性,在数据库的查询等操作时,对Now的有效绑定是正确结果的前提。对Now的处理问题,一直为人们所关注,但是其中大多只是将Now问题示例化,不够系统全面。提出时间变元Now的绑定(binding)算法,用以解决Now变元的规范化问题。

面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.

时态数据库中的时间变元及其绑定

时态数据库(TDB)出现于上世纪80年代,TDB中的时间变元反映了数据库时态信息的变化情况,它是TDB时变属性的重要体现.本文对于TDB发展历史中典型模式进行研究,对于历史数据库和双时态数据库中的时间变元进行分析,有针对性地对它们的时间变元进行了绑定操作.对于双时态数据库中的BCDM模型进行了有效时间变元Now和事务时间变元UC的绑定操作,并给出了具体实现.

基于时间变元绑定的双时态索引模型研究

在基于点方法的双时态索引算法基础上,引入了时间变元绑定的形式化描述,扩充了其索引的双时态数据,使由于时间变元绑定而导致数据错误的双时态索引问题得以解决,给出了相应的数据变换和查询变换模型,并指出了其实现方式.

代际双重绑定时间银行:农村养老服务新模式

作为一种互助养老形式,时间银行具有激励志愿者积极参加为老服务作用的一面。一些城市社区已经开展了时间银行试点,但发展举步维艰,这暴露出现有模式下存在公信力不足、未能考虑不同服务的价值差异等种种缺陷。当前,我国落后农村地区对养老服务存在巨大需求,但投入不足制约了其发展。相反,落后农村在发展时间银行上因人际关系、农业生产、土地经营规模、产业结构、劳动力转移方面的特点而具有优势。因此,对落后农村而言,有必要充分发挥时间银行的作用并克服现行时间银行模式的不足,"代际双重绑定时间银行"这一新模式的提出及初步制度设计有利于同时实现这两个目标。

一个带时间限制的事件结构模型

给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算起,事件e从时间点t开始成为可能事件.对于绑定X|→ec和ea∈X,时间ta表示,如果事件ea,ec出现在系统的一次运行中,则ta是这两个事件发生的最小时间限制值.我们给出了能反映上述特点的事件结构模型,分析了模型中带时间的事件迹、带时间的偏序集、剩余事件结构等概念的特性,并且证明了这个模型是无时间限制的事件结构模型的保守扩展.

通用语义原理解析及其应用研究

本文将通用语义理论概括为3个大原则和10个相关的从属原则和外延性工具进行了深入分析,并且把这些思想和社会生活实践相结合,给出了严谨地思考和有益地尝试.相关工作可以作为今后通用语义研究的出发点,对其在计算机软件工程、教育学、语言学等领域的相关应用有所启示.

XQuery语言部分求值技术与实现

介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以大致分为2个阶段:预处理阶段和例化处理阶段.其中,预处理阶段通过引用敏感性分析和绑定时间分析来分析参变量在程序中的传播和运算过程,为处理阶段例化处理设定作用范围;例化处理阶段完成程序的自动例化,生成滞留程序且提供了编译时和运行时2种例化方式的支持.基于以上技术研制的一个XQuery部分求值原型系统已经实现,通过对若干XQuery查询案例进行测试,结果表明,经过XQuery部分求值技术处理后能够有效地提高其查询的执行效率.

XQuery语言的部分求值技术的研究

部分求值作为一种新型的软件自动化技术,在程序优化中起着重要的作用.本文介绍了一种针对xQuery语言进行部分求值的实现技术,即部分求值技术中的绑定时间分析的方法和滞留程序生成的方法.

Java语言程序例化中的扩展对象别名分析

为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于 Java 程序部分求值器中绑定时间分析的实现。

Java语言程序例化中的扩展对象别名分析

随着计算机技术的不断进步和发展,Java语言程序凭借着自身的优势得到了广泛的应用,并取得了显著的成效。同时为了推动Java语言程序在计算机技术的作用,需要提高其精度,这就需要借助一定的对象别名分析技术。本文笔者对对象别名分析技术进行了分析和探讨,主要是为提高求值的深度,同时为实现Java语言程序中部分求值器的绑定时间分析的实现,进而为Java语言程序的应用提供指导和借鉴。

一种基于XQuery的运行专门化处理算法

设计了一种基于XQuery的运行专门化技术(run-time specialization),基于此技术实现了一个XQuery运行专门化系统的原型,并成功地实现了XQJ接口。结果表明,该运行时专门化技术可以显著提高XQuery程序的处理效率。