Paleocontinental Reconstruction:Methodology,Computer Software and an Example of Application

Paleocontinental reconstruction is of the nature of multidisciplinary analysis . This paper discusses the significance of some more important disciplines , including paleomagnetism , paleoclimatology and paleobiogeography. Top attention should be paid to the synthetic analysis and geological explanation of geophysical data . Reassembling of the paleocontinents by geometric similarities is preliminary, geological considerations should receive more attention . Several rules constraining the reconstruction are proposed and Eider poles used to reassemble some separated Precambrian median massifs to their mother continents are given . A computer software for paleocontinental reconstruction , GUDALU , is introduced . The software is flexible in that it gives the user maximum freedom to demonstrate his or her geological opinions by providing means of organizing geographic data and rotational parameters ,many kinds of map projection of different features and dynamic editing of the reconstruction maps . Finally, an example of Mesoproterozoic reconstruction is demonstrated .

Teaching Reform on Team-based Innovative Talent Training Model in Computer Software

As a prominent branch of computer science,computer software focuses on technology development and practical application,and it is of great importance in modern social and economic life.Universities need to train postgraduate students that master software engineering to satisfy the needs of high-level talents,preparing for the rapid development of the software industry.Postgraduate is an important stage to cultivate talented students in software engineering.Mentors in relevant majors need to combine advantages of their team while establishing an innovative mode for training talents,mining most potentials of students,and cultivating their ability.We have explored the team-based training mode of computer software major and scientific evaluation methods of innovation ability,shared critical importance in fulfilling fruitions of research,and proposed solutions to real problems especially under the background of“Double First-Class”.This paper decomposes and quantifies the evaluation indicators of the innovation ability of computer software graduate students through literature research and questionnaire surveys.Consequently,we establish a talent evaluation indexing system and build a team-based evaluation system for the innovation ability of graduate student in computer software major.

Research on the Computer Software Testing Method Based on Multiple Platforms

Informationization plays an important role in modern life and production.And various software is one of the bases for it.Before it goes into service,software needs to go through many steps,including software development,design,etc.In software development,test is the key to identify and control bugs and errors in the software.Therefore,software companies often test the software to ensure that it is qualified.In recent years,more attention has been paid to a multi-platform computer software testing method,which can make up for defects in traditional testing methods to improve test accuracy.Firstly,this paper illustrates the connotation and features of software testing.Secondly,common software testing platforms and their requirements are analyzed.Finally,this paper proposes software testing method based on multiple platforms.

THERMO": COMPUTER PROGRAM FOR SIMULATION OF SURFACE PULSE HEATING

Thermo' computer program is described. It is intended for computation of thermal cycle parameters during surface pulse heating. For example, during laser processing, surface heating owing to grinding, etc. It gives rates of heating, cooling, as well as temperature gradients and cumulative exposure time as function of the CURRENT TEMPERATURE, with the peak temperature at the surface as variable parameter. The indicated parameters are calculated at a surface, close to a surface (at 0.01μm)and for the points at a depth of the body. Demo ver. of the software: http://www. sstu.samara.ru/physics/fedosov/thermo_d. zip

Design of research platform on telerobot system based on virtual reality technology

A design strategy for a research platform of a telepresence telerobot system based on virtual reality technology is put forward. The design frame of the system is described, and its important core techniques are described. An octrees data structure is utilized to build kinematic and dynamic modeling of the virtual simulation environment, Delphi+OpenGL+3DS MAX are adopted to carry through the virtual modeling and visible simulation exploitation of the slave-robot and its environment. Photo-correction is adopted to correct positioning deviation of the virtual geometric model and modeling errors. The cost of software and hardware equipment for the research platform realized is low. The master/slave robot (manipulator) system and all software in the system were designed and manufactured by our research group. The performance of the system has reached the level required for research. An indispensable experiment base is provided for the research of a telepresence telerobot system based on virtual reality technology.

Matrix Generator (MG): a Program for Creating 0/1 Matrix from Sized DNA Fragments

