bluuebunny/crossref_metadata_2025 huggingface dataset:
The Deformation Analysis and Optimization of the Injection Molded Parts Based on the Moldflow and Minitab Software
Authors: Li Na , Liu Hong Bin , Wu Hai Tao
Published: August 2013

The deformation seriously affects the quality of the products, which is one of the common defects of plastic parts in the injection molding. Factorial design and CAE technology was used to study the product's warping rate influence in this paper. The minimum warping rate was obtained through the Minitab software and the optimized process parameters are verified with the Moldflow software. Experimental results show that the optimization design is effective and the warpage of the product is reduced.
Composition and Evaluation of MFC-GM Plugging Agent for SeBei Gas Field
Authors: Li Yong , Jia Ying Lan , Zhang Qi Han , Zhang Li Hui
Published: August 2013

To overcome the shorting of inorganic gelatinous such as cement in plugging jobs, MFC-GM plugging agent is developed. MFC-GM is composed of 20% network building material, 70% gelatinous material, 9% activators, and 1% technologic behavior regulator and is used in aqueous slurries with water to cement ratio 1:1.4-1.8. The results of laboratory performance properties evaluation show that the depth of MFC-GM slurries squeezed into sandpack is far less, and the plugging strength of MFC-GM is, about 25MPa, far higher than G grade oilwell cement. This phenomenon is explained in terms of the functions of ingredients and the structure. MFC-GM can be used for plugging perforations and water producing zones, processing following characteristics: plugging radius is less than 0.8m and adjustable; initial setting time in rang 2-6 hours adjustably. MFC-GM plugging agent can meet the needs of unconsolidated sand gas reservoirs and improve plugging effect of gas well water-flooded layer and leakage zone.
Construction of Curve Network on the Multi-Line Contour Based on Convex-Hull
Authors: Tang Yue Hong , Gu Yu Ping , Liu Hao , Qian Pan
Published: August 2013

An algorithm is proposed to weave curve network on the multi-line contour, which refers to analysis and design of algorithms in computational geometry and uses convex hull to construct network on the surface of multi-line contour. First of all, with the incremental algorithm, a convex hull of point set, composed of the first and the last point of the feature line segment, is constructed. Then, by using the mapping from convex hull to fitting surface, an initial network is formed which meets the rules of the two-dimensional manifold. At last, a two-dimensional manifold network of feature curves is acquired by modifying connection of the curve network on the multi-line contour. In conclusion, the algorithm this paper put forward is intuitive, concise and easy to be implemented, and the woven curve network can precisely reflect the shape and the topology of the multi-line contour.
Application on the Virtual Campus Making with 3D Max and VRP Technology
Authors: Zhao Hui Ying , Qiu Li Bo , Liu You Ming , Feng Qi , Huang Zhi Yong , Wang Jian Guo , Li Ting Jun
Published: August 2013

With the rapid development of computer software and hardware technology, 3D technology and virtual reality technology is acquiring a greater growing space. Three-dimensional virtual campus environment compared with the traditional two-dimensional campus graphics more intuitive, vivid, true-to-life. More convenient to operate, you can choose a different camera pan any, the viewpoint conversion, angle rotation.
Research on the Elongation Control System of Tension Leveller for Continuous Pickling Line
Authors: Wang Li , Zhang Dian Hua , Sun Jie , Chen Qiu Jie , Ding Hua
Published: August 2013

Elongation control played a vital role for the production of cold-rolled strip. In the production process, especially during tension disturbances or parameter variations, the conventional PID control method can not meet the actual demand well. Therefore, the intelligent control algorithm was introduced in this paper. A fuzzy self-adaptive PID closed-loop control strategy which combines the fuzzy control algorithm with the conventional PID control algorithm was applied to elongation control system. It is proved in the simulation study that the fuzzy self-adaptive PID control system has both high dynamic performance and static performance as well as strong robustness, which can greatly improve control accuracy and anti-jamming capability of elongation control system of the tension leveller.
NC Machine Tool Control System Design
Authors: Liu Hong Jun
Published: August 2013

To adapt to the CNC machine high precision, high quality, high reliability requirements,This article designed NC machine tool control system with application of Lon-works technology. The hardware design method of input module and sensor interface, output module and the stepper motor interface in the system are introduced. This kind of control system rely on its core technology neural chip that based on Lon-works technology can realize the work-piece precision machining. It can be applied to different types of CNC machine tools and will make up for the deficiency of the traditional NC machine tool by PLC control.
Effect of End Angle of Counterpunch on Y-Shape Hydroforming
Authors: Teng Bu Gang , Liu Gang , Yuan Shi Jian
Published: August 2013

The counterpunch is usually used to control the protrusion height and also to control the evolution of thickness and avoid over thinning in T-shape or Y-shape hydroforming. In this study, the process of hydroforming a Y-shape is conducted by experiments, in which tubular material used is stainless steel and has an outer diameter of 42mm. Three kinds of counterpunches with end angle of 70, 80 and 90-degree are used to investigate its influence on wall-thinning and the height of the protrusion. The results show that the minimum wall-thinning can be obtained with an end angle of 70-degree, while a higher effective protrusion height can be formed with the increase of end angle.
The Design of Constant Pressure Water Supply Control System Based on S7-200 PLC
Authors: Xing Man Rong , Zhang Jie , Zhang Xiao Dong
Published: August 2013

