Development of 2D computer program to determine geometry of rock mass blocks

Due to various geological processes such as tectonic activities fractures might be created in rock mass body which causes creation of blocks with different shapes and sizes in the rock body. Exact understand- ing of these blocks geometry is an essential issue concerned in different domains of rock engineering such as support system of underground spaces built in jointed rock masses, design of blasting pattern, optimi- zation of fragmentation, determination of cube blocks in quarry mines, blocks stability, etc. The aim of this paper is to develop a computer program to determine geometry of rock mass blocks in two dimen- sional spaces. In this article, the eometrv of iointed rock mass is programmed in MATLABTM.

Computerized FDTD Method for Longitudinal Optical Phonon Energy on Semiconductor Hybrid Structure for High Power Devices Fabrication

The research problem in this study is the longitudinal optical phonon energy on metal/semiconductor interface for high performance semiconductor device.The research solution is to make the software model with finite difference time domain(FDTD)solution for transmission and reflection pulse between metal and semiconductor interface for carrier dynamics effects.The objective of this study is to find the quantum mechanics understanding on interface engineering for fabricating the high performance device for future semiconductor technology development.The analysis was carried out with the help of MATLAB.The quantum mechanical spatial field on metal-semiconductor stripe structure has been analyzed by FDTD techniques.This emission reveals a characteristic polar radiation distribution of electric dipoles and a wavelength independent of the structure size or the direction of emission;consequently,it is attributed to thermally generate electric dipoles resonating with the longitudinal optical phonon energy.Phonon energy occurs lattice vibration of material by the polarization of light,if the material has rigid structure reflect back the incident light.So,high reflective metal-semiconductor structure always use as photodectors devices in optical fiber communication.No lattice vibration material structure has no phonon effect,so this structure based devices can get high performance any other structure based devices.The transmission and reflection coefficient of metal-semiconductor GaN/Au layer structure compare with GaN/Ti and GaN/Pt structure.Parallel(P)and transverse(S)polarization of light incident on a metal-semiconductor nanolayer structure with IR wavelength.Efficient use of the layer by layer(LbL)method to fabricate nanofilms requires meeting certain conditions and limitations that were revealed in the course of research on model systems.

Dynamic Simulation of the Aircraft Environmental Control System

The dynamic research of aircraft environmental control system (ECS) is an important step in the advanced ECS design process. Based on the thermodynamics theory, mathematical models for the dynamic performance simulating of aircraft ECS were set up and an ECS simulation toolbox (ECS_1.0) was created with MATLAB language. It consists of main component modules (ducts, valves, heat exchangers, compressor, turbine, etc.). An aircraft environmental control system computer model was developed to assist engineers with the design and development of ECS dynamic optimization. An example simulating an existing ECS was given which shows the satisfactory effects.

PASSIVE LOCATION AND TRACKING USING DOA AND TOA MEASUREMENTS OF SINGLE NONMANEUVERING OBSERVER

Passive location and tracking (PLAT) of a moving emitter can be implemented by multi-sited observers or by single maneuvering observer using DOA measurements only. In this article, the principle and method of passive location and tracking of a moving emitter by a single non-maneuvering observer using DOA and TOA measurements are presented and described. Computer simulation of PLAT of a moving emitter in two dimensional plane was implemented. It is shown that convergent and accurate tracking data can be obtained.

Crystallite Orientation Analysis for a Multidirectionally Cold Rolled α-Ti Alloy (TA7) Thin Sheet

A microcomputer software determining the crystallite orientation distribution functions (ODFs) and inverse pole figures of hexagonal materials with or without orthorhombic physical symmetry has been worked out the first time. The texture measurements and the ODF calculations were performed for a multidirectionally cold rolled α-Ti alloy (TA7) sheet by the application of this software. It is shown that the rolling planes of most grains in the sheet tend to be parallel to (0001) with a deviation to the extent of 40° and is shown a predominance of the orientation zone containing (1016), while the rolling directions are, as a whole, uniformly distributed along all the directions over the rolling planes. Of all the texture components, (2¯117) [01¯10] is slightly stronger than the other.

Application and Corollary of Stable Substances Distribution Equation

In this paper, the application of stable substance distribution equation (SSDE) of M-medium systems to calculation of E-pH diagrams is analysed. After applying SSDE to other thermodynamic systems, many useful results have been obtained. The SSDE is considered as the Foundation of Compiling Reasonably Computer Program.

Decision Making as Theorem Proving

We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.

