bluuebunny/crossref_metadata_2025 huggingface dataset:
Barriers in Concurrent Separation Logic: Now With Tool Support!
Authors: Hobor Aquinas , Gherghina Cristian
Published: September 2013

We develop and prove sound a concurrent separation logic for Pthreads-style
barriers. Although Pthreads barriers are widely used in systems, and separation
logic is widely used for verification, there has not been any effort to combine
the two. Unlike locks and critical sections, Pthreads barriers enable
simultaneous resource redistribution between multiple threads and are
inherently stateful, leading to significant complications in the design of the
logic and its soundness proof. We show how our logic can be applied to a
specific example program in a modular way. Our proofs are machine-checked in
Coq. We showcase a program verification toolset that automatically applies the
logic rules and discharges the associated proof obligations.
Refining Inductive Types
Authors: Atkey Robert , Johann Patricia , Ghani Neil
Published: September 2013

Dependently typed programming languages allow sophisticated properties of
data to be expressed within the type system. Of particular use in dependently
typed programming are indexed types that refine data by computationally useful
information. For example, the N-indexed type of vectors refines lists by their
lengths. Other data types may be refined in similar ways, but programmers must
produce purpose-specific refinements on an ad hoc basis, developers must
anticipate which refinements to include in libraries, and implementations must
often store redundant information about data and their refinements. In this
paper we show how to generically derive inductive characterisations of
refinements of inductive types, and argue that these characterisations can
alleviate some of the aforementioned difficulties associated with ad hoc
refinements. Our characterisations also ensure that standard techniques for
programming with and reasoning about inductive types are applicable to
refinements, and that refinements can themselves be further refined.
Parity Influences the Difficulty of Simple Addition and Subtraction but Not Multiplication Problems in Children
Authors: Hines Terence M.
Published: September 2013

In the present paper, the results of early 20th century studies of children's difficulties with basic addition, subtraction, and multiplication problems are analyzed for parity effects. Parity influenced the difficulty of addition and subtraction problems, tasks in which any parity influence must be implicit, but did not influence difficulty of multiplication problems. Solution of multiplication problems relies to a greater extent on retrieval of rote-memorized answers. Addition and subtraction problems rely more on non-retrieval strategies. It is these latter strategies that depend on internal representations sensitive to the parity status of the numbers being processed. That parity affected responding in tasks where parity was irrelevant and no overt motor responses were made poses problems for the Markedness of Response Codes (MARC) and polarity explanations of parity effects in reaction time. Both these explanations require that an explicit parity judgment indicated by a binary motor response be made for a parity effect to be seen.
GEOMETRICAL METHODS TO LOCATE SECONDARY INSTANTANEOUS POLES OF SINGLE-DOF INDETERMINATE SPHERICAL MECHANISMS
Authors: Zarkandi Soheil
Published: September 2013

A single-degree-of-freedom (DOF) indeterminate spherical mechanism is defined as a mechanism for which it is not possible to find all the instantaneous poles by direct application of the Aronhold-Kennedy theorem. This paper shows that a secondary instantaneous pole of a two DOFs spherical mechanism lies on a unique great circle instantaneously. Using this property, two geometric methods are presented to locate secondary instantaneous poles of indeterminate single DOF spherical mechanisms. Common approach of the methods is to convert a single DOF indeterminate spherical mechanism into a two DOFs mechanism and then to find two great circles that the unknown instantaneous pole lies on the point of intersection of them. The presented methods are directly deduced from a work done for indeterminate single DOF planar mechanisms.DOI: http://dx.doi.org/10.3329/jme.v41i2.7471
INVESTIGATION ON MECHANICAL PROPERTIES OF A356 NANOCOMPOSITES FABRICATED BY ULTRASONIC ASSISTED CAVITATION
Authors: Donthamsetty Suneel , D Nageswara Rao.
Published: September 2013

This paper presents mechanical properties of A356 matrix nanocomposites fabricated by reinforcing nano silicon carbide (SiC) particles at 0.1 to 0.5 weight percent with the aid of ultrasonic cavitation.  SiC nanoparticles synthesized by bottom-up and top-down approach are used in this work as reinforcements and change in mechanical properties are observed. For comparision, A356 matrix composite reinforced with microparticles at 0.5 wt% by stir casting also prepared. Till now, SiC nanoparticles produced by bottom up approach were used as reinforcements in A356 alloy by so many researchers to improve mechanical properties. But in this work, nanoparticles produced by high energy ball milling (Top-down approach) are also used as reinforcements. It is observed that there is reduction in tensile properties for the composites prepared using nanoparticles via top down approach than that of bottom up approach. But significant increase compared to the composites prepared by reinforcing same amount of microparticles by stir casting. The reasons may be due to the non-uniformity in size of particles and contamination while milling nanoparticles. However, the change in properties is less and use of nanoparticles via top down approach is admissible when compared to the cost of nanoparticles synthesized from bottom up approach or chemical routes.DOI: http://dx.doi.org/10.3329/jme.v41i2.7507
ADVANCED SOLAR ASSISTED DRYING SYSTEMS FOR MARINE AND AGRICULTURAL PRODUCTS
Authors: Sopian Kamaruzzaman , Othman Mohd Yusof , Zaidi Saleem H. , Amin Nowshad
Published: September 2013

