QD-Janus: A sequential implementation of Janus in Prolog

Janus is a language designed for distributed constraint programming. This paper describes QD-Janus, a sequential implementation of Janus in Prolog. The compiler uses a number of novel analyses and optimizations to improve the performance of the system. The choice of Prolog as the target language for a compiler, although unusual, is motivated by the following: (i) the semantic gap between Janus and Prolog is much smaller than that between Janus and, say, C or machine language—this simplifies the compilation process significantly, and makes it possible to develop a system with reasonable performance fairly quickly; (ii) recent progress in Prolog implementation techniques, and the development of Prolog systems whose speeds are comparable to those of imperative languages, indicates that the translation to Prolog need not entail a significant performance loss compared to native code compilers; and (iii) compilation to Prolog can benefit immediately from a significant body of work on, and implementations of, parallel Prolog systems. Our experience indicates that translation of logic programming languages to Prolog, accompanied by the development of good program analysis and optimization tools, is an effective way to quickly develop flexible and portable implementations with good performance and low cost.     

手写体汉字识别问题综论

本文在讨论了人对汉字的认知心理试验研究结果之后,认为人类的汉字识别是经由整字属性及分层结构的多种途径复合而成的。这些途径中的大多数都可以在手写体汉字的机器识别中模仿运用。由此可把汉字的机器识别方法归纳为整模式法和子模式法两个大类,对它们的有利方面和困难方面进行了讨论;对影响其性能的因素进行了分析;对识别率以及它与识别字集大小和后处理等的关系提出了评估的问题。     

Adding Support for Persistence to CLOS via Its Metaobject Protocol

Language-level support for object persistence frees programmers from having to confront a broad class of database issues from within their applications. By virtue of its metaobject protocol, CLOS is a language whose semantics can be tailored by individual programmers. We used the metaobject protocol to extend CLOS with support for object persistence. Our goal was to obtain a version of CLOS with persistence to which we could easily port a commercial geometric CAD modeling system. We describe the design and implementation of our persistence extension and highlight the strengths and weaknesses exhibited by the CLOS metaobject protocol during our experiment. For many aspects of the implementation we found that the metaobject protocol was ideal. In other cases we had to choose among paying a large performance penalty, extending the protocol, and bypassing the protocol by modifying the language implementation directly.     

A new approach to the decomposition of Boolean functions by the method of <Emphasis Type="Italic">q</Emphasis>-partitions. III. Joint decomposition of a function system

The paper considers the set-theoretical approach to the joint decomposition of systems of Boolean functions of variables specified in different representation forms. The approach is based on the method of q-partitions of conjuncterms and concept of decomposition clones. Theorems on joint decomposition of a system of full and partial functions are formulated. The approach is illustrated by examples. Parts I and II of this article are published in No. 5 (2001) and No. 1 (2002). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 39–58, March–April 2007.     

Frameworks for understanding emotions and their development: Functionalist and dynamic systems approaches.

In recent years, both functionalist and dynamic systems approaches have assumed increasing prominence in the study of emotion and its development, but the similarities and differences between these perspectives remain largely unexplored and open to more systematic examination. In this article, the authors argue that both approaches share a systems view of emotion and regard emotion in relational, process terms. However, each approach adopts a distinct level of analysis and distinct types of explanation for emotion and its development. Whereas the functionalist approach appeals to formal and final causes to explain patterning in emotion at the level of organism-environment relations, the dynamic systems approach appeals to efficient and material causes to explain emotion at the specific content level of behavior in context. Whether these approaches complement or conflict with one another depends on the extent to which the dynamic systems approach admits abstraction into its explanatory framework. A. Fogel's social process theory and M. D. Lewis' approach to emotion self-organization are discussed in this regard. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Surface and normal ensembles for surface reconstruction

The majority of the existing techniques for surface reconstruction and the closely related problem of normal reconstruction are deterministic. Their main advantages are the speed and, given a reasonably good initial input, the high quality of the reconstructed surfaces. Nevertheless, their deterministic nature may hinder them from effectively handling incomplete data with noise and outliers. An ensemble is a statistical technique which can improve the performance of deterministic algorithms by putting them into a statistics based probabilistic setting. In this paper, we study the suitability of ensembles in normal and surface reconstruction. We experimented with a widely used normal reconstruction technique [Hoppe H, DeRose T, Duchamp T, McDonald J, Stuetzle W. Surface reconstruction from unorganized points. Computer Graphics 1992;71-8] and Multi-level Partitions of Unity implicits for surface reconstruction [Ohtake Y, Belyaev A, Alexa M, Turk G, Seidel H-P. Multi-level partition of unity implicits. ACM Transactions on Graphics 2003;22(3):463-70], showing that normal and surface ensembles can successfully be combined to handle noisy point sets.     

高层建筑擦窗机的选型与建筑设计要求

论述了擦窗机产品的发展现状与安装的必要性；在擦窗机产品的分类与选型考虑因素的基础上，对目前我国擦窗机的型式及其配置做了比较系统的介绍；最后还简单列举了几种擦窗机的布置方式。对高层建筑在建筑设计时就考虑擦窗机的安装型式，结构设计的承载要求等，提供了较为实用的参考。     

高炉加入含钛物料护炉的方法探讨

比较分析了目前高炉所采用的两种加入含钛物料护炉的方法，长期少量均匀加入法和间断大量加入法，并结合梅山１号高炉折护炉实践和停炉后的破坏调查结果，提出了第三种加入含钛物料的方法，即长期适量加入法。