PARALLEL COMPUTATIONAL ALGORITHM OF SUBSTRUCTURE METHOD OF LARGE-SCALE STRUCTURE ANALYSIS

In this paper, according to the parallel environment of ELXSI computer, a parallel solving process of substructure method in static and dynamic analyses of large-scale and complex structure has been put forward, and the corresponding parallel computational program has been developed.

TrapML-A Metalanguage for Transformational Programming

This paper proposes a metalanguage TrapML for transformational programming, which is designed based on the analysis of its design principles, structures and functions. It has the facilities to describe the syntax of object languages, the set of transformation rules and strategies. The behaviour of transformation systems can be conveniently expressed. Both accurate and vague strategies can be written in TrapML. Metaprogram is of higher reliability.

Semantic Specification and Verification of Data Flow Diagrams

Data Flow Diagram(DFD)has been widely used in Software Engineering as means of require- ment analysis and system specification.However,one defect of DFD approach remains untackled: the lack of formal semantics has brought about a lot of problems.In this paper,we model Data Flow Diagram as networks of concurrent processes.With the use of temporal logic language XYZ/E,the formal basis of the semantic specification of DFD can be ensured,and the system prop- erties sach as safety and liveness can be easily characterized.The main part of this paper is devoted to the study of the hierarchical decomposition of semantic specification and its correctness.A verifica- tion methodology is proposed and several examples are analyzed.The implementation of the tools which can support the formal specification,verification and simulation of DFD are also briefly des- cribed.

In-situ end-point detection during ion-beam etching of multilayer dielectric gratings

An in-situ end-point detection technique for ion-beam etching is presented. A laser beam of the same wavelength and polarization as those in the intended application of the grating is fed into the vacuum chamber, and the beam retro-diffracted by the grating under etching is extracted and detected outside the chamber. This arrangement greatly simplifies the end-point detection. Modeling the grating diffraction with a rigorous diffraction grating computer program, we can satisfactorily simulate the evolution of the diffraction intensity during the etching process and consequently, we can accurately predict the end-point. Employing the proposed technique, we have reproducibly fabricated multilayer dielectric gratings with diffraction efficiencies of more than 92%.

Optimization of band gaps of 2D photonic crystals by the rapid generic algorithm

Based on the rapid genetic algorithm(RGA),the band gap structures of square lattices with square scatters are optimized.In the optimizing process,gene codes are used to express square scatters and the fitting function adopts the relative values of the largest absolute photonic band gaps(PBGs).By changing the value of filling factor,three cell forms with large photonic band gaps are obtained.In addition,the comparison between the rapid genetic algorithm and the general genetic algorithm(GGA) is analyzed.

Improvements to the Control Techniques of Sequential Inference Machines——from Instructions to Hardware Organization

Nondeterminism of PROLOG execution requires that a block of control information or a choice point for each procedure call be stored when there are other candidate clauses to be used.When the currently selected clause fails,the bindings made by the clause must be undone and the stored choice point is reactivated,and then another clause of the candidate ones is chosen to run on it. Storing and reactivating choice points and undoing account for the great overhead are required to control PROLOG execution,which is quite different from conventional programs. This paper focuses on the techniques used in Sequential PROLOG Engine(SPE)to reduce the overhead of control operations.The control instructions of SPE store no more choice points than the necessary.Its architecture takes the approaches of analysing the potential parallelism in the con- trol operations and developing a fraction of it due to the cost-effect consideration.The results of executing two sample programs on SPE in the form of hand timings are presented,which favor the approach.

Defining Dynamic Graphics by a Graphical Language

A graphical language which can be used for defining dynamic picture and applying control ac- tions to it is defined with an expanded attributed grammar.Based on this,a system is built for de- veloping the presentation of application data of user interface.This system provides user interface de- signers with a friendly and high efficient programming environment.

Source-to-Source Conversion Based on Formal Definition

This paper proposes the idea of source-to-source conversion between two heterogeneous high-level programming languages.The conversion is based on formal definition and oriented to multi-pairs of lan- guages.The issues in conversion from PASCAL to C are also discussed.

Processing Polynomial Algebraic Problems by Using SAC-2/ALDES

This paper discusses the portability of SAC-2/ALDES and reviews some applications in polynomial algebra.Furthermore,we indicate that the concept of the safety variable in the SAC-2/ALDES is not proper.When,for example,we used safety variable in isolating complex roots of polynomials, something wrong happened.

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specifi- cation is implemented by a set of abstract procedures specified in pre- and post-condition style.The link be- tween the two level specifications is provided via a translation from terms of algebraic specifications into tempo- ral logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.