Solar assisted drying systems are cost effective and suitable for drying of various marine andagricultural products. The way forward for advanced solar assisted drying systems is compact collector design,high efficiency, integrated storage, and long-life systems. Air based solar collectors are not the only availablesystems. Water based collectors can also be used whereby water to air heat exchanger can be used. The hot airfor drying of agricultural produce can be forced to flow in the water to air heat exchanger. The hot water tankacts as heat storage of the solar drying system. Heat pump drying system can be effective use for as part of solarassisted drying systems. Moreover, innovative applications of photovoltaic thermal system for simultaneousproduction of heat and electricity are suitable as standalone applications and totally operated on solar energy.The Solar Energy Research Institute has developed four advanced solar assisted drying system suitable fordrying of various marine and agricultural products namely (a) the solar assisted drying systems with thedouble-pass solar collector with fins (b) solar assisted dehumidification system (c) solar assisted chemical heatpump system and (d) solar assisted heat pump with photovoltaic thermal collectors.DOI: http://dx.doi.org/10.3329/jme.v42i1.15912
FREE CONVECTIVE HEAT TRANSFER FROM AN OBJECT AT LOW RAYLEIGH NUMBER
Authors: Kader Md. Golam , Hossain Khandkar Aftab
Published: September 2013

Free convective heat transfer from a heated object in very large enclosure is investigated in thepresent work. Numerical investigation is conducted to explore the fluid flow and heat transfer behavior in thevery large enclosure with heated object at the bottom. Heat is released from the heated object by naturalconvection. Entrainment is coming from the surrounding. The two dimensional Continuity, Navier-Stokesequation and Energy equation have been solved by the finite difference method. Uniform grids are used in theaxial direction and non-uniform grids are specified in the vertical direction. The differential equations arediscretized using Central difference method and Forward difference method. The discritized equations withproper boundary conditions are sought by SUR method. It has been done on the basis of stream function andvorticity formulation. The flow field is investigated for fluid flowing with Rayleigh numbers in the range of 1.0 ?Ra ? 1.0×103 and Pr=0.71. It is observed that the distortion of flow started at Rayleigh number Ra=10. It isobserved that the average heat transfer remains constant for higher values of Reyleigh number and heatingefficiency varies with Ra upto the value of Ra=35 and beyond this value heating efficiency remains constant.DOI: http://dx.doi.org/10.3329/jme.v43i1.15775
MODELLING AND OPTIMIZATION OF PERFORMANCE CHARACTERISTICS IN ELECTRICAL DISCHARGE MACHINING ON TITANIUM ALLOY
Authors: Khan Md. Ashikur Rahman
Published: September 2013

Electrical discharge machining (EDM) technique possesses noticeable advantages over othermachining process and can machine any hard material effectively. Proper selection of parameters in EDM isvery much essential to achieve better performance characteristics that are still challenging. This study attemptsto investigate the effects of parameters on EDM performance characteristics on Ti-6Al-4V utilizing coppertungsten as electrode and negative polarity of the electrode. Mathematical model associating the influences ofthese variables and the EDM characteristics such as material removal rate (MRR) and tool wear rate (TWR)are set up in this study. The optimal machining conditioning in favor of MRR and TWR are estimated. Design ofexperiments method and response surface methodology techniques are adopted to attain the objectives. Analysisof variance (ANOVA) has been performed for the validity test of the fit and adequacy of the proposed models.Optimum MRR is found at high discharge ampere, long pulse on time and short pulse off time. 8A peak current,10 ?s pulse on time and 184 ?s pulse interval yields lowest TWR. The result of this investigation guides torequired process outputs and economical industrial machining optimizing the input factors.DOI: http://dx.doi.org/10.3329/jme.v43i1.15778
Sur les pas de Sahagún au XVIIe siècle : Hernando Ruiz de Alarcón
Authors: Marey-Thibon Placer
Published: September 2013

Algunos ejemplos de supervivencias de los ritos religiosos y de las divinidades prehispánicas en el México del s. 17, de su transformación en ritos mágicos y hechicerías, comparando textos y testimonios de Hernando Ruiz de Alarcón con los de la Historia Universal de Sahagún.
Los hablantes de lenguas indígenas de México: el caso de Oaxaca
Authors: Garza Cuarón Beatriz
Published: September 2013

Mesoamérica, en la época prehispánica, fue el territorio de algunas de las culturas más avanzadas del continente. En el aspecto lingüístico fue, y sigue siendo, asiento de una gran cantidad de lenguas pertenecientes a grupos, familias y troncos distintos. Como ejemplo, considérese el estado mexicano de Oaxaca, que, por sí solo, presenta la mayor diversidad de lenguas indígenas no únicamente del país, sino quizá del continente americano. Lamentablemente, los conquistadores españoles lucharon para romper el desarrollo de las antiguas culturas mesoamericanas y, además, los indígenas ante la exacerbada explotación y traumática enajenación de su entorno vital, su población disminuyo en un siglo de un modo tal que casi cuatrocientos años después aún está muy lejos de poderse reponer. Con la independencia se intentó crear un sentimiento de identidad nacional que, en lo lingüístico, sólo impulsó la castellanización de los indios. No fue sino a partir de la tercera década de este siglo cuando se iniciaron programas de alfabetización a indígenas en su propia lengua. Este hecho, sin embargo, se ha mantenido aislado y aun ahora es necesario luchar contra el afán «integrador» de la cultura dominante para que puedan seguir viviendo las lenguas y las culturas originarias en Mesoamérica.
Calles y el agrarismo mexicano a principios de los 30 : organización gremial de los pequeños propietarios
Authors: Carton de Grammont Hubert
Published: September 2013

