《砌体工程施工质量验收规范》GB50203-2002内容简介

简要介绍国家标准《砌体工程施工质量验收规范》GB5 0 2 0 3 2 0 0 2的主要特点及内容。其中 ,着重介绍强制性条文的内容及与原相关规范、标准变更修改部分的说明     

The mechanisms of suppression and enhancement in comprehension.

The goal of comprehension is to build coherent mental representations or structures. These structures represent clauses, sentences, paragraphs, passages, and other meaningful units. Thus, comprehending a clause requires building a mental structure to represent what that clause is about; comprehending a sentence requires building a mental structure to represent what that sentence is about; comprehending a passage requires building a mental structure to represent what that passage is about. In Gernsbacher (1990), I described a simple framework for understanding how comprehenders build mental structures during comprehension. I call this framework, the Structure Building Framework. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Maximal contractions in Boolean algebras

In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.     

汉语块分析评测任务设计

该文主要介绍了目前中文信息学会句法分析评测CIPS-ParsEval-2009中的三项块分析评测任务 基本块分析、功能块分析和事件描述小句识别的设计理念、判定标准和相关资源构建方法。然后给出了这三项目前的主要评测结果并对相关内容进行了简要分析。最后通过相关统计数据分析和国内外相关研究评述,总结了这三项评测任务的主要特色。     

一个在Horn子句中求解极大缩减的算法

在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协调子集与公式集合关于事实集合的极大缩减之间的转化关系.其次,给出并证明了Horn子句集合极小不协调的一个必要条件.然后,基于上述两个结论,本文提出了一个在Horn子句中枚举公式集合和事实集合并集的极小不协调子集的交互式算法和一个通过这些极小不协调子集计算所有极大缩减的算法.最后,综合这两个算法,提出了一个在Horn子句中求解所有极大缩减的交互式算法.     

An algorithm to compute maximal contractions for Horn clauses

In the theory of belief revision, the computation of all maximal subsets (maximal contractions) of a formula set with respect to a set of facts is one of the key problems. In this paper, we try to solve this problem by studying the algorithm to compute all maximal contractions for Horn clauses. First, we point out and prove the conversion relationship between minimal inconsistent subsets of union of the formula set and the set of facts and maximal contractions of the formula set with respect to th...     

浅论话语层翻译中小句分类及功能

将语层翻译中的小句作为基本单位对其进行了分类并论述了小句的转换功能和隐含功能。     

命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

Modeling managerial behavior in real options valuation for project-based environments

Project valuation, as a decision-making tool for initiating investments in projects, should be able to value project flexibilities and incorporate reasonable risk preferences of relevant decision makers. Real options valuation methods are the available approaches for valuing project flexibilities, whereas they have shortcomings in considering managers’ reasonable risk preferences in project decisions. Therefore, researchers have suggested approximating the perspective on risk of real options methods and practitioners in project management. This study proposes a fair real options valuation for project-based environments by a behavioral economic approach, which adopts binomial lattice method, Monte-Carlo simulation, and cumulative prospect theory. The results show that behavioral factors such as ‘risk attitude’ and ‘loss aversion’ should be accepted in project investment decisions while limited to an acceptable amount depending on the project conditions (e.g. uniqueness of decision-making scenarios). This research contributes to the project management domain by enhancing project investment decisions that include project flexibilities.