A simplified mathematical model for urban microclimate simulation

Techniques for modelling urban microclimates and urban block surfaces temperatures are desired by urban planners and architects for strategic urban designs at the early design stages. This paper introduces a simplified mathematical model for urban simulations (UMsim) including urban surfaces temperatures and microclimates. The nodal network model has been developed by integrating coupled thermal and airflow model. Direct solar radiation, diffuse radiation, reflected radiation, long-wave radiation, heat convection in air and heat transfer in the exterior walls and ground within the complex have been taken into account. The relevant equations have been solved using the finite difference method under the Matlab platform. Comparisons have been conducted between the data produced from the simulation and that from an urban experimental study carried out in a real architectural complex on the campus of Chongqing University, China in July 2005 and January 2006. The results show a satisfactory agreement between the two sets of data. The UMsim can be used to simulate the microclimates, in particular the surface temperatures of urban blocks, therefore it can be used to assess the impact of urban surfaces properties on urban microclimates. The UMsim will be able to produce robust data and images of urban environments for sustainable urban design.

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.

Incorporating design explanation within formal object-oriented method (FOOM)

Requirements engineering is a commencing phase in the development of either software applications or information systems. It is concerned with understanding and specifying the customer's requirements of the system to be delivered. Throughout the literature, this is agreed to be one of the most crucial and, unfortunately, problematic phases in development. Despite the diversity of research directions, approaches and methods, the question of process understanding and management is still limited. Among contemporary approaches to the improvement of the current practice of Requirements Engineering, Formal Object-Oriented Method (FOOM) has been introduced as a new promising solution. The FOOM approach to requirements engineering is based on a synthesis of socio-organisational theory, the object-oriented approach, and mathematical formal specification. The entire FOOM specification process is evolutionary and involves a large volume of changes in requirements. During this process, requirements evolve through various forms of informal, semi-formal, and formal while maintaining a semantic link between these forms and, most importantly, conforming to the customer's requirements. A deep understanding of the complexity of the requirements model and its dynamics is critical in improving requirements engineering process management. This thesis investigates the benefits of documenting both the evolution of the requirements model and the rationale for that evolution. Design explanation explains and justifies the deliberations of, and decisions made during, the design activity. In this thesis, design explanation is used to describe the requirements engineering process in order to improve understandability of, and traceability within, the evolving requirements specification. The design explanation recorded during this research project is also useful in assisting the researcher in gaining insights into the creativity and opportunistic characteristics of the requirements engineering process. This thesis offers an interpretive investigation into incorporating design explanation within FOOM in order to extend and advantage the method. The researcher's interpretation and analysis of collected data highlight an insight-driven and opportunistic process rather than a strictly and systematically predefined one. In fact, the process was not smoothly evolutionary, but involved occasional 'crisis' points at which the model was reconceptualised, simplified and restructured. Therefore, contributions of the thesis lie not only in an effective incorporation of design explanation within FOOM, but also a deep understanding of the dynamic process of requirements engineering. The new understanding of the complexity of the requirements model and its dynamics suggests new directions for future research and forms a basis for a new approach to process management.

Hybrid special finite element method for bi-material crack

In the paper, two novel 2-D hybrid special finite elements each containing an interfacial edge crack, which lies along or vertical to the interface between two materials, are developed. These proposed elements can assure the high precision especially in the vicinity of crack tip and provide a better description of its singularity with only one hybrid element surrounding one interfacial crack, thus, the numerical modeling of fracture analysis on bi-material crack can be greatly simplified. Numerical examples are provided to demonstrate the validity and versatility of the proposed method.

A hazardous substance exposure prevention rating method for intervention needs assessment and effectiveness evaluation: the small business exposure index