A computer program called Matrix Generator (MG) was developed for transforming sized DNA fragments into a presence/absence data matrix. Dynamic computation was run to avoid errors introduced using fixed-bin-width arithmetic. MG can be used with bin sized fragments from AFLP, ISSR, RAPD, RFLP, and other molecular markers. The accuracy of MG was tested using fAFLP data of Abelia and the results show that MG results in higher resolution of taxa and is more reliable than programs of the similar usage.

Integrated Building Envelope Design Process Combining Parametric Modelling and Multi-Objective Optimization

As an important element in sustainable building design, the building envelope has been witnessing a constant shift in the design approach. Integrating multi-objective optimization (MOO) into the building envelope design process is very promising, but not easy to realize in an actual project due to several factors, including the complexity of optimization model construction, lack of a dynamic-visualization capacity in the simulation tools and consideration of how to match the optimization with the actual design process. To overcome these difficulties, this study constructed an integrated building envelope design process (IBEDP) based on parametric modelling, which was implemented using Grasshopper platform and interfaces to control the simulation software and optimization algorithm. A railway station was selected as a case study for applying the proposed IBEDP, which also utilized a grid-based variable design approach to achieve flexible optimum fenestrations. To facilitate the stepwise design process, a novel strategy was proposed with a two-step optimization, which optimized various categories of variables separately. Compared with a one-step optimization, though the proposed strategy performed poorly in the diversity of solutions, the quantitative assessment of the qualities of Pareto-optimum solution sets illustrates that it is superior. © 2016, Tianjin University and Springer-Verlag Berlin Heidelberg.

Study and Performance Test of Full Complement Cycloidal Ball Reducer with Ceramic Balls as its Gear Teeth

To improve the transmission accuracy and stiffness of the ball cycloid reducer, the authors developed a novel cycloid ball reducer, which uses a full complement ball as its gear teeth. Ceramic balls are used to get better performance in severe working conditions. A simple synthesis method was also found to determine the raceway forms and compute the contact forces among the balls and raceways. The Contact Stress Analysis (CSA) computer program was used to optimize the design of the reducer. In this paper, the following topics are covered: (1) Study of the geometry of the raceways. (2) Analyses of the principal curvature of the raceways are also accomplished. In addition, the modification of the raceway is put forward. (3) The contact forces and the reducer efficiency are evaluated. (4) Study of the performance of ceramic balls used in the CBR. A reducer using the above design technique was tested and the performances show that the reducer has high precision and rigidity. An increase of more than 50 percent transmission power was realized in the new gearing.

FEM Simulation of Single-Grit Grinding on a 2.5D Woven Composite

Single-grit grinding of a 2.5D woven composite was investigated by the finite-element method (FEM) using a unit-cell model. According to our hypotheses, the axis of the warp yarn was a sinusoidal curve and the cross section of the weft yarn was shaped like a biconvex lens. AVUMAT subroutine was used to construct the constitutive model of the 2.5D woven composite. The grinding process of the composite was analyzed using an FEM simulation with the ABAQUS/Explicit software. A validation experiment was also carried out. The simulation results showed that a grinding crack was well simulated. Furthermore, the junctions between the warp yarn and weft yarn were found to be seriously damaged and cracks were observed to extend outward along the warp fiber during grinding, in good agreement with the experimental results. In addition, the strain of weft yarns was obviously greater than that of warp yarns when the grinding direction was perpendicular to the weft yarns and parallel to the axis of the warp yarns. These results demonstrate that the mesostructure strongly influences the grinding damage inflicted on woven composites. © 2017 Tianjin University and Springer-Verlag GmbH Germany

Research on Data Routing Model Based on Ant Colony Algorithms

Improved traditional ant colony algorithms,a data routing model used to the data remote exchange on WAN was presented.In the model,random heuristic factors were introduced to realize multi-path search.The updating model of pheromone could adjust the pheromone concentration on the optimal path according to path load dynamically to make the system keep load balance.The simulation results show that the improved model has a higher performance on convergence and load balance.

Privacy-preserving Distributed Location Proof Generating System

