Dielectric cover effect on rectangular microstrip antenna array

A theoretical model to analyze a covered rectangular antenna with an arbitrary dielectric constant superstrate is developed. The antenna is simulated by the radiation of two magnetic dipoles located at the radiating edges of the patch. The Green's function of an elementary magnetic dipole in a superstrate-substrate structure, utilizing spectral-domain analysis, is formulated, and the surface-wave and radiation field are computed. An improved transmission line model, which considers the stored energy near the radiating edges and the external mutual coupling, is used to compute the input impedances and radiation efficiency. Design considerations on the superstrate thickness and its dielectric constant are discussed. Experimental data for a single element and a 4×4 microstrip array is presented to validate the theory     

Harnessing the Melting Peculiarities of Ultra‐High Molecular Weight Polyethylene Fibers for the Processing of Compacted Fiber Composites

Summary: Compacted fiber composites offer unique properties due to their lack of an extraneous matrix. The conditions of processing ultra‐high molecular weight polyethylene (UHMWPE) fibers were simulated in a heated pressure cell. In situ X‐ray diffraction measurements were used to follow the relevant transitions and the changes in the degree of crystallinity during melting and crystallization. The results strongly support the suggestion that the hexagonal crystal phase, in which the chain conformation is extremely mobile on the segmental level, constitutes the physical basis of compaction technologies for processing UHMWPE fibers into a single‐polymer composite. This report suggests that using a pseudo‐phase diagram outlining the occurrence of different phases during slow heating and the degree of crystallinity can provide valuable insight into the technological parameters relevant for optimal processing conditions.

Degree of crystallinity as a function of pressure and temperature in a region relevant to compaction processes.     

有限精度时间自动机的可达性检测

为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足.     

Software transactional memory

Summary.  As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a Load–Linked/Store–Conditional operation on a single word. Building on the hardware based transactional synchronization methodology of Herlihy and Moss, we offer software transactional memory (STM), a novel software method for supporting flexible transactional programming of synchronization operations. STM is non-blocking, and can be implemented on existing machines using only a Load–Linked/Store–Conditional operation. We use STM to provide a general highly concurrent method for translating sequential object implementations to non-blocking ones based on implementing a k-word compare&swap STM-transaction. Empirical evidence collected on simulated multiprocessor architectures shows that our method always outperforms the non-blocking translation methods in the style of Barnes, and outperforms Herlihy’s translation method for sufficiently large numbers of processors. The key to the efficiency of our software-transactional approach is that unlike Barnes style methods, it is not based on a costly “recursive helping” policy. Received: January 1996 / Revised: June 1996 / Accepted: August 1996