IN tall buiding’s constant pressure water supply system with PLC and frequency converter logic control, PLC is used for logic control and frequency converter for pressure regulation . PLC and frequency converter which are the core components of the system track changes on the deviation of the pressure in a pipe with the given pressure,through the PLC internal PID operational, it can control variable frequency and power frequency switching and automatic control the number of inputting pumps and speed of the motor to realize closed loop automatic regulation voltage variable water supply, It can achieve the purpose of controlling the flow of water while maintaining constant pressure.
Dynamic Analysis for Feed Mechanism of Cold Forging Machine Based on Sequence Solution
Authors: Dai Chun Xiang , Ji Song , Meng Hong Yu , Li Li Min
Published: August 2013

Because traditional dynamic analysis for linkage mechanism would be on the basis of some assumptions such as driving forces, which may lead to impractical results for certain linkage mechanism. Therefore, the assumption about driving forces will be dismissed in the article during dynamic analysis for feed mechanism of cold forging machine, and the method of sequence solution is also introduced to replace matrix method for dynamic functions. In this case, the results would be practical and reliable for further theoretical analysis.
Scattering of SH-Wave by an Interface Cylindrical Elastic Inclusion with a Semicircular Debonded above Subsurface Cavity
Authors: Zhao Chun Xiang , Qi Hui , Nan Jing Fu
Published: August 2013

The Scattering of SH-wave by a cylindrical elastic inclusion on horizontal interface in bi-material space with a semicircular debonded above subsurface circular cavity have been considered using the methods of complex function and Green function. Firstly, we divide the solution domain along the interface and disconnected boundary into two half-spaces, an upper one and a lower one. And Green function was constructed by using the methods of complex function and multi-polar coordinate. Secondly, the bi-material media was connected along the horizontal interface using the idea of interface conjunction, then undetermined anti-plane forces were loaded at the linking sections respectively to satisfy continuity conditions, and a series of Fredholm integral equations of the first kind to determine that the unknown forces could be set up through continuity conditions on surface. Finally, some examples for DSCF around cylindrical elastic inclusion edge are presented and discussed. Numerical results show that subsurface circular cavitys existence notablely influences DSCF of around cylindrical elastic inclusion edge with a semicircular debonded above subsurface circular cavity.
Research for Technology in Distributed Manufacturing with Resource Collaboration
Authors: Xu Xin Wei , Gang Dan , Tan Jing , Fang Le
Published: August 2013

An obvious trend for intelligent manufacturing is distributed network manufacturing model. This paper presents a technology of model which based on IMS (Intelligent manufacturing System), that is, with enterprise resource collaboration model to settle collaborative manufacturing among of heterogeneous enterprises. Because of similarities of enterprise resource, the workable resource pool with small world network characteristic is built. On this basis, research for algorithms that can create alliance routes in small world network that have a short length of characteristic path and evident attention of clustering. Depend on capacity vector that be constructed by the enterprise ability attributions and used total of cast on dispatching produce unit in resource pools to seek maximization path characteristic value of the enterprise resource dispatching routes. Thus, the alliance enterprise distributed collaborative manufacturing system can be constructed. Given orders attributions and mechanism of multi-agent system, the collaboration model was constructed and adopt colony Optimization algorithm in small world network to solve route of enterprise alliance and multi-task mechanism among of alliance enterprise. An experiment and analysis was presented to validate the feasibility and effectiveness of the models and the approach.
Study on the Glare Problems of the Intelligent Lighting Control System in Modern Stadiums
Authors: Jin Rui Jing , Xiao Yu Hong
Published: August 2013

The application of intelligent lighting control system, as an advanced technology in stadium lighting project will become a trend in the future. This paper provides a detailed analysis of the characteristics and advantages of stadium intelligent lighting system and puts an emphasis on the glare,a must-be-solved problem, in the design of stadiums. An in-depth exploration about the glare is developed from the physical factors to the mechanism reaction of human vision. In terms of glare inhibition, a series of countermeasures are listed covering the design of lighting, selection and installation of lamps.
Effect of Nonuniform Water Convection on Laminar-Flow Cooling
Authors: Zheng Shen Bai , Zhang Peng Jie , Li Xi Yue , Zhu Yin Ping , Ma Hui
Published: August 2013

With the purpose of a uniform cooling of water convection, the horizontal nonuniform cooling on the steel plate edges should be calculated according to the site of laminar-flow water flowing nonuniformly on the top surface of strip. The result shows that the difference of water flow between the edge and centre is about 78. Sprinkle pipe with the changeable quantities of water spray can be designed to make hot strip transverse cooling close to the same.
A Design of SIMD Core Based on PIM Technology
Authors: Wang Guang , Li Xiang Jun
Published: August 2013

An exhaustive design to the micro-architecture of SIMD core based on PIM technology is made; meanwhile the system architecture is implemented completely by applying Verilog hardware description language, and is simulated by the simulation software Xilinx ISE, the verification of the functional correctness is obtained as well via the simulation waveform. As the result, it can be concluded that the bandwidth and the delay of data accessing can be increased and reduced respectively by making full use of PIM technology, and then the performance of the entire system can be greatly improved accordingly.
Reliability Research of Capacitive RF-MEMS Switch
Authors: Song Ming Xin , Wu Rui , Liu Qian , Wang Hong , Cao Zuo Bao , Chen Ming Hua , Yin Jing Hua
Published: August 2013