The rapid development of location-based service(LBS) drives one special kind of LBS, in which the service provider verifies user location before providing services. In distributed location proof generating schemes, preventing users from colluding with each other to create fake location proofs and protecting user's location privacy at the same time, are the main technical challenges to bring this kind of LBS into practical. Existing solutions tackle these challenges with low collusion-detecting efficiency and defected collusion-detecting method. We proposed two novel location proof generating schemes, which inversely utilized a secure secret-sharing scheme and a pseudonym scheme to settle these shortcomings. Our proposed solution resists and detects user collusion attacks in a more efficient and correct way. Meanwhile, we achieve a higher level of location privacy than that of previous work. The correctness and efficiency of our proposed solution is testified by intensive security analysis, performance analysis, as well as experiments and simulation results.

CORBA-Based Discrete Event Simulation System

The CORBA technique is an integration of the object-oriented conception and distributed computing technique. It can make the application within distributed heterogeneous environments reusable, portable and interoperable. The architecture of CORBA-based discrete event simulation systems is presented and the interface of distributed simulation objects (DSO) is defined in this paper after the DSO is identified and the synchronization mechanism among DSO is discussed.

Research on the Hardware-in-the-loop Simulation of Guidance System

In this paper, the composition of the hardware-in-the-loop simulation system of missile guidance system and the characteristic and function of every equipment in this simulation system are discussed. Then the principle of this system is discussed in terms of theory, and the resemblance of prototype system with simulation system is analyzed. Also, many key problems such as equipment interface, equipment installation, modelling and software design are dealt with. At the end, the error source of simulation system is analyzed, and a strong base is built for the study of simulation system precision.

Simulation Modeling by Fuzzy Nets

Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.

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.

ODF Determination from One Complete Pole Figure

A suitable model is developed through the revision of the maximum entropy method (MEM) for the orientation distribution function (ODF) determination from one complete pole figure in the case of cubic materials. Its relevant software is demonstrated by a group of coefficients of the ODF and an experimental test of an Al-Li alloy. The results confirm that the model proposed in this study is accurate and reliable

Disaster Management Systems——A Placeholder for Decision Support Sub-Systems

Aspects of techniques for understanding and developing a system which is useful in the context of Disaster Management are outlined in the paper. The emphasis is on techniques for the development of requirements and software - specifically here for the basic, underlying computing system whose application packages (amongst others: Decision Support Sub-Systems) shall support Disaster Prediction, Relief (Damage Assessment & Mitigation) and Recovery. Throughout the body of the paper we shall be making frequent references to Decision Support Sub-Systems. As acronym for the subject domain the author has chosen: DiMaCS: Disaster Management Computing Systems.

UG Programming Development and Digital Design of Globoidal Indexing CAM Mechanism

In the design process of globoidal CAM mechanism,there are some shortcomings such as long structure design cycle,low efficiency,and no modification flexibility of parameters of similar parts.NX Open classic application programming interfaces(APIS)can be connected with Microsoft Visual Studio(VS).Based on NX Open application,users can develop menus,toolbars,dialog boxes and other tools to realize interactive design.Users can also call input parameters through the dialog box callback function,then activate the corresponding control application(callback function)by C++programming language and NX Open API complete code.Based on the secondary development function of UG software and VS,a digital design system suitable for high efficiency modeling of globoidal indexing CAM mechanism was developed to complete the human-machine interface interaction design.The results show that comparing the digital design system with the traditional design,the system after parametric design can not only greatly shorten the design time,but also reduce the tedious repetitive work,which proves the superiority and feasibility of the digital design.

Robustness estimation of software-synchronized all-optical sampling for fiber communication systems

The robustness of the software-synchronized all-optical sampling for optical performance monitoring is estimated for 10-Gb/s fiber communication systems. It reveals that the software-synchronized algorithm is sensitive to the signal degradation caused by chromatic dispersion and nonlinearity in optical fibers. The influence of timing jitter and amplitude fluctuation of the sampling pulses is also investigated. It is found that stringent requirements are imposed on the quality of the sampling pulse and the tolerance of 1-dB Q penalty is measured. Considering the practically available optical sampling pulse sources, the results indicate that the amplitude fluctuation of the sampling pulses has the dominant impacts on the software-synchronized method.