The complexity of some reachability problems for a system on a finite group

We consider a system defined as the product of a finite set of periodic systems on cyclic groups. It is of interest to determine if certain subgroups and unions of subgroups of the state set are reachable from a specified initial state, and in particular to determine the computational complexity of verifying such reachability. These questions are motivated by certain problems that arise in the modelling and control of discrete event systems and certain forms of periodic scheduling. Our main result is that deciding whether or not the union of a certain set of subgroups is reachable or not is NP-complete.     

Order–disorder phase transition induced by swift ions in MgAl2O4 and ZnAl2O4 spinels

Grazing X-ray diffraction was used to study in details the behaviour of two spinels, ZnAl₂O₄ and MgAl₂O₄ irradiated by swift ions. Such an irradiation allows to have an important irradiated depth and then accurate diffraction diagrams. Rietveld refinement done on these diagrams clearly show an order–disorder transition due to a melting of cations under irradiation in these two spinels. More especially, these results clearly exhibit that no new phase is created under irradiation in MgAl₂O₄. Raman spectroscopy, sensitive to the crystallographic space group, seems to confirm this analysis.     

富氧氮氧化硅薄膜退火的研究

利用红外吸收(IR)谱和X射线光电子谱(XPS)对富氧氮氧化硅(oxygen-rich SiOxNy)及其在600、750和900℃下退火后样品的微结构进行了研究.实验中除观察到N、H的释放外,首次发现退火会导致SiOxNy中O的释放,同时还发现退火温度不同,H、O、N元素的释放量以及微结构的变化都不相同,根据这些现象,提出了5个化学反应过程并予以解释.     

MECHANISM OF SOUND GENERATION BY FLOW OVER TWO CAVITIES IN TWO DIMENSIONS

1 .　ＩＮＴＲＯＤＵＣＴＩＯＮＷｈｅｎｈｉｇｈ ｓｐｅｅｄａｉｒｆｌｏｗｏｒｃｕｒｒｅｎｔｐａｓｓｅｓｏｖｅｒｇａｐｓｏｒｃａｖｉｔｉｅｓｉｎａｆｌａｔｐｌａｔｅ ,ｓｅｌｆ ｅｘｃｉｔｅｄｏｓｃｉｌｌａｔｉｏｎｓｍａｙｏｃｃｕｒ ,ｌｅａｄｉｎｇｔｏｄｒａｍａｔｉｃｐｒｅｓｓｕｒｅａｎｄｖｅｌｏｃｉｔｙｆｌｕｃｔｕａｔｉｏｎａｎｄｉｎｔｅｎｓｉｖｅｎｏｉｓｅ .Ｔｈｅｓｅｐｈｅｎｏｍｅｎａｍａｙａｐｐｅａｒｉｎｍａｎｙｅｎｇｉｎｅｅｒｉｎｇａｐｐｌｉｃａｔｉｏｎｓ .Ｆｏｒｅｘａｍｐｌｅ ,ｗｅａｐｏｎｂ…     

DH-2001综合地化录井仪的研制

地化录井仪是一种采用岩石热解法快速定量评价生油岩和储油岩的设备。文章介绍了DH - 2 0 0 1综合地化录井仪的组成和功能 ,阐述了仪器硬件和软件的设计思想。实际应用证明 ,该仪器的设计先进、实用     

碳酸二甲酯的市场需求和生产技术进展

介绍了碳酸二甲酯的价格、生产情况及国内外市场需求 ,指出碳酸二甲酯在我国具有极大的市场潜力。综述了生产碳酸二甲酯的三类主要方法 ,介绍了光气法、酯交换法和氧化羰基化法的各种具体方法及尚未实现工业化仍在研究中的其他方法。并对各种工业化的生产方法从技术、经济和清洁性的角度进行了分析 ,指出适合我国采用的工业合成方法是气相氧化羰基化法和甲醇与 CO2 直接合成法     

岩石工程力学特性参数测定装置设计

岩石工程力学特性参数测定装置实现了对试验载荷的恒速率加载 ,可对压模的吃深和试验载荷进行连续记录 ,记录的数据可实时显示及处理 ,且动态显示试验岩石的特性曲线 (试验载荷—轴向应变 )。该装置体积小、可移动性强 ,且能一机多用。文章详细阐述该装置机械结构、电路和系统软件的设计等     

rried out. The Lagrange multipliers are

boundary conditions. A cell structure which is independent to the nodes is used to evaluate the integrals of EFG     

CHARACTERIZATION OF Si_(1-x-y)Ge_xC_y FILMS GROWN BY ION IMPLANTATION AND SUBSEQUENT SOLID PHASE EPITAXY

Si1-x-yGexCy ternary alloy films were grown on monocrystalline silicon substrates by C ion implantation and subsequent solid phase epitaxy (SPE). Two-step anneal-ing technique was employed in the SPE. The structure and electrical properties of the alloy films were determined using Fourier transform infrared spectroscopy and van der Pauw Hall measurements, respectively. With the optimization of two-step anneal-ing technique for the implanted Si1-x-yGexCy layers, a certain amount of C atoms occupied substitutional sites and no SiC was formed.     

微生物提高采收率技术在吉林油田的应用研究

介绍吉林油田筛选微生物菌种、菌种分类、菌种性能评价等室内研究技术和微生物放大发酵工艺、注入工艺。综合评价微生物采油现场试验研究及试验效果，讨论微生物在地层中的生长繁殖、运移及提高采收率机理。图2表5参9（李羡春摘）