This paper presents the model of capacitive RF-MEMS switch for the lifetime prediction. The model is based on dielectric charging failure mechanism. The simulation results show that lifetime can reach 1000 hours when elastic coefficient (K) adopts 4-16N/m, Si3N4 as dielectric material, 0.4-1μm of dielectric thickness, 2-5μm of plate distance, less than 20V of driven voltage.
A Kind of a Controller with Digital Computer as a Compensator
Authors: Yan Wei , Huang Xian Qi , Fan Jun
Published: August 2013

A digital computer may serve as a compensator or a controller in a feedback control system. We may use the z'-transform of a transfer function to analyze the stability and transient response of a system. Thus, we may readily determine the response of a closed-loop feedback system with a digital computer serving as the compensator (or controller) block.
A Review of Thermal Stress Analysis and Fatigue Life Assessment on Boiler Drum
Authors: Xie Zhi Gang , Chen Xiao Qin
Published: August 2013

By analyzing the structural thermal load mechanism of boiler drum, several temperature field models were analyzed and compared; thermal stress calculation method and its impact on the overall stress field were studied. Finally, according to the domestic and several foreign fatigue life assessment standards, the fatigue life prediction modes of boiler drum were discussed. Based on fatigue curve interpolation and the Miner fatigue linear accumulated damage theory of safety guidelines, the life loss results of initiating low-cycle fatigue crack can be calculated. Both ASME code and GB/T9222-2008 standard are suitable to fatigue life assessment for boiler drum, due to the reasonable basis and reliable results.
Study on the Performance of Pressure Release Valve Based on AMESim
Authors: Wu Zhi Qing , Shi Hao Hui
Published: August 2013

The hydraulic cylinder should be safety released in high-pressure situations, the release valve system is presented under such situation in this paper, which can release the high pressure from the hydraulic cylinder, in order to validate its feasibility, the simulation model of pressure release system is established in AMESim, the pressure release process of which is studied, the results show that the pressure relief system can release the high pressure of hydraulic cylinder smoothly, the pressure release system verifies the pressure control performance of control system, some of the parameters or factors of pressure release system are analyzed.
An Investigation on Manufacture Method of High-Speed Wind-Tunnel Test Models Based on Stereo-Lithography Technique
Authors: Yang Dang Guo , Zhang Zheng Yu , Wang Chao , Zhu Wei Jun
Published: August 2013

The paper presents a novel manufacture method of high-speed wind-tunnel test models with internal metal frame and surface photopolymer resin based on Stereo-Lithography (SL) technique. Internal metal frame structure was designed to be of regular configurations that can be conveniently fabricated by conventionally mechanical manufacturing methods. Outer resin components were designed to meet configuration fidelity and surface quality, which were fabricated by SL facilities. Combination of aerodynamics and structure was utilized to accomplish structural design, strength and stiffness calibration and vibration analysis. It is validated that the manufacture method is suitable to construct the high-speed wind-tunnel models by some typical wind-tunnel models, especially for test models with complex structure.
Web Service Composition Verification of Safety Properties: An Approach Based on Predicate Abstraction
Authors: Wang Yu Ying , Chen Ping
Published: August 2013

The biggest problem in model checking is state space explosion. Using predicate abstraction, state space of colored Petri net models were abstracted, and an algorithm was proposed to obtain the abstracted state space of a colored Petri net model without its original state space generated. A method to verify safety properties of Web service composition by abstracted state space was proposed. The problem of state space explosion is solved to some extend in this way. Finally an application of the method is illustrated with an example, which its efficiency shown.
A Multilevel Hypergraph Partitioning Algorithm Based on Simulated Annealing
Authors: Zeng Yao Yuan , Zhao Wen Tao , Wang Zheng Hua
Published: August 2013

Multilevel hypergraph partitioning is a significant and extensively researched problem in combinatorial optimization. In this paper, we present a multilevel hypergraph partitioning algorithm based on simulated annealing approach for global optimization. Experiments on the benchmark suite of several unstructured meshes show that, for 2-, 4-, 8-, 16-and 32-way partitioning, although more running time was demanded, the quality of partition produced by our algorithm are on the average 14% and the maximum 22% better than those produced by partitioning software hMETIS in term of the SOED metric.
Grey Intuitionistic Fuzzy Sets and its Application in Performance Evaluation of Image Fusion
Authors: You Yong Bin , Li Ting Ting
Published: August 2013

As an important branch of multi-sensor information fusion, image fusion has been applied in many areas. During the past years, many algorithms have been proposed to solve the fusion issue. However, research on the objective performance evaluation of image fusion is relatively less. Basic methods for image fusion evaluation usually include subjective evaluations and objective evaluations. The evaluation of fused images is regarded as multi-attribute decision-make problem, thus a novel synthesis approach using grey intuitionistic fuzzy sets is proposed. The proposed approach constructs the membership function and non-membership function by the grey correlation degree, thus the intuitionistic fuzzy sets are established. The results show that the proposed approach has better performance.
Tabu Search Algorithm for for Capacitated Vehicle Routing Problem
Authors: Ren Chun Yu
Published: August 2013

