Obtaining shorter regular expressions from finite-state automata

We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.     

Numerical modelling for scattering of waves in three-dimensional cracked material

In this paper, a mathematical model is proposed for the problem of the scattering of plane waves in a three-dimensional cracked materials. Instead of obtaining closed-form solutions as in conventional theoretical analysis methods, this approach, called the Equivalent Nodal Force (ENF) method formulates the mechanical effects of cracks as an equivalent nodal force in a numerical procedure, and physically translates cracked material into an equivalent continuous one. Several mechanical relations between waves and cracks are evident from this method. Also the results of several numerical calculations are presented and these are compared with those obtained by the conventional methods.     

管板现场堵漏焊接中的技术要点

在对列管进行堵管时 ,如果堵头形状和加工尺寸不合理 ,焊接工艺不当 ,在焊缝处极易出现气孔、裂纹等现象 ,在仰焊时还易出现夹渣现象 ,造成新的泄漏。因此 ,管板现场堵漏时要注意以下几点 :1 )焊接材料的选择由于现场管板堵漏时列管内介质很难清除干净 ,特别是列管内存在少量水     

J-199热熔胶膜的研制

讨论了不同VA含量不同熔体指数的EVA和各种增粘剂对热熔胶膜耐热性、软化点、剪切强度、拉伸强度、剥离强度等性能的影响。通过采用不同材料试验和配方的筛选，研制出一种90℃剪切强度0．07MPa、拉伸强度0．47MPa、耐热性好、粘接强度高的热熔胶膜，从而拓宽了热熔胶的使用范围。     

Rheology in Processing of in Situ Composites of Polypropylene and Low Melting Poing Metals

The low melting point metallic tin powder or alloy of tin and lead was blended with polypropy-lene. A kind of in situ composite has been prepared. The variations of torque were studied when the composites were mixed in Haake torque rheogeniometer. By way of capillary extrusion, effects upon rheology of the in situ com-posites of the low melting point metals (LMPM) and coupling agent for their different variety and content, were investigated. From flow curves, the results indicate that in situ composites mixed with the LMPM are a kind of pseudoplastic fluid. If the LMPM were melted, the higher the content of the LMPM , the lower apparent viscosity of composites. Meanwhile, when the coupling agent is added into composites, the viscosity of composite will go up first and drop then. This shows that the LMPM have a promoter flow action on the polypropylene.     

对选矿废水综合利用的探讨

通过对金堆城钼业公司选矿废水再用于选矿作业的选矿试验，证明选矿废水循环利用是可行的，既提高了选矿浓度，又减少了对环境的污染，经济和社会效益显著。     

Cu－MnO_2同槽电解半工业试验研究

提出了Ｃｕ－ＭｎＯ＿２同槽电解的新工艺，在同一电解槽同时得到电铜和电解二氧化锰两种产品，该新工艺具有低电耗、低酸雾污染和低酸耗等优点．