Desde la Revolución hasta el cardenismo la política agraria del Estado mexicano ha dudado entre los grandes hacenderos y los campesinos que exigían la aplicación de las leyes agrarias. El nuevo Estado mexicano representaba a un grupo social muy dinámico que era el principal beneficiado por la política post-revolucionaria : los agricultores modernos. Después de fuertes tensiones políticas, el gobierno ordenó la desaparición de las Cámaras Agrícolas, base política de los hacendados, para sustituirlas por Asociaciones Agrícolas dirigidas por agricultores modernos cercanos a la política del gobierno y esto en base a la ley de 1932.
Figures et personnages de la culture nordestine dans la littérature de Cordel au Brésil
Authors: Cavignac Julie
Published: September 2013

II s'agit de voir, à travers les personnages de la littérature de cordel du Nordeste brésilien, quelles sont les relations entre une réalité historique vécue au niveau local et une interprétation symbolique qu'en donnent les acteurs de la société. Padre Cicero, Lampião, l'amarelinho : héros traditionnels ou stéréotypes ?
Politique industrielle et politique économique au Brésil
Authors: Berthelot Jacques
Published: September 2013

Principal moteur de la croissance brésilienne de 1930 à 1979, l'industrie est aussi responsable de la stagnation économique des années 80. Ceci tient à des interrelations macro-économiques complexes dans le contexte du poids croissant du service de la dette externe. Celui-ci a nourri le déficit budgétaire, la dette interne, l'hyperinflation, le désinvestissement public puis privé, l'échec des «plans» successifs entrepris depuis 1986 pour les éradiquer s'expli- quant en définitive par l'aggravation des inégalités sociales et l'incapacité politique d'adopter les réformes agraire et fiscale indispensables pour atteindre un consensus social minimum et mobiliser les facteurs de production oisifs. En dépit de son déficit élevé, le secteur public industriel a joué un rôle capital dans l'industrialisation globale, en prenant en charge les activités non rentables pour le secteur privé, national comme multinational, mais le modèle industriel choisi, fondé sur l'exclusion de la majorité de la population, était incapable de promouvoir une croissance globale équilibrée.
Do Mimeógrafo ao Laser : 20 Anos de Poesia
Authors: Fernandes Guelfi Maria Lúcia
Published: September 2013

L'auteur montre le regain d'intérêt pour la poésie, au Brésil, de plus en plus associée aux médias : télévision, musique populaire et autres moyens audiovisuels modernes. Elle ébauche aussi un panorama de la poésie brésilienne post-moderniste, à travers la trajectoire des poètes de la génération antérieure qui ont continué à écrire ces vingt dernières années.
READJUSTING TRADE-OFFS AMONG CRITERIA IN INTERNAL RATINGS OF CREDIT-SCORING: AN EMPIRICAL ESSAY OF RISK ANALYSIS IN MORTGAGE LOANS
Authors: Ferreira Fernando A. F.
Published: September 2013

Credit-scoring becomes increasingly important in poor economies and recessions. Decreasing liquidity due to reduced access to both money and debt markets has induced banks to impose restrictions on offering credit, including credit for mortgage loans. In this paper we analyze the internal rating system used by one of the top-five banks in Portugal, and propose a methodological framework which, based on an application of the Delphi technique, allows adjusting trade-offs among evaluation criteria and provides decision makers with a fairer, more accurate and transparent mortgage risk evaluation system.
REGIONAL HOUSE PRICE INDEX CONSTRUCTION – THE CASE OF SWEDEN
Authors: Ericson Lars-Erik , Song Han-Suck , Winstrand Jakob , Wilhelmsson Mats
Published: September 2013

The academic literature on the construction of regional house price indexes usually uses geographic areas whose boundaries are administratively drawn. However such administrative regions might not be optimal for the construction of regional price indexes. When producing housing price indexes, we often encounter problems with insufficient number of observations. One way to remedy this problem is to estimate a quarterly index instead of a monthly index. Another possible way to mitigate the thin markets problem is to construct indexes for geographically aggregated regions. However, the literature that discusses methods of dealing with the problem of thin markets and especially geographical aggregation is very rare. The goal of this paper is to construct a housing price index for a major part of Sweden, and to construct price index series for a number of regions. The number of regions, and how their boundaries should be created in order to construct reliable regional price indexes, is however an open question. We apply traditional hedonic methodology in order to estimate house price indexes for both predefined regions whose boundaries are based on a division of labor markets in Sweden, as well as a division of regions based on statistical cluster analysis. The results from this study suggest that regions should be clustered together based on regional price levels and/or price development as clustering variables. If only geographical proximity is used as clustering variable, our computations show that there is a high risk that we end up with some clusters having large standard errors, which in turn might result in inaccurate indexes.
A Wireless Sensor Network Service Management Strategy
Authors: Zhao Yong Yi , Song Bo
Published: September 2013