The paper is focused on the capacitated vehicle routing problem. Tabu search algorithm is an algorithm based on neighborhood search. According to the features of the problem, the essay centered the construct initial solution to build neighborhood structure. For the operation, 1-move and 2-opt were applied, it can also fasten the speed of convergence, and boost the search efficiency. Finally, the good performance of this algorithm can be proved by experiment calculation and concrete examples.
The Influence of Initial Microstructures on the Diffusion Bonding Interface of High Nb Containing TiAl Alloy
Authors: Wang Ying Hao , Qi Xian Sheng , Meng Xian Lin , Li Wen Bin , Wang Chuan Yun , Kou Hong Chao , Li Jin Shan
Published: August 2013

The solid-state diffusion bonding experiments of high Nb containing TiAl alloy were successfully carried out at 950°C under a uniaxial pressure of 30MPa for 45min, and the influence of different initial microstructures, such as initial forged microstructure (named duplex microstructure) with different grain sizes, near lamellar microstructure and full lamellar microstructure, on the interface of the bonding joints were investigated. And the microstructure characterization of interfaces was taken by OM, SEM, EDS and micro-hardness tester. The results indicated that the grain size and strain energy are of great importance to improve the quality of interfacial bonding. Besides, the interfacial microstructure was found different from matrix and changed during the diffusion bonding process. Meanwhile, micro-hardness tests of the three kinds of joints showed that the micro-hardness in the interface was slightly higher than matrix in all the joints, resulted from the working hardening of the interface under the uniaxial pressure.
The Influence of Polymer and Organic Fiber on the Strength of Light Aggregate Concrete
Authors: Xiao Li Guang , Liu Gang , Li Yuan
Published: August 2013

As a kind of high performance concrete, light aggregate concrete has the following advantages, for example lightweight high strength, thermal insulation performance, seismic performance, refractory, penetration-proof performance and so on. This experiment with EPS particles which are made of ceramsite and waste polystyrene foam plastic as light aggregate and fly ash as admixture prepare light aggregate concrete, research the influence of polymer and organic fiber on the strength of light aggregate concrete, and analysis of the microstructure and mechanism, the experimental results indicate that polymer and organic fiber can effectively improve the microstructure of light aggregate concrete and the interface of light aggregate and cement paste, significantly improve the strength of light aggregate concrete and reduce its brittleness.
A Study of the Effect of Modified Materials on the Performance of Thermal Insulation Mortar with Cinders and Phase Change Materials
Authors: Xiao Li Guang , Feng Shuo , Liu Gang , Zhang Shi Ting
Published: August 2013

The thermal insulation mortar with cinders and phase change materials which is made from expanded perlites adsorbing composite phase change material, cinders and vitrified small ball as lightweight aggregate has the characteristics of both energy storage and thermal insulation. In this paper,we studied the effect of redispersible emulsion powder, methyl cellulose ether, organic fiber and water-reducing agent on the performance of thermal insulation mortar with cinders and phase change materials. The result showed that all the performance met the national standards of the thermal insulation mortar.
Reliability-Based Lower Limit of CFS for Strengthened Beams
Authors: Li Chun Xia , Ding Zhi Sheng , Yan Shi Lin , Chen Jun Ming
Published: August 2013

Based on the experimental data of mechanical performance of carbon fiber sheets, the statistical characteristics are obtained by symbolic statistical method. The characteristics of flexure capability of strengthened beams are established with a certain ratio of the strain of CFS to its ultimate strain for the failure due to the rupture of CFS by Monte-Carlo method. Reliability taking the aboved ratio as variable is analyzed to obtain its optimum value, on the basis of which the lower limit of CFS is decided that makes better consistency between calculated reliability indicator and object reliability indicator.
Experimental Study on Freezing Point of GCL Bentonite
Authors: Sun Jing Lu , Wu Zhi Qin , Zhang Bin
Published: August 2013

Structure of the impervious material GCL bentonite was destroied by the action of repeated freezing and thawing in irrigated areas in northren part of China, and the anti-seepage performance of the GCL was weakened. Freezing point is an index to identify whether the soil mass was in frosting state, it is very important for us to research infiltration law. This paper researches the relationships among the freezing point, density and water content. Using these relatively easily provide reference for the application of GCL bentonite in the future in the alpine region. The results show that the freezing point of GCL bentonite increases when the water content and density of GCL bentonite is increasing, and the freezing point of GCL bentonite with lower water content changes more distinctly with the density.
Improved information about the vertical location and extent of monolayer clouds from POLDER3 measurements in the oxygen A-band
Authors: Desmons M. , Ferlay N. , Parol F. , Mcharek L. , Vanbauce C.
Published: August 2013

