厚壁球壳的杂交／混合有限元分析

本文对８一节点四边形轴对称杂交／混合元ＡＸＨＭ１６进行了系列考核：（１）考查ＡＸＨＭ１６是否含有零能变形模式，以查明它的含秩状况；（２）通过受内压作用的厚壁球壳考题，观察ＡＸＨＭ１６的转轴不变性和其它性能表现。事实表明：ＡＸＨＭ１６满足单元合理足秩的必要条件和充分条件，不含零能变形模式，单刚合足秩。数值考核表明：ＡＸＨＭ１６具有很好的位移精度和应力精度，对坐标转轴的敏感程度并不明显，且在近乎相同的     

Five-axis interpolation of continuous short linear trajectories for 3[PP]S-<Emphasis Type="Italic">XY</Emphasis> hybrid mechanism by dual Bezier blending

A novel five-axis real-time interpolation algorithm for 3[PP]S-XY hybrid mechanism is proposed in this paper. In the algorithm, the five-axis tool path for controlling this hybrid mechanism is separated into two sub-paths. One sub-path describes the movement of 3[PP]S parallel kinematic mechanism module, and the other one describes the movement of XY platform. A pair of cubic Bezier curves is employed to smooth the corners in those two sub-paths. Based on the homogenous Jacobian matrix of 3[PP]S mechanism, a relationship between the position errors of every driving joint in hybrid mechanism and the position deviation of the tool tip center point at the moving platform is established. This relationship is used to estimate the approximation error for the corners smoothing according to the accuracy requirement of tool tip center in interpolation. Due to the high computational efficiency of this corner smoothing method, it is integrated into the look-ahead module of computer numerical control (CNC) system to perform online tool path smoothing. By performing the speed planning based on a floating window scheme, a jerk limited S-shape speed profile can be generated efficiently. On this basis, a realtime look-ahead scheme, which is comprised of path-smoothing and feedrate scheduling, is developed to acquire a speed profile with smooth acceleration. A monotonic cubic spline is employed for synchronization between those two smoothed sub-paths in tool path interpolation. This interpolation algorithm has been integrated into our own developed CNC system to control a 3PRS-XY experimental instrument (P, R and S standing for prismatic, revolute and spherical, respectively). A club shaped trajectory is adopted to verify the smoothness and efficiency of the five-axis interpolator for hybrid mechanism control.     

肋拱桥关键截面箱型转换加固技术试验研究

以重庆丰都庙包大桥为原型,制作了2片钢筋混凝土肋拱模型,首先采用"肋拱桥关键截面箱型转换加固技术"对其中1片进行加固处治,然后对加固前、后肋拱模型实施全过程破坏试验。通过对比分析加固前、后肋拱模型的应变、挠度、横向分布比率、裂缝及破坏模式等指标,得到以下结论:肋拱桥关键截面箱型转换加固后,新增设的钢筋混凝土箱型封闭层能与原肋拱协调变形、共同承担活载。     

NETWORK MANAGEMENT WITH SECURED MOBILE AGENT

IntroductionMobile Agents equipped with intelligence,of-fer new technology that helps automate NetworkManagement activities,which are increasingly be-coming complex due to exponential growth of in-ternet users,and thus demanding higher levels ofhuman manager expertise and involvement.Well-known network management protocols that areused to monitor and manage network devices in-clude Simple Network Management Protocol ( SN-MP) and Common Management Information Proto-col ( CMIP) ,SNMP be…     

大鼠角膜移植排斥反应中体液免疫作用的研究

测定30例PVG-PVG和40例LEW-PWG角膜移植术前、术后血清、房水和泪液Ig和C3含量。结果表明，泪液和房水IgG含量异常升高与角膜移植排斥反应显著相关。初步建立了大鼠角膜移植术后无排斥反应发生时泪液IgG含量变化的定量关系，提出预测角膜移植术后排斥反应发生的一种辅助方法。     

A relaxed-PPA contraction method for sparse signal recovery

Sparse signal recovery is a topic of considerable interest, and the literature in this field is already quite immense. Many problems that arise in sparse signal recovery can be generalized as a convex programming with linear conic constraints. In this paper, we present a new proximal point algorithm (PPA) termed as relaxed-PPA (RPPA) contraction method, for solving this common convex programming. More precisely, we first reformulate the convex programming into an equivalent variational inequality (VI), and then efficiently explore its inner structure. In each step, our method relaxes the VI-subproblem to a tractable one, which can be solved much more efficiently than the original VI. Under mild conditions, the convergence of the proposed method is proved. Experiments with l ₁ analysis show that RPPA is a computationally efficient algorithm and compares favorably with the recently proposed state-of-the-art algorithms.     