Wireless sensor networks with highly dynamic characteristics and limited resources, this paper presents a simple service management Strategy. It realizes service deployment management across different clusters, the request and the response of wireless sensor is simple that based on the protocol data format of XML WSNXML between the clusters. It provides an effective method for the management of shared resources of wireless sensor network and service expansion and realizes service release and deployment management difficulties between various wireless sensor network management based on different management cluster.
Compressive Strength of Different Modes of Failure of Sandwich Structure under Edge Wise Compressive Load
Authors: Hassan Shaikh , Asma Adeel , Tariq Ali
Published: September 2013

Sandwich construction has found extensive application in aeronautical, marine structures and container production due to high strength to weight ratio. This paper documents the compressive strength of Kevlar balsa sandwich structure with epoxy matrix subjected to edge wise compressive loads. Different modes of failure were also observed under the said loading. General modes of failure are buckling, shear crimping, dimpling and wrinkling of faces. In edge wise compression testing of Kevlar balsa sandwich, shear crimping and wrinkling of faces were the modes of failure to be observed, with each mode of failure exhibiting different compressive strength.
A Survey of Recent Developments for JSSP and FJSSP Using ACO
Authors: Mehmood Nasir , Umer Muhammad , Riaz Ahmad
Published: September 2013

Ant Colony Optimization (ACO) is based on swarm intelligence and it is a constructive meta-heuristic which was first presented in 1991. Job Shop Scheduling Problem (JSSP) is very important problem of the manufacturing industry. JSSP is a combinatorial optimization problem which is NP-hard. The exact solution of NP-hard problem is very difficult to find. Therefore heuristics approach is the best approach for such problems. This paper shall overview the application of ant colony optimization on JSSP and Flexible Job Shop Scheduling problems (FJSSP). This paper shalll cover the major areas in which researchers have worked and it shall also recommend the future area of research in the light of this overview. This paper will also cover the quantitative analysis of the research papers which are considered in this survey. Based upon this survey some conclusions are drawn in the end.The significance of this paper is that it has covered all the efforts and major researches in the area of ACO application on JSSP and FJSSP through the inception of ACO metaheuristics. This enables the researchers and scheduling experts to overview chronologically the development of ACO on JSSP and FJSSP.
Batch Size Determination: A Case Study of Hard Disk Drive Industry
Authors: Teeravaraprug Jirarat
Published: September 2013

This paper gives an attempt in determining an appropriate production batch size by using simulation method. The case study of this paper is an industry producing hard disk drives in Thailand. The scope of the production process considered in this paper is in the backend area of the production process of hard disk drives. Three main customers are considered. Each customer requires different sample size in an inspection process and the sample size affects bath size. Therefore, this paper needs to consider each customer separately and tries to determine an appropriate batch size for each customer. First, data collection of the process and its details are given. The as-is simulation model is constructed. Outputs, production lead time, work in process and machine utilization are used to verified the as-is model. The statistical method is used to compare between those in the real system and those based on the model. Further three levels of batch sizes are analyzed by using the simulation model. It is found that each customer type requires different batch size.
Optimization Method Based on a Mix Strategy
Authors: Yin Xu , Ji Ai Min
Published: September 2013

To solve problems that exist in optimal design such as falling into local optimal solution easily and low efficiency in collaborative optimization, a new mix strategy optimization method combined design of experiments (DOE) with gradient optimization (GO) was proposed. In order to reduce the effect on the result of optimization made by the designers decision, DOE for preliminary analysis of the function model was used, and the optimal values obtained in DOE stage was taken as the initial values of design variables in GO stage in the new optimization method. The reducer MDO problem was taken as a example to confirm the global degree, efficiency, and accuracy of the method. The results show the optimization method could not only avoid falling into local solution, but also have an obvious superiority in treating the complex collaborative optimization problems.
Evaluation Method Evaluation of Power Enterprise Innovation Based on AHP and Grey Relationship Analysis
Authors: Niu Dong Xiao , Liu Chun Xiang , Fan Lei Lei
Published: September 2013

Evaluation of power supply enterprise innovation is mainly qualitative assessment of experts, and it is usually subjective and random. So an innovation evaluation index system of power enterprises is set up according to current theory of enterprise innovation combined with the properties of power enterprises. Then grey relationship analysis based on AHP is used for evaluation. Finally a practical case study of power enterprises proves that the evaluation model in this paper is effective.
Simulation and Experimental Study of Ultrasonic Cleaning Based on Multi-Field Coupling
Authors: Hao Qing Dong , Li Fang Yi , Gong Bao Long
Published: September 2013

In current Ultrasonic Cleaning simulation, high calculation complexity and low precision is a big problem. The disadvantages of reflecting the sound field characteristics inaccurately and quantitative difficulties exist in the sound field measurements. Firstly, the two-dimensional and three-dimensional models of Ultrasonic Cleaning are established in COMSOL Multiphysics and corresponding cleaning effects under different frequencies are simulated, then the frequencies of cleaning machine suitable for remanufactured components are determined. Finally, by means of staining method, sound field distribution on different work cross-sections in the Ultrasonic Cleaning process is studied. Halcon and Matlab are used in our investigation to deal with the experiment results in order to provide a new idea on the measurement of the sound field of Ultrasonic Cleaning.
The Experimental Verification of the Impact of Regrind on Mechanical Properties of Thermoplastics
Authors: Sobotova Lydia , Badida Miroslav , Dulebová Ľudmila , Dzoganova Zdenka
Published: September 2013

