位置透明的MA可靠消息传递机制

移动Agent系统中的通信机制多由RMI加上消息发送机制实现，在现有的三种主流消息发送机制上进行改进，提出了新的消息转发策略——资源分散模型(Resource Distributed Model)。RDM提供了一种类似于结合了Homeagent和按路径转发方式的寻址策略，达到消息可达的目的，基于RDM的移动服务(Mobile Service)是一种在快速寻址后将消息快速转发的方式，MS减少了消息缓存部件的消息缓存量，并可用多个MS同时寻址从而提高消息发送速度。     

用动词的论元结构跟事件模板相匹配——一种由动词驱动的信息抽取方法

本文以文献[2 ]中信息抽取模型( InfoX) 的测试语料(职务变动文本) 为主要对象,具体说明怎样建立从动词的论元结构到相关的事件模板的匹配关系。首先根据职务变更动词的有关句法、语义特点,把它分成六个小类:任命、担任、免职、辞职、调遣、受命;然后,分别描写每一小类动词的论元结构,特别是它们所支配的论元角色及其句法配置方式。最后,建立动词的论元角色跟事件模板元素的匹配关系,并揭示动词对文本筛选和合并都有导向作用,说明发展由动词驱动的信息抽取方法的可行性。     

球阀动水关闭过程中球阀与机组稳定性分析

采用短时傅里叶变换方法,针对某抽水蓄能电站水泵水轮发电机组球阀动水关闭过程中机组及球阀的试验数据进行了分析,研究了球阀动水关闭前、后及过程中机组及球阀的主要频率成分变化情况。研究结果表明:稳态工况下球阀及机组存在明显的100Hz频率成分,该频率成分主要由两倍的叶片通过频率产生而非电机极频振动产生;两倍叶片过流频率具有向上传播的特性,加剧了机组与球阀的振动。     

三级非线性变时滞差分方程振动准则

研究了一类三阶非线性变时滞差分方程解的振动性，给出了类方程所有有界解振动和方程振动的几个充分条件。     

Retraction Approach to CPS Transform

We study the continuation passing style (CPS) transform and its generalization, the computational transform, in which the notion of computation is generalized from continuation passing to an arbitrary one. To establish a relation between direct style and continuation passing style interpretation of sequential call-by-value programs, we prove the Retraction Theorem which says that a lambda term can be recovered from its CPS form via a -definable retraction. The Retraction Theorem is proved in the logic of computational lambda calculus for the simply typable terms.     

The π-Calculus in Direct Style

We introduce a calculus which is a direct extension of both the and the calculi. We give a simple type system for it, that encompasses both Curry's type inference for the -calculus, and Milner's sorting for the -calculus as particular cases of typing. We observe that the various continuation passing style transformations for -terms, written in our calculus, actually correspond to encodings already given by Milner and others for evaluation strategies of -terms into the -calculus. Furthermore, the associated sortings correspond to well-known double negation translations on types. Finally we provide an adequate CPS transform from our calculus to the -calculus. This shows that the latter may be regarded as an assembly language, while our calculus seems to provide a better programming notation for higher-order concurrency. We conclude by discussing some alternative design decisions.     

PL/M 的深层次应用

提出了在单片机开发过程中所面临的ＰＬ／Ｍ语言与ＡＳＭ语言混合使用的问题,探讨了其中参数传递问题的解决方案,讨论了两者相互调用的步骤、格式,并提供示例程序。     

Event structure: Taxonomy, semantic roles, aspect, causation

The paper describes the database “Lexicographer”, which presents a deep syntactic analysis of the Russian verb. Taxonomy, argument structure, aspectuality and causation are demonstrated to be deducible from semantic decomposition of a lexeme. The database is regarded as a theory of event structure in Russian.     

<Emphasis FontCategory="SansSerif">Snow</Emphasis>: A Parallel Computing Framework for the R System

This paper presents a simple parallel computing framework for the statistical programming language R. The system focuses on parallelization of familiar higher level mapping functions and emphasizes simplicity of use in order to encourage adoption by a wide range of R users. The paper describes the design and implementation of the system, outlines examples of its use, and presents some possible directions for future developments.     

Log File Formats for Parallel Applications: A Review

The objective of this paper is the review of the log file formats that allow the performance visualization of parallel applications based on the usage of message passing interface (MPI) standard. These file formats have been designed by the LANS (Laboratory for Advanced Numerical Software) group of the Argonne National Laboratory and they are distributed together with the corresponding viewers as part of the MPE (multipurpose environment) library of the MPICH implementation of the MPI. The formats studied in this paper is the ALOG, CLOG, SLOG1 and SLOG2 file formats—the formats are studied in chronological order and the main features of their structures are presented.