Abstract. This paper describes new advances in the exploitation of oxygen A-band measurements from POLDER3 sensor onboard PARASOL, satellite platform within the A-Train. These developments result from not only an account of the dependence of POLDER oxygen parameters to cloud optical thickness τ and to the scene's geometrical conditions but also, and more importantly, from the finer understanding of the sensitivity of these parameters to cloud vertical extent. This sensitivity is made possible thanks to the multidirectional character of POLDER measurements. In the case of monolayer clouds that represent most of cloudy conditions, new oxygen parameters are obtained and calibrated from POLDER3 data colocalized with the measurements of the two active sensors of the A-Train: CALIOP/CALIPSO and CPR/CloudSat. From a parameterization that is (μs, τ) dependent, with μs the cosine of the solar zenith angle, a cloud top oxygen pressure (CTOP) and a cloud middle oxygen pressure (CMOP) are obtained, which are estimates of actual cloud top and middle pressures (CTP and CMP). Performances of CTOP and CMOP are presented by class of clouds following the ISCCP classification. In 2008, the coefficient of the correlation between CMOP and CMP is 0.81 for cirrostratus, 0.79 for stratocumulus, 0.75 for deep convective clouds. The coefficient of the correlation between CTOP and CTP is 0.75, 0.73, and 0.79 for the same cloud types. The score obtained by CTOP, defined as the confidence in the retrieval for a particular range of inferred value and for a given error, is higher than the one of MODIS CTP estimate. Scores of CTOP are the highest for bin value of CTP superior in numbers. For liquid (ice) clouds and an error of 30 hPa (50 hPa), the score of CTOP reaches 50% (70%). From the difference between CTOP and CMOP, a first estimate of the cloud vertical extent h is possible. A second estimate of h comes from the correlation between the angular standard deviation of POLDER oxygen pressure σPO2 and the cloud vertical extent. This correlation is studied in detail in the case of liquid clouds. It is shown to be spatially and temporally robust, except for clouds above land during winter months. The analysis of the correlation's dependence on the scene's characteristics leads to a parameterization providing h from σPO2. For liquid water clouds above ocean in 2008, the mean difference between the actual cloud vertical extent and the one retrieved from σPO2 (from the pressure difference) is 5 m (−12 m). The standard deviation of the mean difference is close to 1000 m for the two methods. POLDER estimates of the cloud geometrical thickness obtain a global score of 50% confidence for a relative error of 20% (40%) of the estimate for ice (liquid) clouds over ocean. These results need to be validated outside of the CALIPSO/CloudSat track.
Ionospheric E–F valley observed by a sounding rocket at the low-latitude station Hainan
Authors: Shi J. K. , Wang Z. , Torkar K. , Friedrich M. , Wang X. , Liu C. , Guan Y. B. , Zhu G. W.
Published: August 2013

Abstract. According to the sounding rocket experiment conducted at Hainan ionospheric observatory (19.5° N, 109.1° E), a valley between the E layer and F layer in the ionospheric electron density profile is observed and presented. The sounding rocket was launched in the morning (06:15 LT) on 7 May 2011, and the observed electron density profile outside the valley agrees with the simultaneous observation by the DPS-4 digisonde at the same station. The width of the observed valley was about 42 km, the depth almost 50%, and the altitude of the electron density minimum 123.5 km. This is the first observation of the E–F valley in the low-latitude region in the East Asian sector. The results are also compared with models, and the physical mechanism of the observed valley is discussed in this paper.
Carta del Editor Mayo 2013
Authors: Morales Peña Juan Carlos
Published: August 2013

DOI: http://dx.doi.org/10.5377/rpsp.v2i0.1190Revista Policía y Seguridad Pública 2(0) 2013: 18-19
El crimen organizado en Mesoamérica y el Caribe: Legado de piratas, contrabandistas y bandidos
Authors: Gómez Hecht Juan Ricardo
Published: August 2013

La investigación pretende establecer que existe una conexión histórica entre las actuales organizaciones transnacionales de crimen organizado con los piratas, contrabandistas y bandidos que operaron durante la época de la colonia española en el área Mesoamericana y El Caribe. El trabajo sostiene que el factor que liga a unos y otros, es el hecho que ambos tipos de actores ilegales comparten el mismo esquema mental: la mentalidad burguesa. Ésta última se caracteriza por su racionalidad, su pretensión de dominio sobre el mundo, la valoración del ascenso socio-económico y la acumulación de riqueza. Asimismo se sostiene que en la misma forma que las actividades ilegales de piratas, contrabandistas y bandidos incidieron en el declive del imperio español en América, el accionar de grupos del crimen organizado está en el presente amenazando la viabilidad de los Estados Nacionales en el área Mesoamericana y del Caribe. DOI: http://dx.doi.org/10.5377/rpsp.v2i0.1191
Ley contra el lavado de dinero y de activos
Authors: Editor El
Published: August 2013

DOI: http://dx.doi.org/10.5377/rpsp.v2i0.1197
Informe Anual del Consejo Académico de la ANSP, 2012
Authors: Editor El
Published: August 2013

DOI: http://dx.doi.org/10.5377/rpsp.v2i0.1199
Libros: Modalidades de Lavado de Dinero y Activos
Authors: Molina Avalos Yanira
Published: August 2013

DOI: http://dx.doi.org/10.5377/rpsp.v2i0.1200
A Specification Patterns System for Discrete Event Systems Analysis
Authors: Campos Jose Creissac , Machado Jose
Published: August 2013