Concerning with an actual situation in the exploitation of technological waste, this contribution deals with the properties analysis of moulded parts made of thermoplastics containing added regrind. The aim of the experiments was to analyze mechanical properties of plastics with various percentage of added regrind into basic material. Material PBT (polybutylene terephthalate), mineral composite with 30% glass fiber, was used for experimental testing. The plastics specimens were made by injection moulding and tested by chosen mechanical properties. The yield of tested material had tendency to decline with added amount of regrind. Addition of regrind had no impact on change of tensile strength and hardness of tested materials with regrind. The values of Charpy impact test had decreasing tendency with increasing rate of regrind. The utilization of regrind at the production of new moulded parts is important from aspect of reduction plastics waste and pollution abatement of environment.
New Machine Tool on Collecting Cutting Chips of CFRP for Working Environment Improvement
Authors: Hagino Masahiro , Inoue Takashi , Olabi A.G. , Aoki Wataru , Matsumoto Fumiaki
Published: September 2013

In machining to CFRP material has many important problems, about necessary of high-precision machining, improvement of tool life and dispose of cutting chips etc. Especially in case of twist drill almost cant collect under 0.5 μm cutting chip, the fine-cutting chips diffuse into the sliding table and spindle head with the machine. Moreover, the fine-cutting chip is mixed and diffuse into the atmosphere. The possibility to remarkable decline of working efficiency so the dust-collection provision technology is wished. It is important also from the viewpoint of keep safety of a worker and work environment preservation because the CFRP utilizes in market for industrial structure materials, is increasing. As one method of solving this problem which aspirates and ejects cutting chip from a penetration hole through outside in the central part of the drill shank the new tool and cyclone type dust-collection system were developed. These technologies were used for perforate of CFRP material, and investigated about the cutting characteristic of the hollow type drill, and the effect of work environment improvement to dust-collection performance of cutting chips. As the result, our development machine tool and cutting tool can collect approximate 99.5% cutting chip.
Parametric Optimization of PMEDM Process with Chromium Powder Suspended Dielectric for Triangular Electrodes
Authors: Garg Rajiv Kumar , Ojha Kuldeep
Published: September 2013

In this article, parametric optimization for material removal rate (MRR) and surface roughness (SR) study on the powder mixed electrical discharge machining (PMEDM) of EN-8 steel has been carried out. Response surface methodology (RSM) has been used to plan and analyze the experiments. Average current, duty cycle, diameter of electrode and concentration of micro-nickel powder added into dielectric fluid of EDM were chosen as process parameters to study the PMEDM performance in terms of MRR and SR. Experiments have been performed on newly designed experimental setup developed in laboratory. Most important parameters affecting selected performance measures have been identified and effects of their variations have been observed.
Improvement of Low Carbon Steel ST37-2 by Laser Surface Alloying with Metallic Powders
Authors: Turcan Olga , Comeagă Daniel Constantin , Donţu Octavian , Voiculescu Ionelia
Published: September 2013

Local surface alloying of metallic materials by laser is an issue of interest in the scientific world and materials engineering. Laser surface alloying technology allows diffusion of alloying elements which add special features into the surface of a base material with modest properties but a low price. This paper presents the results of experimental research regarding the process of alloying on steel ST37-2 and the effects obtained after laser surface alloying.
Modal Distribution and Optimization for Auxiliary Frame Based on Hypermesh
Authors: Kang Qi , Mao Xian Yuan , Lin Jun , Ye Neng
Published: September 2013

Auxiliary frame, as a skeleton of a front and rear axle, in order to improve its performance, this paper takes a SUV auxiliary frame as an example. Make the finite element modeling and do Strength and modal analysis through Hypermesh. Show the previous six order modal frequency, take the idle vibration frequency of engine, the second harmonic vibration frequency and the target vehicle auxiliary frame mode for the target to do modal optimizations.Finally make each order modal of the auxiliary frame satisfy the target, reduce the risk of vibration noise, the incoming road vibrations and enhance comfort of the vehicle.
Effect of Shot Peen Forming with Large Balls on Fatigue Resistance of 2024-T351 Aluminum Alloy
Authors: Wang Ming Tao , Zeng Yuan Song , Shang Jian Qin , Huang Xia , Bai Xue Piao
Published: September 2013

Shot peen forming different from shot peening is a metal forming process widely used in aeronautical industry. Different types of tension-tension fatigue specimens after peen forming were tested. The results show that the fatigue life of specimens peen formed with large balls except edges is 35.4% higher than that of unpeened specimens, while the life of the specimens with whole surface peen formed is 23.2% lower than that of the unpeened specimens. In addition, shot peening specimens which have been peen formed as a surface strengthening way can significantly improve the fatigue resistance. Moreover, when the specimen is peen formed except edges, the position of crack source is from the indentation region to subsurface.
A New Method of Real-Time Detecting the Chlorophyll Based on Hover Wing UAV
Authors: Liu Yuan
Published: September 2013

