On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

On the design of multiple key hashing files for concurrent orthogonal range retrieval between two disks

This paper concerns the following problem: given a set of multi-attribute records, a fixed number of buckets and a two-disk system, arrange the records into the buckets and then store the buckets between the disks in such a way that, over all possible orthogonal range queries (ORQs), the disk access concurrency is maximized. We shall adopt the multiple key hashing (MKH) method for arranging records into buckets and use the disk modulo (DM) allocation method for storing buckets onto disks. Since the DM allocation method has been shown to be superior to any other allocation methods for allocating an MKH file onto a two-disk system for answering ORQs, the real issue is knowing how to determine an optimal way for organizing the records into buckets based upon the MKH concept.

A performance formula that can be used to evaluate the average response time, over all possible ORQs, of an MKH file in a two-disk system using the DM allocation method is first presented. Based upon this formula, it is shown that our design problem is related to a notoriously difficult problem, namely the Prime Number Problem. Then a performance lower bound and an efficient algorithm for designing optimal MKH files in certain cases are presented. It is pointed out that in some cases the optimal MKH file for ORQs in a two-disk system using the DM allocation method is identical to the optimal MKH file for ORQs in a single-disk system and the optimal average response time in a two-disk system is slightly greater than one half of that in a single-disk system.     

从数字看发展片式电容器面临的机遇与挑战

采用海关进、出口统计和行业生产统计资料,通过计算、分析,用数字来说明国内发展片式多层陶瓷电容器、片式钽电解电容器、片式铝电解电容器、片式有机薄膜电容器所面临的机遇与挑战,并对其国内市场需求总量、额,国产品在国内市场占有率等做出评估,为有关单位了解片式电容器的发展提供参考,为国产产品更有效地进入国内市场、促进其发展提供依据。     

瓦斯尾巷在高档普采工作面的应用

介绍了高档普采工作面利用掘送瓦斯尾巷等措施形成回风空间 ,从根本上解决高档普采工作面的瓦斯超限问题 ,其工艺有利于在其它采煤工作面内应用     

水调信息发布系统的设计与实现

在分析水电厂水调信息体系结构和应用需求的基础上,探讨采用现代信息技术构建基于交互式Web、自报/查询短消息、自动收发邮件及自动应答语音等的水调信息发布系统,从而实现多途径水调信息的发布、查询和管理,以解决水电厂单一模式的水调信息发布方式,提升水调信息多途径传递方式,以及信息传递的实时性和可靠性.     

Comparing the effectiveness of process-experiential with cognitive-behavioral psychotherapy in the treatment of depression.

This study compared process-experiential and cognitive-behavioral psychotherapy in the treatment of major depression in a researcher allegiance-balanced randomized clinical trial. Sixty-six clients participated in weekly sessions of psychotherapy for 16 weeks. Clients' level of depression, self-esteem, general symptom distress, and dysfunctional attitudes significantly improved in both therapy groups. Clients in both groups showed significantly lower levels of reactive and suppressive coping strategies and higher reflective coping at the end of treatment. Although outcomes were generally equivalent for the 2 treatments, there was a significantly greater decrease in clients' self-reports of their interpersonal problems in process-experiential than cognitive-behavioral therapy. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

化学计算与图形处理软件设计

近年来 ,化学计算与图形处理越来越受到重视 ,许多用于微机计算的精确公式也相继发表 .介绍了酸碱滴定曲线通用计算公式、络合滴定通用计算公式、氧化还原滴定通用计算公式、混合体系缓冲容量的通用算法以及这些公式在图形处理中的应用 .简要介绍了笔者以Delphi5.0为平台处理图形时的流程及思路 .     

Green Tax Reforms and Computational Economics A Do-it-yourself Approach

The double or even triple dividend hypothesis of green tax reforms has beena major issue of dispute in both the scientific community and the politicalarena during the last decade. Theoretical analysis has provided a number ofimportant qualitative insights to the debate but lacks of actual policyrelevance due to very restrictive assumptions. Applied research that takes thestep from stylized analytical to complex numerical models usually comes as ablackbox to non-expert modelers. This paper aims at bridging the gap betweenstylized theoretical work and numerical analysis. We develop a flexible,interactive simulation model which is accessible underhttp://brw.zew.de. Users can specify their own green tax reforms andevaluate the induced economic and environmental effects. Based on illustrativesimulations, we demonstrate the usefulness of our do-it-yourself approach fora better understanding of the double (triple) dividend hypothesis.     

用通用DSP实现话带MODEM

概述了设计话带ＭＯＤＥＭ时所要考虑的基本问题。介绍了一种用通用ＤＳＰ设计的ＭＯＤＥＭ，并讨论了相应的控制程序和调制，解调程序的设计方法和结构框图，而且设计了一个简单实用的握手协议。最后，进一步分析了这种ＭＯＤＥＭ的特点和它的应用前景。