逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

A systematic approach for product families formation in Reconfigurable Manufacturing Systems

The aim of this work is to establish a methodology for an effective working of Reconfigurable Manufacturing Systems (RMSs). These systems are the next step in manufacturing, allowing the production of any quantity of highly customised and complex products together with the benefits of mass production. In RMSs, products are grouped into families, each of which requires a system configuration. The system is configured to produce the first family of products. Once it is finished, the system is reconfigured in order to produce the second family, and so forth. Therefore, the effectiveness of a RMS depends on the formation of the best set of product families. Therefore, a methodology for grouping products into families, which takes into account the requirements of products in RMSs, is an issue of core importance. These requirements are modularity, commonality, compatibility, reusability, and product demand. The methodology starts by calculating, for each product requirement, a matrix that summarises the similarity between pairs of products. Then, through the use of the AHP methodology, a unique matrix that comprises the similarity values between products is obtained. The Average Linkage Clustering algorithm is applied to this matrix in order to obtain a dendogram that shows the diverse sets of product families that may be formed.     

GIS中矢量图形的结构分析与VC++中的实现

简要讨论了GIS各类矢量图形元素间的空间拓朴结构及基位置关系 ,并用VC 6 . 0及MFC具体分析了圆弧与多边形区域的相交关系及实现。为利用VC开发专用图形软件提供了有用帮助。     

转移法色交换

将图Ｇ的着色由一种变为中一种，通常用Ｋｅｍｐｅ法以交换。但是，对于某些情况，用此法无效。针对这个问题，本文提出了一种转移法色交换，它适用于平面图着色，方法直观，清晰且有效。     

Energy minimization and design for testability

The problem of fault detection in general combinational circuits is NP-complete. The only previous result on identifying easily testable circuits is due to Fujiwara who gave a polynomial time algorithm for detecting any single stuck fault inK-bounded circuits. Such circuits may only contain logic blocks with no more thanK input lines and the blocks are so connected that there is no reconvergent fanout among them. We introduce a new class of combinational circuits called the (k, K)-circuits and present a polynomial time algorithm to detect any single or multiple stuck fault in such circuits. We represent the circuit as an undirected graphG with a vertex for each gate and an edge between a pair of vertices whenever the corresponding gates have a connection. For a (k, K)-circuit,G is a subgraph of ak-tree, which, by definition, cannot have a clique of size greater thank+1. Basically, this is a restriction on gate interconnections rather than on the function of gates comprising the circuit. The (k, K)-circuits are a generalization of Fujiwara'sK-bounded circuits. Using the bidirectional neural network model of the circuit and the energy function minimization formulation of the fault detection problem, we present a test generation algorithm for single and multiple faults in (k, K)-circuits. This polynomial time aggorithm minimizes the energy function by recursively eliminating the variables.     

Evidence-Based Solutions for Overcoming Access Barriers, Decreasing Attrition, and Promoting Change With Underserved Families.

Various definitions exist for what constitutes family therapy. In this article, we consider family therapy to encompass any intervention that targets family interactions and conceptualizes problems as existing beyond individual clients. Numerous individual studies and several quantitative reviews have established family therapy as an effective treatment modality and the treatment of choice for many disorders. However, critiques of existing service provision highlight the unfortunate fact that numerous barriers to treatment exist at multiple levels of the broader ecology, preventing many families from benefiting from these services. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Linearly many faults in Cayley graphs generated by transposition trees

We prove that when linearly many vertices are deleted in a Cayley graph generated by a transposition tree, the resulting graph has a large connected component containing almost all remaining vertices.     

包装装潢中的图形创意

图形创意在商品包装装潢设计中起着重要的作用,图形的传统和现代的构成形式使产品更具风格,独创性是其生命力所在,而联想和想象又是创造力的主要源泉,这种联想和想象力通过自然形、抽象形和寓意图形来体现.所以包装设计需要突破,通过图形创意的不断完善,促销产品,使其为市场接受,被顾客赞誉.     

综合线损分析系统研究

描述了综合线损分析系统应该具有的主要功能和分析内容，介绍了系统实现中应该注意的几个问题、系统内容和实现方法。