A fluorescent real-time detection technology parameters of the chlorophyll radiation LED method using with fluorescent MINIPAM based on impulse, modulation, is introduced. The using of programming power to provide a constant flow of the list of output, LED by a matrix as chlorophyll are fluorescent light. The using of apparatus in plant MINIPAM fluorescent light system II of the steady state Fs, a fluorescent light to the next largest fluorescent Fm',a combination of the environment, and tracking control system of measurement and comprehensive analysis of environmental factors to the real quantum efficiency, actual electronic transmission rate for parameters. MINIPAM fluorescent apparatus with the upper machine, and can be real time monitoring.
Integaration Design of Lon Works Bus and S7-300 System
Authors: Ren Xiao Hong
Published: September 2013

How to integrate single equipment with LonWorks bus interface into s7-300 PLC control system is introduced. There are two different field buses, Profibus and LonWorks, in our process control system. It is difficult to directly converse the two protocols of thm. The paper put stress on describing the LonWorks /RS485 design and the realization of protocol conversion program design.
Design of Power Supply for Intelligent Power Amplifier Based on DSP
Authors: Li Guo Hong , Wang Guan Da
Published: September 2013

This paper designs a new type of the control system of switching power supply for audio power amplifier, which is used in DSP-controlled power amplifier. The basic frame and the software and hardware design of the system are described. The system uses TMS320F2812 as the main controller, to reduce the hardware circuit structures, and realize the audio power amplifier digital control. The experimental results show that the design has good regulator function, which not only satisfies certain control accuracy, but also meets the real-time requirements, and has great future in high audio power amplifier.
Comparison of HPLC and Spectrophotometry Methods on Quantitative Determination of Formaldehyde in Water Based Coatings
Authors: Sun Hai Hong , Mo Xiao Mei , Qian Ye Miao
Published: September 2013

To explore and compare the reliability of the quantitative determination of formaldehyde content of water based coatings, the high performance liquid chromatography (HPLC) after derivatization to 2.4-dinitrophenylhydazone and UV-VIS spectrophotometry were studied, respectively. HPLC was performed on a C18 column with acetonitrile/water (65/35, V/V) as mobile phase at a flow rate of 1.0 mL/min, and analyses was detected using Photodode Array Detector (DAD) at the wavelength of 360 nm. And formaldehyde was determined with spectrophotometry at 435nm. The result showed the standard curve of formaldehyde by the HPLC method was linear in the range of 0.1-5.0 mg/L (R2=0.9998). The detection limit was 0.96mg/kg, recoveries were ranging from 96.2% to 101.3%. The linear range of formaldehyde by the spectrophotometric method was 0.1～5.0 mg/L (R2=0.9995), and the detection limit was 5.93mg/kg, recoveries were ranging from 98.5% to 105.3%. In conclusion, both the two methods can be used for quantitative analysis of formaldehyde in water based coatings, and the major advantages of HPLC are quick, simple and sensitive.
Error Analysis of Wide Area Measurement Based Measurement Power Flow
Authors: Bao Hai , Han Jin Si , Liu Gang , Wang Ling
Published: September 2013

Measurement take place of calculation is an advantage of wide area measurement based measurement power flow, but its accuracy needs to be explored. This paper points out the measurement power flow’s data dose not conform to the actual power flow’s data on condition of phase angle measurement exist error. Through the analysis of example we can see that the deviation of active power will reach 15% when phase angle exist 0.1°error, its accuracy is worse than DC power flow in engineering calculation .This paper suggest using the phase angle value which was measured as initial value in power flow calculation, it will reduce the error’s impact on power flow calculation.
High Power Diode Laser Clad Cu-WC-Ni Composite Coatings on Brass for Wear Resistance Enhancement
Authors: Yan An Ru , Wang Zheng , Wang Zhi Yong
Published: September 2013

To improve the wear resistance of brass substrate while retaining the electrical conductivity, laser cladding was applied to Cu-WC-Ni composite coating on brass using High Power Diode Laser. Microstructures, phase constitution and wear properties are investigated by means of scanning electronic microscopy with energy disperse spectroscopy and X-ray diffraction, as well as microhardness test and speed friction and wear test. The result shows that microhardness and wear resistance of clad coating were improved obviously compared with the brass substrate owing to the addition of WC ceramic phase, when the content of WC is 25%, the hardness of coating is 4 times of substrate, as well the cumulation mass loss is 1/19 of substrate. Electrical conductivity did not change as copper powder had high electrical conductivity.
Applications of Distributed Parallel Real Time Database on Power Grid
Authors: Li Li Xin , Zhou Wei , Sun Qi Qiang , Dai Jiao , Han Ji Zhong , Liu Yang
Published: September 2013

In order to make the real time database more suitable for the computing features, this article points to the distributed and parallel real time database design and architecture. First, a mapping table from table file to machine nodes is established, and then can use meta-data management system to store and manage the mapping table to meet the characteristics of high concurrent access. The whole network computation can access the unified interface provided by the real-time database, retrive data from each node, then collect the data. Experimental results show that this study and the systems designed can meet the computing requirements of a unified whole network.
A New SVM Reduction Strategy of Large-Scale Training Sample Sets
Authors: Zhu Fang , Wei Jun Fang
Published: September 2013

