A compiler for parsing schemata

We present a compiler that can be used to automatically obtain efficient Java implementations of parsing algorithms from formal specifications expressed as parsing schemata. The system performs an analysis of the inference rules in the input schemata in order to determine the best data structures and indexes to use, and to ensure that the generated implementations are efficient. The system described is general enough to be able to handle all kinds of schemata for different grammar formalisms, such as context‐free grammars and tree‐adjoining grammars, and it provides an extensibility mechanism allowing the user to define custom notational elements. This compiler has proven very useful for analyzing, prototyping and comparing natural‐language parsers in real domains, as can be seen in the empirical examples provided at the end of the paper. Copyright © 2008 John Wiley & Sons, Ltd.     

Quantum programming languages

After giving a bird’s view of some existing quantum programming languages, this paper reports the recent results made by the quantum computation group of the State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology at Nanjing University, i.e., the quantum programming languages NDQJava, NDQFP and their processing systems.     

容错的网络声明式程序

介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.     

Stability, Growth, and Decline in Adult Life Span Development of Declarative Memory: Cross-Sectional and Longitudinal Data From a Population-Based Study.

Five-year changes in episodic and semantic memory were examined in a sample of 829 participants (35-80 years). A cohort-matched sample (N=967) was assessed to control for practice effects. For episodic memory, cross-sectional analyses indicated gradual age-related decrements, whereas the longitudinal data revealed no decrements before age 60, even when practice effects were adjusted for. Longitudinally, semantic memory showed minor increments until age 55, with smaller decrements in old age as compared with episodic memory. Cohort differences in educational attainment appear to account for the discrepancies between cross-sectional and longitudinal data. Collectively, the results show that age trajectories for episodic and semantic memory differ and underscore the need to control for cohort and retest effects in cross-sectional and longitudinal studies, respectively. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning

We study the declarative formalization of reasoning strategies by presenting declarative formalizations of: (1) the SNLP algorithm for nonlinear planning, and (2) a particular algorithm for blocks world nonlinear planning proposed in this paper. The formal models of a heuristic forward chaining planner, which can take advantage of declarative formalizations of action selection strategies, and of a reasoning strategy based planner, which can use declarative formalizations of reasoning strategies, are proposed. The effectiveness of these systems is studied from formal and empirical points of view. Empirical results showing how the use of declarative formalizations of reasoning strategies can reduce the amount of search required for solving planning problems (with respect to state of the art planning systems) are presented.     

On Logical Foundations of Multilevel Secure Databases

It is envisaged that the application of the multilevel security (MLS) scheme will enhance flexibility and effectiveness of authorization policies in shared enterprise databases and will replace cumbersome authorization enforcement practices through complicated view definitions on a per user basis. However, the critical problem with the current model is that the belief at a higher security level is cluttered with irrelevant or inconsistent data as no mechanism for attenuation is supported. Critics also argue that it is imperative for MLS database users to theorize about the belief of others, perhaps at different security levels, an apparatus that is currently missing and the absence of which is seriously felt.The impetus for our current research is the need to provide an adequate framework for belief reasoning in MLS databases. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for MLS deductive databases for which a proof theoretic, model theoretic and fixpoint semantics exist. This development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we establish the equivalence of MultiLog's three logical characterizations—model theory, fixpoint theory and proof theory.     

基于语料库的IT英语语体特征及教学研究

通过对IT英语语料库的数据进行分析,分别就IT英语的句式、句长以及语态几个方面进行研究,并与文学英语语体特征相对比,概括出IT英语语体特征,最后针对IT英语语体的特征,针对性地提出IT英语教学的方法 。     

三维陈述式约束模型的自动生成

由于缺乏有效的自动生成约束模型的方法，三维变量化技术的进一步发展受到制约，通过转换边界表示和提取特征中的本质约束信息，自动生成三维陈述式约束模型，以InteSolid2.0为基础，实现了原型系统。     

面向AI的数据管理技术综述

人工智能技术因其强大的学习和泛化能力已被广泛应用于各种真实场景中.然而,现有的人工智能技术仍然面临着三大挑战:第一,现有的AI技术使用门槛高,依赖于AI从业者选择合适模型、设计合理参数、编写程序,因此很难被广泛应用到非计算机领域;第二,现有的AI算法训练效率低,造成了大量计算资源的浪费,甚至延误决策时机;第三,现有的A...     

A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models

Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.