Algebraic properties of cryptosystem PGM

In the late 1970s Magliveras invented a private-key cryptographic system calledPermutation Group Mappings (PGM). PGM is based on the prolific existence of certain kinds of factorization sets, calledlogarithmic signatures, for finite permutation groups. PGM is an endomorphic system with message space ℤ_|G| for a given finite permutation groupG. In this paper we prove several algebraic properties of PGM. We show that the set of PGM transformations ℐ _G is not closed under functional composition and hence not a group. This set is 2-transitive on ℤ_|G| if the underlying groupG is not hamiltonian and not abelian. Moreover, if the order ofG is not a power of 2, then the set of transformations contains an odd permutation. An important consequence of these results is that the group generated by the set of transformations is nearly always the symmetric group ℒ_|G|. Thus, allowing multiple encryption, any permutation of the message space is attainable. This property is one of the strongest security conditions that can be offered by a private-key encryption system. S. S. Magliveras was supported in part by NSF/NSA Grant Number MDA904-82-H0001, by U.S. West Communications, and by the Center for Communication and Information Science of the University of Nebraska.     

A Novel Topological Index F and Its Correlation With Standard Formaton Enthalpies of AB_n(g) Molecules

The topological index F* is defined and obtained by the method of a non-dimensional unit calculation in which three matrices multiply with each other. These matrices represent the connective cases of atoms in a molecule, the structural features of atoms on top and the bonded cases of the adjacent atoms respectively. The standard formation enthalpies of ABn(g) molecules were correlated with F'* (A = C, Al, Si, Ti, Zr, B = F, Cl, Br, I, H, n=1 -4) and these correlation coefficients are all more than 0.96. Some molecules (e.g CH4, SiH4,etc. )can be preferably handled by F* but can not be dealt with by other topological indices. By contrast to traditional hydrogen suppressed graph, the contribution of hydrogen atoms to structures and properties of molecules is considered.     

Two dimensional deformation characteristics of bloom CC with liquid core reduction

A two-dimensional model was applied to simulate the liquid core reduction(LCR) technology of bloom CC using ANSYS software.The deformation characteristics of bloom under different liquid fraction and reducing amount are obtained.The results indicate that the main deformation condition of bloom shell is compressive strain,mainly undertaken by the liquid core,which increases with the enhancement of reducing amount.Solidified shell takes minor deformation.The longitudinal section of bloom appears sunken and the narrow side bulges,which grow serious when the liquid fractionincreases.     

软土地基地下结构的一个CAD软件

本文介绍地下结构计算机辅助设计软件——UCAD的总体结构、主要功能以及解决的问题。     

光外差系统噪声等效功率的一种测量方法

本文介绍了利用工作于Bragg衍射的Ge晶体声光调制器作为外差系统中的频移器来测量外差系统的噪声等效功率(NEP)的方法。该方法具有测试系统简单、信号光功率、偏频可调的优点。实验测试与理论分析吻合。     

场发射显示器件中真空获得和维持工艺的改进

真空的获得和维持是目前FED研究工作中存在的主要困难之一。本文研究了在现有的传统封接排气以及消气工艺的实验条件下 ,进行了多种工艺改进 :设计了一种新型的三层FED器件结构 ,在这种结构中 ,实现了蒸散型消气剂和非蒸散型消气剂的共同使用 ;并采用了气体保护 ,以及电子轰击去气等有效措施 ,实现了FED器件内部持久的高真空度 ,为FED阴极高稳定、长寿命工作提供了有力的保障     

Multi-grid domain decomposition approach for solution of Navier–Stokes equations in primitive variable form

A new multi-grid (two-grid) pseudospectral element method has been carried out for solution of incompressible flow in terms of primitive variable formulation. The main objective of the proposed method is to apply the multi-grid technique solving the incompressible flow problems associated with three commonly encountered multi-grid environments. In domain decomposition terminology, it includes (I) partially overlapped subdomains, each of which has same types of grids; (II) partially overlapped subdomains, each of which has different types of grids; (III) local adaptive subdomains fully overlapped with the original computational domain (composite grids). The approach for flow problems, complex geometry or not, is to first divide the computational domain into a number of subdomains with the inter-overlapping area (partially or fully overlapped). In categories I and II, the fine-grid or coarse-grid subdomains can be defined by their representation, while in category III the fine-grid or coarse-grid subdomains are defined as usual. Next, implement the Schwarz Alternating Procedure (SAP) to exchange the data among subdomains, where the coarse-grid correction is used to remove the high frequency error that occurs when the data interpolation from the fine-grid subdomain to the coarse-grid subdomain is conducted. The strategy behind the coarse-grid correction is to adopt the operator of the divergence of velocity field, which intrinsically links the pressure equation, into this process. The solution of each subdomain can be efficiently solved by the direct (or iterative) eigenfunction expansion technique or preconditioned method with the least storage requirement, i.e. O(N²) in 2-D. Numerical results of (i) driven cavity flow (Re = 100,400) with Cartesian grids (category I) in each subdomain, (ii) driven cavity flow (Re = 3200) with local adaptive grids (category III) in each subdomain, and (iii) flow over a cylinder (Re = 250) with ‘O’ grids in one subdomain and Cartesian grids in another (category II) will be presented in the paper to account for the versatility of the proposed multi-grid method.     

From the individual element test to finite element templates: Evolution of the patch test

This paper starts a sequence of three articles that follow an unconventional approach in finite element research. The ultimate objective is to construct high-performance elements and element-level error estimators for those elements. The approach takes off from our previous work in high-performance elements and culminates with the development of finite element templates. The present paper concentrates on the patch test and evolved versions of the test that have played a key role in this research. Following a brief review of the historical roots, we present the Individual Element Test (IET) of Bergan and Hanssen in an expanded context that encompasses several important classes of new elements. The relationship of the IET to the multielement forms A, B and C of the patch test and to the single-element test are investigated. An important consequence of the IET application is that the element stiffness equations decompose naturally into basic and higher-order parts. The application of this decomposition to the “sanitization” of the non-convergent BCIZ element is described and verified with numerical experiments. Two sequel papers in preparation are subtitled ‘the algebraic approach’ and ‘element-level error estimation’. These apply the fundamental decomposition to the derivation of templates for specific mechanical elements and to the construction of element-level error estimators, respectively.     

广州市住宅直饮水设计定额的确定

对住宅直饮水系统的实际运营情况进行了分析,运营中出现的销售水量低于直饮水定额、制水设备实际工作时间低于额定时间及水表工作不正常等现象都反映了现行直饮水设计定额的不合理性,建议将用水量定额定为5～8L/(户·d),既符合实际情况又能满足居民远期需求。     

曲边介质波导的有限元分析

本文应用曲边有限元方法有效地计算了曲边质波导的色散特性，编制了相应的计算程序,应用本文方法计算得到的椭圆旬质波导和组合椭圆介质波导的主模和高次模的色散曲线与文献[2],[3]的结果相当吻合。