There has become a bottleneck to use support vector machine (SVM) due to the problems such as slow learning speed, large buffer memory requirement, low generalization performance and so on. These problems are caused by large-scale training sample set and outlier data immixed in the other class. Aiming at these problems, this paper proposed a new reduction strategy for large-scale training sample set according to analyzing on the structure of the training sample set based on the point set theory. By using fuzzy clustering method in this new strategy, the potential support vectors are obtained and the non-boundary outlier data immixed in the other class is removed. In view of reducing greatly the scale of the training sample set, it improves the generalization performance of SVM and effectively avoids over-learning. Finally, the experimental results shown the given reduction strategy can not only reduce the train samples of SVM and speed up the train process, but also ensure accuracy of classification.
Small Target Detecting and Tracking Based Kernel Density Estimation and Mean-Shift Algorithm
Authors: Ran Xiao , Liu Zheng Hua , Chang Le
Published: September 2013

Detecting and tracking the small moving target which is below 6×6 pixels with low signal to clutter ratio is the main difficulty in practical engineering. Based on morphology, this paper presents a new approach to promote the signal to clutter rate and highlight the small target. Then a new algorithm based on kernel function density estimation and mean-shift algorithm is proposed to track the small target. Experimental results demonstrate that this approach can track and detect the real target effectively.
Design of Data Acquisition Testing System for a Fixed Wing UAV Based on Radio-Frequency Technique and Labview
Authors: Li Xiang Zheng , Peng Xi Wei , Geng Qing Bo
Published: September 2013

This paper discusses a system of data acquisition and processing based on radio frequency technology and labview. It is designed for data acquisition and transmission of UAV (Unmanned Aerial Vehicle) test system. It makes full use of the usefulness of labview in measurement field and the flexibility of wireless data transmission.Firstly this paper introduces the hardware and software of wireless data acquisition and transmission device. Then it introduces the design of labview software. Finally UAV test system uses this device to collect and analysis data, it provided a lot of useful information for the UAV flight test.
FFT Method for Acquiring the GPS Signal
Authors: Wang Shu Hai , Chen Shu Wang , Yin Shao Dong
Published: September 2013

To improve the speed of the GPS signal acquisition, a new design method based on the FFT is presented in the paper. It has many advantages over the existing acquisition in time-domain. The detailed design procedure of the new method is illustrated. By using it to acquire the real GPS signal, we can conclude the practicability of this new method. This design utilizes fewer resources in hardware design and achieves faster acquisition.
Reliability Analysis of Rotor System with Pedestal Looseness
Authors: Su Chang Qing , Li Le Xin
Published: September 2013

On the basis of the dynamic equations of rotor system with pedestal looseness, the random response method of rotor system with pedestal looseness is researched. The method is based on stochastic perturbation theory and the Kronecker algebra, matrix calculus and random perturbation are used. The reliability model of rotor system with pedestal looseness is proposed. The reliability of rotor system with pedestal looseness is obtained by way of statistical fourth moment method, random perturbation technique. Numerical results are also presented and discussed.
Review of Physical Properties and Preparation of Nano-Superconducting Materials
Authors: Zhang Yi
Published: September 2013

New materials play an important part in today high and new technology.Superconducting nanomaterial has become the most vibrant in new material research due to its unique physical and chemical properties. This paper focuses on how small-size effect affects superconducting transition temperature, and summarizes the concrete preparation methods of superconducting nanomaterials, hoping to provide a reference for material researchers.
Development of Miniature High-Precision Multiphase Flow Simulation Device
Authors: Fang Li De , Liang Yu Jiao , Zhang Yao , He Qin
Published: September 2013

As the development of petroleum industry, the various fields in the multiphase flow have become the importance research direction of the petroleum industry technology and the interdisciplinary. As a result, it becomes much more necessary for the parameters study such as the measurement of phase holdup to reproduce a variety of flow patterns in laboratory. The paper described one set of miniature high-precision multiphase flow simulation device, which simulated many flow patterns in both horizontal and vertical directions, providing a platform to study the other parameters in the multiphase flow.
Ultralow Permeability Reservoir Stress Field Simulation
Authors: Liu Guang Feng , Lu Yang , Lu Ling , Wang Jun Tao
Published: September 2013

The simulation method of reservoir tectonic and present stress field was recommended, and in-situ stress distribution of C82 ultralow permeability reservoir formation in Changqing oilfied Z19 well block was computed. The method is based on finite element analysis, of which the contents and procedures include geological model establishment, calculation model establishment and results analysis. The simulation precision depends on the reliability of models. Inversion criteria need to be set to determine whether the ultimate simulating result is reasonable. Main inversion criteria include absolute inversion, principle stress criteria, deformation criteria, etc. The maximum principle stress value of C82 formation in Z19 well block is between 35.7 and 45.2MPa, whose direction is NE 72o-80o, and the dominant direction is NE 75o. The differential stress value is between 0.4 and 9.8MPa. The relationship between stress, reservoir parameters and production data was discussed. The simulation results can be taken as reference for well pattern design, optimization and overall fracturing design.
Design of Temperature Acquisition and Analysis System Based on LABVIEW
Authors: Wen Li Mei , Ma Min
Published: September 2013