Catalytic Combustion of Lean Methane Assisted by Electric Field over Pd/Co<Subscript>3</Subscript>O<Subscript>4</Subscript> Catalysts at Low Temperature

A series of Pd/Co₃O₄ catalysts were prepared by Self-Propagating High-Temperature Synthesis (SHS) method in this study, and electric field was applied for catalytic combustion of lean methane over Pd/Co₃O₄ catalysts at low temperature. When electric field was applied, the catalytic combustion performance of Pd/Co₃O₄ catalysts was greatly improved, and the application of electric field could reduce the load of active element Pd to some extent while maintaining the same efficiency. Based on experimental tests and the analysis results of X-ray diffraction (XRD), X-ray photoelectron spectroscopy (XPS), H₂-temperature-programmed reduction (H₂-TPR) and in-situ diffuse reflectance infrared Fourier transform spectroscopy (in-situ DRIFTS), the mechanism of catalytic oxidation of CH₄ over Pd/Co₃O₄ catalysts in electric field was proposed. The catalytic combustion of CH₄ occurs only when the temperature is higher than 250 °C normally, but when electric field was applied, the whole process of CH₄ oxidation was promoted significantly and the reaction temperature was reduced. Electric field could promote the reduction of the support Co₃O₄ to release the lattice oxygen, resulting in the increase of PdO_x and the surface chemisorbed oxygen, which could provide more active sites for the low-temperature oxidation of CH₄. Furthermore, electric field could accelerate the dehydroxylation of CoOOH to further enhance the activity of the catalysts.     

LEISHMANIA PROMASTIGOTES EVADE INTERLEUKIN 12 INDUCTION BY MACROPHAGES AND STIMULATE A BROAD RANGE OF CYTOKINES FROM CD_（4）~（＋

ＬＥＩＳＨＭＡＮＩＡＰＲＯＭＡＳＴＩＧＯＴＥＳＥＶＡＤＥＩＮＴＥＲＬＥＵＫＩＮ１２ＩＮＤＵＣＴＩＯＮＢＹＭＡＣＲＯＰＨＡＧＥＳＡＮＤＳＴＩＭＵＬＡＴＥＡＢＲＯＡＤ　ＲＡＮＧＥＯＦＣＹＴＯＫＩＮＥＳＦＲＯＭ　ＣＤ_（４）~（＋）ＴＣＥＬＬＳＤＵＲＩＮＧＩ...     

Automatic semantic analysis of software requirements through machine learning and ontology approach

Nowadays, software requirements are still mainly analyzed manually, which has many drawbacks (such as a large amount of labor consumption, inefficiency, and even inaccuracy of the results). The problems are even worse in domain analysis scenarios because a large number of requirements from many users need to be analyzed. In this sense, automatic analysis of software requirements can bring benefits to software companies. For this purpose, we proposed an approach to automatically analyze software requirement specifications (SRSs) and extract the semantic information. In this approach, a machine learning and ontology based semantic role labeling (SRL) method was used. First of all, some common verbs were calculated from SRS documents in the E-commerce domain, and then semantic frames were designed for those verbs. Based on the frames, sentences from SRSs were selected and labeled manually, and the labeled sentences were used as training examples in the machine learning stage. Besides the training examples labeled with semantic roles, external ontology knowledge was used to relieve the data sparsity problem and obtain reliable results. Based on the SemCor and WordNet corpus, the senses of nouns and verbs were identified in a sequential manner through the K-nearest neighbor approach. Then the senses of the verbs were used to identify the frame types. After that, we trained the SRL labeling classifier with the maximum entropy method, in which we added some new features based on word sense, such as the hypernyms and hyponyms of the word senses in the ontology. Experimental results show that this new approach for automatic functional requirements analysis is effective.     

IP ADDRESS AUTOCONFIGURATION FOR WIRELESS AD HOC NETWORKS

IntroductionWireless ad hoc networks are gaining increas-ing popularity in recent years because of their easeof deployment. No wired base station or infras-tructure is supported,and each hostcommunicatesone anothervia packetradios. In ad hoc networks,routing protocols are challenged with establishingand maintaining multihop routes in the face of mo-bility,bandwidth limitation and power con-straints. In ad hoc networks,each node( host)acts as a router since routes are mostly multihop.Nodes in …