由有穷自动机构造正则表达式的新算法

本文借助图论的理论，通过识别回路和不包含回路的由起始状态到终止状态的路径的方法，提出一种构造给定有穷自动机对应的正则表达式的新算法，并给出具体实例。     

割缝防砂筛管抗挤强度有限元计算模型

针对割缝防砂筛管周围或缝内部堵塞，造成井眼压力增加，可能会导致筛管被挤毁的问题，采用有限元方法，通过大型有限元程序，建立了其抗挤强度的有限元计算模型。根据弹塑性理论，对割缝防砂筛管进行分析，得出其抗挤强度。结果与国外的实验数据进行对比，数值模拟结果比实验值略大，但两者相差较小，证明了该模型的正确性。为其他尺寸割缝筛管的抗挤强度设计提供了一种数值计算方法。     

基于ANSYS的闩体刚强度有限元分析

闩体的刚度和强度必须满足设计要求。用有限元法对复杂结构件进行力学性能分析是非常有效的方法。采用ANSYS软件对闩体进行了刚度和强度分析,得出了有用的结论,可供相关设计借鉴。     

Optimal and Suboptimal Quadriphase Sequences Derived from Maximal Length Sequences over Z _{{\bf 4}}

The paper presents families of quadriphase sequences derived from maximal length sequences over having good correlation properties. These are: (i) families of quadriphase sequences of period from maximal length sequences over ; each family consisting of sequences, (ii) families of quadriphase sequences of period from interleaved maximal length sequences over ; each family consisting of sequences. Such sequences are of interest in quadriphase modulated code division multiple access communication systems, where it is desirable to have large sets of sequences that possess low value of , the maximum magnitude of the periodic crosscorrelation and out of phase auto-correlation values. The sequences over are viewed as trace functions of appropriately chosen unit elements of Galois extension rings of . Quadriphase sequences are then obtained from sequences, by a quadriphase mapping, , from to roots of unity, given by, ; where and . Periodic correlation properties (correlation values and their distribution) of the quadriphase sequences are obtained by using an Abelian association scheme on the elements of the corresponding Galois extension ring of . The majority of the families of sequences derived are optimal with respect to the Welch lower bound on ; the rest being suboptimal with bounded by , where is the period\newpage of the sequences. However nearly half of the sequences in these families are balanced. Received July 18, 1995; revised version November 29, 1996     

Stress concentration and fatigue of profiled reinforcing steels

Stress concentrations arise from profiles of ribbed reinforcing steel bars and in this study the results of calculated stress concentration factors (SCF), by using finite element method, are related to the fatigue test results. It is apparent that the degree of confinement of a ribbed bar embedded in concrete not only affects the magnitude of the ultimate bond stress but also the bond stress-slip relation. Thus the rib geometry or profile pattern is designed for optimum bond characteristics and not for fatigue considerations. However the rib geometry influences the fatigue performance through the SCFs arising from the root radius, width and flank angles of the profiles. It is shown that these latter factors have a significant influence on the fatigue behaviour of reinforcing steel bars.     

Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

模拟多孔介质中质量输运现象有限颗粒法的应用

有限颗粒法是一种新的颗粒跟踪法,特别适合模拟污染物的运移过程。用有限颗粒法对多孔介质中纵向弥散度进行识别。纵向弥散度是表征含水层中介质弥散特征的重要参数．也是一个很难确定的参数。给出具体算例,并做进一步的讨论。     

The induced generalized aggregation operators for intuitionistic fuzzy sets and their application in group decision making

In this paper, we present the induced generalized intuitionistic fuzzy ordered weighted averaging (I-GIFOWA) operator. It is a new aggregation operator that generalized the IFOWA operator, including all the characteristics of both the generalized IFOWA and the induced IFOWA operators. It provides a very general formulation that includes as special cases a wide range of aggregation operators for intuitionistic fuzzy information, including all the particular cases of the I-IFOWA operator, GIFOWA operator and the induced intuitionistic fuzzy ordered geometric (I-IFOWG) operator. We also present the induced generalized interval-valued intuitionistic fuzzy ordered weighted averaging (I-GIIFOWA) operator to accommodate the environment in which the given arguments are interval-valued intuitionistic fuzzy sets. Further, we develop procedures to apply them to solve group multiple attribute decision making problems with intuitionistic fuzzy or interval-valued intuitionistic fuzzy information. Finally, we present their application to show the effectiveness of the developed methods.     

Inference rules using local contexts

We construct equivalent localized versions of a formula, adding assumptions simultaneously to various locations, where the particular location determines what is added. Inference rules that take advantage of localized formulas are presented for sequent calculi in which the left hand side of sequents can be used to accumulate the background assumptions (or contexts) of assertions. The intended application is to the automatic generation of tractable justifying lemmas for substitution operations for interactive proof development systems, especially those concerned with mathematical topics where manipulation of deeply embedded terms is desirable.     

小口径离轴抛物面反射镜挠性支撑设计分析

关于反射镜支撑稳定性优化设计问题,离轴抛物面反射镜作为空间光学遥感器的重要光学元件,面形精度直接影响遥感器性能。针对反射镜所处环境,组件一阶频率要求高,设计了一种反射镜背部中心单点挠性支撑结构,并利用拓扑优化技术对反射镜进行了轻量化设计。为了结构设计的合理性,采用有限元技术对反射镜组件进行了模态分析、结构强度分析、谐响应分析及热环境分析。分析结果表明:反射镜在重力作用下最大面形误差RMS=1.16nm;在±10℃温度载荷作用下最大面形误差RMS=11.46nm;反射镜组件一阶频率为574.19Hz。使挠性支撑结构具有良好的静、动态特性和热尺寸稳定性,满足反射镜面形要求。