The introduction of the virtual instrument technology provides new ideas for the developments of the temperature acquisition. This paper presents the design of temperature acquisition system based on VI technology. This system takes LABVIEW as the software development platform, simulating environmental temperature parameters via temperature sensors and heaters. Through the USB-6009 data collecting cards environmental temperature is sent to LABVIEW software platform for analysis. The system has the functions of data acquisition, display, storage, callback, save, analysis, printing statements and limit alarm processing and so on, and completes the real-time collection and analysis of the temperature.
Short-Term Power Load Forecasting Based on Improved Wavelet Neural Network
Authors: Niu Dong Xiao , Fan Lei Lei , Liu Chun Xiang
Published: September 2013

Accurate short-term load forecasting contributes to safe and economic operation of power systems. Due to the shortcomings of traditional wavelet neural network (WNN), which usually has low convergence rate and easily falls into local minimum, an improved wavelet neural network (IWNN) is proposed to modify the algorithm by introducing momentum. Together with the weighted average method (WA) and WNN, these three methods are applied to an example of short-term load forecasting. The results show that compared with the WA method, WNN has obvious advantages of nonlinear fitting and forecasting, and the IWNN method is superior to the others in terms of prediction accuracy and generalization capability, which is helpful to further improve the accuracy of short-term load forecasting.
Low-Thrust Fuel-Optimal Rendezvous Mission to Near Earth Asteroids
Authors: Huang Hao , Tang Zhong Xing , Han Chao
Published: September 2013

Indirect method combined with homotopy approach is used to solve low-thrust fuel-optimal problem. To start the homotopy progress, pseudospectral method is used to solve energy-optimal problem to generate the initial guess. The proposed approach is applied to Earth to a near earth asteroid rendezvous mission. The performance of such approach is demonstrated through simulation.
Thermo-Mechanical Reliability Evaluation of PLCC Packaging
Authors: Guo Xiang Hui , Xu Chun Guang , Yang Liu
Published: September 2013

Thermo-mechanical failure is the main factor to impact the microelectronic packaging reliability. Under thermal loads, the microelectronic packaging is easy to produce cracks, delamination, voids, and other defects, which can emerge and grow under thermo-mechanical stresse caused by the different coefficients of thermal expansion (CTE). Firstly, a geometric model of Plastic Leaded Chip Carrier (PLCC) packaging was established and the thermo-mechanical property of PLCC packaging was analyzed using finite element analysis (FEA) software ANSYS. Then, the thermal cycling test on a set of PLCC packaging was conducted according to the MIL-STD-883H Microcircuits Test Method Standard with temperature range from-65°C to 150°C, and the crack growth rate of PLCC packaging was studied experimentally using Scanning Acoustic Microscopy (SAM). Finally, the Anand model was adopted to predict thermal fatigue life, which was consistent with the experimental results. With these researches, the thermo-mechanical reliability evaluation of the PLCC packaging was investigated using finite element analysis (FEA) combined with analytical methods.
Analysis of Output Performance for Piezoelectric Double Mode Energy Harvester
Authors: Zhang Kai , Wang De Shi , Xie Pan
Published: September 2013

The output performance of piezoelectric double mode energy harvester is studied, which is provided with a dynamic magnifier consisting of a spring-mass system placed between the piezoelectric element and the moving base. The theory governing the operation of the energy harvester with dynamic magnifier is developed using the Lagrangian dynamic approach, Numerical examples are presented to illustrate the output performance of the energy harvester in comparison with the conventional energy harvester, the results show that with proper selection of the design parameters of the magnifier, the harvested power can be dramatically enhanced and the effective bandwidth of the harvester can be improved.
Research of Low Noise Analog Measurement on High Temperature Thermocouple Based on dsPIC33
Authors: Lin Qi Feng , Mou Shu Yong
Published: September 2013

Since thermocouple has an intrinsic disadvantage that its signal is very weak, many problems usually appear such as large noise and low temperature resolution when thermocouples are being used. Aiming this defect on thermocouple measurement, this paper proposes a solution of analog circuit design that provides the character of low noise and high SNR. This paper discusses the analog circuit design and calculation based on the S-type thermocouple which is often used for a very wide temperature range. This designed module can be applied to measurement instruments.
A Novel Design of PIE Decoding with Multiple CRC Circuit for RFID Tag
Authors: Huang Feng Ying , Wang Jun , Xu Yu Sen , Huang Ji Wei
Published: September 2013

This paper proposes a new synchronized serial-parallel CRC(Cycle Redundancy Check) with PIE(Pulse Interval Encoding) decoding circuit for the UHF(Ultra-High Frequency) RFID(Radio Frequency Identification), which is based on the ISO/IEC 18000-6C standards protocol. The parallel algorithm of CRC circuit is derived, and the serial or parallel CRC circuit on RFID tag chip is evaluated in this paper. Finally, the designed circuit is simulated and analyzed on the FPGA platform. Simulation results show that the proposed circuit meets the communication requirement of the protocol and addresses the problem of low data processing rate of conventional serial CRC circuit, as well as implements 1 to 8 degree of parallelism of the parallel CRC circuit for UHF RFID.