布帮鞋无浆贴合工艺技术

本工艺是对原有工艺的改进，突破了原有布帮鞋不能采用无浆贴合的局限性，对原有工艺中的不足有了很大的改进，提高了生产效率，改善了鞋子外观质量，增加了鞋子的美观性。     

Finite constants: characterizations of a new decidable set of constants

Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project.     

A prolog based expert system for the allocation of quality assurance program resources

The worldwide proliferation of fraudulent materials has brought about the need for a new approach to the control of purchased material quality. Nuclear power, defense, aerospace and many other industries are affected by the supply of poor quality clones that presume to be original replacement parts. Safety considerations abound as these highly defective materials are used in systems that are critical to the preservation of human lives. Commonly utilized quality assurance programs have not effectively stopped the influx of fraudulent materials. These programs fail to concentrate inspection efforts on materials and inspection attributes that would effectively prevent the acceptance of fraudulent materials. herein a solution is presented to this problem in the form of an expert system application. Information commonly available in industry is formulated into a knowledge based system wherein advisories are given to the user regarding key purchased material receipt inspection strategies.     

Computerized facility layout design

The paper describes a computerized facility layout designer, COMLAD II, for plant layout development. Besides developing an efficient layout, COMLAD II has useful features which allow fixing the departments, changing the shape of the departments and changing the length and width dimensions of the overall layout.     

Analysis of thin walled structures using the boundary element method

In this article the direct boundary element formulations of stretching and bending plate problems are combined together to solve thin walled structures and other similar frames. The final system is obtained by assuming each individual plane structural element as a subregion. After the necessary transforms of these equations they can be combined together taking into account the displacement compatibility and equilibrium conditions.     

Experimental densities for compressed R134a

This paper reports densities of compressed R134a (1,1,1,2-tetrafluoroethane) determined by using a contiuously weighed pycnometer at 20 K intervals between 180 and 380 K at pressures from slightly greater than the vapour pressure to 70 MPa. The results are accurate to within ±0.1%. Saturated liquid densities derived by extrapolation from the experimental values agree with other reported values to within ±0.3%.     

An alternative approach to weight function evaluation for an orthotropic crack

The use of the analytically decoupled near-tip displacement solutions as an alternative approach, is presented in this paper for the efficient finite element evaluation of the decoupled weight functions for an orthotropic 2-D crack. This alternative approach has been validated by directly comparing the prior weight function results with a symmetric mesh approach in the crack-tip neighborhood, and indirectly by comparing the calculated stress intensity factors (K_I(II)) values using the computed weight functions with available K_I(II) solutions of the 2-D mixed mode orthotropic cracks. In addition, this approach with analytically decoupled near-tip displacement solutions for calculating weight functions at all locations, can facilitate further extension of weight function evaluations to a more general 2-D anisotropic crack.     

Influence of lips on thin-walled sections

Turning the free edge of an unstiffened flange inwards or outwards to form a ‘lip’, can substantially improve the local buckling resistance of a member. The lip is the most common type of edge stiffener used in cold-rolled, thin-walled sections. In this paper the behaviour of plate elements of thin-walled sections stiffened by compound lips (i.e. lips which are folded twice to form ‘lips on the lips’) is examined both theoretically and experimentally. An outline of a series of tests on compound edge-stiffened thin-walled sections of various geometries is given and some load-end compression displacement paths are compared with the theoretical predictions. Reasonably good agreement is obtained between the experimental and theoretical results. Comparisons of the theoretical predictions with experimental results of other researchers are also presented in this paper.     

Stress function with finite magnitude of stress concentration around an interface crack

A new mathematical model for study of an interface crack between two dissimilar elastic half planes is proposed. A process zone is formed along the interface between the physical crack and the continuous part. Both the crack opening (and sliding) displacement with a smooth shape and the finite magnitude of stress concentration appear in this zone. The analytical model is expressed by closed elastic solutions using complex variables, but with no oscillations at the crack tip.