Aims This paper describes the refinement and adaptation to small business of a previously developed method for systematically prioritizing needs for intervention on hazardous substance exposures in manufacturing worksites, and evaluating intervention effectiveness. Methods We developed a checklist containing six unique sets of yes/no variables organized in a 2 × 3 matrix of exposure potential versus exposure protection at three levels corresponding to a simplified hierarchy of controls: materials, processes, and human interface. Each of the six sets of indicator variables was reduced to a high/moderate/low rating. Ratings from the matrix were then combined to generate an exposure prevention 'Small Business Exposure Index' (SBEI) Summary score for each area. Reflecting the hierarchy of controls, material factors were weighted highest, followed by process, and then human interface. The checklist administered by an industrial hygienist during walk-through inspection (N = 149 manufacturing processes/areas in 25 small to medium-sized manufacturing worksites). One area or process per manufacturing department was assessed and rated. A second hygienist independently assessed 36 areas to evaluate inter-rater reliability. Results The SBEI Summary scores indicated that exposures were well controlled in the majority of areas assessed (58% with rating of 1 or 2 on a 6-point scale), that there was some room for improvement in roughly one-third of areas (31% of areas rated 3 or 4), and that roughly 10% of the areas assessed were urgently in need of intervention (rated as 5 or 6). Inter-rater reliability of EP ratings was good to excellent (e.g., for SBEI Summary scores, weighted kappa = 0.73, 95% CI 0.52–0.93). Conclusion The SBEI exposure prevention rating method is suitable for use in small/medium enterprises, has good discriminatory power and reliability, offers an inexpensive method for intervention needs assessment and effectiveness evaluation, and complements quantitative exposure assessment with an upstream prevention focus.

An exposure prevention rating method for intervention needs assessment and effectiveness evaluation

This article describes a new method for (1) systematically prioritizing needs for intervention on hazardous substance exposures in manufacturing work sites, and (2) evaluating intervention effectiveness. We developed a checklist containing six unique sets of yes/no variables organized in a 2 × 3 matrix of exposure potential versus protection (two columns) at the levels of materials, processes, and human interface (three rows). The three levels correspond to a simplified hierarchy of controls. Each of the six sets of indicator variables was reduced to a high/moderate/low rating. Ratings from the matrix were then combined to generate a single overall exposure prevention rating for each area. Reflecting the hierarchy of controls, material factors were weighted highest, followed by process, and then human interface. The checklist was filled out by an industrial hygienist while conducting a walk-through inspection (N = 131 manufacturing processes/areas in 17 large work sites). One area or process per manufacturing department was assessed and rated. Based on the resulting Exposure Prevention ratings, we concluded that exposures were well controlled in the majority of areas assessed (64% with rating of 1 or 2 on a 6-point scale), that there is some room for improvement in 26 percent of areas (rating of 3 or 4), and that roughly 10 percent of the areas assessed are urgently in need of intervention (rated as 5 or 6). A second hygienist independently assessed a subset of areas to evaluate inter-rater reliability. The reliability of the overall exposure prevention ratings was excellent (weighted kappa = 0.84). The rating scheme has good discriminatory power and reliability and shows promise as a broadly applicable and inexpensive tool for intervention needs assessment and effectiveness evaluation. Validation studies are needed as a next step. This assessment method complements quantitative exposure assessment with an upstream prevention focus.

Wax Teeth and Metallic Superstructure Trials at the Same Session: Simplified Technique for Implant-Supported Prosthesis

This clinical report describes a method to reduce the number of clinical sessions for the rehabilitation of implant-supported fixed dentures through a simplified and versatile procedure indicated mainly for immediate loading. According to this method, the immediate implant-supported fixed dentures for edentulous patients can be safely fabricated within 2 days. In this technique, the teeth in the wax are prepared on a base of light-polymerized resin, and both wax teeth and metallic superstructure trials are accomplished at the same session.

A simplified procedure for determination of clofentezine residues in fruits by liquid chromatography with UV detection

A rapid and sensitive method is described for the determination of clofentezine residues in apple, papaya, mango and orange. The procedure is based on the extraction of the sample with a hexane:ethyl acetate mixture (1:1, v/v) and liquid chromatographic analysis using UV detection. Mean recoveries from 4 replicates of fortified fruit samples ranged from 81% to 96%, with coefficients of variation from 8.9% to 12.5%. The detection and quantification limits of the method were of 0.05 and 0.1 mg kg-1, respectively.

State Dependent Riccati Equation (SDRE) control method applied in cancellation of a parametric resonance in a magnetically levitated body

Here, a simplified dynamical model of a magnetically levitated body is considered. The origin of an inertial Cartesian reference frame is set at the pivot point of the pendulum on the levitated body in its static equilibrium state (ie, the gap between the magnet on the base and the magnet on the body, in this state). The governing equations of motion has been derived and the characteristic feature of the strategy is the exploitation of the nonlinear effect of the inertial force associated, with the motion of a pendulum-type vibration absorber driven, by an appropriate control torque [4]. In the present paper, we analyzed the nonlinear dynamics of problem, discussed the energy transfer between the main system and the pendulum in time, and developed State Dependent Riccati Equation (SDRE) control design to reducing the unstable oscillatory movement of the magnetically levitated body to a stable fixed point. The simulations results showed the effectiveness of the (SDRE) control design. Copyright © 2011 by ASME.