As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system's behaviour is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skilful process. Errors in this step of the process can create serious problems since a false sense of safety is gained from the analysis. However, when compared to the effort put into developing and applying modelling languages, little attention has been devoted to the process of writing properties that accurately capture verification requirements. In this paper we illustrate how a collection of property patterns can help in simplifying the process of generating logical formulae from informally expressed requirements.
Balanced Motions Realization for a Mechanical Regulators Free and Front-Wheel Drive Bicycle Robot Under Zero Forward Speed
Authors: Huang Yonghua , Liao Qizheng , Guo Lei , Wei Shimin
Published: August 2013

This paper focuses on a mechanical regulator free and front- wheel drive bicycle robot. We present a scheme to achieve the robot's track-stand motion and circular motion under zero forward speed. In a situation where the robot's front-bar is locked at 90 degrees, a kinetic constraint about the rotating rate of the front-wheel and the yawing rate of the frame is derived. Using the constraint as a basis, we developed a simplified model of two independent velocities for the robot. The model suggests there is an under-actuated rolling angle in the system. Our control strategy originates from the under- actuated characteristics of the robot system. Concretely, we linearize the rolling angle of the frame and set the bicycle robot to regulate its tilting by rotating the front-wheel. In the track-stand motion, we control the position and the rotational rate of the front-wheel; but in the circular motion, only the rotational rate of the front-wheel is strictly regulated. Both simulations and physical experiments results show that our strategy is effective for achieving these two motions.
Genotype and Phenotype Concordance for Pharmacogenetic Tests Through Proficiency Survey Testing
Authors: Wu Alan H. B.
Published: August 2013

Context.—Pharmacogenetic testing is becoming increasingly important for drugs such as irinotecan, warfarin, clopidogrel, codeine, and the tricyclic antidepressant drugs. Laboratories certified to perform pharmacogenetic testing must demonstrate successful performance on proficiency testing surveys.

Objectives.—To examine the performance of laboratories subscribing to pharmacogenetic proficiency testing surveys for genes that encode CYP2C9, VKORC1, UGT1A1, CYP2C19, and CYP2D6.

Data Sources.—College of American Pathologists Pharmacogenetic Proficiency Survey (PGX), 2007–2011.

