Neutron Stress Measurement of W‐Fiber Reinforced Cu Composite

Stress measurement methods using neutron and X‐ray diffraction were examined by comparing the surface stresses with internal stresses in the continuous tungsten‐fiber reinforced copper‐matrix composite. Surface stresses were measured by X‐ray stress measurement with the sin²ψ method. Furthermore, the sin²ψ method and the most common triaxal measurement method using Hooke's equation were employed for internal stress measurement by neutron diffraction. On the other hand, microstress distributions developed by the difference in the thermal expansion coefficients between these two phases were calculated by FEM. The weighted average strains and stresses were compared with the experimental results. The FEM results agreed with the experimental results qualitatively and confirmed the importance of the triaxial stress analysis in the neutron stress measurement.     

多重网格法在地球物理正反演应用研究中的进展

现阶段地球物理三维勘探面临越来越复杂的问题,其要求更精细的三维网格剖分,现有的一些方法随着网格节点的增加其收敛速度相应减慢。对于应用中更复杂实际模型、更细密网格剖分以及更快收敛速度要求,难于有进一步提高。要有所突破,需借助计算数学最新进展,引入新的高效算法。多重网格法是近二十年迅速发展的一种求解微分方程近乎最优的新算法。本文首先简单介绍了多重网格法基本原理和运算格式,着重介绍了当前国内外多重网格法在地球物理正反演中的应用成果和发展现状。此外,对多重网格法在地球物理正反演中的应用前景及发展趋势进行了展望。     

浅谈解的存在唯一性定理在《偏微分方程数值解》中的应用

从一个新的角度讨论常微分方程中解的存在唯一性定理在偏微分方程数值解法中的重要应用。给出一类伪双曲型偏微分方程的新的分裂混合有限元数值格式,将该格式转化成常微分方程系统,利用解的存在唯一性定理证明该系统是存在唯一解的。通过简短的讨论、概述明确解的存在唯一定理在偏微分方程数值解中的应用方法．并希望能够在教学科研未来的发展中有新的观念。     

Modelling of the thermomechanical coupling during hot forming of viscoplastic materials

In the present paper, a strategy for solving transient thermoviscoplastic problems is described. The general thermal and mechanical coupling phenomena are discussed by assuming material properties to be temperature-dependent and accounting for the mechanical terms in the non-stationary heat conduction equation. Time integration is carried out with an implicit scheme. An interesting version of the three-field approach is presented to obtain an accurate solution for the stress field. Finally, a global product coupling algorithm, in which the unknown nodal velocities and temperatures are solved with a two-step solution procedure is suggested. The proposed fractional step method partitions the initial coupled problem into an isothermal viscoplastic problem followed by a purely heat conduction problem at fixed configuration. Applications in metal forming analyses involving full thermomechanical coupling conclude the paper.     

高职院校应如何培养程序员

高职院校的计算机软件开发专业是以培养程序员这个职业为目标。本文以就业为导向对这个专业的课程设置、内容及教学方法体系结构做一些探索。     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

高职计算机网络技术专业课程体系改革探析

通过分析鄂东职业技术学院计算机网络技术专业课程体系,提出了基于工作过程课程体系的构建方法,指出了未来专业课程体系改革的一个方向。     

Optimal hole shape for minimum stress concentration using parameterized geometry models

The goal of this work is to obtain optimal hole shape for minimum stress concentration in two-dimensional finite plates using parameterized geometry models. The boundary shape for a hole is described by two families of smooth curves: one is a “generalized circular” function with powers as two parameters; the other one is a “generalized elliptic” function a and b are ellipse axes) with powers as two parameters and one of the ellipse axes as the third parameter. Special attention is devoted to the practicability of parameterized equations and the corresponding optimal results under the condition with and without the curvature radius constraint. A number of cases were examined to test the effectiveness of the parameterized equations. The numerical examples show that extremely good results can be obtained under the conditions with and without curvature radius constraint, as compared to the known solutions in the literature. The geometries of the optimized holes are presented in a form of compact parametric functions, which are suitable for use and test by designers. It is anticipated that the implementation of the suggested parameterized equations would lead to considerable improvements in optimizing hole shape with high quality.     

On pebble automata for data languages with decidable emptiness problem

In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-pebble automata is decidable, while the same problem for weak 3-pebble automata is undecidable. We also introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is still decidable. It is also robust: alternating, non-deterministic and deterministic top view weak PA have the same recognition power; and are strong enough to accept all data languages expressible in Linear Temporal Logic with the future-time operators, augmented with one register freeze quantifier.