Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers

A finite recurrent system over sets of natural numbers of dimension n is a pair composed of n n-ary functions over sets of natural numbers and an n-tuple of singleton sets of natural numbers. Every function is applied to the entries of the tuple and computes a set of natural numbers, that may also be empty. The results are composed into another tuple, and the process is started anew. Thus, a finite recurrent system defines an infinite sequence of n-tuples containing sets of natural numbers. The last entry of a generated n-tuple is called the output of a step, and the union of the output sets of all steps is the set defined by the finite recurrent system. Membership problems ask whether a given number is in a specified output set or in some output set. We study membership problems for special finite recurrent systems, whose functions are built from the set operations union, intersection and complementation and the arithmetical operations addition and multiplication. Sum and product of two sets of natural numbers are defined elementwise. We restrict the set of operations from which functions are built and determine the impact on the complexity of the membership problems. We focus on PSPACE-decidable membership problems and show completeness results for the complexity classes NL, NP and PSPACE.     

Model of Primary Austenite Dendrite Structure in Hypoeutectic Cast Iron

Ｉｔｗａｓｒｅｐｏｒｔｅｄ[1] ｔｈａｔｔｈｅｍｉｃｒｏ ｓｔｅｒｅｏｓｔｒｕｃｔｕｒｅｏｆｐｒｉｍａｒｙａｕｓｔｅｎｉｔｅｉｎｃａｓｔｉｒｏｎｃｏｎｓｉｓｔｓｏｆｐｒｉｍａｒｙｓｔｅｍｓａｎｄｓｅｃｏｎｄａｒｙａｒｍｓｔｈａｔ ｇｒｏｗａｃｃｏｒｄｉｎｇｔｏｄｅｎｄｒｉｔｅｃｒｙｓｔａｌｓｂｒａｎｃｈｒｕｌｅ ,ａｎｄｓｏｍｅｏｆｐｒｉｍａｒｙａｕｓｔｅｎｉｔｅｅｖｅｎｈａｖｅｔｈｉｒｄａｒｍｓ .ＭｉｙａｋｅＨｅｔａｌ[2 ]ｐｒｏｐｏｓｅｄａｃｏｎｃｅｐｔｏｆｒｅｇｉｏｎｍｏｄｅｌｂｙｓｔｕｄｙｉｎｇ…     

Hearing the horror: A comment on the final report of the APA Task Force on the Victims of Crime and Violence.

Comments that a critical element in the final report of the American Psychological Association (APA) Task Force on the Victims of Crime and Violence may be lost simply because of the enormity and complexity of the issues involved. The real nature of the victim's emotional experience is often not directly addressed by researchers or service providers in the mental health community. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Some electron microscope observations of longitudinal splitting from surface flaws in Kevlar 29

Journal of Materials Science Letters -     

新型超微晶软磁合金FePCCuMoSi微观结构缺陷的正电子湮没研究

用正电子湮没方法研究了新型超微晶软磁合金的微观结构缺陷，样品选用的是在不同温度下退火的Ｆｅ８１Ｐ１２Ｃ３Ｃｕ１Ｍｏ０．５Ｓｉ２．５合金，结果表明，合金的微观结构构陷大小，密度随退火温度有规律地变化，这种现象可能与非晶的晶化过程有关。     

硬件握手双向选通型串行通信共享器的设计

本文介绍了ＩＢＭ－ＰＣ系列计算机通过ＲＳ－２３２Ｃ串行口与多个单片微机组成的分布式系统中一种可双向选通串行通信共享器的设计方法。给出通信共享器的设计电路；并对电路工作原理进行了详细剖析。     

小波变换用于影象分割的研究

将近年来兴起的小波理论应用于影象分割技术，提出了一种基于影象直方图小波变换的影象分割方法，并从理论上给出了使用该法所得分割门限的物理意义。实例表明，这种由粗到细引导的多分辨率分析方法，对于复杂影象的分割具有较强的鲁棒性和有效性，克服了传统分割方法中的参数需要人工确定的缺点。     

输气管道天然气连续取样器的研制及应用

文章针对国内管输天然气气质分析工作中取样环节所存在的问题，结合国外技术发展趋势，全面地介绍了输气管道天然气连续取样器的研制过程。实践证明，该装置较好地解决了天然气密度值偏差问题，满足管输天然气全分析的要求，同时，该装置的推广应用将会提高天然气的计量准确度。     

端羟基聚二甲基硅氧烯改性环氧树脂

用羟基封端的聚二甲基硅氧烷改性环氧树脂，得到具有两相结构的改性树脂，其耐热性明显提高．环氧树脂／有机硅（20／80）共混物涂层有很低的表面能，主要的机械性能则变化不大，可作为一种疏水性防护徐层．     

Pulmonary Wegener''s disease mimicking tuberculosis]

We report a case of early Wegener's disease mimicking tuberculosis in a 36 year old man. Lungs are solely affected for 6 months. Unusual appearance of radiographic features with large apical excavations explain the delai for the diagnosis. We discuss morphological features in the lungs and kidney.