Conclusions.—For all 5 genes challenged, there was good performance among participating laboratories for reporting wild types (95.4%–99.1% correct). For CYP2C9, VKORC1, and UGT1A1, there was no statistical difference in the percentage correctly detected for variant alleles compared to wild type. For CYP2C19, participating laboratories were greater than 90% successful in detecting variant genotypes of *1/*2, *1/*8, and *2/*3. However, several laboratories failed to detect *2/*2, *2/*4 and *1/*17 variant genotypes. For CYP2D6, laboratories were successful in detecting the most important variant genotypes (*1/*4, *1/*2, *4/*10, *10/*10, *2/*4, *2/*10) but not some of the less frequently encountered variant genotypes (*1/*10, *2/*3, *1/*35, *4/*5, and *1/*1XN). The interpretation of phenotypes by participating laboratories was largely consistent with the genotypes reported, with errors in genotyping leading to errors in phenotype assignment. Improvements in genotyping accuracy are needed for some pharmacogenetics laboratories with reference to CYP2C19 and CYP2D6.
Vulvar Adnexal Lesions: A 32-Year, Single-Institution Review From Massachusetts General Hospital
Authors: Baker Gabrielle M. , Selim M. Angelica , Hoang Mai P.
Published: August 2013

Context.—Because the skin and modified mucosal surfaces of the vulvar region contain dense apocrine glands and anogenital mammary-like glands, in addition to eccrine glands and folliculosebaceous units, benign as well as malignant lesions derived from these adnexal structures are, not surprisingly, found in the vulva. However, their incidence occurring in the vulva has not been reported, to our knowledge.

Objective.—To determine the incidence of various vulvar adnexal lesions.

Design.—We performed a retrospective review (1978–2010) of the cases at our institution.

Results.—A total of 189 vulvar adnexal lesions were identified. Most of these lesions were benign (133 of 189; 70%), with hidradenoma papilliferum being the most common, followed by syringoma and various types of cysts. Rare cases of tubular adenoma, poroma, spiradenoma, hidradenoma, cylindroma, sebaceoma, and trichoepithelioma were identified. Malignant adnexal neoplasms comprised the remaining 30% (56 of 189) of the cases. Extramammary Paget disease was the most common (49 of 56), and 29% (14 of 49) demonstrated an invasive component. Rare cases of basal cell carcinoma, sebaceous carcinoma, apocrine carcinoma, adenoid cystic carcinoma, and spiradenocarcinoma were identified.

Conclusions.—In this retrospective review, we identified several benign entities that have not been previously reported on the vulva, namely pilomatricoma, poroma, spiradenoma, and sebaceoma. Hidradenoma papilliferum and extramammary Paget disease were the most common benign and malignant adnexal neoplasms, respectively. The spectrum of various vulvar adnexal lesions appears to reflect the frequency of the underlying glandular elements.
Discutindo o retrato socioeconômico e ambiental da Favela da Chatuba, Campos dos Goytacazes, RJ
Authors: Cunha Rachel Dias , Abreu Carolina de Cássia Ribeiro de
Published: August 2013

Este artigo é resultado de uma pesquisa de campo, coordenada pela disciplina de Higiene e Medicina Preventiva e do Trabalho II da Faculdade de Medicina de Campos. A pesquisa foi realizada no ano de 2000, em uma comunidade de baixa renda, denominada Favela da Chatuba (Estrada do Carvão). O objetivo deste estudo foi caracterizar a realidade sócio-econômica e ambiental desta comunidade como referência para análise de outras favelas, que se diferenciam na questão geoespacial que apresentam, porém, os mesmos problemas de ordem estrutural, social e ambiental. Este diagnóstico possibilita, assim, a visualização de como os problemas de infraestrutura e condições socioambientais interferem diretamente na qualidade de vida e saúde da população.
A eficiência Polionomial do simplex para redes: Aplicação em um problema do caminho mais curto
Authors: Marinho Carlos Eduardo Varejão , Santos Neto Antonio José dos
Published: August 2013

Neste trabalho é apresentado um algoritmo simplex para rede de complexidade O(nm) que encontra uma árvore de caminhos mais curtos, de um nó para todos os outros nós em uma rede direcionada, de n nós e m arcos, ou encontra um ciclo negativo. O tempo de execução desse algoritmo, no pior caso, é tão rápido quanto qualquer algoritmo polinomial que resolva este problema.
A contribuição dos processos industriais de construção para adoção de novas tecnologias na construção civil no Brasil
Authors: Ribeiro Marcellus Serejo , Michalka Júnior Camilo
Published: August 2013

Esse trabalho analisa a industrialização da construção civil no Brasil e sua contribuição para a racionalização da construção. É feita uma abordagem de como a industrialização pode contribuir (ou ser imprescindível) para a qualidade e a economia do ambiente construído. É feita, inicialmente, uma análise dos sistemas industriais de construção. São apresentados os sistemas industriais, fechado e aberto, e suas características e condicionantes. Finalmente é feita uma análise comparativa dos sistemas construtivos, desde os primitivos ou artesanais até os sistemas industrializados, enfocando dois aspectos. O primeiro aspecto é o da possibilidade da convivência dos sistemas artesanais com os industrializados. O segundo, que pode ser um desdobramento do primeiro, é a possibilidade da transformação gradativa de um sistema construtivo altamente artesanal para um sistema construtivo altamente industrializado.
Heurística GRASP para o problema de p-medianas aplicado à localização de concentradores
Authors: Santos Tiago de Azevedo , Vianna Dalessandro Soares , Vianna Marcilene de Fátima Dianin
Published: August 2013

Várias situações práticas reais, tais como localizações de depósitos, hospitais e dispositivos de telecomunicações (concentradores, torres de celulares, etc), podem ser vistas como um problema de p-medianas. Este trabalho apresenta uma proposta para a solução do problema de p-medianas baseado no backbone da rede de computadores que será instalado no Instituto Federal Fluminense (IFF). Esse tipo de ocorrência é conhecida na literatura como problema de localização de concentradores. Para resolver a questão citada foi proposta uma heurística GRASP. Testes computacionais realizados, mostram que a heurística elaborada neste trabalho atingiu resultados satisfatórios.
Percepção ambiental de alunos do sétimo ano do Colégio Benta Pereira em relação à Lagoa do Vigário, Guarus, Campos dos Goytacazes, RJ
Authors: Marchetti A. A. , Freitas V. , Azevedo C. B. B. , Arica G. M. , Terra R.
Published: August 2013

Neste trabalho se apresentam resultados de uma pesquisa realizada com alunos do sétimo ano do ensino fundamental e, nele, transparece a importância de utilizar ecossistemas como locais de aprendizagem, o que é recomendado pela literatura para uma efetiva educação integradora. Utilizou-se a Lagoa do Vigário, localizada próximo ao Colégio Benta Pereira, em Guarus-CAMPOS DOS GOYTACAZES (RJ), um ecossistema impactado pela urbanização, local onde foi realizada a contextualização. Aplicou-se o método de questionários, nos quais se percebeu que os alunos conhecem satisfatoriamente a lagoa e revelaram que há ciência deles, sobre ações, por parte da administração pública, que dão prioridades a outros investimentos não estando a manutenção da limpeza da lagoa entre eles. Entretanto, foi detectado um interesse pelo desenvolvimento de projetos ambientais no colégio confirmando que a educação ambiental contribui para formar cidadãos reflexivos e participativos.
A influência dos aspectos textuais e da imagem na leitura de outdoors de publicidades de motel
Authors: Almeida Jaqueline Maria , Castelano Karine Lobo
Published: August 2013

O objetivo deste trabalho foi verificar como os elementos relação imagem/texto, intertextualidade e ambiguidade geram o efeito de humor na leitura das publicidades de motéis. Foram utilizadas doze figuras de publicidades de redes variadas de motéis como corpus de análise. Após a análise das figuras, demonstramos a importância e a complexidade relativa à leitura e à compreensão de enunciados que envolvem imagem, intertextualidade e ambiguidade. Esses elementos textuais, unidos ao conhecimento de mundo do leitor, são uma excelente fonte de produção de sentido para diversos gêneros, exercendo influência no efeito de sentido do texto e gerando o efeito de humor.
O início da carreira docente: “pistas” para conhecimento do perfil profissional dos formadores nos Centros de Formação Profissional de Angola
Authors: Mansur Odila Carvalho , Costa Ingrid Fiuza , Mansur Laura Carvalho
Published: August 2013

Este artigo trata de pesquisa realizada no IF Fluminense Campos dos Goytacazes, a partir do Projeto Angola-Brasil, com o objetivo de traçar o perfil dos formadores angolanos, iniciantes, que atuam nos quatro Centros de Formação Profissional de Angola, ministrando cursos técnicos nas áreas de Construção Civil e Indústria. Eles são em torno de sessenta profissionais, que possuem cursos técnicos e militam na docência, também em cursos técnicos pós-médio, sem anterior formação na área pedagógica. Receberam capacitação técnico-pedagógica, em forma de curso, com duração de noventa horas, em Angola. Em seguida, vieram ao Brasil para continuar sua formação, durante seis semanas de estudos intensivos (8 h/a diárias), no IF Fluminense campus Campos-Centro. Após cerca de dois anos atuando como formadores, por meio de entrevista semiestruturada, identificamos pistas para traçar o perfil desse professor iniciante.
Press Reports about Causes of Juvenile Crime and Associated Claims in the German Press
Authors: Reichert Frank
Published: August 2013

This article examines the kinds of criminological knowledge and information that were considered in the press during the Hesse election campaign in 2007/2008, in which youth crime played a major role. The present study investigates the integration of information about the possible causes of youth crime into press articles, and examines to which extent information about these causes and motives for engaging in youth crime were considered by the press to be significant in the explanation of youth crime. The other aim of this study is to uncover which types of criminal policy and pedagogy had been reported about, and which of those measures had been regarded as meaningful. To this end, results of a content analysis of articles from two German daily newspapers—the Bild and the Süddeutsche Zeitung—are presented and compared. The differences between the two newspapers and their method of news construction are highlighted. The paper clarifies central concepts and discusses previous research in media crime and youth crime, as well as making methodological remarks. The results of the study indicate that only rarely was knowledge about the causes of juvenile crime published in the press; information about the individual itself was found to an even lesser extent. This was particularly true about the Bild. Claims for tougher methods of punishment dominated, whereas measures that aimed at crime prevention were seldom considered reasonable, and if so, were mainly included in the Süddeutsche Zeitung. These results in part reflect the importance of several news factors—notably consonance, personification, risk, and negativism—but also to a large extent reflect the political accentuation of the respective newspapers and their specific views of juvenile offenders.
Are Exact Calculation and Computational Estimation Categorically Different?
Authors: Liu Fuchang
Published: August 2013

This study examined, through the problem‐size effect, whether exact calculation and computational estimation are categorically different. In Experiment 1, 26 teacher candidates, most of whom were female, Caucasian, and in their early 20s, estimated 27 randomly generated double‐digit multiplication problems. In Experiment 2, 44 similar participants estimated and calculated a common set of double‐digit multiplication problems. Analysis of reaction times and error rates indicates that the problem‐size effect holds true for exact calculation but not for estimation. In estimation, as problem size increases, reaction times do not increase, nor does the rate of unreasonable estimates. Instead, the difference between a factor's unit digit and the nearest ten to be rounded to was a primary contributor to the variance of reaction times. It is concluded that exact calculation and computational estimation are computationally, cognitively, and structurally different processes. Furthermore, it is suggested that estimation skills be given separate, dedicated attention in schools. Copyright © 2013 John Wiley & Sons, Ltd.
Timing of diagnosis of patients with pompe disease: Data from the pompe registry
Authors: Kishnani Priya S. , Amartino Hernán M. , Lindberg Christopher , Miller Timothy M. , Wilson Amanda , Keutzer Joan ,   on behalf of the Pompe Registry Boards of Advisors
Published: August 2013

Diagnostic delays in Pompe disease are common. The diagnostic gap (the time from the onset of symptoms to the diagnosis of Pompe disease) and factors associated with diagnostic delays were examined among Pompe Registry patients in three onset categories: Group A, onset ≤12 months of age with cardiomyopathy; Group B, onset ≤12 months without cardiomyopathy and onset >12 months to ≤12 years; and Group C, onset >12 years. Of 1,003 patients, 647 were available for analysis. In all groups, musculoskeletal signs and symptoms were among the most frequent presenting signs and symptoms, in addition to cardiomyopathy in Group A, which was part of the group's definition. Diagnostic gaps existed in all three groups. Patients presenting with respiratory and musculoskeletal signs and symptoms concurrently had the shortest diagnostic gap, while those presenting with neither respiratory nor musculoskeletal signs and symptoms had the longest. Independent factors influencing the probability of a long diagnostic gap included presenting signs and symptoms (all three groups) and year of diagnosis and age at symptom onset (Groups B and C). Group B, which represents the infantile patients without cardiomyopathy and juvenile Pompe cases, had the longest median gap (12.6 years). Diagnostic testing methods used also were reviewed. Despite the availability of blood‐based assays that can be used to quickly and accurately diagnose Pompe disease, diagnostic gaps in Pompe patients across the disease spectrum continue. © 2013 Wiley Periodicals, Inc.