Simulation of the flow through automatic valves of hermetic compressors by the immersed boundary method approach

The main goal of the present work is to verify the applicability of the Immersed Boundary Method together with the Virtual Physical Model to solve the flow through automatic valves of hermetic compressors. The valve was simplified to a two-dimensional radial diffuser, with diameter ratio of D/d = 1.5, and simulated for a one cycle of opening and closing process with a imposed velocity of 3.0 cm/s for the reed, dimensionless gap between disks in the range of 0.07 < s/d < 0.10, and inlet Reynolds number equal to 1500. The good results obtained showed that the methodology has great potential as project tool for this type of valve systems. © The Authors, 2011.

Development of a simplified transmission line model directly in the phase domain

A transmission line digital model is developed direct in the phase and time domains. The successive modal transformations considered in the three-phase representation are simplified and then the proposed model can be easily applied to several operation condition based only on the previous knowing of the line parameters, without a thorough theoretical knowledge of modal analysis. The proposed model is also developed based on lumped elements, providing a complete current and voltage profile at any point of the transmission system. This model makes possible the modeling of non-linear power devices and electromagnetic phenomena along the transmission line using simple electric circuit components, representing a great advantage when compared to several models based on distributed parameters and inverse transforms. In addition, an efficient integration method is proposed to solve the system of differential equations resulted from the line modeling by lumped elements, thereby making possible simulations of transient and steady state using a wide and constant integration step. © 2012 IEEE.

Simplified procedure to estimate the resistance parameters of transmission lines

An alternative and simplified procedure is described to estimate the longitudinal resistances of transmission lines based on the real-time load profile. This method proposes to estimate the resistance parameters from the synchronized measurements of complex currents and complex voltages at the sending and receiving ends of transmission systems. The synchronized measurements can be in practice obtained using phasor measurement units (PMUs). © 2012 Springer-Verlag Berlin Heidelberg.

Interpretation of searches for supersymmetry with simplified models

The results of searches for supersymmetry by the CMS experiment are interpreted in the framework of simplified models. The results are based on data corresponding to an integrated luminosity of 4.73 to 4.98 fb-1. The data were collected at the LHC in proton-proton collisions at a center-of-mass energy of 7 TeV. This paper describes the method of interpretation and provides upper limits on the product of the production cross section and branching fraction as a function of new particle masses for a number of simplified models. These limits and the corresponding experimental acceptance calculations can be used to constrain other theoretical models and to compare different supersymmetry-inspired analyses. © 2013 CERN.

Simplified skin-effect formulation for power transmission lines

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Numeric reconstruction of cytoskeleton with finite element method and topology optimization method

The importance of mechanical aspects related to cell activity and its environment is becoming more evident due to their influence in stem cell differentiation and in the development of diseases such as atherosclerosis. The mechanical tension homeostasis is related to normal tissue behavior and its lack may be related to the formation of cancer, which shows a higher mechanical tension. Due to the complexity of cellular activity, the application of simplified models may elucidate which factors are really essential and which have a marginal effect. The development of a systematic method to reconstruct the elements involved in the perception of mechanical aspects by the cell may accelerate substantially the validation of these models. This work proposes the development of a routine capable of reconstructing the topology of focal adhesions and the actomyosin portion of the cytoskeleton from the displacement field generated by the cell on a flexible substrate. Another way to think of this problem is to develop an algorithm to reconstruct the forces applied by the cell from the measurements of the substrate displacement, which would be characterized as an inverse problem. For these kind of problems, the Topology Optimization Method (TOM) is suitable to find a solution. TOM is consisted of an iterative application of an optimization method and an analysis method to obtain an optimal distribution of material in a fixed domain. One way to experimentally obtain the substrate displacement is through Traction Force Microscopy (TFM), which also provides the forces applied by the cell. Along with systematically generating the distributions of focal adhesion and actin-myosin for the validation of simplified models, the algorithm also represents a complementary and more phenomenological approach to TFM. As a first approximation, actin fibers and flexible substrate are represented through two-dimensional linear Finite Element Method. Actin contraction is modeled as an initial stress of the FEM elements. Focal adhesions connecting actin and substrate are represented by springs. The algorithm was applied to data obtained from experiments regarding cytoskeletal prestress and micropatterning, comparing the numerical results to the experimental ones