Children’s Mapping between Non-Symbolic and Symbolic Numerical Magnitudes and Its Association with Timed and Untimed Tests of Mathematics Achievement

Science.gov (United States)

Brankaer, Carmen; Ghesquière, Pol; De Smedt, Bert

2014-01-01

The ability to map between non-symbolic numerical magnitudes and Arabic numerals has been put forward as a key factor in children’s mathematical development. This mapping ability has been mainly examined indirectly by looking at children’s performance on a symbolic magnitude comparison task. The present study investigated mapping in a more direct way by using a task in which children had to choose which of two choice quantities (Arabic digits or dot arrays) matched the target quantity (dot array or Arabic digit), thereby focusing on small quantities ranging from 1 to 9. We aimed to determine the development of mapping over time and its relation to mathematics achievement. Participants were 36 first graders (M = 6 years 8 months) and 46 third graders (M = 8 years 8 months) who all completed mapping tasks, symbolic and non-symbolic magnitude comparison tasks and standardized timed and untimed tests of mathematics achievement. Findings revealed that children are able to map between non-symbolic and symbolic representations and that this mapping ability develops over time. Moreover, we found that children’s mapping ability is related to timed and untimed measures of mathematics achievement, over and above the variance accounted for by their numerical magnitude comparison skills. PMID:24699664

Symbolic Numerical Magnitude Processing Is as Important to Arithmetic as Phonological Awareness Is to Reading.

Directory of Open Access Journals (Sweden)

Kiran Vanbinst

Full Text Available In this article, we tested, using a 1-year longitudinal design, whether symbolic numerical magnitude processing or children's numerical representation of Arabic digits, is as important to arithmetic as phonological awareness is to reading. Children completed measures of symbolic comparison, phonological awareness, arithmetic, reading at the start of third grade and the latter two were retested at the start of fourth grade. Cross-sectional and longitudinal correlations indicated that symbolic comparison was a powerful domain-specific predictor of arithmetic and that phonological awareness was a unique predictor of reading. Crucially, the strength of these independent associations was not significantly different. This indicates that symbolic numerical magnitude processing is as important to arithmetic development as phonological awareness is to reading and suggests that symbolic numerical magnitude processing is a good candidate for screening children at risk for developing mathematical difficulties.

Symbolic manipulation methods in general relativity and fluid mechanics

International Nuclear Information System (INIS)

Cohen, I.

1976-03-01

Algebraic manipulation by computer, or automatic symbol manipulation (ASM) has not been used much in theoretical physics, especially if one compares it with numerical methods. Three examples of the use of ASM as a tool in theoretical physics are discussed. (Auth.)

Seeing the forest for the trees: hybridity and social-ecological symbols, rituals and resilience in postdisaster contexts

Directory of Open Access Journals (Sweden)

Keith G. Tidball

2014-12-01

Full Text Available The role of community-based natural resources management in the form of "greening" after large scale system shocks and surprises is argued to provide multiple benefits via engagement with living elements of social-ecological systems and subsequent enhanced resilience at multiple scales. The importance of so-called social-ecological symbols, especially the potent hybrid symbols of trees and their handling after a disaster is interrogated. The paper explores the notion of hybridity, and applies it to the hybrid symbol of the tree in postdisaster contexts. The paper briefly highlights three U.S. cases documenting the symbolic roles of trees in a context of significant shock to a social-ecological system: the terrorist attacks on New York City in 2001, the devastating hurricane that struck New Orleans in 2005, and the sudden tornadoes that wreaked havoc upon the small Midwestern city of Joplin, Missouri in 2011.

Symbol and Bit Error Rates Analysis of Hybrid PIM-CDMA

Directory of Open Access Journals (Sweden)

Ghassemlooy Z

2005-01-01

Full Text Available A hybrid pulse interval modulation code-division multiple-access (hPIM-CDMA scheme employing the strict optical orthogonal code (SOCC with unity and auto- and cross-correlation constraints for indoor optical wireless communications is proposed. In this paper, we analyse the symbol error rate (SER and bit error rate (BER of hPIM-CDMA. In the analysis, we consider multiple access interference (MAI, self-interference, and the hybrid nature of the hPIM-CDMA signal detection, which is based on the matched filter (MF. It is shown that the BER/SER performance can only be evaluated if the bit resolution conforms to the condition set by the number of consecutive false alarm pulses that might occur and be detected, so that one symbol being divided into two is unlikely to occur. Otherwise, the probability of SER and BER becomes extremely high and indeterminable. We show that for a large number of users, the BER improves when increasing the code weight . The results presented are compared with other modulation schemes.

Numerical Simulation of Transitional, Hypersonic Flows using a Hybrid Particle-Continuum Method

Science.gov (United States)

Verhoff, Ashley Marie

Analysis of hypersonic flows requires consideration of multiscale phenomena due to the range of flight regimes encountered, from rarefied conditions in the upper atmosphere to fully continuum flow at low altitudes. At transitional Knudsen numbers there are likely to be localized regions of strong thermodynamic nonequilibrium effects that invalidate the continuum assumptions of the Navier-Stokes equations. Accurate simulation of these regions, which include shock waves, boundary and shear layers, and low-density wakes, requires a kinetic theory-based approach where no prior assumptions are made regarding the molecular distribution function. Because of the nature of these types of flows, there is much to be gained in terms of both numerical efficiency and physical accuracy by developing hybrid particle-continuum simulation approaches. The focus of the present research effort is the continued development of the Modular Particle-Continuum (MPC) method, where the Navier-Stokes equations are solved numerically using computational fluid dynamics (CFD) techniques in regions of the flow field where continuum assumptions are valid, and the direct simulation Monte Carlo (DSMC) method is used where strong thermodynamic nonequilibrium effects are present. Numerical solutions of transitional, hypersonic flows are thus obtained with increased physical accuracy relative to CFD alone, and improved numerical efficiency is achieved in comparison to DSMC alone because this more computationally expensive method is restricted to those regions of the flow field where it is necessary to maintain physical accuracy. In this dissertation, a comprehensive assessment of the physical accuracy of the MPC method is performed, leading to the implementation of a non-vacuum supersonic outflow boundary condition in particle domains, and more consistent initialization of DSMC simulator particles along hybrid interfaces. The relative errors between MPC and full DSMC results are greatly reduced as a

Numerical Study on Couette Flow in Nanostructured Channel using Molecular-continuum Hybrid Method

Energy Technology Data Exchange (ETDEWEB)

Kim, Youngjin; Jeong, Myunggeun; Ha, Man Yeong [Pusan Nat’l Univ., Busan (Korea, Republic of)

2017-06-15

A molecular-continuum hybrid method was developed to simulate microscale and nanoscale fluids where continuum fluidic cannot be used to predict Couette flow. Molecular dynamics simulation is used near the solid surface where the flow cannot be predicted by continuum fluidic, and Navier-Stokes equations are used in the other regions. Numerical simulation of Couette flow was performed using the hybrid method to investigate the effect of solid-liquid interaction and surface roughness in a nanochannel. It was found that the solid-liquid interaction and surface roughness influence the boundary condition. When the surface energy is low, slippage occurs near the solid surface, and the magnitude of slippage decreases with increase in surface energy. When the surface energy is high, a locking boundary condition is formed. The roughness disturbs slippage near the solid surface and promotes the locking boundary condition.

Information decomposition method to analyze symbolical sequences

International Nuclear Information System (INIS)

Korotkov, E.V.; Korotkova, M.A.; Kudryashov, N.A.

2003-01-01

The information decomposition (ID) method to analyze symbolical sequences is presented. This method allows us to reveal a latent periodicity of any symbolical sequence. The ID method is shown to have advantages in comparison with application of the Fourier transformation, the wavelet transform and the dynamic programming method to look for latent periodicity. Examples of the latent periods for poetic texts, DNA sequences and amino acids are presented. Possible origin of a latent periodicity for different symbolical sequences is discussed

Improvement of the symbolic Monte-Carlo method for the transport equation: P1 extension and coupling with diffusion

International Nuclear Information System (INIS)

Clouet, J.F.; Samba, G.

2005-01-01

We use asymptotic analysis to study the diffusion limit of the Symbolic Implicit Monte-Carlo (SIMC) method for the transport equation. For standard SIMC with piecewise constant basis functions, we demonstrate mathematically that the solution converges to the solution of a wrong diffusion equation. Nevertheless a simple extension to piecewise linear basis functions enables to obtain the correct solution. This improvement allows the calculation in opaque medium on a mesh resolving the diffusion scale much larger than the transport scale. Anyway, the huge number of particles which is necessary to get a correct answer makes this computation time consuming. Thus, we have derived from this asymptotic study an hybrid method coupling deterministic calculation in the opaque medium and Monte-Carlo calculation in the transparent medium. This method gives exactly the same results as the previous one but at a much lower price. We present numerical examples which illustrate the analysis. (authors)

The symbol grounding problem revisited: a thorough evaluation of the ANS mapping account and the proposal of an alternative account based on symbol-symbol associations.

Directory of Open Access Journals (Sweden)

Bert Reynvoet

2016-10-01

Full Text Available Recently, a lot of studies in the domain of numerical cognition have been published demonstrating a robust association between numerical symbol processing and individual differences in mathematics achievement. Because numerical symbols are so important for mathematics achievement, many researchers want to provide an answer on the ‘symbol grounding problem’, i.e., how does a symbol acquires its numerical meaning? The most popular account, the ANS mapping account, assumes that a symbol acquires its numerical meaning by being mapped on a non-verbal and Approximate Number System (ANS. Here, we critically evaluate four arguments that are supposed to support this account, i.e., (1 there is an evolutionary system for approximate number processing, (2 non-symbolic and symbolic number processing show the same behavioral effects, (3 non-symbolic and symbolic numbers activate the same brain regions which are also involved in more advanced calculation and (4 non-symbolic comparison is related to the performance on symbolic mathematics achievement tasks. Based on this evaluation, we conclude that all of these arguments and consequently also the mapping account are questionable. Next we explored less popular alternative, where small numerical symbols are initially mapped on a precise representation and then, in combination with increasing knowledge of the counting list result in an independent and exact symbolic system based on order relations between symbols. We evaluate this account by reviewing evidence on order judgement tasks following the same four arguments. Although further research is necessary, the available evidence so far suggests that this symbol-symbol association account should be considered as a worthy alternative of how symbols acquire their meaning.

The Symbol Grounding Problem Revisited: A Thorough Evaluation of the ANS Mapping Account and the Proposal of an Alternative Account Based on Symbol-Symbol Associations.

Science.gov (United States)

Reynvoet, Bert; Sasanguie, Delphine

2016-01-01

Recently, a lot of studies in the domain of numerical cognition have been published demonstrating a robust association between numerical symbol processing and individual differences in mathematics achievement. Because numerical symbols are so important for mathematics achievement, many researchers want to provide an answer on the 'symbol grounding problem,' i.e., how does a symbol acquires its numerical meaning? The most popular account, the approximate number system ( ANS ) mapping account , assumes that a symbol acquires its numerical meaning by being mapped on a non-verbal and ANS. Here, we critically evaluate four arguments that are supposed to support this account, i.e., (1) there is an evolutionary system for approximate number processing, (2) non-symbolic and symbolic number processing show the same behavioral effects, (3) non-symbolic and symbolic numbers activate the same brain regions which are also involved in more advanced calculation and (4) non-symbolic comparison is related to the performance on symbolic mathematics achievement tasks. Based on this evaluation, we conclude that all of these arguments and consequently also the mapping account are questionable. Next we explored less popular alternative, where small numerical symbols are initially mapped on a precise representation and then, in combination with increasing knowledge of the counting list result in an independent and exact symbolic system based on order relations between symbols. We evaluate this account by reviewing evidence on order judgment tasks following the same four arguments. Although further research is necessary, the available evidence so far suggests that this symbol-symbol association account should be considered as a worthy alternative of how symbols acquire their meaning.

Eye-movement patterns during nonsymbolic and symbolic numerical magnitude comparison and their relation to math calculation skills.

Science.gov (United States)

Price, Gavin R; Wilkey, Eric D; Yeo, Darren J

2017-05-01

A growing body of research suggests that the processing of nonsymbolic (e.g. sets of dots) and symbolic (e.g. Arabic digits) numerical magnitudes serves as a foundation for the development of math competence. Performance on magnitude comparison tasks is thought to reflect the precision of a shared cognitive representation, as evidence by the presence of a numerical ratio effect for both formats. However, little is known regarding how visuo-perceptual processes are related to the numerical ratio effect, whether they are shared across numerical formats, and whether they relate to math competence independently of performance outcomes. The present study investigates these questions in a sample of typically developing adults. Our results reveal a pattern of associations between eye-movement measures, but not their ratio effects, across formats. This suggests that ratio-specific visuo-perceptual processing during magnitude processing is different across nonsymbolic and symbolic formats. Furthermore, eye movements are related to math performance only during symbolic comparison, supporting a growing body of literature suggesting symbolic number processing is more strongly related to math outcomes than nonsymbolic magnitude processing. Finally, eye-movement patterns, specifically fixation dwell time, continue to be negatively related to math performance after controlling for task performance (i.e. error rate and reaction time) and domain general cognitive abilities (IQ), suggesting that fluent visual processing of Arabic digits plays a unique and important role in linking symbolic number processing to formal math abilities. Copyright © 2017 Elsevier B.V. All rights reserved.

Real-time hybrid simulation using the convolution integral method

International Nuclear Information System (INIS)

Kim, Sung Jig; Christenson, Richard E; Wojtkiewicz, Steven F; Johnson, Erik A

2011-01-01

This paper proposes a real-time hybrid simulation method that will allow complex systems to be tested within the hybrid test framework by employing the convolution integral (CI) method. The proposed CI method is potentially transformative for real-time hybrid simulation. The CI method can allow real-time hybrid simulation to be conducted regardless of the size and complexity of the numerical model and for numerical stability to be ensured in the presence of high frequency responses in the simulation. This paper presents the general theory behind the proposed CI method and provides experimental verification of the proposed method by comparing the CI method to the current integration time-stepping (ITS) method. Real-time hybrid simulation is conducted in the Advanced Hazard Mitigation Laboratory at the University of Connecticut. A seismically excited two-story shear frame building with a magneto-rheological (MR) fluid damper is selected as the test structure to experimentally validate the proposed method. The building structure is numerically modeled and simulated, while the MR damper is physically tested. Real-time hybrid simulation using the proposed CI method is shown to provide accurate results

Analysis of radioactive waste contamination in soils: solution via symbolic manipulation

International Nuclear Information System (INIS)

Cotta, R.M.; Mikhailov, M.D.; Ruperti, N.J. Jr.

1998-01-01

A demonstration is made of the automatic symbolic-numerical solution of the one-dimensional linearized Burgers equation with linear decay, which models the migration of radionuclides in porous media, by using the generalized integral transform technique and the Mathematica software system. An example is considered to allow for comparisons between the proposed hybrid numerical-analytical solution and the exact solution. Different filtering strategies are also reviewed in terms of the effects on convergence rates. (author)

On determination of microphone response and other parameters by a hybrid experimental and numerical method

DEFF Research Database (Denmark)

Barrera Figueroa, Salvador; Jacobsen, Finn; Rasmussen, Knud

2008-01-01

to this problem is to measure the velocity distribution of the membrane by means of a non-contact method, such as laser vibrometry. The measured velocity distributions can be used together with a numerical formulation such as the Boundary Element Method for estimating the microphone response and other parameters...... such as the acoustic centres. In this work, a hybrid method is presented. The velocity distributions of condenser Laboratory Standard microphones were measured using a laser vibrometer. This measured velocity distribution was used for estimating the microphone responses and parameters. The agreement with experimental......Typically, numerical calculations of the pressure, free-field and random-incidence response of a condenser microphone are carried out on the basis of an assumed displacement distribution of the diaphragm of the microphone; the conventional assumption is that the displacement follows a Bessel...

Applications of symbolic algebraic computation

International Nuclear Information System (INIS)

Brown, W.S.; Hearn, A.C.

1979-01-01

This paper is a survey of applications of systems for symbomic algebraic computation. In most successful applications, calculations that can be taken to a given order by hand are then extended one or two more orders by computer. Furthermore, with a few notable exceptins, these applications also involve numerical computation in some way. Therefore the authors emphasize the interface between symbolic and numerical computation, including: 1. Computations with both symbolic and numerical phases. 2. Data involving both the unpredictible size and shape that typify symbolic computation and the (usually inexact) numerical values that characterize numerical computation. 3. Applications of one field to the other. It is concluded that the fields of symbolic and numerical computation can advance most fruitfully in harmony rather than in competition. (Auth.)

Symbolic and non-symbolic number magnitude processing in children with developmental dyscalculia.

Science.gov (United States)

Castro Cañizares, Danilka; Reigosa Crespo, Vivian; González Alemañy, Eduardo

2012-11-01

The aim of this study was to evaluate if children with Developmental Dyscalculia (DD) exhibit a general deficit in magnitude representations or a specific deficit in the connection of symbolic representations with the corresponding analogous magnitudes. DD was diagnosed using a timed arithmetic task. The experimental magnitude comparison tasks were presented in non-symbolic and symbolic formats. DD and typically developing (TD) children showed similar numerical distance and size congruity effects. However, DD children performed significantly slower in the symbolic task. These results are consistent with the access deficit hypothesis, according to which DD children's deficits are caused by difficulties accessing magnitude information from numerical symbols rather than in processing numerosities per se.

Hybrid method for determining the parameters of condenser microphones from measured membrane velocities and numerical calculations

DEFF Research Database (Denmark)

Barrera Figueroa, Salvador; Rasmussen, Knud; Jacobsen, Finn

2009-01-01

to this problem is to measure the velocity distribution of the membrane by means of a non-contact method, such as laser vibrometry. The measured velocity distribution can be used together with a numerical formulation such as the boundary element method for estimating the microphone response and other parameters......, e.g., the acoustic center. In this work, such a hybrid method is presented and examined. The velocity distributions of a number of condenser microphones have been determined using a laser vibrometer, and these measured velocity distributions have been used for estimating microphone responses......Typically, numerical calculations of the pressure, free-field, and random-incidence response of a condenser microphone are carried out on the basis of an assumed displacement distribution of the diaphragm of the microphone; the conventional assumption is that the displacement follows a Bessel...

The method of covariant symbols in curved space-time

International Nuclear Information System (INIS)

Salcedo, L.L.

2007-01-01

Diagonal matrix elements of pseudodifferential operators are needed in order to compute effective Lagrangians and currents. For this purpose the method of symbols is often used, which however lacks manifest covariance. In this work the method of covariant symbols, introduced by Pletnev and Banin, is extended to curved space-time with arbitrary gauge and coordinate connections. For the Riemannian connection we compute the covariant symbols corresponding to external fields, the covariant derivative and the Laplacian, to fourth order in a covariant derivative expansion. This allows one to obtain the covariant symbol of general operators to the same order. The procedure is illustrated by computing the diagonal matrix element of a nontrivial operator to second order. Applications of the method are discussed. (orig.)

Symbolic math for computation of radiation shielding

International Nuclear Information System (INIS)

Suman, Vitisha; Datta, D.; Sarkar, P.K.; Kushwaha, H.S.

2010-01-01

Radiation transport calculations for shielding studies in the field of accelerator technology often involve intensive numerical computations. Traditionally, radiation transport equation is solved using finite difference scheme or advanced finite element method with respect to specific initial and boundary conditions suitable for the geometry of the problem. All these computations need CPU intensive computer codes for accurate calculation of scalar and angular fluxes. Computation using symbols of the analytical expression representing the transport equation as objects is an enhanced numerical technique in which the computation is completely algorithm and data oriented. Algorithm on the basis of symbolic math architecture is developed using Symbolic math toolbox of MATLAB software. Present paper describes the symbolic math algorithm and its application as a case study in which shielding calculation of rectangular slab geometry is studied for a line source of specific activity. Study of application of symbolic math in this domain evolves a new paradigm compared to the existing computer code such as DORT. (author)

The effects of user factors and symbol referents on public symbol design using the stereotype production method.

Science.gov (United States)

Ng, Annie W Y; Siu, Kin Wai Michael; Chan, Chetwyn C H

2012-01-01

This study investigated the influence of user factors and symbol referents on public symbol design among older people, using the stereotype production method for collecting user ideas during the symbol design process. Thirty-one older adults were asked to draw images based on 28 public symbol referents and to indicate their familiarity with and ease with which they visualised each referent. Differences were found between the pictorial solutions generated by males and females. However, symbol design was not influenced by participants' education level, vividness of visual imagery, object imagery preference or spatial imagery preference. Both familiar and unfamiliar referents were illustrated pictorially without much difficulty by users. The more visual the referent, the less difficulty the users had in illustrating it. The findings of this study should aid the optimisation of the stereotype production method for user-involved symbol design. Copyright © 2011 Elsevier Ltd and The Ergonomics Society. All rights reserved.

Symbolic Processing Combined with Model-Based Reasoning

Science.gov (United States)

James, Mark

2009-01-01

A computer program for the detection of present and prediction of future discrete states of a complex, real-time engineering system utilizes a combination of symbolic processing and numerical model-based reasoning. One of the biggest weaknesses of a purely symbolic approach is that it enables prediction of only future discrete states while missing all unmodeled states or leading to incorrect identification of an unmodeled state as a modeled one. A purely numerical approach is based on a combination of statistical methods and mathematical models of the applicable physics and necessitates development of a complete model to the level of fidelity required for prediction. In addition, a purely numerical approach does not afford the ability to qualify its results without some form of symbolic processing. The present software implements numerical algorithms to detect unmodeled events and symbolic algorithms to predict expected behavior, correlate the expected behavior with the unmodeled events, and interpret the results in order to predict future discrete states. The approach embodied in this software differs from that of the BEAM methodology (aspects of which have been discussed in several prior NASA Tech Briefs articles), which provides for prediction of future measurements in the continuous-data domain.

Analysis of radioactive waste contamination in soils. Part IV: solution via symbolic manipulation

International Nuclear Information System (INIS)

Cotta, R.M.; Mikhailov, M.D.; Ruperti Junior, N.J.

1997-01-01

The goal of this paper is to demonstrate the automatic symbolic-numerical solution of the one-dimensional linearized Burgers equation with linear decay, which models the migration of radionuclides in porous media, by using the generalized integral transform technique and the Mathematic system. An example is considered to allow for comparison between the proposed hybrid numerical-analytical solution and the exact solution. Different filtering strategies are also investigated, in terms of the effects on convergence rates. (author)

An efficient soil water balance model based on hybrid numerical and statistical methods

Science.gov (United States)

Mao, Wei; Yang, Jinzhong; Zhu, Yan; Ye, Ming; Liu, Zhao; Wu, Jingwei

2018-04-01

Most soil water balance models only consider downward soil water movement driven by gravitational potential, and thus cannot simulate upward soil water movement driven by evapotranspiration especially in agricultural areas. In addition, the models cannot be used for simulating soil water movement in heterogeneous soils, and usually require many empirical parameters. To resolve these problems, this study derives a new one-dimensional water balance model for simulating both downward and upward soil water movement in heterogeneous unsaturated zones. The new model is based on a hybrid of numerical and statistical methods, and only requires four physical parameters. The model uses three governing equations to consider three terms that impact soil water movement, including the advective term driven by gravitational potential, the source/sink term driven by external forces (e.g., evapotranspiration), and the diffusive term driven by matric potential. The three governing equations are solved separately by using the hybrid numerical and statistical methods (e.g., linear regression method) that consider soil heterogeneity. The four soil hydraulic parameters required by the new models are as follows: saturated hydraulic conductivity, saturated water content, field capacity, and residual water content. The strength and weakness of the new model are evaluated by using two published studies, three hypothetical examples and a real-world application. The evaluation is performed by comparing the simulation results of the new model with corresponding results presented in the published studies, obtained using HYDRUS-1D and observation data. The evaluation indicates that the new model is accurate and efficient for simulating upward soil water flow in heterogeneous soils with complex boundary conditions. The new model is used for evaluating different drainage functions, and the square drainage function and the power drainage function are recommended. Computational efficiency of the new

Development of numerical methods to calculate the propagation and the absorption of the hybrid wave in tokamaks

International Nuclear Information System (INIS)

Sebelin, E.

1997-01-01

Full-wave calculations based on trial functions are carried out for solving the lower hybrid current drive problem in tokamaks. A variational method is developed and provides an efficient system to describe in a global manner both the propagation and the absorption of the electromagnetic waves in plasmas. The calculation is fully carried out in the case of circular and concentric flux surfaces. The existence and uniqueness of the solution of the wave propagation equation is mathematically proved. The first realistic simulations are performed for the high aspect ratio tokamak TRIAM-1M. It is checked that the main features of the lower-hybrid wave dynamics are well described numerically. (A.C.)

Symbolic interactionism as a theoretical perspective for multiple method research.

Science.gov (United States)

Benzies, K M; Allen, M N

2001-02-01

Qualitative and quantitative research rely on different epistemological assumptions about the nature of knowledge. However, the majority of nurse researchers who use multiple method designs do not address the problem of differing theoretical perspectives. Traditionally, symbolic interactionism has been viewed as one perspective underpinning qualitative research, but it is also the basis for quantitative studies. Rooted in social psychology, symbolic interactionism has a rich intellectual heritage that spans more than a century. Underlying symbolic interactionism is the major assumption that individuals act on the basis of the meaning that things have for them. The purpose of this paper is to present symbolic interactionism as a theoretical perspective for multiple method designs with the aim of expanding the dialogue about new methodologies. Symbolic interactionism can serve as a theoretical perspective for conceptually clear and soundly implemented multiple method research that will expand the understanding of human health behaviour.

Hybrid single node genetic programming for symbolic regression

NARCIS (Netherlands)

Kubalìk, Jiřì; Alibekov, Eduard; Žegklitz, Jan; Babuska, R.; Nguyen, NT; Kowalczyk, R; Filipe, J

2016-01-01

This paper presents a first step of our research on designing an effective and efficient GP-based method for symbolic regression. First, we propose three extensions of the standard Single Node GP, namely (1) a selection strategy for choosing nodes to be mutated based on depth and performance of

Analysis of radioactive waste contamination in soils. Part IV: solution via symbolic manipulation

Energy Technology Data Exchange (ETDEWEB)

Cotta, R.M.; Mikhailov, M.D. [Universidade Federal, Rio de Janeiro, RJ (Brazil). Coordenacao dos Programas de Pos-graduacao de Engenharia. Lab. de Transmissao e Tecnologia do Calor; Ruperti Junior, N.J. [Comissao Nacional de Energia Nuclear (CNEN), Rio de Janeiro, RJ (Brazil). Coordenacao de Rejeitos Radioativos

1997-12-31

The goal of this paper is to demonstrate the automatic symbolic-numerical solution of the one-dimensional linearized Burgers equation with linear decay, which models the migration of radionuclides in porous media, by using the generalized integral transform technique and the Mathematic system. An example is considered to allow for comparison between the proposed hybrid numerical-analytical solution and the exact solution. Different filtering strategies are also investigated, in terms of the effects on convergence rates. (author) 6 refs., 7 figs., 7 tabs.

Advanced symbolic analysis for VLSI systems methods and applications

CERN Document Server

Shi, Guoyong; Tlelo Cuautle, Esteban

2014-01-01

This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include  statistical timing and crosstalk analysis, statistical and parallel analysis, performance bound analysis and behavioral modeling for analog integrated circuits . Among the recent advances, the Binary Decision Diagram (BDD) based approaches are studied in depth. The BDD-based hierarchical symbolic analysis approaches, have essentially broken the analog circuit size barrier. In particular, this book   • Provides an overview of classical symbolic analysis methods and a comprehensive presentation on the modern  BDD-based symbolic analysis techniques; • Describes detailed implementation strategies for BDD-based algorithms, including the principles of zero-suppression, variable ordering and canonical reduction; • Int...

Axisymmetric buckling analysis of laterally restrained thick annular plates using a hybrid numerical method

Energy Technology Data Exchange (ETDEWEB)

Malekzadeh, P. [Department of Mechanical Engineering, Persian Gulf University, Bushehr 75168 (Iran, Islamic Republic of); Center of Excellence for Computational Mechanics, Shiraz University, Shiraz (Iran, Islamic Republic of)], E-mail: malekzadeh@pgu.ac.ir; Ouji, A. [Department of Civil Engineering, Persian Gulf University, Bushehr 75168 (Iran, Islamic Republic of); Islamic Azad University, Larestan Branch, Larestan (Iran, Islamic Republic of)

2008-11-15

The buckling analysis of annular thick plates with lateral supports such as two-parameter elastic foundations or ring supports is investigated using an elasticity based hybrid numerical method. For this purpose, firstly, the displacement components are perturbed around the pre-buckling state, which is located using the elasticity theory. Then, by decomposing the plate into a set of sub-domain in the form of co-axial annular plates, the buckling equations are discretized through the radial direction using global interpolation functions in conjunction with the principle of virtual work. The resulting differential equations are solved using the differential quadrature method. The method has the capability of modeling the arbitrary boundary conditions either at the inner and outer edges of thin-to-thick plates and with different types of lateral restraints. The fast rate of convergence of the method is demonstrated and comparison studies are carried out to establish its accuracy and versatility for thin-to-thick plates.

An electrophysiological investigation of non-symbolic magnitude processing: numerical distance effects in children with and without mathematical learning disabilities.

Science.gov (United States)

Heine, Angela; Wissmann, Jacqueline; Tamm, Sascha; De Smedt, Bert; Schneider, Michael; Stern, Elsbeth; Verschaffel, Lieven; Jacobs, Arthur M

2013-09-01

The aim of the present study was to probe electrophysiological effects of non-symbolic numerical processing in 20 children with mathematical learning disabilities (mean age = 99.2 months) compared to a group of 20 typically developing matched controls (mean age = 98.4 months). EEG data were obtained while children were tested with a standard non-symbolic numerical comparison paradigm that allowed us to investigate the effects of numerical distance manipulations for different set sizes, i.e., the classical subitizing, counting and estimation ranges. Effects of numerical distance manipulations on event-related potential (ERP) amplitudes as well as activation patterns of underlying current sources were analyzed. In typically developing children, the amplitudes of a late parietal positive-going ERP component showed systematic numerical distance effects that did not depend on set size. For the group of children with mathematical learning disabilities, ERP distance effects were found only for stimuli within the subitizing range. Current source density analysis of distance-related group effects suggested that areas in right inferior parietal regions are involved in the generation of the parietal ERP amplitude differences. Our results suggest that right inferior parietal regions are recruited differentially by controls compared to children with mathematical learning disabilities in response to non-symbolic numerical magnitude processing tasks, but only for stimuli with set sizes that exceed the subitizing range. Copyright © 2012 Elsevier Ltd. All rights reserved.

Hybrid SN Laplace Transform Method For Slab Lattice Calculations

International Nuclear Information System (INIS)

Segatto, Cynthia F.; Vilhena, Marco T.; Zani, Jose H.; Barros, Ricardo C.

2008-01-01

In typical lattice cells where a highly absorbing, small fuel element is embedded in the moderator, a large weakly absorbing medium, high-order transport methods become unnecessary. In this paper we describe a hybrid discrete ordinates (S N ) method for slab lattice calculations. This hybrid S N method combines the convenience of a low-order S N method in the moderator with a high-order S N method in the fuel. We use special fuel-moderator interface conditions based on an approximate angular flux interpolation analytical method and the Laplace transform (LTS N ) numerical method to calculate the neutron flux distribution and the thermal disadvantage factor. We present numerical results for a range of typical model problems. (authors)

Numerical solution to generalized Burgers'-Fisher equation using Exp-function method hybridized with heuristic computation.

Science.gov (United States)

Malik, Suheel Abdullah; Qureshi, Ijaz Mansoor; Amir, Muhammad; Malik, Aqdas Naveed; Haq, Ihsanul

2015-01-01

In this paper, a new heuristic scheme for the approximate solution of the generalized Burgers'-Fisher equation is proposed. The scheme is based on the hybridization of Exp-function method with nature inspired algorithm. The given nonlinear partial differential equation (NPDE) through substitution is converted into a nonlinear ordinary differential equation (NODE). The travelling wave solution is approximated by the Exp-function method with unknown parameters. The unknown parameters are estimated by transforming the NODE into an equivalent global error minimization problem by using a fitness function. The popular genetic algorithm (GA) is used to solve the minimization problem, and to achieve the unknown parameters. The proposed scheme is successfully implemented to solve the generalized Burgers'-Fisher equation. The comparison of numerical results with the exact solutions, and the solutions obtained using some traditional methods, including adomian decomposition method (ADM), homotopy perturbation method (HPM), and optimal homotopy asymptotic method (OHAM), show that the suggested scheme is fairly accurate and viable for solving such problems.

Numerical solution to generalized Burgers'-Fisher equation using Exp-function method hybridized with heuristic computation.

Directory of Open Access Journals (Sweden)

Suheel Abdullah Malik

Full Text Available In this paper, a new heuristic scheme for the approximate solution of the generalized Burgers'-Fisher equation is proposed. The scheme is based on the hybridization of Exp-function method with nature inspired algorithm. The given nonlinear partial differential equation (NPDE through substitution is converted into a nonlinear ordinary differential equation (NODE. The travelling wave solution is approximated by the Exp-function method with unknown parameters. The unknown parameters are estimated by transforming the NODE into an equivalent global error minimization problem by using a fitness function. The popular genetic algorithm (GA is used to solve the minimization problem, and to achieve the unknown parameters. The proposed scheme is successfully implemented to solve the generalized Burgers'-Fisher equation. The comparison of numerical results with the exact solutions, and the solutions obtained using some traditional methods, including adomian decomposition method (ADM, homotopy perturbation method (HPM, and optimal homotopy asymptotic method (OHAM, show that the suggested scheme is fairly accurate and viable for solving such problems.

Numerical schemes for the hybrid modeling approach of gas-particle turbulent flows

International Nuclear Information System (INIS)

Dorogan, K.

2012-01-01

Hybrid Moments/PDF methods have shown to be well suitable for the description of poly-dispersed turbulent two-phase flows in non-equilibrium which are encountered in some industrial situations involving chemical reactions, combustion or sprays. They allow to obtain a fine enough physical description of the poly-dispersity, non-linear source terms and convection phenomena. However, their approximations are noised with the statistical error, which in several situations may be a source of a bias. An alternative hybrid Moments-Moments/PDF approach examined in this work consists in coupling the Moments and the PDF descriptions, within the description of the dispersed phase itself. This hybrid method could reduce the statistical error and remove the bias. However, such a coupling is not straightforward in practice and requires the development of accurate and stable numerical schemes. The approaches introduced in this work rely on the combined use of the up-winding and relaxation-type techniques. They allow to obtain stable unsteady approximations for a system of partial differential equations containing non-smooth external data which are provided by the PDF part of the model. A comparison of the results obtained using the present method with those of the 'classical' hybrid approach is presented in terms of the numerical errors for a case of a co-current gas-particle wall jet. (author)

A numerical method for solving the 3D unsteady incompressible Navier Stokes equations in curvilinear domains with complex immersed boundaries

Science.gov (United States)

Ge, Liang; Sotiropoulos, Fotis

2007-08-01

A novel numerical method is developed that integrates boundary-conforming grids with a sharp interface, immersed boundary methodology. The method is intended for simulating internal flows containing complex, moving immersed boundaries such as those encountered in several cardiovascular applications. The background domain (e.g. the empty aorta) is discretized efficiently with a curvilinear boundary-fitted mesh while the complex moving immersed boundary (say a prosthetic heart valve) is treated with the sharp-interface, hybrid Cartesian/immersed-boundary approach of Gilmanov and Sotiropoulos [A. Gilmanov, F. Sotiropoulos, A hybrid cartesian/immersed boundary method for simulating flows with 3d, geometrically complex, moving bodies, Journal of Computational Physics 207 (2005) 457-492.]. To facilitate the implementation of this novel modeling paradigm in complex flow simulations, an accurate and efficient numerical method is developed for solving the unsteady, incompressible Navier-Stokes equations in generalized curvilinear coordinates. The method employs a novel, fully-curvilinear staggered grid discretization approach, which does not require either the explicit evaluation of the Christoffel symbols or the discretization of all three momentum equations at cell interfaces as done in previous formulations. The equations are integrated in time using an efficient, second-order accurate fractional step methodology coupled with a Jacobian-free, Newton-Krylov solver for the momentum equations and a GMRES solver enhanced with multigrid as preconditioner for the Poisson equation. Several numerical experiments are carried out on fine computational meshes to demonstrate the accuracy and efficiency of the proposed method for standard benchmark problems as well as for unsteady, pulsatile flow through a curved, pipe bend. To demonstrate the ability of the method to simulate flows with complex, moving immersed boundaries we apply it to calculate pulsatile, physiological flow

Symbolic and Numerical Modeling of Nonlinear Dynamics of Particles in Accelerators

Science.gov (United States)

Andrianov, Sergey; Sboeva, Ekaterina

2018-02-01

This paper is devoted to one of the methods of symbolic computation, which based on perturbation theory and constructed in the framework of matrix formalism. This method can be used for solving optimization problems and preliminary modeling in accelerator physics. There are presented the main theoretical positions and demonstration the result of this method on example of one of classical problems.

Reduction Methods for Real-time Simulations in Hybrid Testing

DEFF Research Database (Denmark)

Andersen, Sebastian

2016-01-01

Hybrid testing constitutes a cost-effective experimental full scale testing method. The method was introduced in the 1960's by Japanese researchers, as an alternative to conventional full scale testing and small scale material testing, such as shake table tests. The principle of the method...... is performed on a glass fibre reinforced polymer composite box girder. The test serves as a pilot test for prospective real-time tests on a wind turbine blade. The Taylor basis is implemented in the test, used to perform the numerical simulations. Despite of a number of introduced errors in the real...... is to divide a structure into a physical substructure and a numerical substructure, and couple these in a test. If the test is conducted in real-time it is referred to as real time hybrid testing. The hybrid testing concept has developed significantly since its introduction in the 1960', both with respect...

Hybrid undulator numerical optimization

Energy Technology Data Exchange (ETDEWEB)

Hairetdinov, A.H. [Kurchatov Institute, Moscow (Russian Federation); Zukov, A.A. [Solid State Physics Institute, Chernogolovka (Russian Federation)

1995-12-31

3D properties of the hybrid undulator scheme arc studied numerically using PANDIRA code. It is shown that there exist two well defined sets of undulator parameters which provide either maximum on-axis field amplitude or minimal higher harmonics amplitude of the basic undulator field. Thus the alternative between higher field amplitude or pure sinusoidal field exists. The behavior of the undulator field amplitude and harmonics structure for a large set of (undulator gap)/(undulator wavelength) values is demonstrated.

Hybrid numerical methods for multiscale simulations of subsurface biogeochemical processes

International Nuclear Information System (INIS)

Scheibe, T D; Tartakovsky, A M; Tartakovsky, D M; Redden, G D; Meakin, P

2007-01-01

Many subsurface flow and transport problems of importance today involve coupled non-linear flow, transport, and reaction in media exhibiting complex heterogeneity. In particular, problems involving biological mediation of reactions fall into this class of problems. Recent experimental research has revealed important details about the physical, chemical, and biological mechanisms involved in these processes at a variety of scales ranging from molecular to laboratory scales. However, it has not been practical or possible to translate detailed knowledge at small scales into reliable predictions of field-scale phenomena important for environmental management applications. A large assortment of numerical simulation tools have been developed, each with its own characteristic scale. Important examples include 1. molecular simulations (e.g., molecular dynamics); 2. simulation of microbial processes at the cell level (e.g., cellular automata or particle individual-based models); 3. pore-scale simulations (e.g., lattice-Boltzmann, pore network models, and discrete particle methods such as smoothed particle hydrodynamics); and 4. macroscopic continuum-scale simulations (e.g., traditional partial differential equations solved by finite difference or finite element methods). While many problems can be effectively addressed by one of these models at a single scale, some problems may require explicit integration of models across multiple scales. We are developing a hybrid multi-scale subsurface reactive transport modeling framework that integrates models with diverse representations of physics, chemistry and biology at different scales (sub-pore, pore and continuum). The modeling framework is being designed to take advantage of advanced computational technologies including parallel code components using the Common Component Architecture, parallel solvers, gridding, data and workflow management, and visualization. This paper describes the specific methods/codes being used at each

Hybrid matrix method for stable numerical analysis of the propagation of Dirac electrons in gapless bilayer graphene superlattices

Science.gov (United States)

Briones-Torres, J. A.; Pernas-Salomón, R.; Pérez-Álvarez, R.; Rodríguez-Vargas, I.

2016-05-01

Gapless bilayer graphene (GBG), like monolayer graphene, is a material system with unique properties, such as anti-Klein tunneling and intrinsic Fano resonances. These properties rely on the gapless parabolic dispersion relation and the chiral nature of bilayer graphene electrons. In addition, propagating and evanescent electron states coexist inherently in this material, giving rise to these exotic properties. In this sense, bilayer graphene is unique, since in most material systems in which Fano resonance phenomena are manifested an external source that provides extended states is required. However, from a numerical standpoint, the presence of evanescent-divergent states in the eigenfunctions linear superposition representing the Dirac spinors, leads to a numerical degradation (the so called Ωd problem) in the practical applications of the standard Coefficient Transfer Matrix (K) method used to study charge transport properties in Bilayer Graphene based multi-barrier systems. We present here a straightforward procedure based in the hybrid compliance-stiffness matrix method (H) that can overcome this numerical degradation. Our results show that in contrast to standard matrix method, the proposed H method is suitable to study the transmission and transport properties of electrons in GBG superlattice since it remains numerically stable regardless the size of the superlattice and the range of values taken by the input parameters: the energy and angle of the incident electrons, the barrier height and the thickness and number of barriers. We show that the matrix determinant can be used as a test of the numerical accuracy in real calculations.

A hybrid hydrostatic and non-hydrostatic numerical model for shallow flow simulations

Science.gov (United States)

Zhang, Jingxin; Liang, Dongfang; Liu, Hua

2018-05-01

Hydrodynamics of geophysical flows in oceanic shelves, estuaries, and rivers, are often studied by solving shallow water model equations. Although hydrostatic models are accurate and cost efficient for many natural flows, there are situations where the hydrostatic assumption is invalid, whereby a fully hydrodynamic model is necessary to increase simulation accuracy. There is a growing concern about the decrease of the computational cost of non-hydrostatic pressure models to improve the range of their applications in large-scale flows with complex geometries. This study describes a hybrid hydrostatic and non-hydrostatic model to increase the efficiency of simulating shallow water flows. The basic numerical model is a three-dimensional hydrostatic model solved by the finite volume method (FVM) applied to unstructured grids. Herein, a second-order total variation diminishing (TVD) scheme is adopted. Using a predictor-corrector method to calculate the non-hydrostatic pressure, we extended the hydrostatic model to a fully hydrodynamic model. By localising the computational domain in the corrector step for non-hydrostatic pressure calculations, a hybrid model was developed. There was no prior special treatment on mode switching, and the developed numerical codes were highly efficient and robust. The hybrid model is applicable to the simulation of shallow flows when non-hydrostatic pressure is predominant only in the local domain. Beyond the non-hydrostatic domain, the hydrostatic model is still accurate. The applicability of the hybrid method was validated using several study cases.

A numeric-analytic method for approximating the chaotic Chen system

International Nuclear Information System (INIS)

Mossa Al-sawalha, M.; Noorani, M.S.M.

2009-01-01

The epitome of this paper centers on the application of the differential transformation method (DTM) the renowned Chen system which is described as a three-dimensional system of ODEs with quadratic nonlinearities. Numerical comparisons are made between the DTM and the classical fourth-order Runge-Kutta method (RK4). Our work showcases the precision of the DTM as the Chen system transforms from a non-chaotic system to a chaotic one. Since the Lyapunov exponent for this system is much higher compared to other chaotic systems, we shall highlight the difficulties of the simulations with respect to its accuracy. We wrap up our investigations to reveal that this direct symbolic-numeric scheme is effective and accurate.

An Efficient Primitive-Based Method to Recognize Online Sketched Symbols with Autocompletion

Directory of Open Access Journals (Sweden)

Wei Deng

2015-01-01

Full Text Available We present a new structural method of sketched symbol recognition, which aims to recognize a hand-drawn symbol before it is fully completed. It is invariant to scale, stroke number, and order. We also present two novel descriptors to represent the spatial distribution between two primitives. One is invariant to rotation and the other is not. Then a symbol is represented as a set of descriptors. The distance between the input symbol and the template one is calculated based on the assignment problem. Moreover, a fast nearest neighbor (NN search algorithm is proposed for recognition. The method achieves a satisfactory recognition rate in real time.

Diamond difference method with hybrid angular quadrature applied to neutron transport problems

International Nuclear Information System (INIS)

Zani, Jose H.; Barros, Ricardo C.; Alves Filho, Hermes

2005-01-01

In this work we presents the results for the calculations of the disadvantage factor in thermal nuclear reactor physics. We use the one-group discrete ordinates (S N ) equations to mathematically model the flux distributions in slab lattices. We apply the diamond difference method with source iteration iterative scheme to numerically solve the discretized systems equations. We used special interface conditions to describe the method with hybrid angular quadrature. We show numerical results to illustrate the accuracy of the hybrid method. (author)

Symbolics in control design: prospects and research issues

DEFF Research Database (Denmark)

Christensen, Anders

1994-01-01

The symbolic processor is targeted as a novel basic service in computer aided control system design. Basic symbolic tools are exemplified. A design process model is formulated for control design, with subsets manipulator, tools, target and goals. It is argued, that symbolic processing will give...... substantial contributions to future design environments, as it provides flexibility of representation not possible with traditional numerics. Based on the design process, views on research issues in the incorporation of symbolic processing into traditional numerical design environments are given...

Hybrid immersed interface-immersed boundary methods for AC dielectrophoresis

International Nuclear Information System (INIS)

Hossan, Mohammad Robiul; Dillon, Robert; Dutta, Prashanta

2014-01-01

Dielectrophoresis, a nonlinear electrokinetic transport mechanism, has become popular in many engineering applications including manipulation, characterization and actuation of biomaterials, particles and biological cells. In this paper, we present a hybrid immersed interface–immersed boundary method to study AC dielectrophoresis where an algorithm is developed to solve the complex Poisson equation using a real variable formulation. An immersed interface method is employed to obtain the AC electric field in a fluid media with suspended particles and an immersed boundary method is used for the fluid equations and particle transport. The convergence of the proposed algorithm as well as validation of the hybrid scheme with experimental results is presented. In this paper, the Maxwell stress tensor is used to calculate the dielectrophoretic force acting on particles by considering the physical effect of particles in the computational domain. Thus, this study eliminates the approximations used in point dipole methods for calculating dielectrophoretic force. A comparative study between Maxwell stress tensor and point dipole methods for computing dielectrophoretic forces are presented. The hybrid method is used to investigate the physics of dielectrophoresis in microfluidic devices using an AC electric field. The numerical results show that with proper design and appropriate selection of applied potential and frequency, global electric field minima can be obtained to facilitate multiple particle trapping by exploiting the mechanism of negative dielectrophoresis. Our numerical results also show that electrically neutral particles form a chain parallel to the applied electric field irrespective of their initial orientation when an AC electric field is applied. This proposed hybrid numerical scheme will help to better understand dielectrophoresis and to design and optimize microfluidic devices

A study of symbol segmentation method for handwritten mathematical formula recognition using mathematical structure information

OpenAIRE

Toyozumi, Kenichi; Yamada, Naoya; Kitasaka, Takayuki; Mori, Kensaku; Suenaga, Yasuhito; Mase, Kenji; Takahashi, Tomoichi

2004-01-01

Symbol segmentation is very important in handwritten mathematical formula recognition, since it is the very first portion of the recognition, since it is the very first portion of the recognition process. This paper proposes a new symbol segmentation method using mathematical structure information. The base technique of symbol segmentation employed in theexisting methods is dynamic programming which optimizes the overall results of individual symbol recognition. The new method we propose here...

Symbolic Computing in Probabilistic and Stochastic Analysis

Directory of Open Access Journals (Sweden)

Kamiński Marcin

2015-12-01

Full Text Available The main aim is to present recent developments in applications of symbolic computing in probabilistic and stochastic analysis, and this is done using the example of the well-known MAPLE system. The key theoretical methods discussed are (i analytical derivations, (ii the classical Monte-Carlo simulation approach, (iii the stochastic perturbation technique, as well as (iv some semi-analytical approaches. It is demonstrated in particular how to engage the basic symbolic tools implemented in any system to derive the basic equations for the stochastic perturbation technique and how to make an efficient implementation of the semi-analytical methods using an automatic differentiation and integration provided by the computer algebra program itself. The second important illustration is probabilistic extension of the finite element and finite difference methods coded in MAPLE, showing how to solve boundary value problems with random parameters in the environment of symbolic computing. The response function method belongs to the third group, where interference of classical deterministic software with the non-linear fitting numerical techniques available in various symbolic environments is displayed. We recover in this context the probabilistic structural response in engineering systems and show how to solve partial differential equations including Gaussian randomness in their coefficients.

Numerical weather prediction (NWP) and hybrid ARMA/ANN model to predict global radiation

International Nuclear Information System (INIS)

Voyant, Cyril; Muselli, Marc; Paoli, Christophe; Nivet, Marie-Laure

2012-01-01

We propose in this paper an original technique to predict global radiation using a hybrid ARMA/ANN model and data issued from a numerical weather prediction model (NWP). We particularly look at the multi-layer perceptron (MLP). After optimizing our architecture with NWP and endogenous data previously made stationary and using an innovative pre-input layer selection method, we combined it to an ARMA model from a rule based on the analysis of hourly data series. This model has been used to forecast the hourly global radiation for five places in Mediterranean area. Our technique outperforms classical models for all the places. The nRMSE for our hybrid model MLP/ARMA is 14.9% compared to 26.2% for the naïve persistence predictor. Note that in the standalone ANN case the nRMSE is 18.4%. Finally, in order to discuss the reliability of the forecaster outputs, a complementary study concerning the confidence interval of each prediction is proposed. -- Highlights: ► Time series forecasting with hybrid method based on the use of ALADIN numerical weather model, ANN and ARMA. ► Innovative pre-input layer selection method. ► Combination of optimized MLP and ARMA model obtained from a rule based on the analysis of hourly data series. ► Stationarity process (method and control) for the global radiation time series.

The asymptotic expansion method via symbolic computation

OpenAIRE

Navarro, Juan F.

2012-01-01

This paper describes an algorithm for implementing a perturbation method based on an asymptotic expansion of the solution to a second-order differential equation. We also introduce a new symbolic computation system which works with the so-called modified quasipolynomials, as well as an implementation of the algorithm on it.

Verification of a novel innovative blade root design for wind turbines using a hybrid numerical method

DEFF Research Database (Denmark)

Zhu, Wei Jun; Shen, Wen Zhong; Sørensen, Jens Nørkær

2017-01-01

captured at the outer part of the blades, where the relative wind speed is high. To assess the impact of this novel design idea, a hybrid numerical technique, based on solving the Reynolds-averaged Navier-Stokes equations, is utilized to determine the aerodynamic performance. The in-house developed Ellip...

The Asymptotic Expansion Method via Symbolic Computation

Directory of Open Access Journals (Sweden)

Juan F. Navarro

2012-01-01

Full Text Available This paper describes an algorithm for implementing a perturbation method based on an asymptotic expansion of the solution to a second-order differential equation. We also introduce a new symbolic computation system which works with the so-called modified quasipolynomials, as well as an implementation of the algorithm on it.

Performance of the split-symbol moments SNR estimator in the presence of inter-symbol interference

Science.gov (United States)

Shah, B.; Hinedi, S.

1989-01-01

The Split-Symbol Moments Estimator (SSME) is an algorithm that is designed to estimate symbol signal-to-noise ratio (SNR) in the presence of additive white Gaussian noise (AWGN). The performance of the SSME algorithm in band-limited channels is examined. The effects of the resulting inter-symbol interference (ISI) are quantified. All results obtained are in closed form and can be easily evaluated numerically for performance prediction purposes. Furthermore, they are validated through digital simulations.

A Laplace transform method for energy multigroup hybrid discrete ordinates

International Nuclear Information System (INIS)

Segatto, C.F.; Vilhena, M.T.; Barros, R.C.

2010-01-01

In typical lattice cells where a highly absorbing, small fuel element is embedded in the moderator, a large weakly absorbing medium, high-order transport methods become unnecessary. In this work we describe a hybrid discrete ordinates (S N) method for energy multigroup slab lattice calculations. This hybrid S N method combines the convenience of a low-order S N method in the moderator with a high-order S N method in the fuel. The idea is based on the fact that in weakly absorbing media whose physical size is several neutron mean free paths in extent, even the S 2 method (P 1 approximation), leads to an accurate result. We use special fuel-moderator interface conditions and the Laplace transform (LTS N ) analytical numerical method to calculate the two-energy group neutron flux distributions and the thermal disadvantage factor. We present numerical results for a range of typical model problems.

Operator ordering in quantum optics theory and the development of Dirac's symbolic method

International Nuclear Information System (INIS)

Fan Hongyi

2003-01-01

We present a general unified approach for arranging quantum operators of optical fields into ordered products (normal ordering, antinormal ordering, Weyl ordering (or symmetric ordering)) by fashioning Dirac's symbolic method and representation theory. We propose the technique of integration within an ordered product (IWOP) of operators to realize our goal. The IWOP makes Dirac's representation theory and the symbolic method more transparent and consequently more easily understood. The beauty of Dirac's symbolic method is further revealed. Various applications of the IWOP technique, such as in developing the entangled state representation theory, nonlinear coherent state theory, Wigner function theory, etc, are presented. (review article)

SYSTEMATIC PRINCIPLES AND METHODS OF SYMBOLIC APPROACHES IN URBAN DESIGN

Directory of Open Access Journals (Sweden)

BULAKH I. V

2015-12-01

Full Text Available Formulation of the problem. The low level of expression and personalization of mass architecture of the second half of the twentieth century connected with the spread of industrial technology and even to a greater extent with mechanistic traditionally functional relation to the average person as, abstract consumer architecture. The condition out of the critical situation is focusing on matters aesthetic, artistic understanding and harmonious image creation environment. The problem of increasing architectural and artistic level of architectural and urban planning solutions to overcome the monotony of planning and development, creating aesthetically expressive urban environment does not lose relevance over the past decades. Understanding and acceptance of enigma and dynamic development of cities encourage architects to find new design techniques that are able to provide in the future a reasonable possibility of forming artistic and aesthetic image of the modern city. Purpose. Define and systematize the principles of symbolization architectural and planning images; propose methods symbolism in the architectural planning of image of the urban environment. Conclusion based on analysis of the enhanced concept symbolizing the image of Architecture and Planning, the place, role and symbolization trends at all levels of the urban environment - planning, three-dimensional and improvement of urban areas; first identified the main stages and levels of symbolization (analohyzatsyya, schematization and alehoryzatsiya, their features and characteristics, formulated the basic principles of symbolization architectural and planning of image, namely the principles of communication between figurative analogies, transformation of subsequent circuits, switching allegorical groupings and metamorfizm ultimate goal – symbol birth .

Symbolic phase transfer entropy method and its application

Science.gov (United States)

Zhang, Ningning; Lin, Aijing; Shang, Pengjian

2017-10-01

In this paper, we introduce symbolic phase transfer entropy (SPTE) to infer the direction and strength of information flow among systems. The advantages of the proposed method are investigated by simulations on synthetic signals and real-world data. We demonstrate that symbolic phase transfer entropy is a robust and efficient tool to infer the information flow between complex systems. Based on the study of the synthetic data, we find a significant advantage of SPTE is its reduced sensitivity to noise. In addition, SPTE requires less amount of data than symbolic transfer entropy(STE). We analyze the direction and strength of information flow between six stock markets during the period from 2006 to 2016. The results indicate that the information flow among stocks varies over different periods. We also find that the interaction network pattern among stocks undergoes hierarchial reorganization with transition from one period to another. It is shown that the clusters are mainly classified according to period, and then by region. The stocks during the same time period are shown to drop into the same cluster.

The contributions of numerical acuity and non-numerical stimulus features to the development of the number sense and symbolic math achievement.

Science.gov (United States)

Starr, Ariel; DeWind, Nicholas K; Brannon, Elizabeth M

2017-11-01

Numerical acuity, frequently measured by a Weber fraction derived from nonsymbolic numerical comparison judgments, has been shown to be predictive of mathematical ability. However, recent findings suggest that stimulus controls in these tasks are often insufficiently implemented, and the proposal has been made that alternative visual features or inhibitory control capacities may actually explain this relation. Here, we use a novel mathematical algorithm to parse the relative influence of numerosity from other visual features in nonsymbolic numerical discrimination and to examine the strength of the relations between each of these variables, including inhibitory control, and mathematical ability. We examined these questions developmentally by testing 4-year-old children, 6-year-old children, and adults with a nonsymbolic numerical comparison task, a symbolic math assessment, and a test of inhibitory control. We found that the influence of non-numerical features decreased significantly over development but that numerosity was a primary determinate of decision making at all ages. In addition, numerical acuity was a stronger predictor of math achievement than either non-numerical bias or inhibitory control in children. These results suggest that the ability to selectively attend to number contributes to the maturation of the number sense and that numerical acuity, independent of inhibitory control, contributes to math achievement in early childhood. Copyright © 2017 Elsevier B.V. All rights reserved.

Numerical comparison of robustness of some reduction methods in rough grids

KAUST Repository

Hou, Jiangyong

2014-04-09

In this article, we present three nonsymmetric mixed hybrid RT 1 2 methods and compare with some recently developed reduction methods which are suitable for the single-phase Darcy flow problem with full anisotropic and highly heterogeneous permeability on general quadrilateral grids. The methods reviewed are multipoint flux approximation (MPFA), multipoint flux mixed finite element method, mixed-finite element with broken RT 1 2 method, MPFA-type mimetic finite difference method, and symmetric mixed-hybrid finite element method. The numerical experiments of these methods on different distorted meshes are compared, as well as their differences in performance of fluxes are discussed. © 2014 Wiley Periodicals, Inc.

Anomalous diffusion in a symbolic model

International Nuclear Information System (INIS)

Ribeiro, H V; Lenzi, E K; Mendes, R S; Santoro, P A

2011-01-01

In this work, we investigate some statistical properties of symbolic sequences generated by a numerical procedure in which the symbols are repeated following the power-law probability density. In this analysis, we consider that the sum of n symbols represents the position of a particle in erratic movement. This approach reveals a rich diffusive scenario characterized by non-Gaussian distribution and, depending on the power-law exponent or the procedure used to build the walker, we may have superdiffusion, subdiffusion or usual diffusion. Additionally, we use the continuous-time random walk framework to compare the analytic results with the numerical data, thereby finding good agreement. Because of its simplicity and flexibility, this model can be a candidate for describing real systems governed by power-law probability densities.

Symbolic Machine Learning: A Different Answer to the Problem of the Acquisition of Lexical Knowledge from Corpora

Directory of Open Access Journals (Sweden)

Pascale Sébillot

2008-07-01

Full Text Available One relevant way to structure the domain of lexical knowledge (e.g. relations between lexical units acquisition from corpora is to oppose numerical versus symbolic techniques. Numerical approaches of acquisition exploit the frequential aspect of data, have been widely used, and produce portable systems, but poor explanations of their results. Symbolic approaches exploit the structural aspect of data. Among them, the symbolic machine learning (ML techniques can infer efficient and expressive patterns of a target relation from examples of elements that verify this relation. These methods are however far less known, and the aim of this paper is to point out their interest through the description of one precise experiment. To remove their supervised characteristic, and instead of opposing them to numerical approaches, we finally show that it is possible to combine one symbolic ML technique to one numerical one, and keep advantages of both (meaningful patterns, efficient extraction, portability.

Hybrid Method Simulation of Slender Marine Structures

DEFF Research Database (Denmark)

Christiansen, Niels Hørbye

This present thesis consists of an extended summary and five appended papers concerning various aspects of the implementation of a hybrid method which combines classical simulation methods and artificial neural networks. The thesis covers three main topics. Common for all these topics...... only recognize patterns similar to those comprised in the data used to train the network. Fatigue life evaluation of marine structures often considers simulations of more than a hundred different sea states. Hence, in order for this method to be useful, the training data must be arranged so...... that a single neural network can cover all relevant sea states. The applicability and performance of the present hybrid method is demonstrated on a numerical model of a mooring line attached to a floating offshore platform. The second part of the thesis demonstrates how sequential neural networks can be used...

Numerical optimization of actuator trajectories for ITER hybrid scenario profile evolution

International Nuclear Information System (INIS)

Dongen, J van; Hogeweij, G M D; Felici, F; Geelen, P; Maljaars, E

2014-01-01

Optimal actuator trajectories for an ITER hybrid scenario ramp-up are computed using a numerical optimization method. For both L-mode and H-mode scenarios, the time trajectory of plasma current, EC heating and current drive distribution is determined that minimizes a chosen cost function, while satisfying constraints. The cost function is formulated to reflect two desired properties of the plasma q profile at the end of the ramp-up. The first objective is to maximize the ITG turbulence threshold by maximizing the volume-averaged s/q ratio. The second objective is to achieve a stationary q profile by having a flat loop voltage profile. Actuator and physics-derived constraints are included, imposing limits on plasma current, ramp rates, internal inductance and q profile. This numerical method uses the fast control-oriented plasma profile evolution code RAPTOR, which is successfully benchmarked against more complete CRONOS simulations for L-mode and H-mode mode ITER hybrid scenarios. It is shown that the optimized trajectories computed using RAPTOR also result in an improved ramp-up scenario for CRONOS simulations using the same input trajectories. Furthermore, the optimal trajectories are shown to vary depending on the precise timing of the L–H transition. (paper)

Discrimination symbol applying method for sintered nuclear fuel product

International Nuclear Information System (INIS)

Ishizaki, Jin

1998-01-01

The present invention provides a symbol applying method for applying discrimination information such as an enrichment degree on the end face of a sintered nuclear product. Namely, discrimination symbols of information of powders are applied by a sintering aid to the end face of a molded member formed by molding nuclear fuel powders under pressure. Then, the molded product is sintered. The sintering aid comprises aluminum oxide, a mixture of aluminum oxide and silicon dioxide, aluminum hydride or aluminum stearate alone or in admixture. As an applying means of the sintering aid, discrimination symbols of information of powders are drawn by an isostearic acid on the end face of the molded product, and the sintering aid is sprayed thereto, or the sintering aid is applied directly, or the sintering aid is suspended in isostearic acid, and the suspension is applied with a brush. As a result, visible discrimination information can be applied to the sintered member easily. (N.H.)

Development of numerical methods to calculate the propagation and the absorption of the hybrid wave in tokamaks; Developpement des methodes numeriques pour la resolution de la propagation et de l`absorption de l`onde hybride dans les tokamaks

Energy Technology Data Exchange (ETDEWEB)

Sebelin, E

1997-12-15

Full-wave calculations based on trial functions are carried out for solving the lower hybrid current drive problem in tokamaks. A variational method is developed and provides an efficient system to describe in a global manner both the propagation and the absorption of the electromagnetic waves in plasmas. The calculation is fully carried out in the case of circular and concentric flux surfaces. The existence and uniqueness of the solution of the wave propagation equation is mathematically proved. The first realistic simulations are performed for the high aspect ratio tokamak TRIAM-1M. It is checked that the main features of the lower-hybrid wave dynamics are well described numerically. (A.C.) 81 refs.

The impact of symbolic and non-symbolic quantity on spatial learning.

Directory of Open Access Journals (Sweden)

Koleen McCrink

Full Text Available An implicit mapping of number to space via a "mental number line" occurs automatically in adulthood. Here, we systematically explore the influence of differing representations of quantity (no quantity, non-symbolic magnitudes, and symbolic numbers and directional flow of stimuli (random flow, left-to-right, or right-to-left on learning and attention via a match-to-sample working memory task. When recalling a cognitively demanding string of spatial locations, subjects performed best when information was presented right-to-left. When non-symbolic or symbolic numerical arrays were embedded in these spatial locations, and mental number line congruency prompted, this effect was attenuated and in some cases reversed. In particular, low-performing female participants who viewed increasing non-symbolic number arrays paired with the spatial locations exhibited better recall for left-to-right directional flow information relative to right-to-left, and better processing for the left side of space relative to the right side of space. The presence of symbolic number during spatial learning enhanced recall to a greater degree than non-symbolic number--especially for female participants, and especially when cognitive load is high--and this difference was independent of directional flow of information. We conclude that quantity representations have the potential to scaffold spatial memory, but this potential is subtle, and mediated by the nature of the quantity and the gender and performance level of the learner.

Numerical Development

Science.gov (United States)

Siegler, Robert S.; Braithwaite, David W.

2016-01-01

In this review, we attempt to integrate two crucial aspects of numerical development: learning the magnitudes of individual numbers and learning arithmetic. Numerical magnitude development involves gaining increasingly precise knowledge of increasing ranges and types of numbers: from non-symbolic to small symbolic numbers, from smaller to larger…

Anomaly Detection in Gas Turbine Fuel Systems Using a Sequential Symbolic Method

Directory of Open Access Journals (Sweden)

Fei Li

2017-05-01

Full Text Available Anomaly detection plays a significant role in helping gas turbines run reliably and economically. Considering the collective anomalous data and both sensitivity and robustness of the anomaly detection model, a sequential symbolic anomaly detection method is proposed and applied to the gas turbine fuel system. A structural Finite State Machine is used to evaluate posterior probabilities of observing symbolic sequences and the most probable state sequences they may locate. Hence an estimation-based model and a decoding-based model are used to identify anomalies in two different ways. Experimental results indicate that both models have both ideal performance overall, but the estimation-based model has a strong robustness ability, whereas the decoding-based model has a strong accuracy ability, particularly in a certain range of sequence lengths. Therefore, the proposed method can facilitate well existing symbolic dynamic analysis- based anomaly detection methods, especially in the gas turbine domain.

Symbols in numbers: From numerals to magnitude information

NARCIS (Netherlands)

Lindemann, O.; Rüschemeyer, S.A.; Bekkering, H.

2009-01-01

A dual-code model of number processing needs to take into account the difference between a number symbol and its meaning. The transition of automatic non-abstract number representations into intentional abstract representations could be conceptualized as a translation of perceptual asematic

Preface of "The Second Symposium on Border Zones Between Experimental and Numerical Application Including Solution Approaches By Extensions of Standard Numerical Methods"

Science.gov (United States)

Ortleb, Sigrun; Seidel, Christian

2017-07-01

In this second symposium at the limits of experimental and numerical methods, recent research is presented on practically relevant problems. Presentations discuss experimental investigation as well as numerical methods with a strong focus on application. In addition, problems are identified which require a hybrid experimental-numerical approach. Topics include fast explicit diffusion applied to a geothermal energy storage tank, noise in experimental measurements of electrical quantities, thermal fluid structure interaction, tensegrity structures, experimental and numerical methods for Chladni figures, optimized construction of hydroelectric power stations, experimental and numerical limits in the investigation of rain-wind induced vibrations as well as the application of exponential integrators in a domain-based IMEX setting.

Application of coupled symbolic and numeric processing to an advanced scheduling system for plant construction

International Nuclear Information System (INIS)

Kobayashi, Yasuhiro; Takamoto, Masanori; Nonaka, Hisanori; Yamada, Naoyuki

1994-01-01

A scheduling system has been developed by integrating symbolic processing functions for constraint handling and modification guidance, with numeric processing functions for schedule optimization and evaluation. The system is composed of an automatic schedule generation module, interactive schedule revision module and schedule evaluation module. The goal of the problem solving is the flattening of the daily resources requirement throughout the scheduling period. The automatic schedule generation module optimizes the initial schedule according to the formulatable portion of requirement description specified in a predicate-like language. A planning engineer refines the near-goal schedule through a knowledge-based interactive optimization process to obtain the goal schedule which fully covers the requirement description, with the interactive schedule revision module and schedule evaluation module. A scheduling system has been implemented on the basis of the proposed problem solving framework and experimentally applied to real-world sized scheduling problems for plant construction. With a result of the overall plant construction scheduling, a section schedule optimization process is described with the emphasis on the symbolic processing functions. (author)

Developing Teaching Material Software Assisted for Numerical Methods

Science.gov (United States)

Handayani, A. D.; Herman, T.; Fatimah, S.

2017-09-01

The NCTM vision shows the importance of two things in school mathematics, which is knowing the mathematics of the 21st century and the need to continue to improve mathematics education to answer the challenges of a changing world. One of the competencies associated with the great challenges of the 21st century is the use of help and tools (including IT), such as: knowing the existence of various tools for mathematical activity. One of the significant challenges in mathematical learning is how to teach students about abstract concepts. In this case, technology in the form of mathematics learning software can be used more widely to embed the abstract concept in mathematics. In mathematics learning, the use of mathematical software can make high level math activity become easier accepted by student. Technology can strengthen student learning by delivering numerical, graphic, and symbolic content without spending the time to calculate complex computing problems manually. The purpose of this research is to design and develop teaching materials software assisted for numerical method. The process of developing the teaching material starts from the defining step, the process of designing the learning material developed based on information obtained from the step of early analysis, learners, materials, tasks that support then done the design step or design, then the last step is the development step. The development of teaching materials software assisted for numerical methods is valid in content. While validator assessment for teaching material in numerical methods is good and can be used with little revision.

[Symbol: see text]2 Optimized predictive image coding with [Symbol: see text]∞ bound.

Science.gov (United States)

Chuah, Sceuchin; Dumitrescu, Sorina; Wu, Xiaolin

2013-12-01

In many scientific, medical, and defense applications of image/video compression, an [Symbol: see text]∞ error bound is required. However, pure[Symbol: see text]∞-optimized image coding, colloquially known as near-lossless image coding, is prone to structured errors such as contours and speckles if the bit rate is not sufficiently high; moreover, most of the previous [Symbol: see text]∞-based image coding methods suffer from poor rate control. In contrast, the [Symbol: see text]2 error metric aims for average fidelity and hence preserves the subtlety of smooth waveforms better than the ∞ error metric and it offers fine granularity in rate control, but pure [Symbol: see text]2-based image coding methods (e.g., JPEG 2000) cannot bound individual errors as the [Symbol: see text]∞-based methods can. This paper presents a new compression approach to retain the benefits and circumvent the pitfalls of the two error metrics. A common approach of near-lossless image coding is to embed into a DPCM prediction loop a uniform scalar quantizer of residual errors. The said uniform scalar quantizer is replaced, in the proposed new approach, by a set of context-based [Symbol: see text]2-optimized quantizers. The optimization criterion is to minimize a weighted sum of the [Symbol: see text]2 distortion and the entropy while maintaining a strict [Symbol: see text]∞ error bound. The resulting method obtains good rate-distortion performance in both [Symbol: see text]2 and [Symbol: see text]∞ metrics and also increases the rate granularity. Compared with JPEG 2000, the new method not only guarantees lower [Symbol: see text]∞ error for all bit rates, but also it achieves higher PSNR for relatively high bit rates.

A Fifth Order Hybrid Linear Multistep method For the Direct Solution ...

African Journals Online (AJOL)

A linear multistep hybrid method (LMHM)with continuous coefficients isconsidered and directly applied to solve third order initial and boundary value problems (IBVPs). The continuous method is used to obtain Multiple Finite Difference Methods (MFDMs) (each of order 5) which are combined as simultaneous numerical ...

Numerical model for the analysis of unbounded prestressed structures using the hybrid type finite element method

International Nuclear Information System (INIS)

Barbieri, R.A.; Gastal, F.P.S.L.; Filho, A.C.

2005-01-01

Unbounded prestressed concrete has a growing importance all over the world and may be an useful technique for the structures involved in the construction of nuclear facilities. The absence of bonding means no strain compatibility so that equations developed for reinforced concrete are no longer valid. Practical estimates about the ultimate stress in the unbounded tendons may be obtained with empirical or numerical methods only. In order to contribute to the understanding on the behaviour of unbounded prestressed concrete members, a numerical model has been developed using a hybrid type finite element formulation for planar frame structures. Instead of short elements, as in the conventional finite element formulation, long elements may be used, improving computational efficiency. A further advantage is that the curvature variation within the element is obtained with higher accuracy if compared to the traditional formulation. This feature is important for unbounded tendons since its stresses depend on the whole member deformation. Second order effects in the planar frame are considered with either Updated or Partially Updated Lagrangian approaches. Instantaneous and time dependent behaviour as well as cyclic loads are considered too. Comparison with experimental results for prestressed concrete beams shows the adequacy of the proposed model. (authors)

Cross-spectrum symbol synchronization

Science.gov (United States)

Mccallister, R. D.; Simon, M. K.

1981-01-01

A popular method of symbol synchronization exploits one aspect of generalized harmonic analysis, normally referred to as the cross-spectrum. Utilizing nonlinear techniques, the input symbol energy is effectively concentrated onto multiples of the symbol clock frequency, facilitating application of conventional phase lock synchronization techniques. A general treatment of the cross-spectrum technique is developed and shown to be applicable across a broad class of symbol modulation formats. An important specific symbol synchronization application is then treated, focusing the general development to provide both insight and quantitative measure of the performance impact associated with variation in these key synchronization parameters: symbol modulation format, symbol transition probability, symbol energy to noise density ratio, and symbol rate to filter bandwidth ratio.

Unsupervised Symbolization of Signal Time Series for Extraction of the Embedded Information

Directory of Open Access Journals (Sweden)

Yue Li

2017-03-01

Full Text Available This paper formulates an unsupervised algorithm for symbolization of signal time series to capture the embedded dynamic behavior. The key idea is to convert time series of the digital signal into a string of (spatially discrete symbols from which the embedded dynamic information can be extracted in an unsupervised manner (i.e., no requirement for labeling of time series. The main challenges here are: (1 definition of the symbol assignment for the time series; (2 identification of the partitioning segment locations in the signal space of time series; and (3 construction of probabilistic finite-state automata (PFSA from the symbol strings that contain temporal patterns. The reported work addresses these challenges by maximizing the mutual information measures between symbol strings and PFSA states. The proposed symbolization method has been validated by numerical simulation as well as by experimentation in a laboratory environment. Performance of the proposed algorithm has been compared to that of two commonly used algorithms of time series partitioning.

Hybrid Vortex Method for the Aerodynamic Analysis of Wind Turbine

Directory of Open Access Journals (Sweden)

Hao Hu

2015-01-01

Full Text Available The hybrid vortex method, in which vortex panel method is combined with the viscous-vortex particle method (HPVP, was established to model the wind turbine aerodynamic and relevant numerical procedure program was developed to solve flow equations. The panel method was used to calculate the blade surface vortex sheets and the vortex particle method was employed to simulate the blade wake vortices. As a result of numerical calculations on the flow over a wind turbine, the HPVP method shows significant advantages in accuracy and less computation resource consuming. The validation of the aerodynamic parameters against Phase VI wind turbine experimental data is performed, which shows reasonable agreement.

Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation.

Science.gov (United States)

Nakatsui, M; Horimoto, K; Lemaire, F; Ürgüplü, A; Sedoglavic, A; Boulier, F

2011-09-01

Recent remarkable advances in computer performance have enabled us to estimate parameter values by the huge power of numerical computation, the so-called 'Brute force', resulting in the high-speed simultaneous estimation of a large number of parameter values. However, these advancements have not been fully utilised to improve the accuracy of parameter estimation. Here the authors review a novel method for parameter estimation using symbolic computation power, 'Bruno force', named after Bruno Buchberger, who found the Gröbner base. In the method, the objective functions combining the symbolic computation techniques are formulated. First, the authors utilise a symbolic computation technique, differential elimination, which symbolically reduces an equivalent system of differential equations to a system in a given model. Second, since its equivalent system is frequently composed of large equations, the system is further simplified by another symbolic computation. The performance of the authors' method for parameter accuracy improvement is illustrated by two representative models in biology, a simple cascade model and a negative feedback model in comparison with the previous numerical methods. Finally, the limits and extensions of the authors' method are discussed, in terms of the possible power of 'Bruno force' for the development of a new horizon in parameter estimation.

Processing the Order of Symbolic Numbers: A Reliable and Unique Predictor of Arithmetic Fluency

Directory of Open Access Journals (Sweden)

Stephan E. Vogel

2017-12-01

Full Text Available A small but growing body of evidence suggests a link between individual differences in processing the order of numerical symbols (e.g., deciding whether a set of digits is arranged in ascending/descending order or not and arithmetic achievement. However, the reliability of behavioral correlates measuring symbolic and non-symbolic numerical order processing and their relationship to arithmetic abilities remain poorly understood. The present study aims to fill this knowledge gap by examining the behavioral correlates of numerical and non-numerical order processing and their unique associations with arithmetic fluency at two different time points within the same sample of individuals. Thirty-two right-handed adults performed three order judgment tasks consisting of symbolic numbers (i.e., digits, non-symbolic numbers (i.e., dots, and letters of the alphabet. Specifically, participants had to judge as accurately and as quickly as possible whether stimuli were ordered correctly (in ascending/descending order, e.g., 2-3-4; ●●●●-●●●-●●; B-C-D or not (e.g., 4-5-3; ●●●●-●●●●●-●●●; D-E-C. Results of this study demonstrate that numerical order judgments are reliable measurements (i.e., high test-retest reliability, and that the observed relationship between symbolic number processing and arithmetic fluency accounts for a unique and reliable portion of variance over and above the non-symbolic number and the letter conditions. The differential association of symbolic and non-symbolic numbers with arithmetic support the view that processing the order of symbolic and non-symbolic numbers engages different cognitive mechanisms, and that the ability to process ordinal relationships of symbolic numbers is a reliable and unique predictor of arithmetic fluency.

Dispersion Tolerance of 40 Gbaud Multilevel Modulation Formats with up to 3 bits per Symbol

DEFF Research Database (Denmark)

Jensen, Jesper Bevensee; Tokle, Torger; Geng, Yan

2006-01-01

We present numerical and experimental investigations of dispersion tolerance for multilevel phase- and amplitude modulation with up to 3 bits per symbol at a symbol rate of 40 Gbaud......We present numerical and experimental investigations of dispersion tolerance for multilevel phase- and amplitude modulation with up to 3 bits per symbol at a symbol rate of 40 Gbaud...

Symbolic signal processing

International Nuclear Information System (INIS)

Rechester, A.B.; White, R.B.

1993-01-01

Complex dynamic processes exhibit many complicated patterns of evolution. How can all these patterns be recognized using only output (observational, experimental) data without prior knowledge of the equations of motion? The powerful method for doing this is based on symbolic dynamics: (1) Present output data in symbolic form (trial language). (2) Topological and metric entropies are constructed. (3) Develop algorithms for computer optimization of entropies. (4) By maximizing entropies, find the most appropriate symbolic language for the purpose of pattern recognition. (5) Test this method using a variety of dynamical models from nonlinear science. The authors are in the process of applying this method for analysis of MHD fluctuations in tokamaks

Convergence of hybrid methods for solving non-linear partial ...

African Journals Online (AJOL)

This paper is concerned with the numerical solution and convergence analysis of non-linear partial differential equations using a hybrid method. The solution technique involves discretizing the non-linear system of PDE to obtain a corresponding non-linear system of algebraic difference equations to be solved at each time ...

[Identification of special quality eggs with NIR spectroscopy technology based on symbol entropy feature extraction method].

Science.gov (United States)

Zhao, Yong; Hong, Wen-Xue

2011-11-01

Fast, nondestructive and accurate identification of special quality eggs is an urgent problem. The present paper proposed a new feature extraction method based on symbol entropy to identify near infrared spectroscopy of special quality eggs. The authors selected normal eggs, free range eggs, selenium-enriched eggs and zinc-enriched eggs as research objects and measured the near-infrared diffuse reflectance spectra in the range of 12 000-4 000 cm(-1). Raw spectra were symbolically represented with aggregation approximation algorithm and symbolic entropy was extracted as feature vector. An error-correcting output codes multiclass support vector machine classifier was designed to identify the spectrum. Symbolic entropy feature is robust when parameter changed and the highest recognition rate reaches up to 100%. The results show that the identification method of special quality eggs using near-infrared is feasible and the symbol entropy can be used as a new feature extraction method of near-infrared spectra.

Numerical study of a hybrid jet impingement/micro-channel cooling scheme

International Nuclear Information System (INIS)

Barrau, Jérôme; Omri, Mohammed; Chemisana, Daniel; Rosell, Joan; Ibañez, Manel; Tadrist, Lounes

2012-01-01

A new hybrid jet impingement/micro-channel cooling scheme is studied numerically for use in high-heat-flux thermal management of electronic and power devices. The device is developed with the objective of improving the temperature uniformity of the cooled object. A numerical model based on the k–ω SST turbulent model is developed and validated experimentally. This model is used to carry out a parametrical characterization of the heat sink. The study shows that variations in key parameters of jet impingement and micro-channel technologies allow for the cooling scheme to obtain a wide range of temperature profiles for the cooled object. - Highlights: ► A new hybrid cooling scheme is numerically studied. ► The cooling scheme combines the benefits of jet impingement and micro-channel flows. ► The numerical model is validated by comparison with experimental results. ► The temperature distribution can be adapted to the needs of the cooled system.

Noncoherent Symbol Synchronization Techniques

Science.gov (United States)

Simon, Marvin

2005-01-01

Traditional methods for establishing symbol synchronization (sync) in digital communication receivers assume that carrier sync has already been established, i.e., the problem is addressed at the baseband level assuming that a 'perfect' estimate of carrier phase is available. We refer to this approach as coherent symbol sync. Since, for NRZ signaling, a suppressed carrier sync loop such as an I-Q Costas loop includes integrate-and-dump (I and D) filters in its in-phase (1) and quadrature (Q) arms, the traditional approach is to first track the carrier in the absence of symbol sync information, then feed back the symbol sync estimate to these filters, and then iterate between the two to a desirable operating level In this paper, we revisit the symbol sync problem by examining methods for obtaining such sync in the absence of carrier phase information, i.e., so-called noncoherent symbol sync loops. We compare the performance of these loops with that of a well-known coherent symbol sync loop and examine the conditions under which one is preferable over the other.

A direct hybrid SN method for slab-geometry lattice calculations

International Nuclear Information System (INIS)

Silva, Davi J.M.; Barros, Ricardo C.; Zani, Jose H.

2011-01-01

In this work we describe a hybrid direct method for calculating the thermal disadvantage factor and the neutron flux distribution in fuel-moderator lattices. For the mathematical model, we use the one-speed slab-geometry discrete ordinates (S N ) transport equation with linearly anisotropic scattering. The basic idea is to use higher order angular quadrature set in the highly absorbing fuel region (S NF ) and lower order angular quadrature set in the diffusive moderator region (S NM ) , i.e., N F > N M . We apply special continuity conditions based on the equivalence of the S N and P N-1 equations, which characterize the hybrid model. Numerical results to a typical model problem are given to illustrate the accuracy and the efficiency of the offered hybrid method. (author)

EIT image reconstruction based on a hybrid FE-EFG forward method and the complete-electrode model.

Science.gov (United States)

Hadinia, M; Jafari, R; Soleimani, M

2016-06-01

This paper presents the application of the hybrid finite element-element free Galerkin (FE-EFG) method for the forward and inverse problems of electrical impedance tomography (EIT). The proposed method is based on the complete electrode model. Finite element (FE) and element-free Galerkin (EFG) methods are accurate numerical techniques. However, the FE technique has meshing task problems and the EFG method is computationally expensive. In this paper, the hybrid FE-EFG method is applied to take both advantages of FE and EFG methods, the complete electrode model of the forward problem is solved, and an iterative regularized Gauss-Newton method is adopted to solve the inverse problem. The proposed method is applied to compute Jacobian in the inverse problem. Utilizing 2D circular homogenous models, the numerical results are validated with analytical and experimental results and the performance of the hybrid FE-EFG method compared with the FE method is illustrated. Results of image reconstruction are presented for a human chest experimental phantom.

Evaluation of integration methods for hybrid simulation of complex structural systems through collapse

Science.gov (United States)

Del Carpio R., Maikol; Hashemi, M. Javad; Mosqueda, Gilberto

2017-10-01

This study examines the performance of integration methods for hybrid simulation of large and complex structural systems in the context of structural collapse due to seismic excitations. The target application is not necessarily for real-time testing, but rather for models that involve large-scale physical sub-structures and highly nonlinear numerical models. Four case studies are presented and discussed. In the first case study, the accuracy of integration schemes including two widely used methods, namely, modified version of the implicit Newmark with fixed-number of iteration (iterative) and the operator-splitting (non-iterative) is examined through pure numerical simulations. The second case study presents the results of 10 hybrid simulations repeated with the two aforementioned integration methods considering various time steps and fixed-number of iterations for the iterative integration method. The physical sub-structure in these tests consists of a single-degree-of-freedom (SDOF) cantilever column with replaceable steel coupons that provides repeatable highlynonlinear behavior including fracture-type strength and stiffness degradations. In case study three, the implicit Newmark with fixed-number of iterations is applied for hybrid simulations of a 1:2 scale steel moment frame that includes a relatively complex nonlinear numerical substructure. Lastly, a more complex numerical substructure is considered by constructing a nonlinear computational model of a moment frame coupled to a hybrid model of a 1:2 scale steel gravity frame. The last two case studies are conducted on the same porotype structure and the selection of time steps and fixed number of iterations are closely examined in pre-test simulations. The generated unbalance forces is used as an index to track the equilibrium error and predict the accuracy and stability of the simulations.

Solution of the generalized Emden-Fowler equations by the hybrid functions method

International Nuclear Information System (INIS)

Tabrizidooz, H R; Marzban, H R; Razzaghi, M

2009-01-01

In this paper, we present a numerical algorithm for solving the generalized Emden-Fowler equations, which have many applications in mathematical physics and astrophysics. The method is based on hybrid functions approximations. The properties of hybrid functions, which consist of block-pulse functions and Lagrange interpolating polynomials, are presented. These properties are then utilized to reduce the computation of the generalized Emden-Fowler equations to a system of nonlinear equations. The method is easy to implement and yields very accurate results.

Accuracy improvement of a hybrid robot for ITER application using POE modeling method

International Nuclear Information System (INIS)

Wang, Yongbo; Wu, Huapeng; Handroos, Heikki

2013-01-01

Highlights: ► The product of exponential (POE) formula for error modeling of hybrid robot. ► Differential Evolution (DE) algorithm for parameter identification. ► Simulation results are given to verify the effectiveness of the method. -- Abstract: This paper focuses on the kinematic calibration of a 10 degree-of-freedom (DOF) redundant serial–parallel hybrid robot to improve its accuracy. The robot was designed to perform the assembling and repairing tasks of the vacuum vessel (VV) of the international thermonuclear experimental reactor (ITER). By employing the product of exponentials (POEs) formula, we extended the POE-based calibration method from serial robot to redundant serial–parallel hybrid robot. The proposed method combines the forward and inverse kinematics together to formulate a hybrid calibration method for serial–parallel hybrid robot. Because of the high nonlinear characteristics of the error model and too many error parameters need to be identified, the traditional iterative linear least-square algorithms cannot be used to identify the parameter errors. This paper employs a global optimization algorithm, Differential Evolution (DE), to identify parameter errors by solving the inverse kinematics of the hybrid robot. Furthermore, after the parameter errors were identified, the DE algorithm was adopted to numerically solve the forward kinematics of the hybrid robot to demonstrate the accuracy improvement of the end-effector. Numerical simulations were carried out by generating random parameter errors at the allowed tolerance limit and generating a number of configuration poses in the robot workspace. Simulation of the real experimental conditions shows that the accuracy of the end-effector can be improved to the same precision level of the given external measurement device

Accuracy improvement of a hybrid robot for ITER application using POE modeling method

Energy Technology Data Exchange (ETDEWEB)

Wang, Yongbo, E-mail: yongbo.wang@hotmail.com [Laboratory of Intelligent Machines, Lappeenranta University of Technology, FIN-53851 Lappeenranta (Finland); Wu, Huapeng; Handroos, Heikki [Laboratory of Intelligent Machines, Lappeenranta University of Technology, FIN-53851 Lappeenranta (Finland)

2013-10-15

Highlights: ► The product of exponential (POE) formula for error modeling of hybrid robot. ► Differential Evolution (DE) algorithm for parameter identification. ► Simulation results are given to verify the effectiveness of the method. -- Abstract: This paper focuses on the kinematic calibration of a 10 degree-of-freedom (DOF) redundant serial–parallel hybrid robot to improve its accuracy. The robot was designed to perform the assembling and repairing tasks of the vacuum vessel (VV) of the international thermonuclear experimental reactor (ITER). By employing the product of exponentials (POEs) formula, we extended the POE-based calibration method from serial robot to redundant serial–parallel hybrid robot. The proposed method combines the forward and inverse kinematics together to formulate a hybrid calibration method for serial–parallel hybrid robot. Because of the high nonlinear characteristics of the error model and too many error parameters need to be identified, the traditional iterative linear least-square algorithms cannot be used to identify the parameter errors. This paper employs a global optimization algorithm, Differential Evolution (DE), to identify parameter errors by solving the inverse kinematics of the hybrid robot. Furthermore, after the parameter errors were identified, the DE algorithm was adopted to numerically solve the forward kinematics of the hybrid robot to demonstrate the accuracy improvement of the end-effector. Numerical simulations were carried out by generating random parameter errors at the allowed tolerance limit and generating a number of configuration poses in the robot workspace. Simulation of the real experimental conditions shows that the accuracy of the end-effector can be improved to the same precision level of the given external measurement device.

Linking Symbolic Interactionism and Grounded Theory Methods in a Research Design

Directory of Open Access Journals (Sweden)

Jennifer Chamberlain-Salaun

2013-09-01

Full Text Available This article focuses on Corbin and Strauss’ evolved version of grounded theory. In the third edition of their seminal text, Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory, the authors present 16 assumptions that underpin their conception of grounded theory methodology. The assumptions stem from a symbolic interactionism perspective of social life, including the themes of meaning, action and interaction, self and perspectives. As research design incorporates both methodology and methods, the authors aim to expose the linkages between the 16 assumptions and essential grounded theory methods, highlighting the application of the latter in light of the former. Analyzing the links between symbolic interactionism and essential grounded theory methods provides novice researchers and researchers new to grounded theory with a foundation from which to design an evolved grounded theory research study.

The influence of math anxiety on symbolic and non-symbolic magnitude processing.

Science.gov (United States)

Dietrich, Julia F; Huber, Stefan; Moeller, Korbinian; Klein, Elise

2015-01-01

Deficits in basic numerical abilities have been investigated repeatedly as potential risk factors of math anxiety. Previous research suggested that also a deficient approximate number system (ANS), which is discussed as being the foundation for later math abilities, underlies math anxiety. However, these studies examined this hypothesis by investigating ANS acuity using a symbolic number comparison task. Recent evidence questions the view that ANS acuity can be assessed using a symbolic number comparison task. To investigate whether there is an association between math anxiety and ANS acuity, we employed both a symbolic number comparison task and a non-symbolic dot comparison task, which is currently the standard task to assess ANS acuity. We replicated previous findings regarding the association between math anxiety and the symbolic distance effect for response times. High math anxious individuals showed a larger distance effect than less math anxious individuals. However, our results revealed no association between math anxiety and ANS acuity assessed using a non-symbolic dot comparison task. Thus, our results did not provide evidence for the hypothesis that a deficient ANS underlies math anxiety. Therefore, we propose that a deficient ANS does not constitute a risk factor for the development of math anxiety. Moreover, our results suggest that previous interpretations regarding the interaction of math anxiety and the symbolic distance effect have to be updated. We suggest that impaired number comparison processes in high math anxious individuals might account for the results rather than deficient ANS representations. Finally, impaired number comparison processes might constitute a risk factor for the development of math anxiety. Implications for current models regarding the origins of math anxiety are discussed.

The influence of math anxiety on symbolic and non-symbolic magnitude processing

Directory of Open Access Journals (Sweden)

Julia Felicitas Dietrich

2015-10-01

Full Text Available Deficits in basic numerical abilities have been investigated repeatedly as potential risk factors of math anxiety. Previous research suggested that also a deficient approximate number system (ANS, which is discussed as being the foundation for later math abilities, underlies math anxiety. However, these studies examined this hypothesis by investigating ANS acuity using a symbolic number comparison task. Recent evidence questions the view that ANS acuity can be assessed using a symbolic number comparison task. To investigate whether there is an association between math anxiety and ANS acuity, we employed both a symbolic number comparison task and a non-symbolic dot comparison task, which is currently the standard task to assess ANS acuity. We replicated previous findings regarding the association between math anxiety and the symbolic distance effect for response times. High math anxious individuals showed a larger distance effect than less math anxious individuals. However, our results revealed no association between math anxiety and ANS acuity assessed using a non-symbolic dot comparison task. Thus, our results did not provide evidence for the hypothesis that a deficient ANS underlies math anxiety. Therefore, we propose that a deficient ANS does not constitute a risk factor for the development of math anxiety. Moreover, our results suggest that previous interpretations regarding the interaction of math anxiety and the symbolic distance effect have to be updated. We suggest that impaired number comparison processes in high math anxious individuals might account for the results rather than deficient ANS representations. Finally, impaired number comparison processes might constitute a risk factor for the development of math anxiety. Implications for current models regarding the origins of math anxiety are discussed.

A multigrid solution method for mixed hybrid finite elements

Energy Technology Data Exchange (ETDEWEB)

Schmid, W. [Universitaet Augsburg (Germany)

1996-12-31

We consider the multigrid solution of linear equations arising within the discretization of elliptic second order boundary value problems of the form by mixed hybrid finite elements. Using the equivalence of mixed hybrid finite elements and non-conforming nodal finite elements, we construct a multigrid scheme for the corresponding non-conforming finite elements, and, by this equivalence, for the mixed hybrid finite elements, following guidelines from Arbogast/Chen. For a rectangular triangulation of the computational domain, this non-conforming schemes are the so-called nodal finite elements. We explicitly construct prolongation and restriction operators for this type of non-conforming finite elements. We discuss the use of plain multigrid and the multilevel-preconditioned cg-method and compare their efficiency in numerical tests.

Hybrid B-Spline Collocation Method for Solving the Generalized Burgers-Fisher and Burgers-Huxley Equations

Directory of Open Access Journals (Sweden)

Imtiaz Wasim

2018-01-01

Full Text Available In this study, we introduce a new numerical technique for solving nonlinear generalized Burgers-Fisher and Burgers-Huxley equations using hybrid B-spline collocation method. This technique is based on usual finite difference scheme and Crank-Nicolson method which are used to discretize the time derivative and spatial derivatives, respectively. Furthermore, hybrid B-spline function is utilized as interpolating functions in spatial dimension. The scheme is verified unconditionally stable using the Von Neumann (Fourier method. Several test problems are considered to check the accuracy of the proposed scheme. The numerical results are in good agreement with known exact solutions and the existing schemes in literature.

Hybrid heating systems optimization of residential environment to have thermal comfort conditions by numerical simulation.

Science.gov (United States)

Jahantigh, Nabi; Keshavarz, Ali; Mirzaei, Masoud

2015-01-01

The aim of this study is to determine optimum hybrid heating systems parameters, such as temperature, surface area of a radiant heater and vent area to have thermal comfort conditions. DOE, Factorial design method is used to determine the optimum values for input parameters. A 3D model of a virtual standing thermal manikin with real dimensions is considered in this study. Continuity, momentum, energy, species equations for turbulent flow and physiological equation for thermal comfort are numerically solved to study heat, moisture and flow field. K - ɛRNG Model is used for turbulence modeling and DO method is used for radiation effects. Numerical results have a good agreement with the experimental data reported in the literature. The effect of various combinations of inlet parameters on thermal comfort is considered. According to Pareto graph, some of these combinations that have significant effect on the thermal comfort require no more energy can be used as useful tools. A better symmetrical velocity distribution around the manikin is also presented in the hybrid system.

An accelerated hybrid TLM-IE method for the investigation of shielding effectiveness

Directory of Open Access Journals (Sweden)

N. Fichtner

2010-09-01

Full Text Available A hybrid numerical technique combining time-domain integral equations (TD-IE with the transmission line matrix (TLM method is presented for the efficient modeling of transient wave phenomena. This hybrid method allows the full-wave modeling of circuits in the time-domain as well as the electromagnetic coupling of remote TLM subdomains using integral equations (IE. By using the integral equations the space between the TLM subdomains is not discretized and consequently doesn't contribute to the computational effort. The cost for the evaluation of the time-domain integral equations (TD-IE is further reduced using a suitable plane-wave representation of the source terms. The hybrid TD-IE/TLM method is applied in the computation of the shielding effectiveness (SE of metallic enclosures.

Enlightening symbols a short history of mathematical notation and its hidden powers

CERN Document Server

Mazur, Joseph

2014-01-01

While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols, popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and after symbols became widely adopted. Traversing mathematical history and the foundations of numerals in different cultures, Mazur looks at how historians have disagreed over the origins of the numerical system for the past two centuries. He follows the transfigurations of algebra from a rhetorical style to a symbolic one, demonstrating that most algebra before the sixteenth century was written in prose or in verse employing the wr...

A Symbolic Approach to Permission Accounting for Concurrent Reasoning

NARCIS (Netherlands)

Huisman, Marieke; Mostowski, Wojciech

2015-01-01

Permission accounting is fundamental to modular, thread-local reasoning about concurrent programs. This paper presents a new, symbolic system for permission accounting. In existing systems, permissions are numeric value-based and refer to the current thread only. Our system is based on symbolic

Symbol generators with program control

International Nuclear Information System (INIS)

Gryaznov, V.M.; Tomik, J.

1974-01-01

Methods of constructing symbol generators are described which ensure a program variation of symbol shape and setup. The symbols are formed on the basis of a point microraster. A symbol description code contains information on a symbol shape, with one digit corresponding to each microraster element. For a microraster discrete by-pass the description code is transformed into succession of illuminating pulses by means of a shift register

Graphical symbol recognition

OpenAIRE

K.C. , Santosh; Wendling , Laurent

2015-01-01

International audience; The chapter focuses on one of the key issues in document image processing i.e., graphical symbol recognition. Graphical symbol recognition is a sub-field of a larger research domain: pattern recognition. The chapter covers several approaches (i.e., statistical, structural and syntactic) and specially designed symbol recognition techniques inspired by real-world industrial problems. It, in general, contains research problems, state-of-the-art methods that convey basic s...

Numerical and experimental analysis of heat transfer in injector plate of hydrogen peroxide hybrid rocket motor

Science.gov (United States)

Cai, Guobiao; Li, Chengen; Tian, Hui

2016-11-01

This paper is aimed to analyze heat transfer in injector plate of hydrogen peroxide hybrid rocket motor by two-dimensional axisymmetric numerical simulations and full-scale firing tests. Long-time working, which is an advantage of hybrid rocket motor over conventional solid rocket motor, puts forward new challenges for thermal protection. Thermal environments of full-scale hybrid rocket motors designed for long-time firing tests are studied through steady-state coupled numerical simulations of flow field and heat transfer in chamber head. The motor adopts 98% hydrogen peroxide (98HP) oxidizer and hydroxyl-terminated poly-butadiene (HTPB) based fuel as the propellants. Simulation results reveal that flowing liquid 98HP in head oxidizer chamber could cool the injector plate of the motor. The cooling of 98HP is similar to the regenerative cooling in liquid rocket engines. However, the temperature of the 98HP in periphery portion of the head oxidizer chamber is higher than its boiling point. In order to prevent the liquid 98HP from unexpected decomposition, a thermal protection method for chamber head utilizing silica-phenolics annular insulating board is proposed. The simulation results show that the annular insulating board could effectively decrease the temperature of the 98HP in head oxidizer chamber. Besides, the thermal protection method for long-time working hydrogen peroxide hybrid rocket motor is verified through full-scale firing tests. The ablation of the insulating board in oxygen-rich environment is also analyzed.

Numerical investigations of hybrid rocket engines

Science.gov (United States)

Betelin, V. B.; Kushnirenko, A. G.; Smirnov, N. N.; Nikitin, V. F.; Tyurenkova, V. V.; Stamov, L. I.

2018-03-01

Paper presents the results of numerical studies of hybrid rocket engines operating cycle including unsteady-state transition stage. A mathematical model is developed accounting for the peculiarities of diffusion combustion of fuel in the flow of oxidant, which is composed of oxygen-nitrogen mixture. Three dimensional unsteady-state simulations of chemically reacting gas mixture above thermochemically destructing surface are performed. The results show that the diffusion combustion brings to strongly non-uniform fuel mass regression rate in the flow direction. Diffusive deceleration of chemical reaction brings to the decrease of fuel regression rate in the longitudinal direction.

Hybrid Monte-Carlo method for ICF calculations

International Nuclear Information System (INIS)

Clouet, J.F.; Samba, G.

2003-01-01

Numerical simulation of Inertial Confinement Fusion targets in indirect drive requires an accurate description of the radiation transport flow. Laser energy is first converted to X-ray in the gold wall and then transferred to the fusion target through an hohlraum filled with gas. The emissive region is moving in the gold wall which is rapidly expanding into the hohlraum so that the resolution of the radiative transfer equations has to be coupled with hydrodynamic motion. Scientific computing is actually the only tool for an accurate design of ICF targets: one of the difficulties is to compute the non-isotropic irradiation on the capsule and to control them by an appropriate balance between the energy of the different laser beams. Hence an approximate description of radiation transport is not relevant and a transport method has to be chosen. On the other hand transport methods are known to be more or less inefficient in optically thick regions: for instance in the gold wall before it is sufficiently heated and ablated to become optically thin. In these regions, diffusion approximation of the transfer equations is an accurate description of the physical phenomenon; moreover it is much more cheaper to solve numerically than the full transport equations. This is why we developed an hybrid method for radiation transport where the lower part of the energy spectrum is treated in the diffusion approximation whereas the higher part is treated by a transport method. We introduced the notion of spectral cut-off to describe this separation between the two descriptions. The method is dynamic in the sense that the spectral cut-off evolves with time and space localization. The method has been introduced in our ICF code FCl2: this is a 2D radiation hydrodynamics code in cylindrical geometry which has been used for several years at the CEA for laser studies. It is a Lagrangian code with Arbitrary Lagrangian Eulerian capabilities, flux-limited thermal (electronic and ionic

A Novel Hybrid Approach for Numerical Modeling of the Nucleating Flow in Laval Nozzle and Transonic Steam Turbine Blades

Directory of Open Access Journals (Sweden)

Edris Yousefi Rad

2017-08-01

Full Text Available In the present research, considering the importance of desirable steam turbine design, improvement of numerical modeling of steam two-phase flows in convergent and divergent channels and the blades of transonic steam turbines has been targeted. The first novelty of this research is the innovative use of combined Convective Upstream Pressure Splitting (CUSP and scalar methods to update the flow properties at each calculation point. In other words, each property (density, temperature, pressure and velocity at each calculation point can be computed from either the CUSP or scalar method, depending on the least deviation criterion. For this reason this innovative method is named “hybrid method”. The next novelty of this research is the use of an inverse method alongside the proposed hybrid method to find the amount of the important parameter z in the CUSP method, which is herein referred to as “CUSP’s convergence parameter”. Using a relatively simple computational grid, firstly, five cases with similar conditions to those of the main cases under study in this research with available experimental data were used to obtain the value of z by the Levenberg-Marquardt inverse method. With this innovation, first, an optimum value of z = 2.667 was obtained using the inverse method and then directly used for the main cases considered in the research. Given that the aim is to investigate the two-dimensional, steady state, inviscid and adiabatic modeling of steam nucleating flows in three different nozzle and turbine blade geometries, flow simulation was performed using a relatively simple mesh and the innovative proposed hybrid method (scalar + CUSP, with the desired value of z = 2.667 . A comparison between the results of the hybrid modeling of the three main cases with experimental data showed a very good agreement, even within shock zones, including the condensation shock region, revealing the efficiency of this numerical modeling method innovation

Assessment of high-resolution methods for numerical simulations of compressible turbulence with shock waves

International Nuclear Information System (INIS)

Johnsen, Eric; Larsson, Johan; Bhagatwala, Ankit V.; Cabot, William H.; Moin, Parviz; Olson, Britton J.; Rawat, Pradeep S.; Shankar, Santhosh K.; Sjoegreen, Bjoern; Yee, H.C.; Zhong Xiaolin; Lele, Sanjiva K.

2010-01-01

Flows in which shock waves and turbulence are present and interact dynamically occur in a wide range of applications, including inertial confinement fusion, supernovae explosion, and scramjet propulsion. Accurate simulations of such problems are challenging because of the contradictory requirements of numerical methods used to simulate turbulence, which must minimize any numerical dissipation that would otherwise overwhelm the small scales, and shock-capturing schemes, which introduce numerical dissipation to stabilize the solution. The objective of the present work is to evaluate the performance of several numerical methods capable of simultaneously handling turbulence and shock waves. A comprehensive range of high-resolution methods (WENO, hybrid WENO/central difference, artificial diffusivity, adaptive characteristic-based filter, and shock fitting) and suite of test cases (Taylor-Green vortex, Shu-Osher problem, shock-vorticity/entropy wave interaction, Noh problem, compressible isotropic turbulence) relevant to problems with shocks and turbulence are considered. The results indicate that the WENO methods provide sharp shock profiles, but overwhelm the physical dissipation. The hybrid method is minimally dissipative and leads to sharp shocks and well-resolved broadband turbulence, but relies on an appropriate shock sensor. Artificial diffusivity methods in which the artificial bulk viscosity is based on the magnitude of the strain-rate tensor resolve vortical structures well but damp dilatational modes in compressible turbulence; dilatation-based artificial bulk viscosity methods significantly improve this behavior. For well-defined shocks, the shock fitting approach yields good results.

A hybrid time-domain discontinuous galerkin-boundary integral method for electromagnetic scattering analysis

KAUST Repository

Li, Ping; Shi, Yifei; Jiang, Lijun; Bagci, Hakan

2014-01-01

A scheme hybridizing discontinuous Galerkin time-domain (DGTD) and time-domain boundary integral (TDBI) methods for accurately analyzing transient electromagnetic scattering is proposed. Radiation condition is enforced using the numerical flux on the truncation boundary. The fields required by the flux are computed using the TDBI from equivalent currents introduced on a Huygens' surface enclosing the scatterer. The hybrid DGTDBI ensures that the radiation condition is mathematically exact and the resulting computation domain is as small as possible since the truncation boundary conforms to scatterer's shape and is located very close to its surface. Locally truncated domains can also be defined around each disconnected scatterer additionally reducing the size of the overall computation domain. Numerical examples demonstrating the accuracy and versatility of the proposed method are presented. © 2014 IEEE.

A hybrid time-domain discontinuous galerkin-boundary integral method for electromagnetic scattering analysis

KAUST Repository

Li, Ping

2014-05-01

A scheme hybridizing discontinuous Galerkin time-domain (DGTD) and time-domain boundary integral (TDBI) methods for accurately analyzing transient electromagnetic scattering is proposed. Radiation condition is enforced using the numerical flux on the truncation boundary. The fields required by the flux are computed using the TDBI from equivalent currents introduced on a Huygens\\' surface enclosing the scatterer. The hybrid DGTDBI ensures that the radiation condition is mathematically exact and the resulting computation domain is as small as possible since the truncation boundary conforms to scatterer\\'s shape and is located very close to its surface. Locally truncated domains can also be defined around each disconnected scatterer additionally reducing the size of the overall computation domain. Numerical examples demonstrating the accuracy and versatility of the proposed method are presented. © 2014 IEEE.

Hybrid transfer-matrix FDTD method for layered periodic structures.

Science.gov (United States)

Deinega, Alexei; Belousov, Sergei; Valuev, Ilya

2009-03-15

A hybrid transfer-matrix finite-difference time-domain (FDTD) method is proposed for modeling the optical properties of finite-width planar periodic structures. This method can also be applied for calculation of the photonic bands in infinite photonic crystals. We describe the procedure of evaluating the transfer-matrix elements by a special numerical FDTD simulation. The accuracy of the new method is tested by comparing computed transmission spectra of a 32-layered photonic crystal composed of spherical or ellipsoidal scatterers with the results of direct FDTD and layer-multiple-scattering calculations.

Symbolic behavior in regular classrooms. A specification of symbolic and non-symbolic behavior

Directory of Open Access Journals (Sweden)

Stefan eBillinger

2011-06-01

Full Text Available Students’ capabilities to use symbolic information in classroom setting could be expected to influence their possibilities to be active and participating. The development of strategies for teachers to compensate for reduced capability need specific operational definition of symbolic behavior. Fifty-three students, aged 11 to 13 years old, 29 boys and 24 girls, from three classes in the same Swedish compulsory regular school participated in the current study. After a short training sequence 25 students (47% were defined as showing symbolic behavior (symbolic, and 28 students (53% were not (non-symbolic, based on their follow-up test performances. Symbolic and non-symbolic differed significantly on post test performances (p. < .05. Surprisingly, non-symbolic behavior deteriorated their performance, while symbolic enhanced their performance (p. < .05. The results indicate that the operational definition used in the present study may be useful in further studies relating the capability to show symbolic behavior and students’ activity and participation in classroom settings.

Hybrid subgroup decomposition method for solving fine-group eigenvalue transport problems

International Nuclear Information System (INIS)

Yasseri, Saam; Rahnema, Farzad

2014-01-01

Highlights: • An acceleration technique for solving fine-group eigenvalue transport problems. • Coarse-group quasi transport theory to solve coarse-group eigenvalue transport problems. • Consistent and inconsistent formulations for coarse-group quasi transport theory. • Computational efficiency amplified by a factor of 2 using hybrid SGD for 1D BWR problem. - Abstract: In this paper, a new hybrid method for solving fine-group eigenvalue transport problems is developed. This method extends the subgroup decomposition method to efficiently couple a new coarse-group quasi transport theory with a set of fixed-source transport decomposition sweeps to obtain the fine-group transport solution. The advantages of the quasi transport theory are its high accuracy, straight-forward implementation and numerical stability. The hybrid method is analyzed for a 1D benchmark problem characteristic of boiling water reactors (BWR). It is shown that the method reproduces the fine-group transport solution with high accuracy while increasing the computational efficiency up to 12 times compared to direct fine-group transport calculations

Carrier tracking by smoothing filter improves symbol SNR

Science.gov (United States)

Pomalaza-Raez, Carlos A.; Hurd, William J.

1986-01-01

The potential benefit of using a smoothing filter to estimate carrier phase over use of phase locked loops (PLL) is determined. Numerical results are presented for the performance of three possible configurations of the deep space network advanced receiver. These are residual carrier PLL, sideband aided residual carrier PLL, and finally sideband aiding with a Kalman smoother. The average symbol signal to noise ratio (SNR) after losses due to carrier phase estimation error is computed for different total power SNRs, symbol rates and symbol SNRs. It is found that smoothing is most beneficial for low symbol SNRs and low symbol rates. Smoothing gains up to 0.4 dB over a sideband aided residual carrier PLL, and the combined benefit of smoothing and sideband aiding relative to a residual carrier loop is often in excess of 1 dB.

Numerical Simulations of Flow and Fuel Regression Rate Coupling in Hybrid Rocket Motors

Directory of Open Access Journals (Sweden)

Marius STOIA-DJESKA

2017-03-01

Full Text Available The hybrid propulsion offers some remarkable advantages like high safety and high specific impulse and thus it is considered a promising technology for the next generation launchers and space systems. The purpose of this work is to validate a design tool for hybrid rocket motors (HRM through numerical simulations.

Appendices on provisional nomenclature, symbols, terminology and conventions - number 55

International Nuclear Information System (INIS)

1976-01-01

Ten numerically-based syllables (nil, un, bi, etc) are used to provide recommended names of elements of atomic numbers greater than 100. The symbol of the element is composed of the initial letters of the numerical roots which make up the name. Abbreviated forms of the names of elements 101 to 199 are proposed. Thus: element 105 would be named Un-nil-pentium [hyphens not part of name but shown in the recommendatoins to assist comprehension], symbol Unp, abbreviation Pentium. (U.K.)

A direct hybrid S{sub N} method for slab-geometry lattice calculations

Energy Technology Data Exchange (ETDEWEB)

Silva, Davi J.M.; Barros, Ricardo C., E-mail: rcbarros@pq.cnpq.b [Universidade do Estado do Rio de Janeiro (IPRJ/UERJ), Nova Friburgo, RJ (Brazil). Programa de Pos-graduacao em Modelagem Computacional; Zani, Jose H. [Fundacao Educacional Serra dos Orgaos, Teresopolis, RJ (Brazil). Ciencia da Computacao

2011-07-01

In this work we describe a hybrid direct method for calculating the thermal disadvantage factor and the neutron flux distribution in fuel-moderator lattices. For the mathematical model, we use the one-speed slab-geometry discrete ordinates (S{sub N}) transport equation with linearly anisotropic scattering. The basic idea is to use higher order angular quadrature set in the highly absorbing fuel region (S{sub NF}) and lower order angular quadrature set in the diffusive moderator region (S{sub NM}) , i.e., N{sub F} > N{sub M}. We apply special continuity conditions based on the equivalence of the S{sub N} and P{sub N-1} equations, which characterize the hybrid model. Numerical results to a typical model problem are given to illustrate the accuracy and the efficiency of the offered hybrid method. (author)

Block Hybrid Collocation Method with Application to Fourth Order Differential Equations

Directory of Open Access Journals (Sweden)

Lee Ken Yap

2015-01-01

Full Text Available The block hybrid collocation method with three off-step points is proposed for the direct solution of fourth order ordinary differential equations. The interpolation and collocation techniques are applied on basic polynomial to generate the main and additional methods. These methods are implemented in block form to obtain the approximation at seven points simultaneously. Numerical experiments are conducted to illustrate the efficiency of the method. The method is also applied to solve the fourth order problem from ship dynamics.

ASAP - A symbolic algebra package for accelerator design

International Nuclear Information System (INIS)

Bozoki, E.; Friedman, A.; Ben-Zvi, I.

1991-01-01

The design of a modern accelerator is a complicated task that involves the integration of many devices. As a consequence many parameters must be optimized in order to achieve a satisfactory result. Even the design of a simple subsystem, such as a bending system, requires that the designer will pick a successful choice from a wide range of alternatives. Usually, the task is too large to allow an analytical design, and the designer has to use a computer code (such as MAD or TRANSPORT) to simulate the system and numerically find the desired conditions. The disadvantages of this numerical method are, that (1) the solutions, i.e. the choice of the parameters may or may not be optimal and (2) each change in a parameter requires to recalculate the whole system, thus a detailed design is lengthy and costly. The authors report the conceptual design and primary implementation steps of a symbolic algebra program based on MACSYMA for the design of accelerators, storage rings and transport lines. The motivation for using symbolic algebra is discussed and a design case is presented that shows the advantage of this approach

Incident sequence analysis; event trees, methods and graphical symbols

International Nuclear Information System (INIS)

1980-11-01

When analyzing incident sequences, unwanted events resulting from a certain cause are looked for. Graphical symbols and explanations of graphical representations are presented. The method applies to the analysis of incident sequences in all types of facilities. By means of the incident sequence diagram, incident sequences, i.e. the logical and chronological course of repercussions initiated by the failure of a component or by an operating error, can be presented and analyzed simply and clearly

Numerical Solution of Piecewise Constant Delay Systems Based on a Hybrid Framework

Directory of Open Access Journals (Sweden)

H. R. Marzban

2016-01-01

Full Text Available An efficient numerical scheme for solving delay differential equations with a piecewise constant delay function is developed in this paper. The proposed approach is based on a hybrid of block-pulse functions and Taylor’s polynomials. The operational matrix of delay corresponding to the proposed hybrid functions is introduced. The sparsity of this matrix significantly reduces the computation time and memory requirement. The operational matrices of integration, delay, and product are employed to transform the problem under consideration into a system of algebraic equations. It is shown that the developed approach is also applicable to a special class of nonlinear piecewise constant delay differential equations. Several numerical experiments are examined to verify the validity and applicability of the presented technique.

Symbols and schemas in emotional eating

DEFF Research Database (Denmark)

Grunert, Suzanne C.

1995-01-01

. Particularly the aspects of security and pleasure are suggested to be important motivators for emotional eating. How these symbolic meanings relate to eating as a regulatory device for emotions is explained by a schema- theoretical approach distinguishing between automatic adaptation mechanisms and strategic......Emotional eating behaviour has been of interest to psychologists exclusively as a disorder. However, evidence suggests that it is a common aspect of normal food habits, initiated by both positive and negative emotions in order to regulate these. T behaviour thus serves to regain or preserve...... the psycho-mental homeostasis. To explain this phenomenon it is first shown which symbolic meanings are associated with eating and foods. The numerous connotations can be grouped into four basic dimensions: Security and pleasure as self-oriented, and status and prestige as socially oriented emotional symbols...

Nonequilibrium Kondo effect by the equilibrium numerical renormalization group method: The hybrid Anderson model subject to a finite spin bias

Science.gov (United States)

Fang, Tie-Feng; Guo, Ai-Min; Sun, Qing-Feng

2018-06-01

We investigate Kondo correlations in a quantum dot with normal and superconducting electrodes, where a spin bias voltage is applied across the device and the local interaction U is either attractive or repulsive. When the spin current is blockaded in the large-gap regime, this nonequilibrium strongly correlated problem maps into an equilibrium model solvable by the numerical renormalization group method. The Kondo spectra with characteristic splitting due to the nonequilibrium spin accumulation are thus obtained at high precision. It is shown that while the bias-induced decoherence of the spin Kondo effect is partially compensated by the superconductivity, the charge Kondo effect is enhanced out of equilibrium and undergoes an additional splitting by the superconducting proximity effect, yielding four Kondo peaks in the local spectral density. In the charge Kondo regime, we find a universal scaling of charge conductance in this hybrid device under different spin biases. The universal conductance as a function of the coupling to the superconducting lead is peaked at and hence directly measures the Kondo temperature. Our results are of direct relevance to recent experiments realizing a negative-U charge Kondo effect in hybrid oxide quantum dots [Nat. Commun. 8, 395 (2017), 10.1038/s41467-017-00495-7].

Numerical methodologies for investigation of moderate-velocity flow using a hybrid computational fluid dynamics - molecular dynamics simulation approach

International Nuclear Information System (INIS)

Ko, Soon Heum; Kim, Na Yong; Nikitopoulos, Dimitris E.; Moldovan, Dorel; Jha, Shantenu

2014-01-01

Numerical approaches are presented to minimize the statistical errors inherently present due to finite sampling and the presence of thermal fluctuations in the molecular region of a hybrid computational fluid dynamics (CFD) - molecular dynamics (MD) flow solution. Near the fluid-solid interface the hybrid CFD-MD simulation approach provides a more accurate solution, especially in the presence of significant molecular-level phenomena, than the traditional continuum-based simulation techniques. It also involves less computational cost than the pure particle-based MD. Despite these advantages the hybrid CFD-MD methodology has been applied mostly in flow studies at high velocities, mainly because of the higher statistical errors associated with low velocities. As an alternative to the costly increase of the size of the MD region to decrease statistical errors, we investigate a few numerical approaches that reduce sampling noise of the solution at moderate-velocities. These methods are based on sampling of multiple simulation replicas and linear regression of multiple spatial/temporal samples. We discuss the advantages and disadvantages of each technique in the perspective of solution accuracy and computational cost.

Extension of a hybrid particle-continuum method for a mixture of chemical species

Science.gov (United States)

Verhoff, Ashley M.; Boyd, Iain D.

2012-11-01

Due to the physical accuracy and numerical efficiency achieved by analyzing transitional, hypersonic flow fields with hybrid particle-continuum methods, this paper describes a Modular Particle-Continuum (MPC) method and its extension to include multiple chemical species. Considerations that are specific to a hybrid approach for simulating gas mixtures are addressed, including a discussion of the Chapman-Enskog velocity distribution function (VDF) for near-equilibrium flows, and consistent viscosity models for the individual CFD and DSMC modules of the MPC method. Representative results for a hypersonic blunt-body flow are then presented, where the flow field properties, surface properties, and computational performance are compared for simulations employing full CFD, full DSMC, and the MPC method.

Adaptive mixed-hybrid and penalty discontinuous Galerkin method for two-phase flow in heterogeneous media

KAUST Repository

Hou, Jiangyong

2016-02-05

In this paper, we present a hybrid method, which consists of a mixed-hybrid finite element method and a penalty discontinuous Galerkin method, for the approximation of a fractional flow formulation of a two-phase flow problem in heterogeneous media with discontinuous capillary pressure. The fractional flow formulation is comprised of a wetting phase pressure equation and a wetting phase saturation equation which are coupled through a total velocity and the saturation affected coefficients. For the wetting phase pressure equation, the continuous mixed-hybrid finite element method space can be utilized due to a fundamental property that the wetting phase pressure is continuous. While it can reduce the computational cost by using less degrees of freedom and avoiding the post-processing of velocity reconstruction, this method can also keep several good properties of the discontinuous Galerkin method, which are important to the fractional flow formulation, such as the local mass balance, continuous normal flux and capability of handling the discontinuous capillary pressure. For the wetting phase saturation equation, the penalty discontinuous Galerkin method is utilized due to its capability of handling the discontinuous jump of the wetting phase saturation. Furthermore, an adaptive algorithm for the hybrid method together with the centroidal Voronoi Delaunay triangulation technique is proposed. Five numerical examples are presented to illustrate the features of proposed numerical method, such as the optimal convergence order, the accurate and efficient velocity approximation, and the applicability to the simulation of water flooding in oil field and the oil-trapping or barrier effect phenomena.

Adaptive mixed-hybrid and penalty discontinuous Galerkin method for two-phase flow in heterogeneous media

KAUST Repository

Hou, Jiangyong; Chen, Jie; Sun, Shuyu; Chen, Zhangxin

2016-01-01

In this paper, we present a hybrid method, which consists of a mixed-hybrid finite element method and a penalty discontinuous Galerkin method, for the approximation of a fractional flow formulation of a two-phase flow problem in heterogeneous media with discontinuous capillary pressure. The fractional flow formulation is comprised of a wetting phase pressure equation and a wetting phase saturation equation which are coupled through a total velocity and the saturation affected coefficients. For the wetting phase pressure equation, the continuous mixed-hybrid finite element method space can be utilized due to a fundamental property that the wetting phase pressure is continuous. While it can reduce the computational cost by using less degrees of freedom and avoiding the post-processing of velocity reconstruction, this method can also keep several good properties of the discontinuous Galerkin method, which are important to the fractional flow formulation, such as the local mass balance, continuous normal flux and capability of handling the discontinuous capillary pressure. For the wetting phase saturation equation, the penalty discontinuous Galerkin method is utilized due to its capability of handling the discontinuous jump of the wetting phase saturation. Furthermore, an adaptive algorithm for the hybrid method together with the centroidal Voronoi Delaunay triangulation technique is proposed. Five numerical examples are presented to illustrate the features of proposed numerical method, such as the optimal convergence order, the accurate and efficient velocity approximation, and the applicability to the simulation of water flooding in oil field and the oil-trapping or barrier effect phenomena.

Carrier tracking by smoothing filter can improve symbol SNR

Science.gov (United States)

Hurd, W. J.; Pomalaza-Raez, C. A.

1985-01-01

The potential benefit of using a smoothing filter to estimate carrier phase over use of phase locked loops (PLL) is determined. Numerical results are presented for the performance of three possible configurations of the deep space network advanced receiver. These are residual carrier PLL, sideband aided residual carrier PLL, and finally sideband aiding with a Kalman smoother. The average symbol signal to noise ratio (CNR) after losses due to carrier phase estimation error is computed for different total power SNRs, symbol rates and symbol SNRs. It is found that smoothing is most beneficial for low symbol SNRs and low symbol rates. Smoothing gains up to 0.4 dB over a sideband aided residual carrier PLL, and the combined benefit of smoothing and sideband aiding relative to a residual carrier loop is often in excess of 1 dB.

A boundary integral method for numerical computation of radar cross section of 3D targets using hybrid BEM/FEM with edge elements

Science.gov (United States)

Dodig, H.

2017-11-01

This contribution presents the boundary integral formulation for numerical computation of time-harmonic radar cross section for 3D targets. Method relies on hybrid edge element BEM/FEM to compute near field edge element coefficients that are associated with near electric and magnetic fields at the boundary of the computational domain. Special boundary integral formulation is presented that computes radar cross section directly from these edge element coefficients. Consequently, there is no need for near-to-far field transformation (NTFFT) which is common step in RCS computations. By the end of the paper it is demonstrated that the formulation yields accurate results for canonical models such as spheres, cubes, cones and pyramids. Method has demonstrated accuracy even in the case of dielectrically coated PEC sphere at interior resonance frequency which is common problem for computational electromagnetic codes.

Symbols of a cosmic order

Science.gov (United States)

Madjid, F. Hadi; Myers, John M.

2016-10-01

The world runs on networks over which signals communicate sequences of symbols, e.g. numerals. Examining both engineered and natural communications networks reveals an unsuspected order that depends on contact with an unpredictable entity. This order has three roots. The first is a proof within quantum theory that no evidence can ever determine its explanation, so that an agent choosing an explanation must do so unpredictably. The second root is the showing that clocks that step computers do not "tell time" but serve as self-adjusting symbol-handling agents that regulate "logically synchronized" motion in response to unpredictable disturbances. Such a clock-agent has a certain independence as well as the capacity to communicate via unpredictable symbols with other clock-agents and to adjust its own tick rate in response to that communication. The third root is the noticing of unpredictable symbol exchange in natural systems, including the transmission of symbols found in molecular biology. We introduce a symbol-handling agent as a role played in some cases by a person, for example a physicist who chooses an explanation of given experimental outcomes, and in other cases by some other biological entity, and in still other cases by an inanimate device, such as a computer-based detector used in physical measurements. While we forbear to try to explain the propensity of agents at all levels from cells to civilizations to form and operate networks of logically synchronized symbol-handling agents, we point to this propensity as an overlooked cosmic order, an order structured by the unpredictability ensuing from the proof. Appreciating the cosmic order leads to a conception of agency that replaces volition by unpredictability and reconceives the notion of objectivity in a way that makes a place for agency in the world as described by physics. Some specific implications for physics are outlined.

Phonetic Symbols through Audiolingual Method to Improve the Students' Listening Skill

Science.gov (United States)

Samawiyah, Zuhrotun; Saifuddin, Muhammad

2016-01-01

Phonetic symbols present linguistics feature to how the words are pronounced or spelled and they offer a way to easily identify and recognize the words. Phonetic symbols were applied in this research to give the students clear input and a comprehension toward English words. Moreover, these phonetic symbols were applied within audio-lingual method…

Coitus in the Symbolic Language of Slavic Culture

OpenAIRE

Aleksandr V. Gura

2005-01-01

Folk culture considers sexual intercourse unclean and dangerous and therefore applies many restrictions to it. Usually coitus is referred to with euphemisms and other substitutes that can be both neutral and expressive, or even humorous. Symbols of coitus in popular culture are numerous and diverse. Coitus is one of the most important objects of allegory among different types of human activity. In traditional popular culture it corresponds to a wide paradigm of behavioural symbols. The ...

Feedback options in nonlinear numerical finance

DEFF Research Database (Denmark)

Hugger, Jens; Mashayekhi, Sima

2012-01-01

on an infinite slab is presented and boundary values on a bounded domain are derived. This bounded, nonlinear, 2 dimensional initial-boundary value problem is solved numerically using a number of standard finite difference schemes and the methods incorporated in the symbolic software Maple™....

Inferring Weighted Directed Association Networks from Multivariate Time Series with the Small-Shuffle Symbolic Transfer Entropy Spectrum Method

Directory of Open Access Journals (Sweden)

Yanzhu Hu

2016-09-01

Full Text Available Complex network methodology is very useful for complex system exploration. However, the relationships among variables in complex systems are usually not clear. Therefore, inferring association networks among variables from their observed data has been a popular research topic. We propose a method, named small-shuffle symbolic transfer entropy spectrum (SSSTES, for inferring association networks from multivariate time series. The method can solve four problems for inferring association networks, i.e., strong correlation identification, correlation quantification, direction identification and temporal relation identification. The method can be divided into four layers. The first layer is the so-called data layer. Data input and processing are the things to do in this layer. In the second layer, we symbolize the model data, original data and shuffled data, from the previous layer and calculate circularly transfer entropy with different time lags for each pair of time series variables. Thirdly, we compose transfer entropy spectrums for pairwise time series with the previous layer’s output, a list of transfer entropy matrix. We also identify the correlation level between variables in this layer. In the last layer, we build a weighted adjacency matrix, the value of each entry representing the correlation level between pairwise variables, and then get the weighted directed association network. Three sets of numerical simulated data from a linear system, a nonlinear system and a coupled Rossler system are used to show how the proposed approach works. Finally, we apply SSSTES to a real industrial system and get a better result than with two other methods.

Hybrid perturbation methods based on statistical time series models

Science.gov (United States)

San-Juan, Juan Félix; San-Martín, Montserrat; Pérez, Iván; López, Rosario

2016-04-01

In this work we present a new methodology for orbit propagation, the hybrid perturbation theory, based on the combination of an integration method and a prediction technique. The former, which can be a numerical, analytical or semianalytical theory, generates an initial approximation that contains some inaccuracies derived from the fact that, in order to simplify the expressions and subsequent computations, not all the involved forces are taken into account and only low-order terms are considered, not to mention the fact that mathematical models of perturbations not always reproduce physical phenomena with absolute precision. The prediction technique, which can be based on either statistical time series models or computational intelligence methods, is aimed at modelling and reproducing missing dynamics in the previously integrated approximation. This combination results in the precision improvement of conventional numerical, analytical and semianalytical theories for determining the position and velocity of any artificial satellite or space debris object. In order to validate this methodology, we present a family of three hybrid orbit propagators formed by the combination of three different orders of approximation of an analytical theory and a statistical time series model, and analyse their capability to process the effect produced by the flattening of the Earth. The three considered analytical components are the integration of the Kepler problem, a first-order and a second-order analytical theories, whereas the prediction technique is the same in the three cases, namely an additive Holt-Winters method.

Moving finite element method aided by computerized symbolic manipulation and its application to dynamic fracture simulation

International Nuclear Information System (INIS)

Nishioka, Toshihisa; Takemoto, Yutaka

1988-01-01

Recently, the authors have shown that the combined method of the path-independent J' integral (dynamic J integral) and a moving isoparametric element procedure is an effective tool for the calculation of dynamic stress intensity factors. In the moving element procedure, the nodal pattern of the elements near a crack tip moves according to the motion of the crack-tip. An iterative numerical technique was used in the previous procedure to find the natural coordinates (ξ, η) at the newly created nodes. This technique requires additional computing time because of the nature of iteration. In the present paper, algebraic expressions for the transformation of the global coordinates (x, y) to the natural coordinates (ξ, η) were obtained by using a computerized symbolic manipulation system (REDUCE 3.2). These algebraic expressions are also very useful for remeshing or zooming techniques often used in finite element analysis. The present moving finite element method demonstrates its effectiveness for the simulation of a fast fracture. (author)

The numerical simulation of heat transfer during a hybrid laser-MIG welding using equivalent heat source approach

Science.gov (United States)

Bendaoud, Issam; Matteï, Simone; Cicala, Eugen; Tomashchuk, Iryna; Andrzejewski, Henri; Sallamand, Pierre; Mathieu, Alexandre; Bouchaud, Fréderic

2014-03-01

The present study is dedicated to the numerical simulation of an industrial case of hybrid laser-MIG welding of high thickness duplex steel UR2507Cu with Y-shaped chamfer geometry. It consists in simulation of heat transfer phenomena using heat equivalent source approach and implementing in finite element software COMSOL Multiphysics. A numerical exploratory designs method is used to identify the heat sources parameters in order to obtain a minimal required difference between the numerical results and the experiment which are the shape of the welded zone and the temperature evolution in different locations. The obtained results were found in good correspondence with experiment, both for melted zone shape and thermal history.

A model-guided symbolic execution approach for network protocol implementations and vulnerability detection.

Science.gov (United States)

Wen, Shameng; Meng, Qingkun; Feng, Chao; Tang, Chaojing

2017-01-01

Formal techniques have been devoted to analyzing whether network protocol specifications violate security policies; however, these methods cannot detect vulnerabilities in the implementations of the network protocols themselves. Symbolic execution can be used to analyze the paths of the network protocol implementations, but for stateful network protocols, it is difficult to reach the deep states of the protocol. This paper proposes a novel model-guided approach to detect vulnerabilities in network protocol implementations. Our method first abstracts a finite state machine (FSM) model, then utilizes the model to guide the symbolic execution. This approach achieves high coverage of both the code and the protocol states. The proposed method is implemented and applied to test numerous real-world network protocol implementations. The experimental results indicate that the proposed method is more effective than traditional fuzzing methods such as SPIKE at detecting vulnerabilities in the deep states of network protocol implementations.

A comparison of generalized hybrid Monte Carlo methods with and without momentum flip

International Nuclear Information System (INIS)

Akhmatskaya, Elena; Bou-Rabee, Nawaf; Reich, Sebastian

2009-01-01

The generalized hybrid Monte Carlo (GHMC) method combines Metropolis corrected constant energy simulations with a partial random refreshment step in the particle momenta. The standard detailed balance condition requires that momenta are negated upon rejection of a molecular dynamics proposal step. The implication is a trajectory reversal upon rejection, which is undesirable when interpreting GHMC as thermostated molecular dynamics. We show that a modified detailed balance condition can be used to implement GHMC without momentum flips. The same modification can be applied to the generalized shadow hybrid Monte Carlo (GSHMC) method. Numerical results indicate that GHMC/GSHMC implementations with momentum flip display a favorable behavior in terms of sampling efficiency, i.e., the traditional GHMC/GSHMC implementations with momentum flip got the advantage of a higher acceptance rate and faster decorrelation of Monte Carlo samples. The difference is more pronounced for GHMC. We also numerically investigate the behavior of the GHMC method as a Langevin-type thermostat. We find that the GHMC method without momentum flip interferes less with the underlying stochastic molecular dynamics in terms of autocorrelation functions and it to be preferred over the GHMC method with momentum flip. The same finding applies to GSHMC

Methods of numerical relativity

International Nuclear Information System (INIS)

Piran, T.

1983-01-01

Numerical Relativity is an alternative to analytical methods for obtaining solutions for Einstein equations. Numerical methods are particularly useful for studying generation of gravitational radiation by potential strong sources. The author reviews the analytical background, the numerical analysis aspects and techniques and some of the difficulties involved in numerical relativity. (Auth.)

#JeSuisCharlie: Towards a Multi-Method Study of Hybrid Media Events

Directory of Open Access Journals (Sweden)

Johanna Sumiala

2016-10-01

Full Text Available This article suggests a new methodological model for the study of hybrid media events with global appeal. This model, developed in the project on the 2015 Charlie Hebdo attacks in Paris, was created specifically for researching digital media—and in particular, Twitter. The article is structured as follows. Firstly, the methodological scope is discussed against the theoretical context, e.g. the theory of media events. In the theoretical discussion, special emphasis is given to i disruptive, upsetting, or disintegrative media events and hybrid media events and ii the conditions of today’s heterogeneous and globalised media communication landscape. Secondly, the article introduces a multi-method approach developed for the analysis of hybrid media events. In this model, computational social science—namely, automated content analysis (ACA and social network analytics (SNA—are combined with a qualitative approach—specifically, digital ethnography. The article outlines three key phases for research in which the interplay between quantitative and qualitative approaches is played out. In the first phase, preliminary digital ethnography is applied to provide the outline of the event. In the second phase, quantitative social network analytics are applied to construct the digital field for research. In this phase, it is necessary to map a what is circulating on the websites and b where this circulation takes place. The third and final phase applies a qualitative approach and digital ethnography to provide a more nuanced, in-depth interpretation of what (substance/content is circulating and how this material connects with the ‘where’ in the digital landscape, hence constituting links and connections in the hybrid media landscape. In conclusion, the article reflects on how this multi-method approach contributes to understanding the workings of today’s hybrid media events: how they create and maintain symbolic battles over certain imagined

Mechanical Behavior Analysis of Y-Type S-SRC Column in a Large-Space Vertical Hybrid Structure Using Local Fine Numerical Simulation Method

Directory of Open Access Journals (Sweden)

Jianguang Yue

2018-01-01

Full Text Available In a large spatial structure, normally the important members are of special type and are the safety key for the global structure. In order to study the mechanical behavior details of the local member, it is difficult for the common test method to realize the complex spatial loading state of the local member. Therefore, a local-fine finite element model was proposed and a large-space vertical hybrid structure was numerically simulated. The seismic responses of the global structure and the Y-type S-SRC column were analyzed under El Centro seismic motions with the peak acceleration of 35 gal and 220 gal. The numerical model was verified with the results of the seismic shaking table test of the structure model. The failure mechanism and stiffness damage evolution of the Y-type S-SRC column were analyzed. The calculated results agreed well with the test results. It indicates that the local-fine FEM could reflect the mechanical details of the local members in a large spatial structure.

Symbolic transfer entropy-based premature signal analysis

International Nuclear Information System (INIS)

Wang Jun; Yu Zheng-Feng

2012-01-01

In this paper, we use symbolic transfer entropy to study the coupling strength between premature signals. Numerical experiments show that three types of signal couplings are in the same direction. Among them, normal signal coupling is the strongest, followed by that of premature ventricular contractions, and that of atrial premature beats is the weakest. The T test shows that the entropies of the three signals are distinct. Symbolic transfer entropy requires less data, can distinguish the three types of signals and has very good computational efficiency. (interdisciplinary physics and related areas of science and technology)

Nonsymbolic and symbolic magnitude comparison skills as longitudinal predictors of mathematical achievement

NARCIS (Netherlands)

Xenidou-Dervou, I.; Molenaar, D.; Ansari, D.; van der Schoot, M.; van Lieshout, E.C.D.M.

What developmental roles do nonsymbolic (e.g., dot arrays) and symbolic (i.e., Arabic numerals) magnitude comparison skills play in children's mathematics? We assessed a large sample in kindergarten, grade 1 and 2 on two well-known nonsymbolic and symbolic magnitude comparison measures. We also

A Nodal and Finite Difference Hybrid Method for Pin-by-Pin Heterogeneous Three-Dimensional Light Water Reactor Diffusion Calculations

International Nuclear Information System (INIS)

Lee, Deokjung; Downar, Thomas J.; Kim, Yonghee

2004-01-01

An innovative hybrid spatial discretization method is proposed to improve the computational efficiency of pin-wise heterogeneous three-dimensional light water reactor (LWR) core neutronics analysis. The newly developed method employs the standard finite difference method in the x and y directions and the well-known nodal methods [nodal expansion method (NEM) and analytic nodal method (ANM) as needed] in the z direction. Four variants of the hybrid method are investigated depending on the axial nodal methodologies: HYBRID A, NEM with the conventional quadratic transverse leakage; HYBRID B, the conventional NEM method except that the transverse-leakage shapes are obtained from a fine-mesh local problem (FMLP) around the control rod tip; HYBRID C, the same as HYBRID B except that ANM with a high-order transverse leakage obtained from the FMLP is used in the vicinity of the control rod tip; and HYBRID D, the same as HYBRID C except that the transverse leakage is determined using the buckling approximation instead of the FMLP around the control rod tip. Benchmark calculations demonstrate that all the hybrid algorithms are consistent and stable and that the HYBRID C method provides the best numerical performance in the case of rodded LWR problems with pin-wise homogenized cross sections

Nonlinear analysis of flexible beams undergoing large rotations Via symbolic computations

Directory of Open Access Journals (Sweden)

Yuan Xiaofeng

2001-01-01

Full Text Available In this paper, a two-stage approach is presented for analyzing flexible beams undergoing large rotations. In the first stage, the symbolic forms of equations of motion and the Jacobian matrix are generated by means of MATLAB and written into a MATLAB script file automatically, where the flexible beams are described by the unified formulation presented in our previous paper. In the second stage, the derived equations of motion are solved by means of implicit numerical methods. Several comparison computations are performed. The two-stage approach proves to be much more efficient than pure numerical one.

Analysis of subgrid scale mixing using a hybrid LES-Monte-Carlo PDF method

International Nuclear Information System (INIS)

Olbricht, C.; Hahn, F.; Sadiki, A.; Janicka, J.

2007-01-01

This contribution introduces a hybrid LES-Monte-Carlo method for a coupled solution of the flow and the multi-dimensional scalar joint pdf in two complex mixing devices. For this purpose an Eulerian Monte-Carlo method is used. First, a complex mixing device (jet-in-crossflow, JIC) is presented in which the stochastic convergence and the coherency between the scalar field solution obtained via finite-volume methods and that from the stochastic solution of the pdf for the hybrid method are evaluated. Results are compared to experimental data. Secondly, an extensive investigation of the micromixing on the basis of assumed shape and transported SGS-pdfs in a configuration with practical relevance is carried out. This consists of a mixing chamber with two opposite rows of jets penetrating a crossflow (multi-jet-in-crossflow, MJIC). Some numerical results are compared to available experimental data and to RANS based results. It turns out that the hybrid LES-Monte-Carlo method could achieve a detailed analysis of the mixing at the subgrid level

A modified hybrid uncertain analysis method for dynamic response field of the LSOAAC with random and interval parameters

Science.gov (United States)

Zi, Bin; Zhou, Bin

2016-07-01

For the prediction of dynamic response field of the luffing system of an automobile crane (LSOAAC) with random and interval parameters, a hybrid uncertain model is introduced. In the hybrid uncertain model, the parameters with certain probability distribution are modeled as random variables, whereas, the parameters with lower and upper bounds are modeled as interval variables instead of given precise values. Based on the hybrid uncertain model, the hybrid uncertain dynamic response equilibrium equation, in which different random and interval parameters are simultaneously included in input and output terms, is constructed. Then a modified hybrid uncertain analysis method (MHUAM) is proposed. In the MHUAM, based on random interval perturbation method, the first-order Taylor series expansion and the first-order Neumann series, the dynamic response expression of the LSOAAC is developed. Moreover, the mathematical characteristics of extrema of bounds of dynamic response are determined by random interval moment method and monotonic analysis technique. Compared with the hybrid Monte Carlo method (HMCM) and interval perturbation method (IPM), numerical results show the feasibility and efficiency of the MHUAM for solving the hybrid LSOAAC problems. The effects of different uncertain models and parameters on the LSOAAC response field are also investigated deeply, and numerical results indicate that the impact made by the randomness in the thrust of the luffing cylinder F is larger than that made by the gravity of the weight in suspension Q . In addition, the impact made by the uncertainty in the displacement between the lower end of the lifting arm and the luffing cylinder a is larger than that made by the length of the lifting arm L .

Numerical methods using Matlab

CERN Document Server

Lindfield, George

2012-01-01

Numerical Methods using MATLAB, 3e, is an extensive reference offering hundreds of useful and important numerical algorithms that can be implemented into MATLAB for a graphical interpretation to help researchers analyze a particular outcome. Many worked examples are given together with exercises and solutions to illustrate how numerical methods can be used to study problems that have applications in the biosciences, chaos, optimization, engineering and science across the board. Numerical Methods using MATLAB, 3e, is an extensive reference offering hundreds of use

A model-guided symbolic execution approach for network protocol implementations and vulnerability detection.

Directory of Open Access Journals (Sweden)

Shameng Wen

Full Text Available Formal techniques have been devoted to analyzing whether network protocol specifications violate security policies; however, these methods cannot detect vulnerabilities in the implementations of the network protocols themselves. Symbolic execution can be used to analyze the paths of the network protocol implementations, but for stateful network protocols, it is difficult to reach the deep states of the protocol. This paper proposes a novel model-guided approach to detect vulnerabilities in network protocol implementations. Our method first abstracts a finite state machine (FSM model, then utilizes the model to guide the symbolic execution. This approach achieves high coverage of both the code and the protocol states. The proposed method is implemented and applied to test numerous real-world network protocol implementations. The experimental results indicate that the proposed method is more effective than traditional fuzzing methods such as SPIKE at detecting vulnerabilities in the deep states of network protocol implementations.

Symbolic and Nonsymbolic Equivalence Tasks: The Influence of Symbols on Students with Mathematics Difficulty

Science.gov (United States)

Driver, Melissa K.; Powell, Sarah R.

2015-01-01

Students often experience difficulty with attaching meaning to mathematics symbols. Many students react to symbols, such as the equal sign, as a command to "do something" or "write an answer" without reflecting upon the proper relational meaning of the equal sign. One method for assessing equal-sign understanding is through…

Cross Layer Analysis of P2MP Hybrid FSO/RF Network

KAUST Repository

Rakia, Tamer

2017-02-22

This paper presents and analyzes a point-tomultipoint (P2MP) network that uses a number of freespace optical (FSO) links for data transmission from the central node to the different remote nodes of the network. A common backup radio frequency (RF) link can be used by the central node for data transmission to any remote node in case any one of the FSO links fails. Each remote node is assigned a transmit buffer at the central node. Considering the transmission link from the central node to a tagged remote node, we study various performance metrics. Specifically,we study the throughput from the central node to the tagged node, the average transmit buffer size, the symbol queuing delay in the transmit buffer, the efficiency of the queuing system, the symbol loss probability, and the RF link utilization. Numerical examples are presented to compare the performance of the proposed P2MP hybrid FSO/RF network with that of a P2MP FSO-only network and show that the P2MP hybrid FSO/RF network achieves considerable performance improvement over the P2MP FSO-only network.

An Efficient Hybrid Conjugate Gradient Method with the Strong Wolfe-Powell Line Search

Directory of Open Access Journals (Sweden)

Ahmad Alhawarat

2015-01-01

Full Text Available Conjugate gradient (CG method is an interesting tool to solve optimization problems in many fields, such as design, economics, physics, and engineering. In this paper, we depict a new hybrid of CG method which relates to the famous Polak-Ribière-Polyak (PRP formula. It reveals a solution for the PRP case which is not globally convergent with the strong Wolfe-Powell (SWP line search. The new formula possesses the sufficient descent condition and the global convergent properties. In addition, we further explained about the cases where PRP method failed with SWP line search. Furthermore, we provide numerical computations for the new hybrid CG method which is almost better than other related PRP formulas in both the number of iterations and the CPU time under some standard test functions.

Principal Component Analysis for Normal-Distribution-Valued Symbolic Data.

Science.gov (United States)

Wang, Huiwen; Chen, Meiling; Shi, Xiaojun; Li, Nan

2016-02-01

This paper puts forward a new approach to principal component analysis (PCA) for normal-distribution-valued symbolic data, which has a vast potential of applications in the economic and management field. We derive a full set of numerical characteristics and variance-covariance structure for such data, which forms the foundation for our analytical PCA approach. Our approach is able to use all of the variance information in the original data than the prevailing representative-type approach in the literature which only uses centers, vertices, etc. The paper also provides an accurate approach to constructing the observations in a PC space based on the linear additivity property of normal distribution. The effectiveness of the proposed method is illustrated by simulated numerical experiments. At last, our method is applied to explain the puzzle of risk-return tradeoff in China's stock market.

Numerical study of nozzle design for the hybrid synthetic jet actuator

Czech Academy of Sciences Publication Activity Database

Hsu, S.-S.; Chou, Y.-J.; Trávníček, Zdeněk; Lin, C.-F.; Wang, A. B.; Yen, R.H.

2015-01-01

Roč. 232, August (2015), s. 172-182 ISSN 0924-4247 R&D Projects: GA ČR GA14-08888S Institutional support: RVO:61388998 Keywords : synthetic jet * hybrid synthetic jet * numerical simulation Subject RIV: JU - Aeronautics, Aerodynamics, Aircrafts Impact factor: 2.201, year: 2015 http://www.sciencedirect.com/science/article/pii/S0924424715300091

Structural analysis of online handwritten mathematical symbols based on support vector machines

Science.gov (United States)

Simistira, Foteini; Papavassiliou, Vassilis; Katsouros, Vassilis; Carayannis, George

2013-01-01

Mathematical expression recognition is still a very challenging task for the research community mainly because of the two-dimensional (2d) structure of mathematical expressions (MEs). In this paper, we present a novel approach for the structural analysis between two on-line handwritten mathematical symbols of a ME, based on spatial features of the symbols. We introduce six features to represent the spatial affinity of the symbols and compare two multi-class classification methods that employ support vector machines (SVMs): one based on the "one-against-one" technique and one based on the "one-against-all", in identifying the relation between a pair of symbols (i.e. subscript, numerator, etc). A dataset containing 1906 spatial relations derived from the Competition on Recognition of Online Handwritten Mathematical Expressions (CROHME) 2012 training dataset is constructed to evaluate the classifiers and compare them with the rule-based classifier of the ILSP-1 system participated in the contest. The experimental results give an overall mean error rate of 2.61% for the "one-against-one" SVM approach, 6.57% for the "one-against-all" SVM technique and 12.31% error rate for the ILSP-1 classifier.

Solving Optimal Control Problem of Monodomain Model Using Hybrid Conjugate Gradient Methods

Directory of Open Access Journals (Sweden)

Kin Wei Ng

2012-01-01

Full Text Available We present the numerical solutions for the PDE-constrained optimization problem arising in cardiac electrophysiology, that is, the optimal control problem of monodomain model. The optimal control problem of monodomain model is a nonlinear optimization problem that is constrained by the monodomain model. The monodomain model consists of a parabolic partial differential equation coupled to a system of nonlinear ordinary differential equations, which has been widely used for simulating cardiac electrical activity. Our control objective is to dampen the excitation wavefront using optimal applied extracellular current. Two hybrid conjugate gradient methods are employed for computing the optimal applied extracellular current, namely, the Hestenes-Stiefel-Dai-Yuan (HS-DY method and the Liu-Storey-Conjugate-Descent (LS-CD method. Our experiment results show that the excitation wavefronts are successfully dampened out when these methods are used. Our experiment results also show that the hybrid conjugate gradient methods are superior to the classical conjugate gradient methods when Armijo line search is used.

Functional imaging of numerical processing in adults and 4-y-old children.

Directory of Open Access Journals (Sweden)

Jessica F Cantlon

2006-05-01

Full Text Available Adult humans, infants, pre-school children, and non-human animals appear to share a system of approximate numerical processing for non-symbolic stimuli such as arrays of dots or sequences of tones. Behavioral studies of adult humans implicate a link between these non-symbolic numerical abilities and symbolic numerical processing (e.g., similar distance effects in accuracy and reaction-time for arrays of dots and Arabic numerals. However, neuroimaging studies have remained inconclusive on the neural basis of this link. The intraparietal sulcus (IPS is known to respond selectively to symbolic numerical stimuli such as Arabic numerals. Recent studies, however, have arrived at conflicting conclusions regarding the role of the IPS in processing non-symbolic, numerosity arrays in adulthood, and very little is known about the brain basis of numerical processing early in development. Addressing the question of whether there is an early-developing neural basis for abstract numerical processing is essential for understanding the cognitive origins of our uniquely human capacity for math and science. Using functional magnetic resonance imaging (fMRI at 4-Tesla and an event-related fMRI adaptation paradigm, we found that adults showed a greater IPS response to visual arrays that deviated from standard stimuli in their number of elements, than to stimuli that deviated in local element shape. These results support previous claims that there is a neurophysiological link between non-symbolic and symbolic numerical processing in adulthood. In parallel, we tested 4-y-old children with the same fMRI adaptation paradigm as adults to determine whether the neural locus of non-symbolic numerical activity in adults shows continuity in function over development. We found that the IPS responded to numerical deviants similarly in 4-y-old children and adults. To our knowledge, this is the first evidence that the neural locus of adult numerical cognition takes form early in

An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication.

Science.gov (United States)

MinhHai, Tran; Rie, Saotome; Suzuki, Taisaku; Wada, Tomohisa

2016-01-01

We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1) estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2) symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically.

Linearly interpolated sub-symbol optical phase noise suppression in CO-OFDM system.

Science.gov (United States)

Hong, Xuezhi; Hong, Xiaojian; He, Sailing

2015-02-23

An optical phase noise suppression algorithm, LI-SCPEC, based on phase linear interpolation and sub-symbol processing is proposed for CO-OFDM system. By increasing the temporal resolution of carrier phase tracking through dividing one symbol into several sub-blocks, i.e., sub-symbols, inter-carrier-interference (ICI) mitigation is achieved in the proposed algorithm. Linear interpolation is employed to obtain a reliable temporal reference for sub-symbol phase estimation. The new algorithm, with only a few number of sub-symbols (N(B) = 4), can provide a considerably larger laser linewidth tolerance than several other ICI mitigation algorithms as demonstrated by Monte-Carlo simulations. Numerical analysis verifies that the best performance is achieved with an optimal and moderate number of sub-symbols. Complexity analysis shows that the required number of complex-valued multiplications is independent of the number of sub-symbols used in the proposed algorithm.

Experimental and numerical studies of hybrid PCM embedded in plastering mortar for enhanced thermal behaviour of buildings

International Nuclear Information System (INIS)

Kheradmand, Mohammad; Azenha, Miguel; Aguiar, José L.B. de; Castro-Gomes, João

2016-01-01

This paper proposes a methodology for improvement of energy efficiency in buildings through the innovative simultaneous incorporation of three distinct phase change materials (here termed as hybrid PCM) in plastering mortars for façade walls. The thermal performance of a hybrid PCM mortar was experimentally evaluated by comparing the behaviour of a prototype test cell (including hybrid PCM plastering mortar) subjected to realistic daily temperature profiles, with the behaviour of a similar prototype test cell, in which no PCM was added. A numerical simulation model was employed (using ANSYS-FLUENT) to validate the capacity of simulating temperature evolution within the prototype containing hybrid PCM, as well as to understand the contribution of hybrid PCM to energy efficiency. Incorporation of hybrid PCM into plastering mortars was found to have the potential to significantly reduce heating/cooling temperature demands for maintaining the interior temperature within comfort levels when compared to normal mortars (without PCM), or even mortars comprising a single type of PCM. - Highlights: • New concept of incorporation of more than 1 type of PCM in plastering mortars (hybrid PCM). • Assessment of thermal performance of hybrid PCM plastering mortar. • Thermo-physical properties of plastering mortars modified with PCMs incorporation. • Experimental and numerical simulations of thermal behaviour on laboratory scale prototype.

Hybrid flux splitting schemes for numerical resolution of two-phase flows

Energy Technology Data Exchange (ETDEWEB)

Flaatten, Tore

2003-07-01

This thesis deals with the construction of numerical schemes for approximating. solutions to a hyperbolic two-phase flow model. Numerical schemes for hyperbolic models are commonly divided in two main classes: Flux Vector Splitting (FVS) schemes which are based on scalar computations and Flux Difference Splitting (FDS) schemes which are based on matrix computations. FVS schemes are more efficient than FDS schemes, but FDS schemes are more accurate. The canonical FDS schemes are the approximate Riemann solvers which are based on a local decomposition of the system into its full wave structure. In this thesis the mathematical structure of the model is exploited to construct a class of hybrid FVS/FDS schemes, denoted as Mixture Flux (MF) schemes. This approach is based on a splitting of the system in two components associated with the pressure and volume fraction variables respectively, and builds upon hybrid FVS/FDS schemes previously developed for one-phase flow models. Through analysis and numerical experiments it is demonstrated that the MF approach provides several desirable features, including (1) Improved efficiency compared to standard approximate Riemann solvers, (2) Robustness under stiff conditions, (3) Accuracy on linear and nonlinear phenomena. In particular it is demonstrated that the framework allows for an efficient weakly implicit implementation, focusing on an accurate resolution of slow transients relevant for the petroleum industry. (author)

A hybrid method combining the Time-Domain Method of Moments, the Time-Domain Uniform Theory of Diffraction and the FDTD

Directory of Open Access Journals (Sweden)

A. Becker

2007-06-01

Full Text Available In this paper a hybrid method combining the Time-Domain Method of Moments (TD-MoM, the Time-Domain Uniform Theory of Diffraction (TD-UTD and the Finite-Difference Time-Domain Method (FDTD is presented. When applying this new hybrid method, thin-wire antennas are modeled with the TD-MoM, inhomogeneous bodies are modelled with the FDTD and large perfectly conducting plates are modelled with the TD-UTD. All inhomogeneous bodies are enclosed in a so-called FDTD-volume and the thin-wire antennas can be embedded into this volume or can lie outside. The latter avoids the simulation of white space between antennas and inhomogeneous bodies. If the antennas are positioned into the FDTD-volume, their discretization does not need to agree with the grid of the FDTD. By using the TD-UTD large perfectly conducting plates can be considered efficiently in the solution-procedure. Thus this hybrid method allows time-domain simulations of problems including very different classes of objects, applying the respective most appropriate numerical techniques to every object.

[Symbolism on "natural" in food].

Science.gov (United States)

da Veiga Soares Carvalho, Maria Claudia; Luz, Madel Therezinha

2011-01-01

The incorporated senses represent a set of possibilities for future life able to build individual and collective identities. This work deepens the habitus, in Bourdieu's terms, associated with "natural" and fast-food styles, making an interpretative analysis of symbolic exchanges of elements reproduced in feeding practices. We believe that this bricolage arrangement of elements enables bartering and hybridism, marked by a tension that reflects the insecurity of technological innovations. The "natural" style represents an ideal of self-sustainability, non-polluting production, which faces the sanitary and ecologic crisis of the planet, against the large-scale industrialization and fast urbanization, defined as depredation factors of basic living conditions. The exchanges happen in a symbolic game connected with the global economic game, in which social actors make bets, illusio, according to particular intentions in concrete action. There is a chance to reformulate the rules of the game in the "game", although with a precarious balance of forces, in which the weaker side loses, an agent may have the possibility of not reproducing the pressures of globalized feeding, which is far from what might seem supernatural.

50 CFR 80.26 - Symbols.

Science.gov (United States)

2010-10-01

... appropriate symbol(s) on areas, such as wildlife management areas and fishing access facilities, acquired..., losses and damages arising out of any allegedly unauthorized use of any patent, process, idea, method or... and also from any claims, suits, losses and damages arising out of alleged defects in the articles or...

The split symbol moments SNR estimator in narrow-band channels

Science.gov (United States)

Shah, Biren; Hinedi, Sami

1990-01-01

The split symbol moments estimator is an algorithm that is designed to estimate symbol SNR in the presence of additive white Gaussian noise. The performance of the algorithm in band-limited channels is examined, and the effects of the resulting intersymbol interference are quantified. All results obtained are in closed form and can be easily evaluated numerically for performance-prediction purposes. The results are also validated through digital simulations.

Fast Multi-Symbol Based Iterative Detectors for UWB Communications

Directory of Open Access Journals (Sweden)

Lottici Vincenzo

2010-01-01

Full Text Available Ultra-wideband (UWB impulse radios have shown great potential in wireless local area networks for localization, coexistence with other services, and low probability of interception and detection. However, low transmission power and high multipath effect make the detection of UWB signals challenging. Recently, multi-symbol based detection has caught attention for UWB communications because it provides good performance and does not require explicit channel estimation. Most of the existing multi-symbol based methods incur a higher computational cost than can be afforded in the envisioned UWB systems. In this paper, we propose an iterative multi-symbol based method that has low complexity and provides near optimal performance. Our method uses only one initial symbol to start and applies a decision directed approach to iteratively update a filter template and information symbols. Simulations show that our method converges in only a few iterations (less than 5, and that when the number of symbols increases, the performance of our method approaches that of the ideal Rake receiver.

Relations of Different Types of Numerical Magnitude Representations to Each Other and to Mathematics Achievement

Science.gov (United States)

Fazio, Lisa K.; Bailey, Drew H.; Thompson, Clarissa A.; Siegler, Robert S.

2014-01-01

We examined relations between symbolic and non-symbolic numerical magnitude representations, between whole number and fraction representations, and between these representations and overall mathematics achievement in fifth graders. Fraction and whole number symbolic and non-symbolic numerical magnitude understandings were measured using both…

An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication

Directory of Open Access Journals (Sweden)

Tran MinhHai

2016-01-01

Full Text Available We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1 estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2 symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically.

An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication

Science.gov (United States)

MinhHai, Tran; Rie, Saotome; Suzuki, Taisaku; Wada, Tomohisa

2016-01-01

We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1) estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2) symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically. PMID:27057558

Low-complexity joint symbol synchronization and sampling frequency offset estimation scheme for optical IMDD OFDM systems.

Science.gov (United States)

Zhang, Zhen; Zhang, Qianwu; Chen, Jian; Li, Yingchun; Song, Yingxiong

2016-06-13

A low-complexity joint symbol synchronization and SFO estimation scheme for asynchronous optical IMDD OFDM systems based on only one training symbol is proposed. Numerical simulations and experimental demonstrations are also under taken to evaluate the performance of the mentioned scheme. The experimental results show that robust and precise symbol synchronization and the SFO estimation can be achieved simultaneously at received optical power as low as -20dBm in asynchronous OOFDM systems. SFO estimation accuracy in MSE can be lower than 1 × 10-11 under SFO range from -60ppm to 60ppm after 25km SSMF transmission. Optimal System performance can be maintained until cumulate number of employed frames for calculation is less than 50 under above-mentioned conditions. Meanwhile, the proposed joint scheme has a low level of operation complexity comparing with existing methods, when the symbol synchronization and SFO estimation are considered together. Above-mentioned results can give an important reference in practical system designs.

Exploring the Development of Symbolic Function of Consciousness: A Technique

Directory of Open Access Journals (Sweden)

Polyakov A.M.,

2016-07-01

Full Text Available This article describes studying method which developed the symbolic function mind. It is defined as a functional unit providing the solution of problems by understanding and expression of the reality of the subject-subject relationship using symbols. The symbol understood as a cultural form of presen- tation of subjective reality, mediating the relationship and interaction between two or more subjects. The symbol consists of sense-perception of form and meaning, expressing a subjective reality. The structure of the symbolic function includes the following components: generation and implementation plan, the transformation of symbolic forms, the awareness of the antinomic character, character interpretation. Investigation techiques was developed in accordance with the principles of construction of experimental-genetic method. Empirical criteria for evaluating the level of its development was based on the structure of the symbolic function, and developed a system of assistance for the realization of symbolic meaning. The method allows determine the dynamics and conditions for the development of the symbolic function, its genetic makeup, as well as the form and content of cooperation with con- temporaries.

Lisbon Symbol Database (LSD): Subjective norms for 600 symbols.

Science.gov (United States)

Prada, Marília; Rodrigues, David; Silva, Rita R; Garrido, Margarida V

2016-12-01

This article presents subjective rating norms for a new set of 600 symbols, depicting various contents (e.g., transportation, technology, and leisure activities) that can be used by researchers in different fields. Symbols were evaluated for aesthetic appeal, familiarity, visual complexity, concreteness, valence, arousal, and meaningfulness. The normative data were obtained from 388 participants, and no gender differences were found. Descriptive results (means, standard deviations, and confidence intervals) for each symbol in each dimension are presented. Overall, the dimensions were highly correlated. Additionally, participants were asked to briefly describe the meaning of each symbol. The results indicate that the present symbol set is varied, allowing for the selection of exemplars with different levels on the seven examined dimensions. This set of symbols constitutes a tool with potential for research in different areas. The database with all of the symbols is available as supplemental materials.

Overview of hybrid subspace methods for uncertainty quantification, sensitivity analysis

International Nuclear Information System (INIS)

Abdel-Khalik, Hany S.; Bang, Youngsuk; Wang, Congjian

2013-01-01

Highlights: ► We overview the state-of-the-art in uncertainty quantification and sensitivity analysis. ► We overview new developments in above areas using hybrid methods. ► We give a tutorial introduction to above areas and the new developments. ► Hybrid methods address the explosion in dimensionality in nonlinear models. ► Representative numerical experiments are given. -- Abstract: The role of modeling and simulation has been heavily promoted in recent years to improve understanding of complex engineering systems. To realize the benefits of modeling and simulation, concerted efforts in the areas of uncertainty quantification and sensitivity analysis are required. The manuscript intends to serve as a pedagogical presentation of the material to young researchers and practitioners with little background on the subjects. We believe this is important as the role of these subjects is expected to be integral to the design, safety, and operation of existing as well as next generation reactors. In addition to covering the basics, an overview of the current state-of-the-art will be given with particular emphasis on the challenges pertaining to nuclear reactor modeling. The second objective will focus on presenting our own development of hybrid subspace methods intended to address the explosion in the computational overhead required when handling real-world complex engineering systems.

Symbol Recognition using Spatial Relations

OpenAIRE

K.C., Santosh; Lamiroy, Bart; Wendling, Laurent

2012-01-01

International audience; In this paper, we present a method for symbol recognition based on the spatio-structural description of a 'vocabulary' of extracted visual elementary parts. It is applied to symbols in electrical wiring diagrams. The method consists of first identifying vocabulary elements into different groups based on their types (e.g., circle, corner ). We then compute spatial relations between the possible pairs of labelled vocabulary types which are further used as a basis for bui...

Hybrid Numerical-Analytical Scheme for Calculating Elastic Wave Diffraction in Locally Inhomogeneous Waveguides

Science.gov (United States)

Glushkov, E. V.; Glushkova, N. V.; Evdokimov, A. A.

2018-01-01

Numerical simulation of traveling wave excitation, propagation, and diffraction in structures with local inhomogeneities (obstacles) is computationally expensive due to the need for mesh-based approximation of extended domains with the rigorous account for the radiation conditions at infinity. Therefore, hybrid numerical-analytic approaches are being developed based on the conjugation of a numerical solution in a local vicinity of the obstacle and/or source with an explicit analytic representation in the remaining semi-infinite external domain. However, in standard finite-element software, such a coupling with the external field, moreover, in the case of multimode expansion, is generally not provided. This work proposes a hybrid computational scheme that allows realization of such a conjugation using a standard software. The latter is used to construct a set of numerical solutions used as the basis for the sought solution in the local internal domain. The unknown expansion coefficients on this basis and on normal modes in the semi-infinite external domain are then determined from the conditions of displacement and stress continuity at the boundary between the two domains. We describe the implementation of this approach in the scalar and vector cases. To evaluate the reliability of the results and the efficiency of the algorithm, we compare it with a semianalytic solution to the problem of traveling wave diffraction by a horizontal obstacle, as well as with a finite-element solution obtained for a limited domain artificially restricted using absorbing boundaries. As an example, we consider the incidence of a fundamental antisymmetric Lamb wave onto surface and partially submerged elastic obstacles. It is noted that the proposed hybrid scheme can also be used to determine the eigenfrequencies and eigenforms of resonance scattering, as well as the characteristics of traveling waves in embedded waveguides.

Symbol phantoms

International Nuclear Information System (INIS)

Yamaguchi, Hiroshi; Hongo, Syozo; Takeshita, Hiroshi

1990-01-01

We have developed Japanese phantoms in two procedures for computation of organ doses exposed to internal and/or external radiation sources. One method is to make mathematical phantoms on the basis of ORNL mathematical phantoms. Parameters to specify organs of Japanese mathematical phantom are determined by interpolations of the ORNL data, which define the organs of Caucasian males and females of various ages, i.e. new born, 1, 5, 10, 15 years and adult, with survey data for Japanese physiques. Another procedure is to build 'symbol phantoms' for the Japanese public. The concept and its method of the symbol phantom enables us to make a phantom for an individual when we have all of his transversal section images obtained by a medical imaging device like MRI, and thus we may achieve more realistic phantoms for Japanese public than the mathematical phantoms. Both studies are in progress in NIRS. (author)

Hybrid Methods in Designing Sierpinski Gasket Antennas

Directory of Open Access Journals (Sweden)

Mudrik Alaydrus

2010-12-01

Full Text Available Sierpinki gasket antennas as example of fractal antennas show multiband characteristics. The computer simulation of Sierpinksi gasket monopole with finite ground needs prohibitively large computer memory and more computational time. Hybrid methods consist of surface integral equation method and physical optics or uniform geometrical theory of diffraction should alleviate this computational burdens. The so-called full hybridization of the different methods with modifying the incoming electromagnetic waves in case of hybrid method surface integral equation method and physical optics and modification of the Greens function for hybrid method surface integral equation method and uniform geometrical theory of diffraction plays the central role in the observation. Comparison between results of different methods are given and also measurements of three Sierpinksi gasket antennas. The multiband characteristics of the antennas still can be seen with some reduction and enhancement of resonances.

Early Numerical Competence and Number Line Task Performance in Kindergarteners

Science.gov (United States)

Fanari, Rachele; Meloni, Carla; Massidda, Davide

2017-01-01

This work aims to evaluate the relationship between early numerical competence in kindergarteners and their numerical representations as measured by the number line task (NLT). Thirty-four 5-year-old children participated in the study. Children's early performance on symbolic and non-symbolic numerical tasks was considered to determine which was a…

Double symbol error rates for differential detection of narrow-band FM

Science.gov (United States)

Simon, M. K.

1985-01-01

This paper evaluates the double symbol error rate (average probability of two consecutive symbol errors) in differentially detected narrow-band FM. Numerical results are presented for the special case of MSK with a Gaussian IF receive filter. It is shown that, not unlike similar results previously obtained for the single error probability of such systems, large inaccuracies in predicted performance can occur when intersymbol interference is ignored.

Progress in application of hybrid numerical simulation methods to magnetic confinement systems. Annual report

International Nuclear Information System (INIS)

Morse, R.L.

1979-06-01

Hybrid codes have been developed to simulate high density, high β confined plasmas. The major areas of application have been end plugging and heating of linear confinement systems. In particular, significant progress has been made in understanding the role of line and recombination radiation in recent experiments which showed large increases in energy confinement times from the use of solid end plugs. Another accomplishment is the conception and theoretical analysis of an efficient, low frequency, axial heating method which we believe could significantly increase the attractiveness of linear systems as reactors

Methods in Symbolic Computation and p-Adic Valuations of Polynomials

Science.gov (United States)

Guan, Xiao

Symbolic computation has widely appear in many mathematical fields such as combinatorics, number theory and stochastic processes. The techniques created in the area of experimental mathematics provide us efficient ways of symbolic computing and verification of complicated relations. Part I consists of three problems. The first one focuses on a unimodal sequence derived from a quartic integral. Many of its properties are explored with the help of hypergeometric representations and automatic proofs. The second problem tackles the generating function of the reciprocal of Catalan number. It springs from the closed form given by Mathematica. Furthermore, three methods in special functions are used to justify this result. The third issue addresses the closed form solutions for the moments of products of generalized elliptic integrals , which combines the experimental mathematics and classical analysis. Part II concentrates on the p-adic valuations of polynomials from the perspective of trees. For a given polynomial f( n) indexed in positive integers, the package developed in Mathematica will create certain tree structure following a couple of rules. The evolution of such trees are studied both rigorously and experimentally from the view of field extension, nonparametric statistics and random matrix.

Alternate symbol inversion for improved symbol synchronization in convolutionally coded systems

Science.gov (United States)

Simon, M. K.; Smith, J. G.

1980-01-01

Inverting alternate symbols of the encoder output of a convolutionally coded system provides sufficient density of symbol transitions to guarantee adequate symbol synchronizer performance, a guarantee otherwise lacking. Although alternate symbol inversion may increase or decrease the average transition density, depending on the data source model, it produces a maximum number of contiguous symbols without transition for a particular class of convolutional codes, independent of the data source model. Further, this maximum is sufficiently small to guarantee acceptable symbol synchronizer performance for typical applications. Subsequent inversion of alternate detected symbols permits proper decoding.

A method for the direct generation of comprehensive numerical solar building transfer functions

Energy Technology Data Exchange (ETDEWEB)

Chen, T.Y. [The Hong Kong Polytechnic University (China). Dept. of Building Services Engineering

2003-02-01

This paper describes a method for the direct generation of comprehensive numerical room transfer functions with any derived parameters as output, such as operative temperature or thermal load. Complex conductive, convective and radiant heat transfer processes, or any derived thermal parameters in buildings can be explicitly and precisely described by a generalized thermal network. This allows the s-transfer and z-transfer functions to be directly generated, using semi-symbolic analysis techniques, Cayley's expansion of determinant and Heaviside's expansion theorem. A simple algorithm is developed for finding the roots of the denominator in the inverse transform of the s-transfer functions, which ensures that no single root is missing. The techniques have been applied to generating the transfer functions of a passive solar room with floor heating. The example calculation demonstrates the high efficiency of the computational method. (author)

Hybrid Lanczos-type product methods

Energy Technology Data Exchange (ETDEWEB)

Ressel, K.J. [Swiss Center for Scientific Computing, Zuerich (Switzerland)

1996-12-31

A general framework is proposed to construct hybrid iterative methods for the solution of large nonsymmetric systems of linear equations. This framework is based on Lanczos-type product methods, whose iteration polynomial consists of the Lanczos polynomial multiplied by some other arbitrary, {open_quotes}shadow{close_quotes} polynomial. By using for the shadow polynomial Chebyshev (more general Faber) polynomials or L{sup 2}-optimal polynomials, hybrid (Chebyshev-like) methods are incorporated into Lanczos-type product methods. In addition, to acquire spectral information on the system matrix, which is required for such a choice of shadow polynomials, the Lanczos-process can be employed either directly or in an QMR-like approach. The QMR like approach allows the cheap computation of the roots of the B-orthogonal polynomials and the residual polynomials associated with the QMR iteration. These roots can be used as a good approximation for the spectrum of the system matrix. Different choices for the shadow polynomials and their construction are analyzed. The resulting hybrid methods are compared with standard Lanczos-type product methods, like BiOStab, BiOStab({ell}) and BiOS.

Non-linear belt transient analysis. A hybrid model for numerical belt conveyor simulation

Energy Technology Data Exchange (ETDEWEB)

Harrison, A. [Scientific Solutions, Inc., Aurora, CO (United States)

2008-07-01

Frictional and rolling losses along a running conveyor are discussed due to their important influence on wave propagation during starting and stopping. Hybrid friction models allow belt rubber losses and material flexing to be included in the initial tension calculations prior to any dynamic analysis. Once running tensions are defined, a numerical integration method using non-linear stiffness gradients is used to generate transient forces during starting and stopping. A modified Euler integration technique is used to simulate the entire starting and stopping cycle in less than 0.1 seconds. The procedure enables a faster scrutiny of unforeseen conveyor design issues such as low belt tension zones and high forces at drives. (orig.)

Automatic Generation of Symbolic Model for Parameterized Synchronous Systems

Institute of Scientific and Technical Information of China (English)

Wei-Wen Xu

2004-01-01

With the purpose of making the verification of parameterized system more general and easier, in this paper, a new and intuitive language PSL (Parameterized-system Specification Language) is proposed to specify a class of parameterized synchronous systems. From a PSL script, an automatic method is proposed to generate a constraint-based symbolic model. The model can concisely symbolically represent the collections of global states by counting the number of processes in a given state. Moreover, a theorem has been proved that there is a simulation relation between the original system and its symbolic model. Since the abstract and symbolic techniques are exploited in the symbolic model, state-explosion problem in traditional verification methods is efficiently avoided. Based on the proposed symbolic model, a reachability analysis procedure is implemented using ANSI C++ on UNIX platform. Thus, a complete tool for verifying the parameterized synchronous systems is obtained and tested for some cases. The experimental results show that the method is satisfactory.

Pushing the asymptotics of the 6j-symbol further

International Nuclear Information System (INIS)

Dupuis, Maiete; Livine, Etera R.

2009-01-01

In the context of spin-foam models for quantum gravity, we investigate the asymptotical behavior of the (6j)-symbol at next-to-leading order. This gives the first quantum gravity correction to the (3d) Regge action. We compute it analytically and check our results against numerical calculations. The (6j)-symbol is the building block of the Ponzano-Regge amplitudes for 3d quantum gravity, and the present analysis is directly relevant to deriving the quantum corrections to gravitational correlations in the spin-foam formalism.

A hybrid method of prediction of the void fraction during depressurization of diabatic systems

International Nuclear Information System (INIS)

Inayatullah, G.; Nicoll, W.B.; Hancox, W.T.

1977-01-01

The variation in vapour volumetric fraction during transient pressure, flow and power is of considerable importance in water-cooled nuclear power-reactor safety analysis. The commonly adopted procedure to predict the transient void is to solve the conservation equations using finite differences. This present method is intermediate between numerical and analytic, hence 'hybrid'. Space and time are divided into discrete intervals. Their size, however, is dictated by the imposed heat flux and pressure variations, and not by truncation error, stability or convergence, because within an interval, the solutions applied are analytic. The relatively simple hybrid method presented here can predict the void distribution in a variety of transient, diabatic, two-phase flows with simplicity, accuracy and speed. (Auth.)

Numerical simulation of collision-free plasma using Vlasov hybrid simulation

International Nuclear Information System (INIS)

Nunn, D.

1990-01-01

A novel scheme for the numerical simulation of wave particle interactions in space plasmas has been developed. The method, termed VHS or Vlasov Hybrid Simulation, is applicable to hot collision free plasmas in which the unperturbed distribution functions is smooth and free of delta function singularities. The particle population is described as a continuous Vlasov fluid in phase space-granularity and collisional effects being ignored. In traditional PIC/CIC codes the charge/current due to each simulation particle is assigned to a fixed spatial grid. In the VHS method the simulation particles sample the Vlasov fluid and provide information about the value of distribution function (F(r,v) at random points in phase space. Values of F are interpolated from the simulation particles onto a fixed grid in velocity/position or phase space. With distribution function defined on a phase space grid the plasma charge/current field is quickly calculated. The simulation particles serve only to provide information, and thus the particle population may be dynamic. Particles no longer resonant with the wavefield may be discarded from the simulation, and new particles may be inserted into the Vlasov fluid where required

3D magnetospheric parallel hybrid multi-grid method applied to planet–plasma interactions

Energy Technology Data Exchange (ETDEWEB)

Leclercq, L., E-mail: ludivine.leclercq@latmos.ipsl.fr [LATMOS/IPSL, UVSQ Université Paris-Saclay, UPMC Univ. Paris 06, CNRS, Guyancourt (France); Modolo, R., E-mail: ronan.modolo@latmos.ipsl.fr [LATMOS/IPSL, UVSQ Université Paris-Saclay, UPMC Univ. Paris 06, CNRS, Guyancourt (France); Leblanc, F. [LATMOS/IPSL, UPMC Univ. Paris 06 Sorbonne Universités, UVSQ, CNRS, Paris (France); Hess, S. [ONERA, Toulouse (France); Mancini, M. [LUTH, Observatoire Paris-Meudon (France)

2016-03-15

We present a new method to exploit multiple refinement levels within a 3D parallel hybrid model, developed to study planet–plasma interactions. This model is based on the hybrid formalism: ions are kinetically treated whereas electrons are considered as a inertia-less fluid. Generally, ions are represented by numerical particles whose size equals the volume of the cells. Particles that leave a coarse grid subsequently entering a refined region are split into particles whose volume corresponds to the volume of the refined cells. The number of refined particles created from a coarse particle depends on the grid refinement rate. In order to conserve velocity distribution functions and to avoid calculations of average velocities, particles are not coalesced. Moreover, to ensure the constancy of particles' shape function sizes, the hybrid method is adapted to allow refined particles to move within a coarse region. Another innovation of this approach is the method developed to compute grid moments at interfaces between two refinement levels. Indeed, the hybrid method is adapted to accurately account for the special grid structure at the interfaces, avoiding any overlapping grid considerations. Some fundamental test runs were performed to validate our approach (e.g. quiet plasma flow, Alfven wave propagation). Lastly, we also show a planetary application of the model, simulating the interaction between Jupiter's moon Ganymede and the Jovian plasma.

Data science and symbolic AI: Synergies, challenges and opportunities

KAUST Repository

Hoehndorf, Robert

2017-06-02

Symbolic approaches to artificial intelligence represent things within a domain of knowledge through physical symbols, combine symbols into symbol expressions, and manipulate symbols and symbol expressions through inference processes. While a large part of Data Science relies on statistics and applies statistical approaches to artificial intelligence, there is an increasing potential for successfully applying symbolic approaches as well. Symbolic representations and symbolic inference are close to human cognitive representations and therefore comprehensible and interpretable; they are widely used to represent data and metadata, and their specific semantic content must be taken into account for analysis of such information; and human communication largely relies on symbols, making symbolic representations a crucial part in the analysis of natural language. Here we discuss the role symbolic representations and inference can play in Data Science, highlight the research challenges from the perspective of the data scientist, and argue that symbolic methods should become a crucial component of the data scientists’ toolbox.

Data science and symbolic AI: Synergies, challenges and opportunities

KAUST Repository

Hoehndorf, Robert; Queralt-Rosinach, Nú ria

2017-01-01

Symbolic approaches to artificial intelligence represent things within a domain of knowledge through physical symbols, combine symbols into symbol expressions, and manipulate symbols and symbol expressions through inference processes. While a large part of Data Science relies on statistics and applies statistical approaches to artificial intelligence, there is an increasing potential for successfully applying symbolic approaches as well. Symbolic representations and symbolic inference are close to human cognitive representations and therefore comprehensible and interpretable; they are widely used to represent data and metadata, and their specific semantic content must be taken into account for analysis of such information; and human communication largely relies on symbols, making symbolic representations a crucial part in the analysis of natural language. Here we discuss the role symbolic representations and inference can play in Data Science, highlight the research challenges from the perspective of the data scientist, and argue that symbolic methods should become a crucial component of the data scientists’ toolbox.

NMR-CT image and symbol phantoms

International Nuclear Information System (INIS)

Hongo, Syozo; Yamaguchi, Hiroshi; Takeshita, Hiroshi

1990-01-01

We have developed Japanese phantoms in two procedures. One is described as a mathematical expression. Another is 'symbol phantoms' in 3 dimensional picture-elements, each of which symbolize an organ name. The concept and the algorithm of the symbol phantom enables us to make a phantom for a individual in terms of all his transversal section images. We got 85 transversal section images of head and trunk parts, and those of 40 legs parts by using NMR-CT. We have made the individual phantom for computation of organ doses. The transversal section images were not so clear to identify all organs needed to dose estimation that we had to do hand-editing the shapes of organs with viewing a typical section images: we could not yet make symbol phantom in a automatic editing. Symbols were coded to be visual cords as ASCII characters. After we got the symbol phantom of the first stage, we can edit it easily using a word-processor. Symbol phantom could describe more freely the shape of organs than mathematical phantom. Symbol phantom has several advantages to be an individual phantom, but the only difficult point is how to determine its end-point as a reference man when we apply the method to build the reference man. (author)

Multiple-Symbol, Partially Coherent Detection of MPSK

Science.gov (United States)

Simon, Marvin K.; Divsalar, Dariush

1994-01-01

Proposed method of reception of multiple-phase-shift-keyed (MPSK) radio signals involves multiple-symbol, partially coherent detection. Instead of attempting to determine phase of transmitted signal during each symbol period as in coherent detection, receiver acquires signal data during multiple-symbol observation interval, then produces maximum-likelihood-sequence estimate of phases transmitted during interval. Combination of coherent-reception and incoherent-reception decision rules are used.

The Analysis of Mythological Symbols in Shahnameh

Directory of Open Access Journals (Sweden)

موسی پرنیان

2012-05-01

Full Text Available Recognizing symbols of Shahnameh requires an understanding of the context and condition of creation and emergence of symbol, myth and epic. Symbol has a relationship with consciousness and unconsciousness of man and constitutes the language of mythologies, legends, and epics. Thus the language of mythological and epic works is symbolic. The main theme in Iranian mythologies is the dual nature of creation, and during the passage from myth to epic the conflict between the two forces of good and evil appear in various aspects of existence. Some characters that represent symbolic and coded concepts more than other elements can be considered as symbols of the evolution of gods to kings and against them there are devilish kings as symbols of drought (Apush. The other symbolic elements analyzed in this study are: epic-romance stories, imaginary creatures, symbolic dreams of kings and heroes, symbolic numbers, symbolic patterns of flags, the symbolism of water, fire and charisma The findings of the study illustrate that people, more than other elements, are the constitutive elements of mythological symbols, and the tension between these human elements depicts the mutual conflict between good and evil in Ferdowsi’s Shahnameh. Like other elements, symbolic characters (especially kings are of symbolic value and constitute a part of constructing elements of mythological symbols in Shahname. Moreover their reputation is dependent on the extent of their benefit from “God charisma“ as the most pivotal element of their personality. Kings like Afrasiab and Zahak, due to lack of it, are the most disreputable kings. On the other hand, Fereidoon and Kaikhosro are on the top of the most reputable kings because of continuous benefit from that. This study has been conducted on the basis of library resources and has applied a descriptive-analytic method.

The hybridized Discontinuous Galerkin method for Implicit Large-Eddy Simulation of transitional turbulent flows

Science.gov (United States)

Fernandez, P.; Nguyen, N. C.; Peraire, J.

2017-05-01

We present a high-order Implicit Large-Eddy Simulation (ILES) approach for transitional aerodynamic flows. The approach encompasses a hybridized Discontinuous Galerkin (DG) method for the discretization of the Navier-Stokes (NS) equations, and a parallel preconditioned Newton-GMRES solver for the resulting nonlinear system of equations. The combination of hybridized DG methods with an efficient solution procedure leads to a high-order accurate NS solver that is competitive to alternative approaches, such as finite volume and finite difference codes, in terms of computational cost. The proposed approach is applied to transitional flows over the NACA 65-(18)10 compressor cascade and the Eppler 387 wing at Reynolds numbers up to 460,000. Grid convergence studies are presented and the required resolution to capture transition at different Reynolds numbers is investigated. Numerical results show rapid convergence and excellent agreement with experimental data. In short, this work aims to demonstrate the potential of high-order ILES for simulating transitional aerodynamic flows. This is illustrated through numerical results and supported by theoretical considerations.

Hybrid High-Order methods for finite deformations of hyperelastic materials

Science.gov (United States)

Abbas, Mickaël; Ern, Alexandre; Pignet, Nicolas

2018-01-01

We devise and evaluate numerically Hybrid High-Order (HHO) methods for hyperelastic materials undergoing finite deformations. The HHO methods use as discrete unknowns piecewise polynomials of order k≥1 on the mesh skeleton, together with cell-based polynomials that can be eliminated locally by static condensation. The discrete problem is written as the minimization of a broken nonlinear elastic energy where a local reconstruction of the displacement gradient is used. Two HHO methods are considered: a stabilized method where the gradient is reconstructed as a tensor-valued polynomial of order k and a stabilization is added to the discrete energy functional, and an unstabilized method which reconstructs a stable higher-order gradient and circumvents the need for stabilization. Both methods satisfy the principle of virtual work locally with equilibrated tractions. We present a numerical study of the two HHO methods on test cases with known solution and on more challenging three-dimensional test cases including finite deformations with strong shear layers and cavitating voids. We assess the computational efficiency of both methods, and we compare our results to those obtained with an industrial software using conforming finite elements and to results from the literature. The two HHO methods exhibit robust behavior in the quasi-incompressible regime.

TSOS and TSOS-FK hybrid methods for modelling the propagation of seismic waves

Science.gov (United States)

Ma, Jian; Yang, Dinghui; Tong, Ping; Ma, Xiao

2018-05-01

We develop a new time-space optimized symplectic (TSOS) method for numerically solving elastic wave equations in heterogeneous isotropic media. We use the phase-preserving symplectic partitioned Runge-Kutta method to evaluate the time derivatives and optimized explicit finite-difference (FD) schemes to discretize the space derivatives. We introduce the averaged medium scheme into the TSOS method to further increase its capability of dealing with heterogeneous media and match the boundary-modified scheme for implementing free-surface boundary conditions and the auxiliary differential equation complex frequency-shifted perfectly matched layer (ADE CFS-PML) non-reflecting boundaries with the TSOS method. A comparison of the TSOS method with analytical solutions and standard FD schemes indicates that the waveform generated by the TSOS method is more similar to the analytic solution and has a smaller error than other FD methods, which illustrates the efficiency and accuracy of the TSOS method. Subsequently, we focus on the calculation of synthetic seismograms for teleseismic P- or S-waves entering and propagating in the local heterogeneous region of interest. To improve the computational efficiency, we successfully combine the TSOS method with the frequency-wavenumber (FK) method and apply the ADE CFS-PML to absorb the scattered waves caused by the regional heterogeneity. The TSOS-FK hybrid method is benchmarked against semi-analytical solutions provided by the FK method for a 1-D layered model. Several numerical experiments, including a vertical cross-section of the Chinese capital area crustal model, illustrate that the TSOS-FK hybrid method works well for modelling waves propagating in complex heterogeneous media and remains stable for long-time computation. These numerical examples also show that the TSOS-FK method can tackle the converted and scattered waves of the teleseismic plane waves caused by local heterogeneity. Thus, the TSOS and TSOS-FK methods proposed in

Henkin and Hybrid Logic

DEFF Research Database (Denmark)

Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria

2014-01-01

Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....

Count on dopamine: influences of COMT polymorphisms on numerical cognition

Directory of Open Access Journals (Sweden)

Annelise eJúlio-Costa

2013-08-01

Full Text Available Catechol-O-methyltransferase (COMT is an enzyme that is particularly important for the metabolism of dopamine. Functional polymorphisms of COMT have been implicated in working memory and numerical cognition. This is an exploratory study that aims at investigating associations between COMT polymorphisms, working memory and numerical cognition. Elementary school children from 2th to 6th grades were divided into two groups according to their COMT val158met polymorphism (homozygous for valine allele [n= 61] versus heterozygous plus methionine homozygous children or met+ group [n=94]. Both groups were matched for age and intelligence. Working memory was assessed through digit span and Corsi blocks. Symbolic numerical processing was assessed through transcoding and single-digit word problem tasks. Non-symbolic magnitude comparison and estimation tasks were used to assess number sense. Between-group differences were found in symbolic and non-symbolic numerical tasks, but not in working memory tasks. Children in the met+ group showed better performance in all numerical tasks while val homozygous children presented slower development of non-symbolic magnitude representations. These results suggest COMT-related dopaminergic modulation may be related not only to working memory, as found in previous studies, but also to the development of magnitude processing and magnitude representations.

New methods for the numerical integration of ordinary differential equations and their application to the equations of motion of spacecraft

Science.gov (United States)

Banyukevich, A.; Ziolkovski, K.

1975-01-01

A number of hybrid methods for solving Cauchy problems are described on the basis of an evaluation of advantages of single and multiple-point numerical integration methods. The selection criterion is the principle of minimizing computer time. The methods discussed include the Nordsieck method, the Bulirsch-Stoer extrapolation method, and the method of recursive Taylor-Steffensen power series.

Introduction to precise numerical methods

CERN Document Server

Aberth, Oliver

2007-01-01

Precise numerical analysis may be defined as the study of computer methods for solving mathematical problems either exactly or to prescribed accuracy. This book explains how precise numerical analysis is constructed. The book also provides exercises which illustrate points from the text and references for the methods presented. All disc-based content for this title is now available on the Web. · Clearer, simpler descriptions and explanations ofthe various numerical methods· Two new types of numerical problems; accurately solving partial differential equations with the included software and computing line integrals in the complex plane.

A Feeling for Numbers: Shared Metric for Symbolic and Tactile Numerosities

Directory of Open Access Journals (Sweden)

Florian eKrause

2013-01-01

Full Text Available Evidence for an approximate analogue system of numbers has been provided by the finding that the comparison of two numerals takes longer and is more error prone if the semantic distance between the numbers becomes smaller (so-called numerical distance effect. Recent embodied theories suggest that analogue number representations are based on previous sensory experiences and constitute therefore a common magnitude metric shared by multiple domains. Here we demonstrate the existence of a cross-modal semantic distance effect between symbolic and tactile numerosities. Participants received tactile stimulations of different amounts of fingers while reading Arabic digits and indicated verbally whether the amount of stimulated fingers was different from the simultaneously presented digit or not. The larger the semantic distance was between the two numerosities, the faster and more accurate participants made their judgements. This cross-modal numerosity distance effect suggests a direct connection between tactile sensations and the concept of numerical magnitude. A second experiment replicated the interaction between symbolic and tactile numerosities and showed that this effect is not modulated by the participants' finger counting habits. Taken together, our data provide novel evidence for a shared metric for symbolic and tactile numerosites as an instance of an embodied representation of numbers.

Numerical simulation of overflow at vertical weirs using a hybrid level set/VOF method

Science.gov (United States)

Lv, Xin; Zou, Qingping; Reeve, Dominic

2011-10-01

This paper presents the applications of a newly developed free surface flow model to the practical, while challenging overflow problems for weirs. Since the model takes advantage of the strengths of both the level set and volume of fluid methods and solves the Navier-Stokes equations on an unstructured mesh, it is capable of resolving the time evolution of very complex vortical motions, air entrainment and pressure variations due to violent deformations following overflow of the weir crest. In the present study, two different types of vertical weir, namely broad-crested and sharp-crested, are considered for validation purposes. The calculated overflow parameters such as pressure head distributions, velocity distributions, and water surface profiles are compared against experimental data as well as numerical results available in literature. A very good quantitative agreement has been obtained. The numerical model, thus, offers a good alternative to traditional experimental methods in the study of weir problems.

Numerical modeling of hybrid fiber-reinforced concrete (hyfrc)

International Nuclear Information System (INIS)

Hameed, R.; Turatsinze, A.

2015-01-01

A model for numerical simulation of mechanical response of concrete reinforced with slipping and non slipping metallic fibers in hybrid form is presented in this paper. Constitutive law used to model plain concrete behaviour is based on plasticity and damage theories, and is capable to determine localized crack opening in three dimensional (3-D) systems. Behaviour law used for slipping metallic fibers is formulated based on effective stress carried by these fibers after when concrete matrix is cracked. A continuous approach is proposed to model the effect of addition of non-slipping metallic fibers in plain concrete. This approach considers the constitutive law of concrete matrix with increased fracture energy in tension obtained experimentally in direct tension tests on Fiber Reinforced Concrete (FRC). To simulate the mechanical behaviour of hybrid fiber-reinforced concrete (HyFRC), proposed approaches to model non-slipping metallic fibers and constitutive law of plain concrete and slipping fibers are used simultaneously without any additive equation. All the parameters used by the proposed model have physical meanings and are determined through experiments or drawn from literature. The model was implemented in Finite Element (FE) Code CASTEM and tested on FRC prismatic notched specimens in flexure. Model prediction showed good agreement with experimental results. (author)

Numerical simulation of the induction heating of hybrid semi-finished materials into the semi-solid state

Science.gov (United States)

Seyboldt, Christoph; Liewald, Mathias

2017-10-01

Current research activities at the Institute for Metal Forming Technology (IFU) of the University of Stuttgart are focusing on the manufacturing of hybrid components using semi-solid forming strategies. As part of the research project "Hybrid interaction during and after thixoforging of multi-material systems", which is founded by the German Research Foundation (DFG), a thixoforging process for producing hybrid components with cohesive metal-to-metal connections is developed. In this context, this paper deals with the numerical simulation of the inductive heating process of hybrid semi-finished materials, consisting of two different aluminium alloys. By reason of the skin effect that leads to inhomogeneous temperature distributions during inductive heating processes, the aluminium alloy with the higher melting point is thereby assembled in the outer side and the alloy with the lower melting point is assembled in the core of the semi-finished material. In this way, the graded heat distribution can be adapted to the used materialś flow properties that are heavily heat dependent. Without this graded heat distribution a proper forming process in the semi-solid state will not be possible. For numerically modelling the inductive heating system of the institute, a coupling of the magnetostatic and the thermal solver was realized by using Ansys Workbench. While the electromagnetic field and its associated heat production rate were solved in a frequency domain, the temperature development was solved in the time based domain. The numerical analysis showed that because of the high thermal conductivity of the aluminium, which leads to a rapid temperature equalization in the semi-finished material, the heating process has to be fast and with a high frequency for produce most heat in the outer region of the material. Finally, the obtained numerical results were validated with experimental heating tests.

Numerical Solutions for Nonlinear High Damping Rubber Bearing Isolators: Newmark's Method with Netwon-Raphson Iteration Revisited

Science.gov (United States)

Markou, A. A.; Manolis, G. D.

2018-03-01

Numerical methods for the solution of dynamical problems in engineering go back to 1950. The most famous and widely-used time stepping algorithm was developed by Newmark in 1959. In the present study, for the first time, the Newmark algorithm is developed for the case of the trilinear hysteretic model, a model that was used to describe the shear behaviour of high damping rubber bearings. This model is calibrated against free-vibration field tests implemented on a hybrid base isolated building, namely the Solarino project in Italy, as well as against laboratory experiments. A single-degree-of-freedom system is used to describe the behaviour of a low-rise building isolated with a hybrid system comprising high damping rubber bearings and low friction sliding bearings. The behaviour of the high damping rubber bearings is simulated by the trilinear hysteretic model, while the description of the behaviour of the low friction sliding bearings is modeled by a linear Coulomb friction model. In order to prove the effectiveness of the numerical method we compare the analytically solved trilinear hysteretic model calibrated from free-vibration field tests (Solarino project) against the same model solved with the Newmark method with Netwon-Raphson iteration. Almost perfect agreement is observed between the semi-analytical solution and the fully numerical solution with Newmark's time integration algorithm. This will allow for extension of the trilinear mechanical models to bidirectional horizontal motion, to time-varying vertical loads, to multi-degree-of-freedom-systems, as well to generalized models connected in parallel, where only numerical solutions are possible.

Compass: A hybrid method for clinical and biobank data mining

DEFF Research Database (Denmark)

Krysiak-Baltyn, Konrad; Petersen, Thomas Nordahl; Audouze, Karine Marie Laure

2014-01-01

We describe a new method for identification of confident associations within large clinical data sets. The method is a hybrid of two existing methods; Self-Organizing Maps and Association Mining. We utilize Self-Organizing Maps as the initial step to reduce the search space, and then apply...... Association Mining in order to find association rules. We demonstrate that this procedure has a number of advantages compared to traditional Association Mining; it allows for handling numerical variables without a priori binning and is able to generate variable groups which act as “hotspots” for statistically...... significant associations. We showcase the method on infertility-related data from Danish military conscripts. The clinical data we analyzed contained both categorical type questionnaire data and continuous variables generated from biological measurements, including missing values. From this data set, we...

Generating and Solving Symbolic Parity Games

Directory of Open Access Journals (Sweden)

Gijs Kant

2014-07-01

Full Text Available We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES and then instantiates the PBES to a parity game. We improved the translation from specification to PBES to preserve the structure of the specification in the PBES, we extended LTSmin to instantiate PBESs to symbolic parity games, and implemented the recursive parity game solving algorithm by Zielonka for symbolic parity games. We use Multi-valued Decision Diagrams (MDDs to represent sets and relations, thus enabling the tools to deal with very large systems. The transition relation is partitioned based on the structure of the specification, which allows for efficient manipulation of the MDDs. We performed two case studies on modular specifications, that demonstrate that the new method has better time and memory performance than existing PBES based tools and can be faster (but slightly less memory efficient than the symbolic model checker NuSMV.

A hybrid method for flood simulation in small catchments combining hydrodynamic and hydrological techniques

Science.gov (United States)

Bellos, Vasilis; Tsakiris, George

2016-09-01

The study presents a new hybrid method for the simulation of flood events in small catchments. It combines a physically-based two-dimensional hydrodynamic model and the hydrological unit hydrograph theory. Unit hydrographs are derived using the FLOW-R2D model which is based on the full form of two-dimensional Shallow Water Equations, solved by a modified McCormack numerical scheme. The method is tested at a small catchment in a suburb of Athens-Greece for a storm event which occurred in February 2013. The catchment is divided into three friction zones and unit hydrographs of 15 and 30 min are produced. The infiltration process is simulated by the empirical Kostiakov equation and the Green-Ampt model. The results from the implementation of the proposed hybrid method are compared with recorded data at the hydrometric station at the outlet of the catchment and the results derived from the fully hydrodynamic model FLOW-R2D. It is concluded that for the case studied, the proposed hybrid method produces results close to those of the fully hydrodynamic simulation at substantially shorter computational time. This finding, if further verified in a variety of case studies, can be useful in devising effective hybrid tools for the two-dimensional flood simulations, which are lead to accurate and considerably faster results than those achieved by the fully hydrodynamic simulations.

Numerical method for multigroup one-dimensional SN eigenvalue problems with no spatial truncation error

International Nuclear Information System (INIS)

Abreu, M.P.; Filho, H.A.; Barros, R.C.

1993-01-01

The authors describe a new nodal method for multigroup slab-geometry discrete ordinates S N eigenvalue problems that is completely free from all spatial truncation errors. The unknowns in the method are the node-edge angular fluxes, the node-average angular fluxes, and the effective multiplication factor k eff . The numerical values obtained for these quantities are exactly those of the dominant analytic solution of the S N eigenvalue problem apart from finite arithmetic considerations. This method is based on the use of the standard balance equation and two nonstandard auxiliary equations. In the nonmultiplying regions, e.g., the reflector, we use the multigroup spectral Green's function (SGF) auxiliary equations. In the fuel regions, we use the multigroup spectral diamond (SD) auxiliary equations. The SD auxiliary equation is an extension of the conventional auxiliary equation used in the diamond difference (DD) method. This hybrid characteristic of the SD-SGF method improves both the numerical stability and the convergence rate

Quantity processing in deaf and hard of hearing children: evidence from symbolic and nonsymbolic comparison tasks.

Science.gov (United States)

Rodríguez-Santos, José Miguel; Calleja, Marina; García-Orza, Javier; Iza, Mauricio; Damas, Jesús

2014-01-01

Deaf children usually achieve lower scores on numerical tasks than normally hearing peers. Explanations for mathematical disabilities in hearing children are based on quantity representation deficits (Geary, 1994) or on deficits in accessing these representations (Rousselle & Noël, 2008). The present study aimed to verify, by means of symbolic (Arabic digits) and nonsymbolic (dot constellations and hands) magnitude comparison tasks, whether deaf children show deficits in representations or in accessing numerical representations. The study participants were 10 prelocutive deaf children and 10 normally hearing children. Numerical distance and magnitude were manipulated. Response time (RT) analysis showed similar magnitude and distance effects in both groups on the 3 tasks. However, slower RTs were observed among the deaf participants on the symbolic task alone. These results suggest that although both groups' quantity representations were similar, the deaf group experienced a delay in accessing representations from symbolic codes.

Symbolism in prehistoric man.

Science.gov (United States)

Facchini, F

2000-12-01

The aptitude for symbolization, characteristic of man, is revealed not only in artistic representations and funerary practices. It is exhibited by every manifestation of human activity or representation of natural phenomena that assumes or refers to a meaning. We can recognize functional symbolism (tool-making, habitative or food technology), social symbolism, (language and social communication) and spiritual symbolism (funerary practices and artistic expressions). On the basis of these concepts, research into symbolism in prehistoric man allows us to recognize forms of symbolism already in the manifestations of the most ancient humans, starting with Homo habilis (or rudolfensis). Toolmaking, social organization and organization of the territory are oriented toward survival and the life of the family group. They attest to symbolic behaviors and constitute symbolic systems by means of which man expresses himself, lives and transmits his symbolic world. The diverse forms of symbolism are discussed with reference to the different phases of prehistoric humanity.

Can symbols be ‘promoted’ or ‘demoted’?: Symbols as religious phenomena

Directory of Open Access Journals (Sweden)

Jaco Beyers

2013-03-01

Full Text Available Religious symbols are part of our world, relating to another world. In order to understand the process by which symbols grow and develop, the particular context of a symbol is important. In this article a particular theory as to what symbols are, is presented. Religion presupposes the existence of two worlds: this-worldly (profane and the other-worldly (sacred. The means of communication and reference between these two worlds are symbols. Two examples are investigated so as to indicate how symbols can over time either be demoted or promoted. In the case of the Asherah and asherah as related in the Old Testament a demotion of a symbol is illustrated. The growth of ancient Egyptian religion is an example of a possible promotion of symbols. The conditions under which these processes can occur are investigated.

(Non-)symbolic magnitude processing in children with mathematical difficulties: A meta-analysis.

Science.gov (United States)

Schwenk, Christin; Sasanguie, Delphine; Kuhn, Jörg-Tobias; Kempe, Sophia; Doebler, Philipp; Holling, Heinz

2017-05-01

Symbolic and non-symbolic magnitude representations, measured by digit or dot comparison tasks, are assumed to underlie the development of arithmetic skills. The comparison distance effect (CDE) has been suggested as a hallmark of the preciseness of mental magnitude representations. It implies that two magnitudes are harder to discriminate when the numerical distance between them is small, and may therefore differ in children with mathematical difficulties (MD), i.e. low mathematical achievement or dyscalculia. However, empirical findings on the CDE in children with MD are heterogeneous, and only few studies assess both symbolic and non-symbolic skills. This meta-analysis therefore integrates 44 symbolic and 48 non-symbolic response time (RT) outcomes reported in nineteen studies (N=1630 subjects, aged 6-14 years). Independent of age, children with MD show significantly longer mean RTs than typically achieving controls, particularly on symbolic (Hedges' g=0.75; 95% CI [0.51; 0.99]), but to a significantly lower extent also on non-symbolic (g=0.24; 95% CI [0.13; 0.36]) tasks. However, no group differences were found for the CDE. Extending recent work, these meta-analytical findings on children with MD corroborate the diagnostic importance of magnitude comparison speed in symbolic tasks. By contrast, the validity of CDE measures in assessing MD is questioned. Copyright © 2017 Elsevier Ltd. All rights reserved.

On Modeling Affect in Audio with Non-Linear Symbolic Dynamics

Directory of Open Access Journals (Sweden)

Pauline Mouawad

2017-09-01

Full Text Available The discovery of semantic information from complex signals is a task concerned with connecting humans’ perceptions and/or intentions with the signals content. In the case of audio signals, complex perceptions are appraised in a listener’s mind, that trigger affective responses that may be relevant for well-being and survival. In this paper we are interested in the broader question of relations between uncertainty in data as measured using various information criteria and emotions, and we propose a novel method that combines nonlinear dynamics analysis with a method of adaptive time series symbolization that finds the meaningful audio structure in terms of symbolized recurrence properties. In a first phase we obtain symbolic recurrence quantification measures from symbolic recurrence plots, without the need to reconstruct the phase space with embedding. Then we estimate symbolic dynamical invariants from symbolized time series, after embedding. The invariants are: correlation dimension, correlation entropy and Lyapunov exponent. Through their application for the logistic map, we show that our measures are in agreement with known methods from literature. We further show that one symbolic recurrence measure, namely the symbolic Shannon entropy, correlates positively with the positive Lyapunov exponents. Finally we evaluate the performance of our measures in emotion recognition through the implementation of classification tasks for different types of audio signals, and show that in some cases, they perform better than state-of-the-art methods that rely on low-level acoustic features.

Transient Response of Thin Wire above a Layered Half-Space Using TDIE/FDTD Hybrid Method

Directory of Open Access Journals (Sweden)

Bing Wei

2012-01-01

Full Text Available The TDIE/FDTD hybrid method is applied to calculate the transient responses of thin wire above a lossy layered half-space. The time-domain reflection of the layered half space is computed by one-dimensional modified FDTD method. Then, transient response of thin wire induced by two excitation sources (the incident wave and reflected wave is calculated by TDIE method. Finally numerical results are given to illustrate the feasibility and high efficiency of the presented scheme.

Development of a Hybrid RANS/LES Method for Turbulent Mixing Layers

Science.gov (United States)

Georgiadis, Nicholas J.; Alexander, J. Iwan D.; Reshotko, Eli

2001-01-01

Significant research has been underway for several years in NASA Glenn Research Center's nozzle branch to develop advanced computational methods for simulating turbulent flows in exhaust nozzles. The primary efforts of this research have concentrated on improving our ability to calculate the turbulent mixing layers that dominate flows both in the exhaust systems of modern-day aircraft and in those of hypersonic vehicles under development. As part of these efforts, a hybrid numerical method was recently developed to simulate such turbulent mixing layers. The method developed here is intended for configurations in which a dominant structural feature provides an unsteady mechanism to drive the turbulent development in the mixing layer. Interest in Large Eddy Simulation (LES) methods have increased in recent years, but applying an LES method to calculate the wide range of turbulent scales from small eddies in the wall-bounded regions to large eddies in the mixing region is not yet possible with current computers. As a result, the hybrid method developed here uses a Reynolds-averaged Navier-Stokes (RANS) procedure to calculate wall-bounded regions entering a mixing section and uses a LES procedure to calculate the mixing-dominated regions. A numerical technique was developed to enable the use of the hybrid RANS-LES method on stretched, non-Cartesian grids. With this technique, closure for the RANS equations is obtained by using the Cebeci-Smith algebraic turbulence model in conjunction with the wall-function approach of Ota and Goldberg. The LES equations are closed using the Smagorinsky subgrid scale model. Although the function of the Cebeci-Smith model to replace all of the turbulent stresses is quite different from that of the Smagorinsky subgrid model, which only replaces the small subgrid turbulent stresses, both are eddy viscosity models and both are derived at least in part from mixing-length theory. The similar formulation of these two models enables the RANS

Time-domain hybrid method for simulating large amplitude motions of ships advancing in waves

Directory of Open Access Journals (Sweden)

Shukui Liu

2011-03-01

Full Text Available Typical results obtained by a newly developed, nonlinear time domain hybrid method for simulating large amplitude motions of ships advancing with constant forward speed in waves are presented. The method is hybrid in the way of combining a time-domain transient Green function method and a Rankine source method. The present approach employs a simple double integration algorithm with respect to time to simulate the free-surface boundary condition. During the simulation, the diffraction and radiation forces are computed by pressure integration over the mean wetted surface, whereas the incident wave and hydrostatic restoring forces/moments are calculated on the instantaneously wetted surface of the hull. Typical numerical results of application of the method to the seakeeping performance of a standard containership, namely the ITTC S175, are herein presented. Comparisons have been made between the results from the present method, the frequency domain 3D panel method (NEWDRIFT of NTUA-SDL and available experimental data and good agreement has been observed for all studied cases between the results of the present method and comparable other data.

Symbolic PathFinder: Symbolic Execution of Java Bytecode

Science.gov (United States)

Pasareanu, Corina S.; Rungta, Neha

2010-01-01

Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.

Perception and multimeaning analysis of graphic symbols for Thai picture-based communication system.

Science.gov (United States)

Chompoobutr, Sarinya; Potibal, Puttachart; Boriboon, Monthika; Phantachat, Wantanee

2013-03-01

Graphic symbols are a vital part of most augmentative and alternative communication systems. Communication fluency of graphic symbol user depends on how well the relationship between symbols and its referents are learnt. The first aim of this study is to survey the perception of the selected graphic symbols across seven age groups of participants with different educational background. Sixty-five individuals identified themselves as Thai and ranged in age from 10 to 50 years participated in the investigation used 64 graphic symbols. The last aim of this study is to demonstrate the analysis of multimeaning graphic symbols, which will be used in Thai Picture-based communication system. The twenty graphic symbols with 9-14 meanings are analyzed in both syntactic and semantic aspects. The meanings are divided into five categories: noun, verb/adjective, size, color and shape. Respect to the first aim, the results suggest that the participants under investigation with different sexes, age groups, as well as various educational levels perceive the features or inherent characteristics of such graphic symbols similarly. The results of the analysis of multimeaning of graphic symbols indicate that the foundation of Minspeak, polysemy and redundancy of the words illustrates the inherit meanings of the real-life objects, and it also conveys that the Thai graphic symbols are influenced by numerous factors in Thai circumstance such as ability, motivation, experience, worldview and culture.

Hybrid particles and associated methods

Science.gov (United States)

Fox, Robert V; Rodriguez, Rene; Pak, Joshua J; Sun, Chivin

2015-02-10

Hybrid particles that comprise a coating surrounding a chalcopyrite material, the coating comprising a metal, a semiconductive material, or a polymer; a core comprising a chalcopyrite material and a shell comprising a functionalized chalcopyrite material, the shell enveloping the core; or a reaction product of a chalcopyrite material and at least one of a reagent, heat, and radiation. Methods of forming the hybrid particles are also disclosed.

Numerical Simulation of Polynomial-Speed Convergence Phenomenon

Science.gov (United States)

Li, Yao; Xu, Hui

2017-11-01

We provide a hybrid method that captures the polynomial speed of convergence and polynomial speed of mixing for Markov processes. The hybrid method that we introduce is based on the coupling technique and renewal theory. We propose to replace some estimates in classical results about the ergodicity of Markov processes by numerical simulations when the corresponding analytical proof is difficult. After that, all remaining conclusions can be derived from rigorous analysis. Then we apply our results to seek numerical justification for the ergodicity of two 1D microscopic heat conduction models. The mixing rate of these two models are expected to be polynomial but very difficult to prove. In both examples, our numerical results match the expected polynomial mixing rate well.

Meta-Modeling by Symbolic Regression and Pareto Simulated Annealing

NARCIS (Netherlands)

Stinstra, E.; Rennen, G.; Teeuwen, G.J.A.

2006-01-01

The subject of this paper is a new approach to Symbolic Regression.Other publications on Symbolic Regression use Genetic Programming.This paper describes an alternative method based on Pareto Simulated Annealing.Our method is based on linear regression for the estimation of constants.Interval

Numerical Solutions for Nonlinear High Damping Rubber Bearing Isolators: Newmark’s Method with Netwon-Raphson Iteration Revisited

Directory of Open Access Journals (Sweden)

Markou A.A.

2018-03-01

Full Text Available Numerical methods for the solution of dynamical problems in engineering go back to 1950. The most famous and widely-used time stepping algorithm was developed by Newmark in 1959. In the present study, for the first time, the Newmark algorithm is developed for the case of the trilinear hysteretic model, a model that was used to describe the shear behaviour of high damping rubber bearings. This model is calibrated against free-vibration field tests implemented on a hybrid base isolated building, namely the Solarino project in Italy, as well as against laboratory experiments. A single-degree-of-freedom system is used to describe the behaviour of a low-rise building isolated with a hybrid system comprising high damping rubber bearings and low friction sliding bearings. The behaviour of the high damping rubber bearings is simulated by the trilinear hysteretic model, while the description of the behaviour of the low friction sliding bearings is modeled by a linear Coulomb friction model. In order to prove the effectiveness of the numerical method we compare the analytically solved trilinear hysteretic model calibrated from free-vibration field tests (Solarino project against the same model solved with the Newmark method with Netwon-Raphson iteration. Almost perfect agreement is observed between the semi-analytical solution and the fully numerical solution with Newmark’s time integration algorithm. This will allow for extension of the trilinear mechanical models to bidirectional horizontal motion, to time-varying vertical loads, to multi-degree-of-freedom-systems, as well to generalized models connected in parallel, where only numerical solutions are possible.

Hybrid systems, optimal control and hybrid vehicles theory, methods and applications

CERN Document Server

Böhme, Thomas J

2017-01-01

This book assembles new methods showing the automotive engineer for the first time how hybrid vehicle configurations can be modeled as systems with discrete and continuous controls. These hybrid systems describe naturally and compactly the networks of embedded systems which use elements such as integrators, hysteresis, state-machines and logical rules to describe the evolution of continuous and discrete dynamics and arise inevitably when modeling hybrid electric vehicles. They can throw light on systems which may otherwise be too complex or recondite. Hybrid Systems, Optimal Control and Hybrid Vehicles shows the reader how to formulate and solve control problems which satisfy multiple objectives which may be arbitrary and complex with contradictory influences on fuel consumption, emissions and drivability. The text introduces industrial engineers, postgraduates and researchers to the theory of hybrid optimal control problems. A series of novel algorithmic developments provides tools for solving engineering pr...

Application of the Hybrid Simulation Method for the Full-Scale Precast Reinforced Concrete Shear Wall Structure

Directory of Open Access Journals (Sweden)

Zaixian Chen

2018-02-01

Full Text Available The hybrid simulation (HS testing method combines physical test and numerical simulation, and provides a viable alternative to evaluate the structural seismic performance. Most studies focused on the accuracy, stability and reliability of the HS method in the small-scale tests. It is a challenge to evaluate the seismic performance of a twelve-story pre-cast reinforced concrete shear-wall structure using this HS method which takes the full-scale bottom three-story structural model as the physical substructure and the elastic non-linear model as the numerical substructure. This paper employs an equivalent force control (EFC method with implicit integration algorithm to deal with the numerical integration of the equation of motion (EOM and the control of the loading device. Because of the arrangement of the test model, an elastic non-linear numerical model is used to simulate the numerical substructure. And non-subdivision strategy for the displacement inflection point of numerical substructure is used to easily realize the simulation of the numerical substructure and thus reduce the measured error. The parameters of the EFC method are calculated basing on analytical and numerical studies and used to the actual full-scale HS test. Finally, the accuracy and feasibility of the EFC-based HS method is verified experimentally through the substructure HS tests of the pre-cast reinforced concrete shear-wall structure model. And the testing results of the descending stage can be conveniently obtained from the EFC-based HS method.

Graphic Symbol Recognition using Graph Based Signature and Bayesian Network Classifier

OpenAIRE

Luqman, Muhammad Muzzamil; Brouard, Thierry; Ramel, Jean-Yves

2010-01-01

We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image analysis and is at heart of most graphic recognition systems. Our method uses structural approach for symbol representation and statistical classifier for symbol recognition. In our system we represent symbols by their graph based signatures: a graphic symbol is vectorized and is converted to an attributed relational g...

Developmental specialization of the left parietal cortex for the semantic representation of Arabic numerals: An fMR-adaptation study

Directory of Open Access Journals (Sweden)

Stephan E. Vogel

2015-04-01

Full Text Available The way the human brain constructs representations of numerical symbols is poorly understood. While increasing evidence from neuroimaging studies has indicated that the intraparietal sulcus (IPS becomes increasingly specialized for symbolic numerical magnitude representation over developmental time, the extent to which these changes are associated with age-related differences in symbolic numerical magnitude representation or with developmental changes in non-numerical processes, such as response selection, remains to be uncovered. To address these outstanding questions we investigated developmental changes in the cortical representation of symbolic numerical magnitude in 6- to 14-year-old children using a passive functional magnetic resonance imaging adaptation design, thereby mitigating the influence of response selection. A single-digit Arabic numeral was repeatedly presented on a computer screen and interspersed with the presentation of novel digits deviating as a function of numerical ratio (smaller/larger number. Results demonstrated a correlation between age and numerical ratio in the left IPS, suggesting an age-related increase in the extent to which numerical symbols are represented in the left IPS. Brain activation of the right IPS was modulated by numerical ratio but did not correlate with age, indicating hemispheric differences in IPS engagement during the development of symbolic numerical representation.

Enhanced FAA-hybrid III numerical dummy model in Madymo for aircraft occupant safety assessment

NARCIS (Netherlands)

Boucher, H.; Waagmeester, C.D.

2003-01-01

To improve survivability and to minimize the risk of injury to occupants in helicopter crash events, a complete Cabin Safety System concept including safety features and an enhanced FAA-Hybrid III dummy were developed within the HeliSafe project. A numerical tool was also created and validated to

Symbol-stream Combiner: Description and Demonstration Plans

Science.gov (United States)

Hurd, W. J.; Reder, L. J.; Russell, M. D.

1984-01-01

A system is described and demonstration plans presented for antenna arraying by symbol stream combining. This system is used to enhance the signal-to-noise ratio of a spacecraft signals by combining the detected symbol streams from two or more receiving stations. Symbol stream combining has both cost and performance advantages over other arraying methods. Demonstrations are planned on Voyager 2 both prior to and during Uranus encounter. Operational use is possible for interagency arraying of non-Deep Space Network stations at Neptune encounter.

5th Symposium on Hybrid RANS-LES Methods

CERN Document Server

Haase, Werner; Peng, Shia-Hui; Schwamborn, Dieter

2015-01-01

This book gathers the proceedings of the Fifth Symposium on Hybrid RANS-LES Methods, which was held on March 19-21 in College Station, Texas, USA. The different chapters, written by leading experts, reports on the most recent developments in flow physics modelling, and gives a special emphasis to industrially relevant applications of hybrid RANS-LES methods and other turbulence-resolving modelling approaches. The book addresses academic researchers, graduate students, industrial engineers, as well as industrial R&D managers and consultants dealing with turbulence modelling, simulation and measurement, and with multidisciplinary applications of computational fluid dynamics (CFD), such as flow control, aero-acoustics, aero-elasticity and CFD-based multidisciplinary optimization. It discusses in particular advanced hybrid RANS-LES methods. Further topics include wall-modelled Large Eddy Simulation (WMLES) methods, embedded LES, and a comparison of the LES methods with both hybrid RANS-LES and URANS methods. ...

Asymptotics of Wigner 3nj-symbols with small and large angular momenta: an elementary method

International Nuclear Information System (INIS)

Bonzom, Valentin; Fleury, Pierre

2012-01-01

Yu and Littlejohn recently studied in (2011 Phys. Rev. A 83 052114 (arXiv:1104.1499)) some asymptotics of Wigner symbols with some small and large angular momenta. They found that in this regime the essential information is captured by the geometry of a tetrahedron, and gave new formulae for 9j-, 12j- and 15j-symbols. We present here an alternative derivation which leads to a simpler formula, based on the use of the Ponzano–Regge formula for the relevant tetrahedron. The approach is generalized to Wigner 3nj-symbols with some large and small angular momenta, where more than one tetrahedron are needed, leading to new asymptotics for Wigner 3nj-symbols. As an illustration, we present 15j-symbols with one, two and four small angular momenta, and give an alternative formula to Yu’s recent 15j-symbol with three small spins. (paper)

Concealed identification symbols and nondestructive determination of the identification symbols

Science.gov (United States)

Nance, Thomas A.; Gibbs, Kenneth M.

2014-09-16

The concealing of one or more identification symbols into a target object and the subsequent determination or reading of such symbols through non-destructive testing is described. The symbols can be concealed in a manner so that they are not visible to the human eye and/or cannot be readily revealed to the human eye without damage or destruction of the target object. The identification symbols can be determined after concealment by e.g., the compilation of multiple X-ray images. As such, the present invention can also provide e.g., a deterrent to theft and the recovery of lost or stolen objects.

A General Symbolic PDE Solver Generator: Beyond Explicit Schemes

Directory of Open Access Journals (Sweden)

K. Sheshadri

2003-01-01

Full Text Available This paper presents an extension of our Mathematica- and MathCode-based symbolic-numeric framework for solving a variety of partial differential equation (PDE problems. The main features of our earlier work, which implemented explicit finite-difference schemes, include the ability to handle (1 arbitrary number of dependent variables, (2 arbitrary dimensionality, and (3 arbitrary geometry, as well as (4 developing finite-difference schemes to any desired order of approximation. In the present paper, extensions of this framework to implicit schemes and the method of lines are discussed. While C++ code is generated, using the MathCode system for the implicit method, Modelica code is generated for the method of lines. The latter provides a preliminary PDE support for the Modelica language. Examples illustrating the various aspects of the solver generator are presented.

Hybrid PSO-ASVR-based method for data fitting in the calibration of infrared radiometer

Energy Technology Data Exchange (ETDEWEB)

Yang, Sen; Li, Chengwei, E-mail: heikuanghit@163.com [School of Electrical Engineering and Automation, Harbin Institute of Technology, Harbin 150001 (China)

2016-06-15

The present paper describes a hybrid particle swarm optimization-adaptive support vector regression (PSO-ASVR)-based method for data fitting in the calibration of infrared radiometer. The proposed hybrid PSO-ASVR-based method is based on PSO in combination with Adaptive Processing and Support Vector Regression (SVR). The optimization technique involves setting parameters in the ASVR fitting procedure, which significantly improves the fitting accuracy. However, its use in the calibration of infrared radiometer has not yet been widely explored. Bearing this in mind, the PSO-ASVR-based method, which is based on the statistical learning theory, is successfully used here to get the relationship between the radiation of a standard source and the response of an infrared radiometer. Main advantages of this method are the flexible adjustment mechanism in data processing and the optimization mechanism in a kernel parameter setting of SVR. Numerical examples and applications to the calibration of infrared radiometer are performed to verify the performance of PSO-ASVR-based method compared to conventional data fitting methods.

New hybrid conjugate gradient methods with the generalized Wolfe line search.

Science.gov (United States)

Xu, Xiao; Kong, Fan-Yu

2016-01-01

The conjugate gradient method was an efficient technique for solving the unconstrained optimization problem. In this paper, we made a linear combination with parameters β k of the DY method and the HS method, and putted forward the hybrid method of DY and HS. We also proposed the hybrid of FR and PRP by the same mean. Additionally, to present the two hybrid methods, we promoted the Wolfe line search respectively to compute the step size α k of the two hybrid methods. With the new Wolfe line search, the two hybrid methods had descent property and global convergence property of the two hybrid methods that can also be proved.

Structural hybrid reliability index and its convergent solving method based on random–fuzzy–interval reliability model

Directory of Open Access Journals (Sweden)

Hai An

2016-08-01

Full Text Available Aiming to resolve the problems of a variety of uncertainty variables that coexist in the engineering structure reliability analysis, a new hybrid reliability index to evaluate structural hybrid reliability, based on the random–fuzzy–interval model, is proposed in this article. The convergent solving method is also presented. First, the truncated probability reliability model, the fuzzy random reliability model, and the non-probabilistic interval reliability model are introduced. Then, the new hybrid reliability index definition is presented based on the random–fuzzy–interval model. Furthermore, the calculation flowchart of the hybrid reliability index is presented and it is solved using the modified limit-step length iterative algorithm, which ensures convergence. And the validity of convergent algorithm for the hybrid reliability model is verified through the calculation examples in literature. In the end, a numerical example is demonstrated to show that the hybrid reliability index is applicable for the wear reliability assessment of mechanisms, where truncated random variables, fuzzy random variables, and interval variables coexist. The demonstration also shows the good convergence of the iterative algorithm proposed in this article.

Advanced numerical methods for uncertainty reduction when predicting heat exchanger dynamic stability limits: Review and perspectives

International Nuclear Information System (INIS)

Longatte, E.; Baj, F.; Hoarau, Y.; Braza, M.; Ruiz, D.; Canteneur, C.

2013-01-01

Highlights: ► Proposal of hybrid computational methods for investigating dynamical system stability. ► Modeling turbulence disequilibrium due to interaction with moving solid boundaries. ► Providing computational procedure for large size system solution approximation through model reduction. -- Abstract: This article proposes a review of recent and current developments in the modeling and advanced numerical methods used to simulate large-size systems involving multi-physics in the field of mechanics. It addresses the complex issue of stability analysis of dynamical systems submitted to external turbulent flows and aims to establish accurate stability maps applicable to heat exchanger design. The purpose is to provide dimensionless stability limit modeling that is suitable for a variety of configurations and is as accurate as possible in spite of the large scale of the systems to be considered. The challenge lies in predicting local effects that may impact global systems. A combination of several strategies that are suited concurrently to multi-physics, multi-scale and large-size system computation is therefore required. Based on empirical concepts, the heuristic models currently used in the framework of standard stability analysis suffer from a lack of predictive capabilities. On the other hand, numerical approaches based on fully-coupled fluid–solid dynamics system computation remain expensive due to the multi-physics patterns of physics and the large number of degrees of freedom involved. In this context, since experimentation cannot be achieved and numerical simulation is unavoidable but prohibitive, a hybrid strategy is proposed in order to take advantage of both numerical local solutions and empirical global solutions

Numerical methods in software and analysis

CERN Document Server

Rice, John R

1992-01-01

Numerical Methods, Software, and Analysis, Second Edition introduces science and engineering students to the methods, tools, and ideas of numerical computation. Introductory courses in numerical methods face a fundamental problem-there is too little time to learn too much. This text solves that problem by using high-quality mathematical software. In fact, the objective of the text is to present scientific problem solving using standard mathematical software. This book discusses numerous programs and software packages focusing on the IMSL library (including the PROTRAN system) and ACM Algorithm

Modelling of cardiovascular system: development of a hybrid (numerical-physical) model.

Science.gov (United States)

Ferrari, G; Kozarski, M; De Lazzari, C; Górczyńska, K; Mimmo, R; Guaragno, M; Tosti, G; Darowski, M

2003-12-01

Physical models of the circulation are used for research, training and for testing of implantable active and passive circulatory prosthetic and assistance devices. However, in comparison with numerical models, they are rigid and expensive. To overcome these limitations, we have developed a model of the circulation based on the merging of a lumped parameter physical model into a numerical one (producing therefore a hybrid). The physical model is limited to the barest essentials and, in this application, developed to test the principle, it is a windkessel representing the systemic arterial tree. The lumped parameters numerical model was developed in LabVIEW environment and represents pulmonary and systemic circulation (except the systemic arterial tree). Based on the equivalence between hydraulic and electrical circuits, this prototype was developed connecting the numerical model to an electrical circuit--the physical model. This specific solution is valid mainly educationally but permits the development of software and the verification of preliminary results without using cumbersome hydraulic circuits. The interfaces between numerical and electrical circuits are set up by a voltage controlled current generator and a voltage controlled voltage generator. The behavior of the model is analyzed based on the ventricular pressure-volume loops and on the time course of arterial and ventricular pressures and flow in different circulatory conditions. The model can represent hemodynamic relationships in different ventricular and circulatory conditions.

Iterative Reconstruction Methods for Hybrid Inverse Problems in Impedance Tomography

DEFF Research Database (Denmark)

Hoffmann, Kristoffer; Knudsen, Kim

2014-01-01

For a general formulation of hybrid inverse problems in impedance tomography the Picard and Newton iterative schemes are adapted and four iterative reconstruction algorithms are developed. The general problem formulation includes several existing hybrid imaging modalities such as current density...... impedance imaging, magnetic resonance electrical impedance tomography, and ultrasound modulated electrical impedance tomography, and the unified approach to the reconstruction problem encompasses several algorithms suggested in the literature. The four proposed algorithms are implemented numerically in two...

Novel Parallel Numerical Methods for Radiation and Neutron Transport

International Nuclear Information System (INIS)

Brown, P N

2001-01-01

In many of the multiphysics simulations performed at LLNL, transport calculations can take up 30 to 50% of the total run time. If Monte Carlo methods are used, the percentage can be as high as 80%. Thus, a significant core competence in the formulation, software implementation, and solution of the numerical problems arising in transport modeling is essential to Laboratory and DOE research. In this project, we worked on developing scalable solution methods for the equations that model the transport of photons and neutrons through materials. Our goal was to reduce the transport solve time in these simulations by means of more advanced numerical methods and their parallel implementations. These methods must be scalable, that is, the time to solution must remain constant as the problem size grows and additional computer resources are used. For iterative methods, scalability requires that (1) the number of iterations to reach convergence is independent of problem size, and (2) that the computational cost grows linearly with problem size. We focused on deterministic approaches to transport, building on our earlier work in which we performed a new, detailed analysis of some existing transport methods and developed new approaches. The Boltzmann equation (the underlying equation to be solved) and various solution methods have been developed over many years. Consequently, many laboratory codes are based on these methods, which are in some cases decades old. For the transport of x-rays through partially ionized plasmas in local thermodynamic equilibrium, the transport equation is coupled to nonlinear diffusion equations for the electron and ion temperatures via the highly nonlinear Planck function. We investigated the suitability of traditional-solution approaches to transport on terascale architectures and also designed new scalable algorithms; in some cases, we investigated hybrid approaches that combined both

Excel spreadsheet in teaching numerical methods

Science.gov (United States)

Djamila, Harimi

2017-09-01

One of the important objectives in teaching numerical methods for undergraduates’ students is to bring into the comprehension of numerical methods algorithms. Although, manual calculation is important in understanding the procedure, it is time consuming and prone to error. This is specifically the case when considering the iteration procedure used in many numerical methods. Currently, many commercial programs are useful in teaching numerical methods such as Matlab, Maple, and Mathematica. These are usually not user-friendly by the uninitiated. Excel spreadsheet offers an initial level of programming, which it can be used either in or off campus. The students will not be distracted with writing codes. It must be emphasized that general commercial software is required to be introduced later to more elaborated questions. This article aims to report on a teaching numerical methods strategy for undergraduates engineering programs. It is directed to students, lecturers and researchers in engineering field.

Development of nondestructive hybrid measuring method for three-dimensional residual stress distribution of thick welded joint. Hybrid measuring method of inherent strain method and neutron diffraction method

International Nuclear Information System (INIS)

Nakacho, Keiji; Kasahara, Norifumi; Tamura, Ryota

2012-01-01

The measuring methods of the residual stress are classified into destructive one and nondestructive one. The inherent strain method (ISM) is destructive one. The neutron diffraction method (NDM) is nondestructive one. But the measurable depth is limited within about 20 mm and the method cannot measure the weld zone, without destruction of the object. So, in this study, the hybrid measuring method has been developed, by combining the ISM and the NDM. The theory of the hybrid method is the same as the ISM. In the analysis, the strains measured by the NDM without destruction are used. This hybrid measuring method is a true nondestructive measuring method for a thick welded joint. The applicability of the hybrid method has been verified by simulation, using a butt welded joint of thick pipes. In the simulation, the reliable order of the strains measured by the present NDM is very important, and was considered as 10 micro. The measurable regions by the present NDM were assumed. Under the above conditions, the data (the residual elastic strains assumed to be measured by the NDM) were made, and used in the ISM. As a result of such simulation, it has been cleared that the estimated residual stress has very high accuracy, if enough data are used. The required number of data is less than the ISM. (author)

The application of grounded theory and symbolic interactionism.

Science.gov (United States)

Jeon, Yun-Hee

2004-09-01

This paper describes the methodological and theoretical context and underpinnings of a study that examined community psychiatric nurses' work with family caregivers of older people with depression. The study used grounded theory research methods, with its theoretical foundations drawn from symbolic interactionism. The aims of the study were to describe and conceptualize the processes involved when community nurses work and interact with family caregivers and to develop an explanatory theory of these processes. This paper begins with an explanation of the rationale for using grounded theory as the method of choice, followed by a discussion of the theoretical underpinnings of the study, including a brief summary of the nature and origins of symbolic interactionism. Key premises of symbolic interactionism regarded as central to the study are outlined and an analytical overview of the grounded theory method is provided. The paper concludes with a commentary on some of the issues and debates in the use of grounded theory in nursing research. The main purpose of this paper is to provide a methodical and critical review of symbolic interactionism and grounded theory that can help readers, particularly those who are intending to use grounded theory, better understand the processes involved in applying this method to their research.

Children’s Non-symbolic, Symbolic Addition and Their Mapping Capacity at 4–7 Years Old

Directory of Open Access Journals (Sweden)

Yanjun Li

2017-07-01

Full Text Available The study aimed to examine the developmental trajectories of non-symbolic and symbolic addition capacities in children and the mapping ability between these two. We assessed 106 4- to 7-year-old children and found that 4-year-olds were able to do non-symbolic addition but not symbolic addition. Five-year-olds and older were able to do symbolic addition and their performance in symbolic addition exceeded non-symbolic addition in grade 1 (approximate age 7. These results suggested non-symbolic addition ability emerges earlier and is less affected by formal mathematical education than symbolic addition. Meanwhile, we tested children’s bi-directional mapping ability using a novel task and found that children were able to map between symbolic and non-symbolic representations of number at age 5. Their ability in mapping non-symbolic to symbolic number became more proficient in grade 1 (approximate age 7. This suggests children at age 7 have developed a relatively mature symbolic representation system.

Symbol Stream Combining in a Convolutionally Coded System

Science.gov (United States)

Mceliece, R. J.; Pollara, F.; Swanson, L.

1985-01-01

Symbol stream combining has been proposed as a method for arraying signals received at different antennas. If convolutional coding and Viterbi decoding are used, it is shown that a Viterbi decoder based on the proposed weighted sum of symbol streams yields maximum likelihood decisions.

A method of recovering the initial vectors of globally coupled map lattices based on symbolic dynamics

International Nuclear Information System (INIS)

Sun Li-Sha; Kang Xiao-Yun; Zhang Qiong; Lin Lan-Xin

2011-01-01

Based on symbolic dynamics, a novel computationally efficient algorithm is proposed to estimate the unknown initial vectors of globally coupled map lattices (CMLs). It is proved that not all inverse chaotic mapping functions are satisfied for contraction mapping. It is found that the values in phase space do not always converge on their initial values with respect to sufficient backward iteration of the symbolic vectors in terms of global convergence or divergence (CD). Both CD property and the coupling strength are directly related to the mapping function of the existing CML. Furthermore, the CD properties of Logistic, Bernoulli, and Tent chaotic mapping functions are investigated and compared. Various simulation results and the performances of the initial vector estimation with different signal-to-noise ratios (SNRs) are also provided to confirm the proposed algorithm. Finally, based on the spatiotemporal chaotic characteristics of the CML, the conditions of estimating the initial vectors using symbolic dynamics are discussed. The presented method provides both theoretical and experimental results for better understanding and characterizing the behaviours of spatiotemporal chaotic systems. (general)

A method of recovering the initial vectors of globally coupled map lattices based on symbolic dynamics

Science.gov (United States)

Sun, Li-Sha; Kang, Xiao-Yun; Zhang, Qiong; Lin, Lan-Xin

2011-12-01

Based on symbolic dynamics, a novel computationally efficient algorithm is proposed to estimate the unknown initial vectors of globally coupled map lattices (CMLs). It is proved that not all inverse chaotic mapping functions are satisfied for contraction mapping. It is found that the values in phase space do not always converge on their initial values with respect to sufficient backward iteration of the symbolic vectors in terms of global convergence or divergence (CD). Both CD property and the coupling strength are directly related to the mapping function of the existing CML. Furthermore, the CD properties of Logistic, Bernoulli, and Tent chaotic mapping functions are investigated and compared. Various simulation results and the performances of the initial vector estimation with different signal-to-noise ratios (SNRs) are also provided to confirm the proposed algorithm. Finally, based on the spatiotemporal chaotic characteristics of the CML, the conditions of estimating the initial vectors using symbolic dynamics are discussed. The presented method provides both theoretical and experimental results for better understanding and characterizing the behaviours of spatiotemporal chaotic systems.

Representations of Numerical and Non-Numerical Magnitude Both Contribute to Mathematical Competence in Children

Science.gov (United States)

Lourenco, Stella F.; Bonny, Justin W.

2017-01-01

A growing body of evidence suggests that non-symbolic representations of number, which humans share with nonhuman animals, are functionally related to uniquely human mathematical thought. Other research suggesting that numerical and non-numerical magnitudes not only share analog format but also form part of a general magnitude system raises…

Receiver IQ mismatch estimation in PDM CO-OFDM system using training symbol

Science.gov (United States)

Peng, Dandan; Ma, Xiurong; Yao, Xin; Zhang, Haoyuan

2017-07-01

Receiver in-phase/quadrature (IQ) mismatch is hard to mitigate at the receiver via using conventional method in polarization division multiplexed (PDM) coherent optical orthogonal frequency division multiplexing (CO-OFDM) system. In this paper, a novel training symbol structure is proposed to estimate IQ mismatch and channel distortion. Combined this structure with Gram Schmidt orthogonalization procedure (GSOP) algorithm, we can get lower bit error rate (BER). Meanwhile, based on this structure one estimation method is deduced in frequency domain which can achieve the estimation of IQ mismatch and channel distortion independently and improve the system performance obviously. Numerical simulation shows that the proposed two methods have better performance than compared method at 100 Gb/s after 480 km fiber transmission. Besides, the calculation complexity is also analyzed.

Numerical modeling of contaminant transport in fractured porous media using mixed finite-element and finitevolume methods

KAUST Repository

Dong, Chen

2011-01-01

A mathematical model for contaminant species passing through fractured porous media is presented. In the numerical model, we combine two locally conservative methods; i.e., the mixed finite-element (MFE) method and the finite-volume method. Adaptive triangle mesh is used for effective treatment of the fractures. A hybrid MFE method is employed to provide an accurate approximation of velocity fields for both the fractures and matrix, which are crucial to the convection part of the transport equation. The finite-volume method and the standard MFE method are used to approximate the convection and dispersion terms, respectively. The temporary evolution for the pressure distributions, streamline fields, and concentration profiles are obtained for six different arrangements of fractures. The results clearly show the distorted concentration effects caused by the ordered and disordered (random) patterns of the fractures and illustrate the robustness and efficiency of the proposed numerical model. © 2011 by Begell House Inc.

Verification of Java Programs using Symbolic Execution and Invariant Generation

Science.gov (United States)

Pasareanu, Corina; Visser, Willem

2004-01-01

Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

Combining metric episodes with semantic event concepts within the Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS)

Science.gov (United States)

Kelley, Troy D.; McGhee, S.

2013-05-01

This paper describes the ongoing development of a robotic control architecture that inspired by computational cognitive architectures from the discipline of cognitive psychology. The Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS) combines symbolic and sub-symbolic representations of knowledge into a unified control architecture. The new architecture leverages previous work in cognitive architectures, specifically the development of the Adaptive Character of Thought-Rational (ACT-R) and Soar. This paper details current work on learning from episodes or events. The use of episodic memory as a learning mechanism has, until recently, been largely ignored by computational cognitive architectures. This paper details work on metric level episodic memory streams and methods for translating episodes into abstract schemas. The presentation will include research on learning through novelty and self generated feedback mechanisms for autonomous systems.

Numerical methods for hydrodynamic stability problems

International Nuclear Information System (INIS)

Fujimura, Kaoru

1985-11-01

Numerical methods for solving the Orr-Sommerfeld equation, which is the fundamental equation of the hydrodynamic stability theory for various shear flows, are reviewed and typical numerical results are presented. The methods of asymptotic solution, finite difference methods, initial value methods and expansions in orthogonal functions are compared. (author)

Hybrid Fundamental Solution Based Finite Element Method: Theory and Applications

Directory of Open Access Journals (Sweden)

Changyong Cao

2015-01-01

Full Text Available An overview on the development of hybrid fundamental solution based finite element method (HFS-FEM and its application in engineering problems is presented in this paper. The framework and formulations of HFS-FEM for potential problem, plane elasticity, three-dimensional elasticity, thermoelasticity, anisotropic elasticity, and plane piezoelectricity are presented. In this method, two independent assumed fields (intraelement filed and auxiliary frame field are employed. The formulations for all cases are derived from the modified variational functionals and the fundamental solutions to a given problem. Generation of elemental stiffness equations from the modified variational principle is also described. Typical numerical examples are given to demonstrate the validity and performance of the HFS-FEM. Finally, a brief summary of the approach is provided and future trends in this field are identified.

Numerical Study on the Seismic Performance of a Steel–Concrete Hybrid Supporting Structure in Thermal Power Plants

Directory of Open Access Journals (Sweden)

Bo Wang

2018-02-01

Full Text Available This paper presents the numerical investigation on the seismic performance of a steel–concrete hybrid structure consisting of reinforced concrete (RC tubular columns and steel braced truss with A-shaped steel frames, which is a novel supporting structural system to house air-cooled condensers (ACC in large-capacity thermal power plants (TPPs. First, the finite element (FE modeling approach for this hybrid structure using the software ABAQUS was validated by a range of pseudo-dynamic tests (PDTs performed on a 1/8-scaled sub-structure. The failure process, lateral displacement responses, changing rules of dynamic characteristic parameters and lateral stiffness with increase of peak ground acceleration (PGA were presented here. Then, nonlinear time-history analysis of the prototype structure was carried out. The dynamic characteristics, base shear force, lateral deformation capacity, stiffness deterioration and damage characteristics were investigated. Despite the structural complexity and irregularity, both experimental and numerical results indicate that the overall seismic performance of this steel–concrete hybrid supporting structure meets the seismic design requirements with respect to the high-intensity earthquakes.

'demoted'?: Symbols as religious phenomena

African Journals Online (AJOL)

2013-03-06

Mar 6, 2013 ... process by which symbols grow and develop, the particular context of a symbol is important. In this article a particular theory as to what symbols are, is presented. ... of communication and reference between these two worlds are symbols. .... from a psychological perspective, understands symbols as a.

William Butler Yeats’s ‘The Symbolic System’ of William Blake

Directory of Open Access Journals (Sweden)

Arianna Antonielli

2008-03-01

Full Text Available The theosophical systems formulated by great poets, such as William Blake and William Butler Yeats, represent a personal idiosyncratic actualization of an ancient repertoire of magical symbols and occult visions. This study wants to focus the attention on the philosophical, mythical, and esoteric syncretism that W. B. Yeats drew from William Blake’s symbolical system. A fundamental step of Yeats’s deep investigation into the Blakean ‘vision’ was given by his monumental work, written together with Edwin John Ellis, on Blake’s poetic and pictorial production, completed in 1893 with a three-volume edition entitled The Works of William Blake, Poetic, Symbolic, and Critical. This work, published in London by Bernard Quaritch, deeply influenced Yeats’s symbolical and imaginary system, determining its subsequent development up to its codification in the volume of A Vision. With WWB, Yeats was able to systematize for the first time his own thought, giving unity to his Weltanschauung and his poetry. Following this hypothesis, I concentrated on Yeats’s and Ellis’s numerous analyses dedicated to Blake’s mythological and symbolical corpus and, in particular, I examined the last chapter of the first volume of the Quaritch edition. This chapter, entitled “The Symbolic System”, constitutes an unquestionable link between Yeats the reader and scholar of Blake, and Yeats the poet and follower of Blake.

Animated symbols

DEFF Research Database (Denmark)

Frølunde, Lisbeth

2008-01-01

an analytic working model called Animated Symbols concerning critical reflection in a dialogic learning process. The model shows dialogue as interactions that involve two types of transformation: inner ‘learning processes' and outer signs and symbols. The classroom-based research study is part of a Ph...

Examining pitch and numerical magnitude processing in congenital amusia: A quasi-experimental pilot study.

Science.gov (United States)

Nunes-Silva, Marilia; Moura, Ricardo; Lopes-Silva, Júlia Beatriz; Haase, Vitor Geraldi

2016-08-01

Congenital amusia is a developmental disorder associated with deficits in pitch height discrimination or in integrating pitch sequences into melodies. This quasi-experimental pilot study investigated whether there is an association between pitch and numerical processing deficits in congenital amusia. Since pitch height discrimination is considered a form of magnitude processing, we investigated whether individuals with amusia present an impairment in numerical magnitude processing, which would reflect damage to a generalized magnitude system. Alternatively, we investigated whether the numerical processing deficit would reflect a disconnection between nonsymbolic and symbolic number representations. This study was conducted with 11 adult individuals with congenital amusia and a control comparison group of 6 typically developing individuals. Participants performed nonsymbolic and symbolic magnitude comparisons and number line tasks. Results were available from previous testing using the Montreal Battery of Evaluation of Amusia (MBEA) and a pitch change detection task (PCD). Compared to the controls, individuals with amusia exhibited no significant differences in their performance on both the number line and the nonsymbolic magnitude tasks. Nevertheless, they showed significantly worse performance on the symbolic magnitude task. Moreover, individuals with congenital amusia, who presented worse performance in the Meter subtest, also presented less precise nonsymbolic numerical representation. The relationship between meter and nonsymbolic numerical discrimination could indicate a general ratio processing deficit. The finding of preserved nonsymbolic numerical magnitude discrimination and mental number line representations, with impaired symbolic number processing, in individuals with congenital amusia indicates that (a) pitch height and numerical magnitude processing may not share common neural representations, and (b) in addition to pitch processing, individuals with

A Hybrid Optimization Method for Solving Bayesian Inverse Problems under Uncertainty.

Directory of Open Access Journals (Sweden)

Kai Zhang

Full Text Available In this paper, we investigate the application of a new method, the Finite Difference and Stochastic Gradient (Hybrid method, for history matching in reservoir models. History matching is one of the processes of solving an inverse problem by calibrating reservoir models to dynamic behaviour of the reservoir in which an objective function is formulated based on a Bayesian approach for optimization. The goal of history matching is to identify the minimum value of an objective function that expresses the misfit between the predicted and measured data of a reservoir. To address the optimization problem, we present a novel application using a combination of the stochastic gradient and finite difference methods for solving inverse problems. The optimization is constrained by a linear equation that contains the reservoir parameters. We reformulate the reservoir model's parameters and dynamic data by operating the objective function, the approximate gradient of which can guarantee convergence. At each iteration step, we obtain the relatively 'important' elements of the gradient, which are subsequently substituted by the values from the Finite Difference method through comparing the magnitude of the components of the stochastic gradient, which forms a new gradient, and we subsequently iterate with the new gradient. Through the application of the Hybrid method, we efficiently and accurately optimize the objective function. We present a number numerical simulations in this paper that show that the method is accurate and computationally efficient.

SYMBOL AND LOGO. THE WAY IN WHICH YOUNG PEOPLE IN KRAKOW PERCEIVE SYMBOLS

Directory of Open Access Journals (Sweden)

Marta Jarzyna

2006-01-01

Full Text Available Symbols are essential elements of each culture. Thanks to them the meaning is created and tradition is kept alive. Advertising and marketing specialist quite often use the meanings of the symbols to create trademarks. In this way specialists refer to the assotiations rooted in the tradition.In my article I am trying to answer following questions: Has logo become symbol? Has logo taken over all the function of the symbol? Can we tell the difference between the meaning of the advertisement and the cultural meaning? I also want to find out, what people understand through the meaning of the symbol. Therfore I have conducted the survey among the high school students and the customers of three banks of Krakow. My researches have shown that most young people find it difficult to define the meaning of the symbol. Moreover high school students cannot show the difference between the symbol and the trade mark.

Advances in Numerical Methods

CERN Document Server

Mastorakis, Nikos E

2009-01-01

Features contributions that are focused on significant aspects of current numerical methods and computational mathematics. This book carries chapters that advanced methods and various variations on known techniques that can solve difficult scientific problems efficiently.

A hybrid bird mating optimizer algorithm with teaching-learning-based optimization for global numerical optimization

Directory of Open Access Journals (Sweden)

Qingyang Zhang

2015-02-01

Full Text Available Bird Mating Optimizer (BMO is a novel meta-heuristic optimization algorithm inspired by intelligent mating behavior of birds. However, it is still insufficient in convergence of speed and quality of solution. To overcome these drawbacks, this paper proposes a hybrid algorithm (TLBMO, which is established by combining the advantages of Teaching-learning-based optimization (TLBO and Bird Mating Optimizer (BMO. The performance of TLBMO is evaluated on 23 benchmark functions, and compared with seven state-of-the-art approaches, namely BMO, TLBO, Artificial Bee Bolony (ABC, Particle Swarm Optimization (PSO, Fast Evolution Programming (FEP, Differential Evolution (DE, Group Search Optimization (GSO. Experimental results indicate that the proposed method performs better than other existing algorithms for global numerical optimization.

Human management and hybridization shape treegourd fruits in the Brazilian Amazon Basin.

Science.gov (United States)

Ambrósio Moreira, Priscila; Mariac, Cédric; Zekraoui, Leila; Couderc, Marie; Rodrigues, Doriane Picanço; Clement, Charles R; Vigouroux, Yves

2017-07-01

Local people's perceptions of cultivated and wild agrobiodiversity, as well as their management of hybridization are still understudied in Amazonia. Here we analyze domesticated treegourd ( Crescentia cujete ), whose versatile fruits have technological, symbolic, and medicinal uses. A wild relative ( C. amazonica ) of the cultivated species grows spontaneously in Amazonian flooded forests. We demonstrated, using whole chloroplast sequences and nuclear microsatellites, that the two species are strongly differentiated. Nonetheless, they hybridize readily throughout Amazonia and the proportions of admixture correlate with fruit size variation of cultivated trees. New morphotypes arise from hybridization, which are recognized by people and named as local varieties. Small hybrid fruits are used to make the important symbolic rattle ( maracá ), suggesting that management of hybrid trees is an ancient human practice in Amazonia. Effective conservation of Amazonian agrobiodiversity needs to incorporate this interaction between wild and cultivated populations that is managed by smallholder families. Beyond treegourd, our study clearly shows that hybridization plays an important role in tree crop phenotypic diversification and that the integration of molecular analyses and farmers' perceptions of diversity help disentangle crop domestication history.

Numerical investigation on the regression rate of hybrid rocket motor with star swirl fuel grain

Science.gov (United States)

Zhang, Shuai; Hu, Fan; Zhang, Weihua

2016-10-01

Although hybrid rocket motor is prospected to have distinct advantages over liquid and solid rocket motor, low regression rate and insufficient efficiency are two major disadvantages which have prevented it from being commercially viable. In recent years, complex fuel grain configurations are attractive in overcoming the disadvantages with the help of Rapid Prototyping technology. In this work, an attempt has been made to numerically investigate the flow field characteristics and local regression rate distribution inside the hybrid rocket motor with complex star swirl grain. A propellant combination with GOX and HTPB has been chosen. The numerical model is established based on the three dimensional Navier-Stokes equations with turbulence, combustion, and coupled gas/solid phase formulations. The calculated fuel regression rate is compared with the experimental data to validate the accuracy of numerical model. The results indicate that, comparing the star swirl grain with the tube grain under the conditions of the same port area and the same grain length, the burning surface area rises about 200%, the spatially averaged regression rate rises as high as about 60%, and the oxidizer can combust sufficiently due to the big vortex around the axis in the aft-mixing chamber. The combustion efficiency of star swirl grain is better and more stable than that of tube grain.

Symbolic dynamics of the Lorenz equations

International Nuclear Information System (INIS)

Fang Hai-ping; Hao Bailin.

1994-07-01

The Lorenz equations are investigated in a wide range of parameters by using the method of symbolic dynamics. First, the systematics of stable periodic orbits in the Lorenz equations is compared with that of the one-dimensional cubic map, which shares the same discrete symmetry with the Lorenz model. The systematics is then ''corrected'' in such a way as to encompass all the known periodic windows of the Lorenz equations with only one exception. Second, in order to justify the above approach and to understand the exceptions, another 1D map with a discontinuity is extracted from an extension of the geometric Lorenz attractor and its symbolic dynamics is constructed. All this has to be done in light of symbolic dynamics of two-dimensional maps. Finally, symbolic dynamics for the actual Poincare return map of the Lorenz equations is constructed in a heuristic way. New periodic windows of the Lorenz equations and their parameters can be predicted from this symbolic dynamics in combination with the 1D cubic map. The extended geometric 2D Lorenz map and the 1D antisymmetric map with a discontinuity describe the topological aspects of the Lorenz equations to high accuracy. (author). 44 refs, 17 figs, 8 tabs

Pagan symbols associated with the female anatomy in the Medici Chapel by Michelangelo Buonarroti.

Science.gov (United States)

De Campos, Deivis; Oxley Da Rocha, Andrea; De Oliveira Lemos, Rodrigo; Malysz, Tais; Antonio Bonatto-Costa, João; Pereira Jotz, Geraldo; Pinto De Oliveira Junior, Lino; Da Costa Oliveira, Miriam

2017-07-01

Numerous studies have shown that many works of art from the Renaissance period contain hidden symbols and codes that could have religious, mathematical and/or pagan significance and even anatomical allusions. In this context, the present manuscript offers new evidence that the great genius of anatomy, Michelangelo Buonarroti (1475-1564), included pagan symbols associated with female anatomy in the funerary monuments found in the Sagrestia Nuova/Medici Chapel (1519-1533) in Florence, Italy. The interpretation of the symbols provided in this study will interest those with a passion for the history of anatomy. Clin. Anat. 30:572-577, 2017. © 2017 Wiley Periodicals, Inc. © 2017 Wiley Periodicals, Inc.

Convolution-based classification of audio and symbolic representations of music

DEFF Research Database (Denmark)

Velarde, Gissel; Cancino Chacón, Carlos; Meredith, David

2018-01-01

We present a novel convolution-based method for classification of audio and symbolic representations of music, which we apply to classification of music by style. Pieces of music are first sampled to pitch–time representations (piano-rolls or spectrograms) and then convolved with a Gaussian filter......-class composer identification, methods specialised for classifying symbolic representations of music are more effective. We also performed experiments on symbolic representations, synthetic audio and two different recordings of The Well-Tempered Clavier by J. S. Bach to study the method’s capacity to distinguish...

Numerical Analysis of Electromagnetic Fields in Multiscale Model

International Nuclear Information System (INIS)

Ma Ji; Fang Guang-You; Ji Yi-Cai

2015-01-01

Modeling technique for electromagnetic fields excited by antennas is an important topic in computational electromagnetics, which is concerned with the numerical solution of Maxwell's equations. In this paper, a novel hybrid technique that combines method of moments (MoM) with finite-difference time-domain (FDTD) method is presented to handle the problem. This approach employed Huygen's principle to realize the hybridization of the two classical numerical algorithms. For wideband electromagnetic data, the interpolation scheme is used in the MoM based on the dyadic Green's function. On the other hand, with the help of equivalence principle, the scattered electric and magnetic fields on the Huygen's surface calculated by MoM are taken as the sources for FDTD. Therefore, the electromagnetic fields in the environment can be obtained by employing finite-difference time-domain method. Finally, numerical results show the validity of the proposed technique by analyzing two canonical samples. (paper)

A Four-Stage Fifth-Order Trigonometrically Fitted Semi-Implicit Hybrid Method for Solving Second-Order Delay Differential Equations

Directory of Open Access Journals (Sweden)

Sufia Zulfa Ahmad

2016-01-01

Full Text Available We derived a two-step, four-stage, and fifth-order semi-implicit hybrid method which can be used for solving special second-order ordinary differential equations. The method is then trigonometrically fitted so that it is suitable for solving problems which are oscillatory in nature. The methods are then used for solving oscillatory delay differential equations. Numerical results clearly show the efficiency of the new method when compared to the existing explicit and implicit methods in the scientific literature.

A Symbolic Computation Approach to Parameterizing Controller for Polynomial Hamiltonian Systems

Directory of Open Access Journals (Sweden)

Zhong Cao

2014-01-01

Full Text Available This paper considers controller parameterization method of H∞ control for polynomial Hamiltonian systems (PHSs, which involves internal stability and external disturbance attenuation. The aims of this paper are to design a controller with parameters to insure that the systems are H∞ stable and propose an algorithm for solving parameters of the controller with symbolic computation. The proposed parameterization method avoids solving Hamilton-Jacobi-Isaacs equations, and thus the obtained controllers with parameters are relatively simple in form and easy in operation. Simulation with a numerical example shows that the controller is effective as it can optimize H∞ control by adjusting parameters. All these results are expected to be of use in the study of H∞ control for nonlinear systems with perturbations.

Symbol in View of Ambiguity

Directory of Open Access Journals (Sweden)

Mohamad reza Yousefi

2013-11-01

Full Text Available Abstract Symbol from the perspective of rhetorical word, is phrase or sentence that apparent meaning, also inspires to reader a wide range of semantic.Since exploring the complex social and political ideas in the most mysticalway and indirectreflectionsocial and political thoughts symbolically is easier, so the symbol and symbolism especially in Persian literatureespeciallyin the realm of Persian poetry, has a special appearance.In addition to the factors mentioned in the contemporary literature, according familiar in literature and the emergence of particular schools interest toambiguoussymbolization has spreadfurther, especially the symbol has all the features of art ambiguity in the poem and it isone the major factors causing uncertainty.Thus, the precise definitions and symbols of contemporary poetry could be dominant in the unwinding ambiguous symbol detection of cryptic allusions and metaphors that matches the cursor symbol to help readers.  In the literature, especially language poetry, the inability of language toreflecting obscure mystical ideas, avoid to directexpression of political and social concerns of the reader in the course of participate to creation ambiguous literary works is the main motivation towards symbol and symbolization.According widespread use of symbol and its different of species can be viewed from different perspectives.The creation of ambiguity is the main purposes of using symbols (especially in poetry, so many poets have tried to achieve this goal have to formation of similar symbols and the explanation and resolution of this issue can open new window for understanding the poetry in front of an audience.  In this paper examines the ambiguity of symbols in terms of its precise boundaries are reviewed. Ambiguity is one of the important processes and also is the key Iranian poetry its means is today poetry. In such poetry ambiguity is a need to explore the new world from a different perspective, or explore this

Political symbols and political transitions

Directory of Open Access Journals (Sweden)

Herrero de Miñón, Miguel

2006-11-01

Full Text Available Politics, Law and Psychology are fields that come together in the symbolic. This text takes evidence from those three areas to develop an analysis of political symbols and political transitions. The development of the analysis goes through three stages. The first succinctly describes the concept of transition and its meaning. The second closely examines the notion of the symbol, in terms of its definition, to explain aspects that allow us to understand it, characterise it and make its functions clear. Finally, from the author's experience as a witness and as an actor, I suggest three ways of understanding symbols in the processes of political transition: as symbols of change, as symbols of acknowledgment, and as symbols of support.

Multiple-time-stepping generalized hybrid Monte Carlo methods

Energy Technology Data Exchange (ETDEWEB)

Escribano, Bruno, E-mail: bescribano@bcamath.org [BCAM—Basque Center for Applied Mathematics, E-48009 Bilbao (Spain); Akhmatskaya, Elena [BCAM—Basque Center for Applied Mathematics, E-48009 Bilbao (Spain); IKERBASQUE, Basque Foundation for Science, E-48013 Bilbao (Spain); Reich, Sebastian [Universität Potsdam, Institut für Mathematik, D-14469 Potsdam (Germany); Azpiroz, Jon M. [Kimika Fakultatea, Euskal Herriko Unibertsitatea (UPV/EHU) and Donostia International Physics Center (DIPC), P.K. 1072, Donostia (Spain)

2015-01-01

Performance of the generalized shadow hybrid Monte Carlo (GSHMC) method [1], which proved to be superior in sampling efficiency over its predecessors [2–4], molecular dynamics and hybrid Monte Carlo, can be further improved by combining it with multi-time-stepping (MTS) and mollification of slow forces. We demonstrate that the comparatively simple modifications of the method not only lead to better performance of GSHMC itself but also allow for beating the best performed methods, which use the similar force splitting schemes. In addition we show that the same ideas can be successfully applied to the conventional generalized hybrid Monte Carlo method (GHMC). The resulting methods, MTS-GHMC and MTS-GSHMC, provide accurate reproduction of thermodynamic and dynamical properties, exact temperature control during simulation and computational robustness and efficiency. MTS-GHMC uses a generalized momentum update to achieve weak stochastic stabilization to the molecular dynamics (MD) integrator. MTS-GSHMC adds the use of a shadow (modified) Hamiltonian to filter the MD trajectories in the HMC scheme. We introduce a new shadow Hamiltonian formulation adapted to force-splitting methods. The use of such Hamiltonians improves the acceptance rate of trajectories and has a strong impact on the sampling efficiency of the method. Both methods were implemented in the open-source MD package ProtoMol and were tested on a water and a protein systems. Results were compared to those obtained using a Langevin Molly (LM) method [5] on the same systems. The test results demonstrate the superiority of the new methods over LM in terms of stability, accuracy and sampling efficiency. This suggests that putting the MTS approach in the framework of hybrid Monte Carlo and using the natural stochasticity offered by the generalized hybrid Monte Carlo lead to improving stability of MTS and allow for achieving larger step sizes in the simulation of complex systems.

Numerical analysis of splashing fluid using hybrid method of mesh-based and particle-based modelings

International Nuclear Information System (INIS)

Tanaka, Nobuatsu; Ogawara, Takuya; Kaneda, Takeshi; Maseguchi, Ryo

2009-01-01

In order to simulate splashing and scattering fluid behaviors, we developed a hybrid method of mesh-based model for large-scale continuum fluid and particle-based model for small-scale discrete fluid particles. As for the solver of the continuum fluid, we adopt the CIVA RefIned Multiphase SimulatiON (CRIMSON) code to evaluate two phase flow behaviors based on the recent computational fluid dynamics (CFD) techniques. The phase field model has been introduced to the CRIMSON in order to solve the problem of loosing phase interface sharpness in long-term calculation. As for the solver of the discrete fluid droplets, we applied the idea of Smoothed Particle Hydrodynamics (SPH) method. Both continuum fluid and discrete fluid interact each other through drag interaction force. We verified our method by applying it to a popular benchmark problem of collapse of water column problems, especially focusing on the splashing and scattering fluid behaviors after the column collided against the wall. We confirmed that the gross splashing and scattering behaviors were well reproduced by the introduction of particle model while the detailed behaviors of the particles were slightly different from the experimental results. (author)

Trails of meaning construction: Symbolic artifacts engage the social brain.

Science.gov (United States)

Tylén, Kristian; Philipsen, Johanne Stege; Roepstorff, Andreas; Fusaroli, Riccardo

2016-07-01

Symbolic artifacts present a challenge to theories of neurocognitive processing due to their hybrid nature: they are at the same time physical objects and vehicles of intangible social meanings. While their physical properties can be read of their perceptual appearance, the meaning of symbolic artifacts depends on the perceiver's interpretative attitude and embeddedness in cultural practices. In this study, participants built models of LEGO bricks to illustrate their understanding of abstract concepts. They were then scanned with fMRI while presented to photographs of their own and others' models. When participants attended to the meaning of the models in contrast to their bare physical properties, we observed activations in mPFC and TPJ, areas often associated with social cognition, and IFG, possibly related to semantics. When contrasting own and others' models, we also found activations in precuneus, an area associated with autobiographical memory and agency, while looking at one's own collective models yielded interaction effects in rostral ACC, right IFG and left Insula. Interestingly, variability in the insula was predicted by individual differences in participants' feeling of relatedness to their fellow group members during LEGO construction activity. Our findings support a view of symbolic artifacts as neuro-cognitive trails of human social interactions. Copyright © 2016 Elsevier Inc. All rights reserved.

Mountain bicycle frame testing as an example of practical implementation of hybrid simulation using RTFEM

Science.gov (United States)

Mucha, Waldemar; Kuś, Wacław

2018-01-01

The paper presents a practical implementation of hybrid simulation using Real Time Finite Element Method (RTFEM). Hybrid simulation is a technique for investigating dynamic material and structural properties of mechanical systems by performing numerical analysis and experiment at the same time. It applies to mechanical systems with elements too difficult or impossible to model numerically. These elements are tested experimentally, while the rest of the system is simulated numerically. Data between the experiment and numerical simulation are exchanged in real time. Authors use Finite Element Method to perform the numerical simulation. The following paper presents the general algorithm for hybrid simulation using RTFEM and possible improvements of the algorithm for computation time reduction developed by the authors. The paper focuses on practical implementation of presented methods, which involves testing of a mountain bicycle frame, where the shock absorber is tested experimentally while the rest of the frame is simulated numerically.

Decomposition and Cross-Product-Based Method for Computing the Dynamic Equation of Robots

Directory of Open Access Journals (Sweden)

Ching-Long Shih

2012-08-01

Full Text Available This paper aims to demonstrate a clear relationship between Lagrange equations and Newton-Euler equations regarding computational methods for robot dynamics, from which we derive a systematic method for using either symbolic or on-line numerical computations. Based on the decomposition approach and cross-product operation, a computing method for robot dynamics can be easily developed. The advantages of this computing framework are that: it can be used for both symbolic and on-line numeric computation purposes, and it can also be applied to biped systems, as well as some simple closed-chain robot systems.

Similarity of Symbol Frequency Distributions with Heavy Tails

Directory of Open Access Journals (Sweden)

Martin Gerlach

2016-04-01

Full Text Available Quantifying the similarity between symbolic sequences is a traditional problem in information theory which requires comparing the frequencies of symbols in different sequences. In numerous modern applications, ranging from DNA over music to texts, the distribution of symbol frequencies is characterized by heavy-tailed distributions (e.g., Zipf’s law. The large number of low-frequency symbols in these distributions poses major difficulties to the estimation of the similarity between sequences; e.g., they hinder an accurate finite-size estimation of entropies. Here, we show analytically how the systematic (bias and statistical (fluctuations errors in these estimations depend on the sample size N and on the exponent γ of the heavy-tailed distribution. Our results are valid for the Shannon entropy (α=1, its corresponding similarity measures (e.g., the Jensen-Shanon divergence, and also for measures based on the generalized entropy of order α. For small α’s, including α=1, the errors decay slower than the 1/N decay observed in short-tailed distributions. For α larger than a critical value α^{*}=1+1/γ≤2, the 1/N decay is recovered. We show the practical significance of our results by quantifying the evolution of the English language over the last two centuries using a complete α spectrum of measures. We find that frequent words change more slowly than less frequent words and that α=2 provides the most robust measure to quantify language change.

Hybrid of Genetic Programming with PBIL

International Nuclear Information System (INIS)

Caldas, Gustavo Henrique Flores; Schirru, Roberto

2005-01-01

Genetic programming and PBIL (Population-Based Incremental Learning) are evolutionary algorithms that have found applications in several fields of application. The Genetic Programming searches a solution allowing that the individuals of a population modify, mainly, its structures. The PBIL, on the other hand, works with individuals of fixed structure and is particularly successful in finding numerical solutions. There are problems where the simultaneous adjustment of the structure and numerical constants in a solution is essential. The Symbolic Regression is an example where both the form and the constants of a mathematical expression must be found. Although the traditional Genetic Programming is capable to solve this problem by itself, it is interesting to explore a cooperation with the PBIL, allowing each algorithm to do only that they do best: the Genetic Programming tries to find a structure while the PBIL adjust the constants that will be enclosed in the structure. In this work, the benchmark 'the sextic polynomial regression problem' is used to compare some traditional techniques of Genetic Programming with the proposed Hybrid of Genetic Programming with PBIL. The results are presented and discussed. (author)

Capital Architecture: Situating symbolism parallel to architectural methods and technology

Science.gov (United States)

Daoud, Bassam

Capital Architecture is a symbol of a nation's global presence and the cultural and social focal point of its inhabitants. Since the advent of High-Modernism in Western cities, and subsequently decolonised capitals, civic architecture no longer seems to be strictly grounded in the philosophy that national buildings shape the legacy of government and the way a nation is regarded through its built environment. Amidst an exceedingly globalized architectural practice and with the growing concern of key heritage foundations over the shortcomings of international modernism in representing its immediate socio-cultural context, the contextualization of public architecture within its sociological, cultural and economic framework in capital cities became the key denominator of this thesis. Civic architecture in capital cities is essential to confront the challenges of symbolizing a nation and demonstrating the legitimacy of the government'. In today's dominantly secular Western societies, governmental architecture, especially where the seat of political power lies, is the ultimate form of architectural expression in conveying a sense of identity and underlining a nation's status. Departing with these convictions, this thesis investigates the embodied symbolic power, the representative capacity, and the inherent permanence in contemporary architecture, and in its modes of production. Through a vast study on Modern architectural ideals and heritage -- in parallel to methodologies -- the thesis stimulates the future of large scale governmental building practices and aims to identify and index the key constituents that may respond to the lack representation in civic architecture in capital cities.

A hybrid method combining the FDTD and a time domain boundary-integral equation marching-on-in-time algorithm

Directory of Open Access Journals (Sweden)

A. Becker

2003-01-01

Full Text Available In this paper a hybrid method combining the FDTD/FIT with a Time Domain Boundary-Integral Marching-on-in-Time Algorithm (TD-BIM is presented. Inhomogeneous regions are modelled with the FIT-method, an alternative formulation of the FDTD. Homogeneous regions (which is in the presented numerical example the open space are modelled using a TD-BIM with equivalent electric and magnetic currents flowing on the boundary between the inhomogeneous and the homogeneous regions. The regions are coupled by the tangential magnetic fields just outside the inhomogeneous regions. These fields are calculated by making use of a Mixed Potential Integral Formulation for the magnetic field. The latter consists of equivalent electric and magnetic currents on the boundary plane between the homogeneous and the inhomogeneous region. The magnetic currents result directly from the electric fields of the Yee lattice. Electric currents in the same plane are calculated by making use of the TD-BIM and using the electric field of the Yee lattice as boundary condition. The presented hybrid method only needs the interpolations inherent in FIT and no additional interpolation. A numerical result is compared to a calculation that models both regions with FDTD.

Changing the precision of preschoolers’ approximate number system representations changes their symbolic math performance

Science.gov (United States)

Wang, Jinjing (Jenny); Odic, Darko; Halberda, Justin; Feigenson, Lisa

2016-01-01

From early in life, humans have access to an Approximate Number System (ANS) that supports an intuitive sense of numerical quantity. Previous work in both children and adults suggests that individual differences in the precision of ANS representations correlate with symbolic math performance. However, this work has been almost entirely correlational in nature. Here we tested for a causal link between ANS precision and symbolic math performance by asking whether a temporary modulation of ANS precision changes symbolic math performance. First we replicated a recent finding that 5-year-old children make more precise ANS discriminations when starting with easier trials and gradually progressing to harder ones, compared to the reverse. Next, we show that this brief modulation of ANS precision influenced children’s performance on a subsequent symbolic math task, but not a vocabulary task. In a supplemental experiment we present evidence that children who performed ANS discriminations in a random trial order showed intermediate performance both on the ANS task and the symbolic math task, compared to the children who made ordered discriminations. Thus, our results point to a specific causal link from the ANS to symbolic math performance. PMID:27061668

Changing the precision of preschoolers' approximate number system representations changes their symbolic math performance.

Science.gov (United States)

Wang, Jinjing Jenny; Odic, Darko; Halberda, Justin; Feigenson, Lisa

2016-07-01

From early in life, humans have access to an approximate number system (ANS) that supports an intuitive sense of numerical quantity. Previous work in both children and adults suggests that individual differences in the precision of ANS representations correlate with symbolic math performance. However, this work has been almost entirely correlational in nature. Here we tested for a causal link between ANS precision and symbolic math performance by asking whether a temporary modulation of ANS precision changes symbolic math performance. First, we replicated a recent finding that 5-year-old children make more precise ANS discriminations when starting with easier trials and gradually progressing to harder ones, compared with the reverse. Next, we show that this brief modulation of ANS precision influenced children's performance on a subsequent symbolic math task but not a vocabulary task. In a supplemental experiment, we present evidence that children who performed ANS discriminations in a random trial order showed intermediate performance on both the ANS task and the symbolic math task, compared with children who made ordered discriminations. Thus, our results point to a specific causal link from the ANS to symbolic math performance. Copyright © 2016 Elsevier Inc. All rights reserved.

Bruce Springsteen as a Symbol

DEFF Research Database (Denmark)

Gitz-Johansen, Thomas

2018-01-01

The article explores how Bruce Springsteen and his music function as a symbol. The article first presents the Jungian theory of symbols and of music as symbol. The central argument of the article is that, by functioning symbolically, Springsteen has the potential to influence the psyche of his au...

The relationship between symbolic interactionism and interpretive description.

Science.gov (United States)

Oliver, Carolyn

2012-03-01

In this article I explore the relationship between symbolic interactionist theory and interpretive description methodology. The two are highly compatible, making symbolic interactionism an excellent theoretical framework for interpretive description studies. The pragmatism underlying interpretive description supports locating the methodology within this cross-disciplinary theory to make it more attractive to nonnursing researchers and expand its potential to address practice problems across the applied disciplines. The theory and method are so compatible that symbolic interactionism appears to be part of interpretive description's epistemological foundations. Interpretive description's theoretical roots have, to date, been identified only very generally in interpretivism and the philosophy of nursing. A more detailed examination of its symbolic interactionist heritage furthers the contextualization or forestructuring of the methodology to meet one of its own requirements for credibility.

Entropy and long-range memory in random symbolic additive Markov chains.

Science.gov (United States)

Melnik, S S; Usatenko, O V

2016-06-01

The goal of this paper is to develop an estimate for the entropy of random symbolic sequences with elements belonging to a finite alphabet. As a plausible model, we use the high-order additive stationary ergodic Markov chain with long-range memory. Supposing that the correlations between random elements of the chain are weak, we express the conditional entropy of the sequence by means of the symbolic pair correlation function. We also examine an algorithm for estimating the conditional entropy of finite symbolic sequences. We show that the entropy contains two contributions, i.e., the correlation and the fluctuation. The obtained analytical results are used for numerical evaluation of the entropy of written English texts and DNA nucleotide sequences. The developed theory opens the way for constructing a more consistent and sophisticated approach to describe the systems with strong short-range and weak long-range memory.

Hybrid finite element method for describing the electrical response of biological cells to applied fields.

Science.gov (United States)

Ying, Wenjun; Henriquez, Craig S

2007-04-01

A novel hybrid finite element method (FEM) for modeling the response of passive and active biological membranes to external stimuli is presented. The method is based on the differential equations that describe the conservation of electric flux and membrane currents. By introducing the electric flux through the cell membrane as an additional variable, the algorithm decouples the linear partial differential equation part from the nonlinear ordinary differential equation part that defines the membrane dynamics of interest. This conveniently results in two subproblems: a linear interface problem and a nonlinear initial value problem. The linear interface problem is solved with a hybrid FEM. The initial value problem is integrated by a standard ordinary differential equation solver such as the Euler and Runge-Kutta methods. During time integration, these two subproblems are solved alternatively. The algorithm can be used to model the interaction of stimuli with multiple cells of almost arbitrary geometries and complex ion-channel gating at the plasma membrane. Numerical experiments are presented demonstrating the uses of the method for modeling field stimulation and action potential propagation.

The role of long-term memory in digit-symbol test performance in young and older adults.

Science.gov (United States)

Stephens, R; Kaufman, A

2009-03-01

The psychological functions assessed by substitution tests, and the age-related performance decline, are not well understood. Here several aspects of long-term memory were manipulated across younger and older adults. A 45-page Digit-Symbol test was employed. Each page contained a 9-item digit symbol code-table and 9 response items. There were 9 study conditions with each condition deployed across 5 pages, or trials, of the test. The conditions were formed by crossing two within-subjects factors, each with 3 levels. The first factor, Digit Order, pertained to having the code table digits in numerical order vs. a pseudo-random order fixed across trials vs. a pseudo-random order that varied across trials. The second factor, Symbol Pairing, pertained to having a fixed digit-symbol pairing across trials vs. having a varying digit-symbol pairing across trials vs. having a novel set of 9 symbols introduced on each of the 5 trials. Including the additional factor, Age, resulted in a 2 x 3 x 3 mixed randomised block design. The older group was slowed, F(1, 22) = 17.267, p Symbol-Order interaction indicated that use of novel symbols disadvantaged only the older participants, F(1, 44) = 6.577, p = .014. While there was no evidence that incidental paired-associate learning or spatial memory affect digit-symbol performance, symbol familiarity may be important to digit symbol test completion in older adults. The benefit of ordinally arranged digits in the coding table highlights a fundamental process difference between Digit-Symbol and Symbol-Digit test formats.

Numerical multistep methods for the efficient solution of quantum mechanics and related problems

International Nuclear Information System (INIS)

Anastassi, Z.A.; Simos, T.E.

2009-01-01

In this paper we present the recent development in the numerical integration of the Schroedinger equation and related systems of ordinary differential equations with oscillatory solutions, such as the N-body problem. We examine several types of multistep methods (explicit, implicit, predictor-corrector, hybrid) and several properties (P-stability, trigonometric fitting of various orders, phase fitting, high phase-lag order, algebraic order). We analyze the local truncation error and the stability of the methods. The error for the Schroedinger equation is also presented, which reveals the relation of the error to the energy. The efficiency of the methods is evaluated through the integration of five problems. Figures are presented and analyzed and some general conclusions are made. Code written in Maple is given for the development of all methods analyzed in this paper. Also the subroutines written in Matlab, that concern the integration of the methods, are presented.

Symbolic Interactionism and Ethnomethodology: A Perspective on Qualitiative Research.

Science.gov (United States)

Soloski, John; Daley, Patrick J.

Methods employed in social science research must be true to the phenomena under investigation. Both symbolic interactionism and ethnomethodology take everyday life as their fundamental premise. Symbolic interactionism, based primarily on the work of George Herbert Mead, is the peculiar and distinctive character of interaction as it takes place…

Numerical Methods for Stochastic Computations A Spectral Method Approach

CERN Document Server

Xiu, Dongbin

2010-01-01

The first graduate-level textbook to focus on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC). These fast, efficient, and accurate methods are an extension of the classical spectral methods of high-dimensional random spaces. Designed to simulate complex systems subject to random inputs, these methods are widely used in many areas of computer science and engineering. The book introduces polynomial approximation theory and probability theory; describes the basic theory of gPC meth

Computation of the Lyapunov exponents in the compass-gait model under OGY control via a hybrid Poincaré map

International Nuclear Information System (INIS)

Gritli, Hassène; Belghith, Safya

2015-01-01

Highlights: • A numerical calculation method of the Lyapunov exponents in the compass-gait model under OGY control is proposed. • A new linearization method of the impulsive hybrid dynamics around a one-periodic hybrid limit cycle is achieved. • We develop a simple analytical expression of a controlled hybrid Poincaré map. • A dimension reduction of the hybrid Poincaré map is realized. • We describe the numerical computation procedure of the Lyapunov exponents via the designed hybrid Poincaré map. - Abstract: This paper aims at providing a numerical calculation method of the spectrum of Lyapunov exponents in a four-dimensional impulsive hybrid nonlinear dynamics of a passive compass-gait model under the OGY control approach by means of a controlled hybrid Poincaré map. We present a four-dimensional simplified analytical expression of such hybrid map obtained by linearizing the uncontrolled impulsive hybrid nonlinear dynamics around a desired one-periodic passive hybrid limit cycle. In order to compute the spectrum of Lyapunov exponents, a dimension reduction of the controlled hybrid Poincaré map is realized. The numerical calculation of the spectrum of Lyapunov exponents using the reduced-dimension controlled hybrid Poincaré map is given in detail. In order to show the effectiveness of the developed method, the spectrum of Lyapunov exponents is calculated as the slope (bifurcation) parameter varies and hence used to predict the walking dynamics behavior of the compass-gait model under the OGY control.

Numerical Methods for Partial Differential Equations

CERN Document Server

Guo, Ben-yu

1987-01-01

These Proceedings of the first Chinese Conference on Numerical Methods for Partial Differential Equations covers topics such as difference methods, finite element methods, spectral methods, splitting methods, parallel algorithm etc., their theoretical foundation and applications to engineering. Numerical methods both for boundary value problems of elliptic equations and for initial-boundary value problems of evolution equations, such as hyperbolic systems and parabolic equations, are involved. The 16 papers of this volume present recent or new unpublished results and provide a good overview of current research being done in this field in China.

Reciprocity Laws for the Higher Tame Symbol and the Witt Symbol on an Algebraic Surface

OpenAIRE

Syder, Kirsty

2013-01-01

Parshin's higher Witt pairing on an arithmetic surface can be combined with the higher tame pairing to form a symbol taking values in the absolute abelian Galois group of the function field. We prove reciprocity laws for this symbol using techniques of Morrow for the Witt symbol and Romo for the higher tame symbol.

Hybrid Multicriteria Group Decision Making Method for Information System Project Selection Based on Intuitionistic Fuzzy Theory

Directory of Open Access Journals (Sweden)

Jian Guo

2013-01-01

Full Text Available Information system (IS project selection is of critical importance to every organization in dynamic competing environment. The aim of this paper is to develop a hybrid multicriteria group decision making approach based on intuitionistic fuzzy theory for IS project selection. The decision makers’ assessment information can be expressed in the form of real numbers, interval-valued numbers, linguistic variables, and intuitionistic fuzzy numbers (IFNs. All these evaluation pieces of information can be transformed to the form of IFNs. Intuitionistic fuzzy weighted averaging (IFWA operator is utilized to aggregate individual opinions of decision makers into a group opinion. Intuitionistic fuzzy entropy is used to obtain the entropy weights of the criteria. TOPSIS method combined with intuitionistic fuzzy set is proposed to select appropriate IS project in group decision making environment. Finally, a numerical example for information system projects selection is given to illustrate application of hybrid multi-criteria group decision making (MCGDM method based on intuitionistic fuzzy theory and TOPSIS method.

Symbolic PathFinder v7

DEFF Research Database (Denmark)

Luckow, Kasper Søe; Păsăreanu, Corina

2014-01-01

We describe Symbolic PathFinder v7 in terms of its updated design addressing the changes of Java PathFinder v7 and of its new optimization when computing path conditions. Furthermore, we describe the Symbolic Execution Tree Extension; a newly added feature that allows for outputting the symbolic...... execution tree that characterizes the execution paths covered during symbolic execution. The new extension can be tailored to the needs of subsequent analyses/processing facilities, and we demonstrate this by presenting SPF-Visualizer, which is a tool for customizable visualization of the symbolic execution...

Hybrid Polling Method for Direct Link Communication for IEEE 802.11 Wireless LANs

Directory of Open Access Journals (Sweden)

Woo-Yong Choi

2008-10-01

Full Text Available The direct link communication between STAtions (STAs is one of the techniques to improve the MAC performance of IEEE 802.11 infrastructure networks. For the efficient direct link communication, in the literature, the simultaneous polling method was proposed to allow the multiple direct data communication to be performed simultaneously. However, the efficiency of the simultaneous polling method is affected by the interference condition. To alleviate the problem of the lower polling efficiency with the larger interference range, the hybrid polling method is proposed for the direct link communication between STAs in IEEE 802.11 infrastructure networks. By the proposed polling method, we can integrate the sequential and simultaneous polling methods properly according to the interference condition. Numerical examples are also presented to show the medium access control (MAC performance improvement by the proposed polling method.

An Effective Hybrid Firefly Algorithm with Harmony Search for Global Numerical Optimization

Directory of Open Access Journals (Sweden)

Lihong Guo

2013-01-01

Full Text Available A hybrid metaheuristic approach by hybridizing harmony search (HS and firefly algorithm (FA, namely, HS/FA, is proposed to solve function optimization. In HS/FA, the exploration of HS and the exploitation of FA are fully exerted, so HS/FA has a faster convergence speed than HS and FA. Also, top fireflies scheme is introduced to reduce running time, and HS is utilized to mutate between fireflies when updating fireflies. The HS/FA method is verified by various benchmarks. From the experiments, the implementation of HS/FA is better than the standard FA and other eight optimization methods.

Modeling oil production based on symbolic regression

International Nuclear Information System (INIS)

Yang, Guangfei; Li, Xianneng; Wang, Jianliang; Lian, Lian; Ma, Tieju

2015-01-01

Numerous models have been proposed to forecast the future trends of oil production and almost all of them are based on some predefined assumptions with various uncertainties. In this study, we propose a novel data-driven approach that uses symbolic regression to model oil production. We validate our approach on both synthetic and real data, and the results prove that symbolic regression could effectively identify the true models beneath the oil production data and also make reliable predictions. Symbolic regression indicates that world oil production will peak in 2021, which broadly agrees with other techniques used by researchers. Our results also show that the rate of decline after the peak is almost half the rate of increase before the peak, and it takes nearly 12 years to drop 4% from the peak. These predictions are more optimistic than those in several other reports, and the smoother decline will provide the world, especially the developing countries, with more time to orchestrate mitigation plans. -- Highlights: •A data-driven approach has been shown to be effective at modeling the oil production. •The Hubbert model could be discovered automatically from data. •The peak of world oil production is predicted to appear in 2021. •The decline rate after peak is half of the increase rate before peak. •Oil production projected to decline 4% post-peak

Ionizing-radiation warning - Supplementary symbol

International Nuclear Information System (INIS)

2007-01-01

This International Standard specifies the symbol to warn of the presence of a dangerous level of ionizing radiation from a high-level sealed radioactive source that can cause death or serious injury if handled carelessly. This symbol is not intended to replace the basic ionizing radiation symbol [ISO 361, ISO 7010:2003, Table 1 (Reference number W003)], but to supplement it by providing further information on the danger associated with the source and the necessity for untrained or uninformed members of the public to stay away from it. This symbol is recommended for use with International Atomic Energy Agency (IAEA) Category 1, 2, and 3 sealed radioactive sources. These sources are defined by the IAEA as having the ability to cause death or serious injuries. The paper informs about scope, shape, proportions and colour of the symbol, and application of the symbol. An annex provides the technical specifications of the symbol

Simplified Model for the Hybrid Method to Design Stabilising Piles Placed at the Toe of Slopes

Directory of Open Access Journals (Sweden)

Dib M.

2018-01-01

Full Text Available Stabilizing precarious slopes by installing piles has become a widespread technique for landslides prevention. The design of slope-stabilizing piles by the finite element method is more accurate comparing to the conventional methods. This accuracy is because of the ability of this method to simulate complex configurations, and to analyze the soil-pile interaction effect. However, engineers prefer to use the simplified analytical techniques to design slope stabilizing piles, this is due to the high computational resources required by the finite element method. Aiming to combine the accuracy of the finite element method with simplicity of the analytical approaches, a hybrid methodology to design slope stabilizing piles was proposed in 2012. It consists of two steps; (1: an analytical estimation of the resisting force needed to stabilize the precarious slope, and (2: a numerical analysis to define the adequate pile configuration that offers the required resisting force. The hybrid method is applicable only for the analysis and the design of stabilizing piles placed in the middle of the slope, however, in certain cases like road constructions, piles are needed to be placed at the toe of the slope. Therefore, in this paper a simplified model for the hybrid method is dimensioned to analyze and design stabilizing piles placed at the toe of a precarious slope. The validation of the simplified model is presented by a comparative analysis with the full coupled finite element model.

On the Verification of a WiMax Design Using Symbolic Simulation

Directory of Open Access Journals (Sweden)

Gabriela Nicolescu

2013-07-01

Full Text Available In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely check that a design transformation is correct in a reasonable amount of time, as the number of test patterns required to do so increase exponentially with the number of system state variables. In this paper, we propose a methodology for the verification of conformance of models generated at higher levels of abstraction in the design process to the design specifications. We model the system behavior using sequence of recurrence equations. We then use symbolic simulation together with equivalence checking and property checking techniques for design verification. Using our proposed method, we have verified the equivalence of three WiMax system models at different levels of design abstraction, and the correctness of various system properties on those models. Our symbolic modeling and verification experiments show that the proposed verification methodology provides performance advantage over its numerical counterpart.

Numerical transcoding proficiency in 10-year-old schoolchildren is associated with grey-matter interindividual differences: A voxel-based morphometry study

Directory of Open Access Journals (Sweden)

Amélie eLubin

2013-04-01

Full Text Available Are individual differences in numerical performance sustained by variations in grey matter volume in schoolchildren? To our knowledge, this challenging question for neuroeducation has not yet been investigated in typical development. We used the Voxel-Based Morphometry method to search for possible structural brain differences between two groups of 10-year-old schoolchildren (N=22 whose performance differed only in numerical transcoding between analog and symbolic systems. The results indicated that children with low numerical proficiency have less grey matter volume in the parietal (particularly in the left intraparietal sulcus and the bilateral angular gyri and occipito-temporal areas. All the identified regions have previously been shown to be functionally involved in transcoding between analog and symbolic numerical systems. Our data contribute to a better understanding of the intertwined relationships between mathematics learning and brain structure in healthy schoolchildren.

An outline review of numerical transport methods

International Nuclear Information System (INIS)

Budd, C.

1981-01-01

A brief review is presented of numerical methods for solving the neutron transport equation in the context of reactor physics. First the various forms of transport equation are given. Second, the various ways of classifying numerical transport methods are discussed. Finally each method (or class of methods) is outlined in turn. (U.K.)

A hybrid formulation for the numerical simulation of condensed phase explosives

Science.gov (United States)

Michael, L.; Nikiforakis, N.

2016-07-01

In this article we present a new formulation and an associated numerical algorithm, for the simulation of combustion and transition to detonation of condensed-phase commercial- and military-grade explosives, which are confined by (or in general interacting with one or more) compliant inert materials. Examples include confined rate-stick problems and interaction of shock waves with gas cavities or solid particles in explosives. This formulation is based on an augmented Euler approach to account for the mixture of the explosive and its products, and a multi-phase diffuse interface approach to solve for the immiscible interaction between the mixture and the inert materials, so it is in essence a hybrid (augmented Euler and multi-phase) model. As such, it has many of the desirable features of the two approaches and, critically for our applications of interest, it provides the accurate recovery of temperature fields across all components. Moreover, it conveys a lot more physical information than augmented Euler, without the complexity of full multi-phase Baer-Nunziato-type models or the lack of robustness of augmented Euler models in the presence of more than two components. The model can sustain large density differences across material interfaces without the presence of spurious oscillations in velocity and pressure, and it can accommodate realistic equations of state and arbitrary (pressure- or temperature-based) reaction-rate laws. Under certain conditions, we show that the formulation reduces to well-known augmented Euler or multi-phase models, which have been extensively validated and used in practice. The full hybrid model and its reduced forms are validated against problems with exact (or independently-verified numerical) solutions and evaluated for robustness for rate-stick and shock-induced cavity collapse case-studies.

Synthesis and assessment methods for an edge-alignment-free hybrid image

Science.gov (United States)

Sripian, Peeraya; Yamaguchi, Yasushi

2017-07-01

A hybrid image allows multiple image interpretations to be modulated by the viewing distance. It can be constructed on the basis of the multiscale perceptual mechanisms of the human visual system by combining the low and high spatial frequencies of two different images. The hybrid image was introduced as an experimental tool for visual recognition study in terms of spatial frequency perception. To produce a compelling hybrid image, the original hybrid image synthesis method could only use similar shapes of source images that were aligned in the edges. If any two different images can be hybrid, it would be beneficial as a new experimental tool. In addition, there is no measure for the actual perception of spatial frequency, whether a single spatial frequency or both spatial frequencies are perceived from the hybrid stimulus. This paper describes two methods for synthesizing a hybrid image from dissimilar shape images or unaligned images; this hybrid image is known as an "edge-alignment-free hybrid image." A noise-inserted method can be done by intentionally inserting and enhancing noises into the high-frequency image. With this method, the low-frequency blobs are covered with high-frequency noises when viewed up close. A color-inserted method uses complementary color gratings in the background of the high-frequency image to emphasize the high-frequency image when viewed up close, whereas the gratings disappear when viewed from far away. To ascertain that our approach successfully separates the spatial frequency at each viewing distance, we measured this property using our proposed assessment method. Our proposed method allows the experimenter to quantify the probability of perceiving both spatial frequencies and a single spatial frequency in a hybrid image. The experimental results confirmed that our proposed synthesis methods successfully hid the low-frequency image and emphasized the high-frequency image at a close viewing distance. At the same time, the

Self-organisation of symbolic information

Science.gov (United States)

Feistel, R.

2017-01-01

Information is encountered in two different appearances, in native form by arbitrary physical structures, or in symbolic form by coded sequences of letters or the like. The self-organised emergence of symbolic information from structural information is referred to as a ritualisation transition. Occurring at some stage in evolutionary history, ritualisation transitions have in common that after the crossover, arbitrary symbols are issued and recognised by information-processing devices, by transmitters and receivers in the sense of Shannon's communication theory. Symbolic information-processing systems exhibit the fundamental code symmetry whose key features, such as largely lossless copying or persistence under hostile conditions, may elucidate the reasons for the repeated successful occurrence of ritualisation phenomena in evolution history. Ritualisation examples are briefly reviewed such as the origin of life, the appearance of human languages, the establishment of emergent social categories such as money, or the development of digital computers. In addition to their role as carriers of symbolic information, symbols are physical structures which also represent structural information. For a thermodynamic description of symbols and their arrangements, it appears reasonable to distinguish between Boltzmann entropy, Clausius entropy and Pauling entropy. Thermodynamic properties of symbols imply that their lifetimes are limited by the 2nd law.

Symbolic Regression Via Genetic Programming as a Discovery Engine: Insights on Outliers and Prototypes

Science.gov (United States)

Kotanchek, Mark E.; Vladislavleva, Ekaterina Y.; Smits, Guido F.

In this chapter we illustrate a framework based on symbolic regression to generate and sharpen the questions about the nature of the underlying system and provide additional context and understanding based on multi-variate numeric data.

Toward Exact Number: Young Children Use One-to-one Correspondence to Measure Set Identity but not Numerical Equality

Science.gov (United States)

Izard, Véronique; Streri, Arlette; Spelke, Elizabeth S.

2014-01-01

Exact integer concepts are fundamental to a wide array of human activities, but their origins are obscure. Some have proposed that children are endowed with a system of natural number concepts, whereas others have argued that children construct these concepts by mastering verbal counting or other numeric symbols. This debate remains unresolved, because it is difficult to test children’s mastery of the logic of integer concepts without using symbols to enumerate large sets, and the symbols themselves could be a source of difficulty for children. Here, we introduce a new method, focusing on large quantities and avoiding the use of words or other symbols for numbers, to study children’s understanding of an essential property underlying integer concepts: the relation of exact numerical equality. Children aged 32-36 months, who possessed no symbols for exact numbers beyond 4, were given one-to-one correspondence cues to help them track a set of puppets, and their enumeration of the set was assessed by a non-verbal manual search task. Children used one-to-one correspondence relations to reconstruct exact quantities in sets of 5 or 6 objects, as long as the elements forming the sets remained the same individuals. In contrast, they failed to track exact quantities when one element was added, removed, or substituted for another. These results suggest an alternative to both nativist and symbol-based constructivist theories of the development of natural number concepts: Before learning symbols for exact numbers, children have a partial understanding of the properties of exact numbers. PMID:24680885

Unpacking symbolic number comparison and its relation with arithmetic in adults.

Science.gov (United States)

Sasanguie, Delphine; Lyons, Ian M; De Smedt, Bert; Reynvoet, Bert

2017-08-01

Symbolic number - or digit - comparison has been a central tool in the domain of numerical cognition for decades. More recently, individual differences in performance on this task have been shown to robustly relate to individual differences in more complex math processing - a result that has been replicated across many different age groups. In this study, we 'unpack' the underlying components of digit comparison (i.e. digit identification, digit to number-word matching, digit ordering and general comparison) in a sample of adults. In a first experiment, we showed that digit comparison performance was most strongly related to digit ordering ability - i.e., the ability to judge whether symbolic numbers are in numerical order. Furthermore, path analyses indicated that the relation between digit comparison and arithmetic was partly mediated by digit ordering and fully mediated when non-numerical (letter) ordering was also entered into the model. In a second experiment, we examined whether a general order working memory component could account for the relation between digit comparison and arithmetic. It could not. Instead, results were more consistent with the notion that fluent access and activation of long-term stored associations between numbers explains the relation between arithmetic and both digit comparison and digit ordering tasks. Copyright © 2017 Elsevier B.V. All rights reserved.

Mathematical symbol hypothesis recognition with rejection option

OpenAIRE

Julca-Aguilar , Frank; Hirata , Nina ,; Viard-Gaudin , Christian; Mouchère , Harold; Medjkoune , Sofiane

2014-01-01

International audience; In the context of handwritten mathematical expressions recognition, a first step consist on grouping strokes (segmentation) to form symbol hypotheses: groups of strokes that might represent a symbol. Then, the symbol recognition step needs to cope with the identification of wrong segmented symbols (false hypotheses). However, previous works on symbol recognition consider only correctly segmented symbols. In this work, we focus on the problem of mathematical symbol reco...

Annika Sörenstam – a hybrid personal sports brand

DEFF Research Database (Denmark)

Cortsen, Kenneth

2013-01-01

method inspired by “symbolic interactionist” aspects and focusing on Annika Sörenstam's commercial success with personal sports branding and its interdependence with sports branding at the product and corporate levels. Data collection was conducted in accordance with interpretative research traditions...... and sports brands at the product and corporate levels – often underlining good ROIs for all involved parties if the sports branding process is executed well strategically. This article presents personal sports branding as a hybrid phenomenon, which is dynamic by heart and part of a well‐coordinated process...

Hybrid diffusion–transport spatial homogenization method

International Nuclear Information System (INIS)

Kooreman, Gabriel; Rahnema, Farzad

2014-01-01

Highlights: • A new hybrid diffusion–transport homogenization method. • An extension of the consistent spatial homogenization (CSH) transport method. • Auxiliary cross section makes homogenized diffusion consistent with heterogeneous diffusion. • An on-the-fly re-homogenization in transport. • The method is faster than fine-mesh transport by 6–8 times. - Abstract: A new hybrid diffusion–transport homogenization method has been developed by extending the consistent spatial homogenization (CSH) transport method to include diffusion theory. As in the CSH method, an “auxiliary cross section” term is introduced into the source term, making the resulting homogenized diffusion equation consistent with its heterogeneous counterpart. The method then utilizes an on-the-fly re-homogenization in transport theory at the assembly level in order to correct for core environment effects on the homogenized cross sections and the auxiliary cross section. The method has been derived in general geometry and tested in a 1-D boiling water reactor (BWR) core benchmark problem for both controlled and uncontrolled configurations. The method has been shown to converge to the reference solution with less than 1.7% average flux error in less than one third the computational time as the CSH method – 6 to 8 times faster than fine-mesh transport

Recent symbolic summation methods to solve coupled systems of differential and difference equations

International Nuclear Information System (INIS)

Schneider, Carsten; Bluemlein, Johannes; Freitas, Abilio de

2014-07-01

We outline a new algorithm to solve coupled systems of differential equations in one continuous variable x (resp. coupled difference equations in one discrete variable N) depending on a small parameter ε: given such a system and given sufficiently many initial values, we can determine the first coefficients of the Laurent-series solutions in ε if they are expressible in terms of indefinite nested sums and products. This systematic approach is based on symbolic summation algorithms in the context of difference rings/fields and uncoupling algorithms. The proposed method gives rise to new interesting applications in connection with integration by parts (IBP) methods. As an illustrative example, we will demonstrate how one can calculate the ε-expansion of a ladder graph with 6 massive fermion lines.

Recent symbolic summation methods to solve coupled systems of differential and difference equations

Energy Technology Data Exchange (ETDEWEB)

Schneider, Carsten [Johannes Kepler Univ., Linz (Austria). Research Inst. for Symbolic Computation (RISC); Bluemlein, Johannes; Freitas, Abilio de [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany)

2014-07-15

We outline a new algorithm to solve coupled systems of differential equations in one continuous variable x (resp. coupled difference equations in one discrete variable N) depending on a small parameter ε: given such a system and given sufficiently many initial values, we can determine the first coefficients of the Laurent-series solutions in ε if they are expressible in terms of indefinite nested sums and products. This systematic approach is based on symbolic summation algorithms in the context of difference rings/fields and uncoupling algorithms. The proposed method gives rise to new interesting applications in connection with integration by parts (IBP) methods. As an illustrative example, we will demonstrate how one can calculate the ε-expansion of a ladder graph with 6 massive fermion lines.

Symbol in Point View of Ambiguity

Directory of Open Access Journals (Sweden)

Dr. M. R. Yousefi

Full Text Available Symbol from the perspective of rhetorical word, is phrase or sentence that apparent meaning, also inspires to reader a wide range of semantic.Since exploring the complex social and political ideas in the most mysticalway and indirectreflectionsocial and political thoughts symbolically is easier, so the symbol and symbolism especially in Persian literatureespeciallyin the realm of Persian poetry, has a special appearance.In addition to the factors mentioned in the contemporary literature, according familiar in literature and the emergence of particular schools interest toambiguoussymbolization has spreadfurther, especially the symbol has all the features of art ambiguity in the poem and it isone the major factors causing uncertainty.Thus, the precise definitions and symbols of contemporary poetry could be dominant in the unwinding ambiguous symbol detection of cryptic allusions and metaphors that matches the cursor symbol to help readers.In the literature, especially language poetry, the inability of language toreflecting obscure mystical ideas, avoid to directexpression of political and social concerns of the reader in the course of participate to creation ambiguous literary works is the main motivation towards symbol and symbolization.According widespread use of symbol and its different of species can be viewed from different perspectives.The creation of ambiguity is the main purposes of using symbols (especially in poetry, so many poets have tried to achieve this goal have to formation of similar symbols and the explanation and resolution of this issue can open new window for understanding the poetry in front of an audience.In this paper examines the ambiguity of symbols in terms of its precise boundaries are reviewed. Ambiguity is one of the important processes and also is the key Iranian poetry; its means is today poetry. In such poetry ambiguity is a need to explore the new world from a different perspective, or explore this complex world

Numerical Transcoding Proficiency in 10-Year-Old Schoolchildren is Associated with Gray Matter Inter-Individual Differences: A Voxel-Based Morphometry Study.

Science.gov (United States)

Lubin, Amélie; Rossi, Sandrine; Simon, Grégory; Lanoë, Céline; Leroux, Gaëlle; Poirel, Nicolas; Pineau, Arlette; Houdé, Olivier

2013-01-01

Are individual differences in numerical performance sustained by variations in gray matter volume in schoolchildren? To our knowledge, this challenging question for neuroeducation has not yet been investigated in typical development. We used the Voxel-Based Morphometry method to search for possible structural brain differences between two groups of 10-year-old schoolchildren (N = 22) whose performance differed only in numerical transcoding between analog and symbolic systems. The results indicated that children with low numerical proficiency have less gray matter volume in the parietal (particularly in the left intraparietal sulcus and the bilateral angular gyri) and occipito-temporal areas. All the identified regions have previously been shown to be functionally involved in transcoding between analog and symbolic numerical systems. Our data contribute to a better understanding of the intertwined relationships between mathematics learning and brain structure in healthy schoolchildren.

Additive N-step Markov chains as prototype model of symbolic stochastic dynamical systems with long-range correlations

International Nuclear Information System (INIS)

Mayzelis, Z.A.; Apostolov, S.S.; Melnyk, S.S.; Usatenko, O.V.; Yampol'skii, V.A.

2007-01-01

A theory of symbolic dynamic systems with long-range correlations based on the consideration of the binary N-step Markov chains developed earlier in Phys Rev Lett 2003;90:110601 is generalized to the biased case (non-equal numbers of zeros and unities in the chain). In the model, the conditional probability that the ith symbol in the chain equals zero (or unity) is a linear function of the number of unities (zeros) among the preceding N symbols. The correlation and distribution functions as well as the variance of number of symbols in the words of arbitrary length L are obtained analytically and verified by numerical simulations. A self-similarity of the studied stochastic process is revealed and the similarity group transformation of the chain parameters is presented. The diffusion Fokker-Planck equation governing the distribution function of the L-words is explored. If the persistent correlations are not extremely strong, the distribution function is shown to be the Gaussian with the variance being nonlinearly dependent on L. An equation connecting the memory and correlation function of the additive Markov chain is presented. This equation allows reconstructing a memory function using a correlation function of the system. Effectiveness and robustness of the proposed method is demonstrated by simple model examples. Memory functions of concrete coarse-grained literary texts are found and their universal power-law behavior at long distances is revealed

Additive N-step Markov chains as prototype model of symbolic stochastic dynamical systems with long-range correlations

Energy Technology Data Exchange (ETDEWEB)

Mayzelis, Z.A. [Department of Physics, Kharkov National University, 4 Svoboda Sq., Kharkov 61077 (Ukraine); Apostolov, S.S. [Department of Physics, Kharkov National University, 4 Svoboda Sq., Kharkov 61077 (Ukraine); Melnyk, S.S. [A. Ya. Usikov Institute for Radiophysics and Electronics, Ukrainian Academy of Science, 12 Proskura Street, 61085 Kharkov (Ukraine); Usatenko, O.V. [A. Ya. Usikov Institute for Radiophysics and Electronics, Ukrainian Academy of Science, 12 Proskura Street, 61085 Kharkov (Ukraine)]. E-mail: usatenko@ire.kharkov.ua; Yampol' skii, V.A. [A. Ya. Usikov Institute for Radiophysics and Electronics, Ukrainian Academy of Science, 12 Proskura Street, 61085 Kharkov (Ukraine)

2007-10-15

A theory of symbolic dynamic systems with long-range correlations based on the consideration of the binary N-step Markov chains developed earlier in Phys Rev Lett 2003;90:110601 is generalized to the biased case (non-equal numbers of zeros and unities in the chain). In the model, the conditional probability that the ith symbol in the chain equals zero (or unity) is a linear function of the number of unities (zeros) among the preceding N symbols. The correlation and distribution functions as well as the variance of number of symbols in the words of arbitrary length L are obtained analytically and verified by numerical simulations. A self-similarity of the studied stochastic process is revealed and the similarity group transformation of the chain parameters is presented. The diffusion Fokker-Planck equation governing the distribution function of the L-words is explored. If the persistent correlations are not extremely strong, the distribution function is shown to be the Gaussian with the variance being nonlinearly dependent on L. An equation connecting the memory and correlation function of the additive Markov chain is presented. This equation allows reconstructing a memory function using a correlation function of the system. Effectiveness and robustness of the proposed method is demonstrated by simple model examples. Memory functions of concrete coarse-grained literary texts are found and their universal power-law behavior at long distances is revealed.

A Hybrid Finite Element-Fourier Spectral Method for Vibration Analysis of Structures with Elastic Boundary Conditions

Directory of Open Access Journals (Sweden)

Wan-You Li

2014-01-01

Full Text Available A novel hybrid method, which simultaneously possesses the efficiency of Fourier spectral method (FSM and the applicability of the finite element method (FEM, is presented for the vibration analysis of structures with elastic boundary conditions. The FSM, as one type of analytical approaches with excellent convergence and accuracy, is mainly limited to problems with relatively regular geometry. The purpose of the current study is to extend the FSM to problems with irregular geometry via the FEM and attempt to take full advantage of the FSM and the conventional FEM for structural vibration problems. The computational domain of general shape is divided into several subdomains firstly, some of which are represented by the FSM while the rest by the FEM. Then, fictitious springs are introduced for connecting these subdomains. Sufficient details are given to describe the development of such a hybrid method. Numerical examples of a one-dimensional Euler-Bernoulli beam and a two-dimensional rectangular plate show that the present method has good accuracy and efficiency. Further, one irregular-shaped plate which consists of one rectangular plate and one semi-circular plate also demonstrates the capability of the present method applied to irregular structures.

Modelling and analysis of real-time and hybrid systems

Energy Technology Data Exchange (ETDEWEB)

Olivero, A

1994-09-29

This work deals with the modelling and analysis of real-time and hybrid systems. We first present the timed-graphs as model for the real-time systems and we recall the basic notions of the analysis of real-time systems. We describe the temporal properties on the timed-graphs using TCTL formulas. We consider two methods for property verification: in one hand we study the symbolic model-checking (based on backward analysis) and in the other hand we propose a verification method derived of the construction of the simulation graph (based on forward analysis). Both methods have been implemented within the KRONOS verification tool. Their application for the automatic verification on several real-time systems confirms the practical interest of our approach. In a second part we study the hybrid systems, systems combining discrete components with continuous ones. As in the general case the analysis of this king of systems is not decidable, we identify two sub-classes of hybrid systems and we give a construction based method for the generation of a timed-graph from an element into the sub-classes. We prove that in one case the timed-graph obtained is bi-similar with the considered system and that there exists a simulation in the other case. These relationships allow the application of the described technics on the hybrid systems into the defined sub-classes. (authors). 60 refs., 43 figs., 8 tabs., 2 annexes.

Hybrid Intelligent Control Method to Improve the Frequency Support Capability of Wind Energy Conversion Systems

Directory of Open Access Journals (Sweden)

Shin Young Heo

2015-10-01

Full Text Available This paper presents a hybrid intelligent control method that enables frequency support control for permanent magnet synchronous generators (PMSGs wind turbines. The proposed method for a wind energy conversion system (WECS is designed to have PMSG modeling and full-scale back-to-back insulated-gate bipolar transistor (IGBT converters comprising the machine and grid side. The controller of the machine side converter (MSC and the grid side converter (GSC are designed to achieve maximum power point tracking (MPPT based on an improved hill climb searching (IHCS control algorithm and de-loaded (DL operation to obtain a power margin. Along with this comprehensive control of maximum power tracking mode based on the IHCS, a method for kinetic energy (KE discharge control of the supporting primary frequency control scheme with DL operation is developed to regulate the short-term frequency response and maintain reliable operation of the power system. The effectiveness of the hybrid intelligent control method is verified by a numerical simulation in PSCAD/EMTDC. Simulation results show that the proposed approach can improve the frequency regulation capability in the power system.

Neuro-symbolic representation learning on biological knowledge graphs

KAUST Repository

Alshahrani, Mona

2017-04-21

Biological data and knowledge bases increasingly rely on Semantic Web technologies and the use of knowledge graphs for data integration, retrieval and federated queries. In the past years, feature learning methods that are applicable to graph-structured data are becoming available, but have not yet widely been applied and evaluated on structured biological knowledge.We develop a novel method for feature learning on biological knowledge graphs. Our method combines symbolic methods, in particular knowledge representation using symbolic logic and automated reasoning, with neural networks to generate embeddings of nodes that encode for related information within knowledge graphs. Through the use of symbolic logic, these embeddings contain both explicit and implicit information. We apply these embeddings to the prediction of edges in the knowledge graph representing problems of function prediction, finding candidate genes of diseases, protein-protein interactions, or drug target relations, and demonstrate performance that matches and sometimes outperforms traditional approaches based on manually crafted features. Our method can be applied to any biological knowledge graph, and will thereby open up the increasing amount of SemanticWeb based knowledge bases in biology to use in machine learning and data analytics.https://github.com/bio-ontology-research-group/walking-rdf-and-owl.robert.hoehndorf@kaust.edu.sa.Supplementary data are available at Bioinformatics online.

A hybrid method for the simulation of radionuclide contaminant plumes in heterogeneous, unsaturated formations

International Nuclear Information System (INIS)

Aquino, J.; Pereira, T.J.; Souto, H.P. Amaral; Francisco, A.S.

2009-01-01

The decision concerning the location of sites for nuclear waste repositories in the subsurface depends upon the long-term containment capabilities of hydrogeological environments. The numerical simulation of the multiphase flow and contaminant transport that take place in this problem is an important tool to help engineers and scientists in selecting appropriate sites. In this paper, we employ a hybrid strategy that combines an Eulerian approximation scheme for the underlying two-phase flow problem with a locally conservative Lagrangian method to approximate the transport of radionuclide. This Lagrangian scheme is computationally efficient and virtually free of numerical diffusion. In order to face unsaturated and heterogeneous problems, four extensions in the Lagrangian scheme are implemented. To show the effectiveness of the improved version we perform a grid refinement study. (author)

Physics-based hybrid method for multiscale transport in porous media

Science.gov (United States)

Yousefzadeh, Mehrdad; Battiato, Ilenia

2017-09-01

Despite advancements in the development of multiscale models for flow and reactive transport in porous media, the accurate, efficient and physics-based coupling of multiple scales in hybrid models remains a major theoretical and computational challenge. Improving the predictivity of macroscale predictions by means of multiscale algorithms relative to classical at-scale models is the primary motivation for the development of multiscale simulators. Yet, very few are the quantitative studies that explicitly address the predictive capability of multiscale coupling algorithms as it is still generally not possible to have a priori estimates of the errors that are present when complex flow processes are modeled. We develop a nonintrusive pore-/continuum-scale hybrid model whose coupling error is bounded by the upscaling error, i.e. we build a predictive tightly coupled multiscale scheme. This is accomplished by slightly enlarging the subdomain where continuum-scale equations are locally invalid and analytically defining physics-based coupling conditions at the interfaces separating the two computational sub-domains, while enforcing state variable and flux continuity. The proposed multiscale coupling approach retains the advantages of domain decomposition approaches, including the use of existing solvers for each subdomain, while it gains flexibility in the choice of the numerical discretization method and maintains the coupling errors bounded by the upscaling error. We implement the coupling in finite volumes and test the proposed method by modeling flow and transport through a reactive channel and past an array of heterogeneously reactive cylinders.

Optimal generation and reserve dispatch in a multi-area competitive market using a hybrid direct search method

International Nuclear Information System (INIS)

Chun Lung Chen

2005-01-01

With restructuring of the power industry, competitive bidding for energy and ancillary services are increasingly recognized as an important part of electricity markets. It is desirable to optimize not only the generator's bid prices for energy and for providing minimized ancillary services but also the transmission congestion costs. In this paper, a hybrid approach of combining sequential dispatch with a direct search method is developed to deal with the multi-product and multi-area electricity market dispatch problem. The hybrid direct search method (HDSM) incorporates sequential dispatch into the direct search method to facilitate economic sharing of generation and reserve across areas and to minimize the total market cost in a multi-area competitive electricity market. The effects of tie line congestion and area spinning reserve requirement are also consistently reflected in the marginal price in each area. Numerical experiments are included to understand the various constraints in the market cost analysis and to provide valuable information for market participants in a pool oriented electricity market. (author)

Optimal generation and reserve dispatch in a multi-area competitive market using a hybrid direct search method

International Nuclear Information System (INIS)

Chen, C.-L.

2005-01-01

With restructuring of the power industry, competitive bidding for energy and ancillary services are increasingly recognized as an important part of electricity markets. It is desirable to optimize not only the generator's bid prices for energy and for providing minimized ancillary services but also the transmission congestion costs. In this paper, a hybrid approach of combining sequential dispatch with a direct search method is developed to deal with the multi-product and multi-area electricity market dispatch problem. The hybrid direct search method (HDSM) incorporates sequential dispatch into the direct search method to facilitate economic sharing of generation and reserve across areas and to minimize the total market cost in a multi-area competitive electricity market. The effects of tie line congestion and area spinning reserve requirement are also consistently reflected in the marginal price in each area. Numerical experiments are included to understand the various constraints in the market cost analysis and to provide valuable information for market participants in a pool oriented electricity market

22 CFR 42.11 - Classification symbols.

Science.gov (United States)

2010-04-01

... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Classification symbols. 42.11 Section 42.11... NATIONALITY ACT, AS AMENDED Classification and Foreign State Chargeability § 42.11 Classification symbols. A... visa symbol to show the classification of the alien. Immigrants Symbol Class Section of law Immediate...

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

Science.gov (United States)

Bogomolov, Sergiy; Frehse, Goran; Greitschus, Marius; Grosu, Radu; Pasareanu, Corina S.; Podelski, Andreas; Strump, Thomas

2014-01-01

Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.

Influence of Colour on Acquisition and Generalisation of Graphic Symbols

Science.gov (United States)

Hetzroni, O. E.; Ne'eman, A.

2013-01-01

Background: Children with autism may benefit from using graphic symbols for their communication, language and literacy development. The purpose of this study was to investigate the influence of colour versus grey-scale displays on the identification of graphic symbols using a computer-based intervention. Method: An alternating treatment design was…

Survey of numerical methods for compressible fluids

Energy Technology Data Exchange (ETDEWEB)

Sod, G A

1977-06-01

The finite difference methods of Godunov, Hyman, Lax-Wendroff (two-step), MacCormack, Rusanov, the upwind scheme, the hybrid scheme of Harten and Zwas, the antidiffusion method of Boris and Book, and the artificial compression method of Harten are compared with the random choice known as Glimm's method. The methods are used to integrate the one-dimensional equations of gas dynamics for an inviscid fluid. The results are compared and demonstrate that Glimm's method has several advantages. 16 figs., 4 tables.

Classification of follicular lymphoma images: a holistic approach with symbol-based machine learning methods.

Science.gov (United States)

Zorman, Milan; Sánchez de la Rosa, José Luis; Dinevski, Dejan

2011-12-01

It is not very often to see a symbol-based machine learning approach to be used for the purpose of image classification and recognition. In this paper we will present such an approach, which we first used on the follicular lymphoma images. Lymphoma is a broad term encompassing a variety of cancers of the lymphatic system. Lymphoma is differentiated by the type of cell that multiplies and how the cancer presents itself. It is very important to get an exact diagnosis regarding lymphoma and to determine the treatments that will be most effective for the patient's condition. Our work was focused on the identification of lymphomas by finding follicles in microscopy images provided by the Laboratory of Pathology in the University Hospital of Tenerife, Spain. We divided our work in two stages: in the first stage we did image pre-processing and feature extraction, and in the second stage we used different symbolic machine learning approaches for pixel classification. Symbolic machine learning approaches are often neglected when looking for image analysis tools. They are not only known for a very appropriate knowledge representation, but also claimed to lack computational power. The results we got are very promising and show that symbolic approaches can be successful in image analysis applications.

Modeling and simulation of surfactant-polymer flooding using a new hybrid method

Science.gov (United States)

Daripa, Prabir; Dutta, Sourav

2017-04-01

Chemical enhanced oil recovery by surfactant-polymer (SP) flooding has been studied in two space dimensions. A new global pressure for incompressible, immiscible, multicomponent two-phase porous media flow has been derived in the context of SP flooding. This has been used to formulate a system of flow equations that incorporates the effect of capillary pressure and also the effect of polymer and surfactant on viscosity, interfacial tension and relative permeabilities of the two phases. The coupled system of equations for pressure, water saturation, polymer concentration and surfactant concentration has been solved using a new hybrid method in which the elliptic global pressure equation is solved using a discontinuous finite element method and the transport equations for water saturation and concentrations of the components are solved by a Modified Method Of Characteristics (MMOC) in the multicomponent setting. Numerical simulations have been performed to validate the method, both qualitatively and quantitatively, and to evaluate the relative performance of the various flooding schemes for several different heterogeneous reservoirs.

Numerical methods and modelling for engineering

CERN Document Server

Khoury, Richard

2016-01-01

This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground up, to reinforce for students that numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world systems and compute features of these systems with a predictable error rate. Each method presented addresses a specific type of problem, namely root-finding, optimization, integral, derivative, initial value problem, or boundary value problem, and each one encompasses a set of algorithms to solve the problem given some information and to a known error bound. The authors demonstrate that after developing a proper model and understanding of the engineering situation they are working on, engineers can break down a model into a set of specific mathematical problems, and then implement the appropriate numerical methods to solve these problems. Uses a “building-block” approach, starting with simpler mathemati...

Symbol synchronization in convolutionally coded systems

Science.gov (United States)

Baumert, L. D.; Mceliece, R. J.; Van Tilborg, H. C. A.

1979-01-01

Alternate symbol inversion is sometimes applied to the output of convolutional encoders to guarantee sufficient richness of symbol transition for the receiver symbol synchronizer. A bound is given for the length of the transition-free symbol stream in such systems, and those convolutional codes are characterized in which arbitrarily long transition free runs occur.

7 CFR 29.1008 - Combination symbols.

Science.gov (United States)

2010-01-01

... 7 Agriculture 2 2010-01-01 2010-01-01 false Combination symbols. 29.1008 Section 29.1008..., 13, 14 and Foreign Type 92) § 29.1008 Combination symbols. A color or group symbol used with another symbol to form the third factor of a grademark to denote a particular side or characteristic of the...

Directed forgetting of visual symbols: evidence for nonverbal selective rehearsal.

Science.gov (United States)

Hourihan, Kathleen L; Ozubko, Jason D; MacLeod, Colin M

2009-12-01

Is selective rehearsal possible for nonverbal information? Two experiments addressed this question using the item method directed forgetting paradigm, where the advantage of remember items over forget items is ascribed to selective rehearsal favoring the remember items. In both experiments, difficult-to-name abstract symbols were presented for study, followed by a recognition test. Directed forgetting effects were evident for these symbols, regardless of whether they were or were not spontaneously named. Critically, a directed forgetting effect was observed for unnamed symbols even when the symbols were studied under verbal suppression to prevent verbal rehearsal. This pattern indicates that a form of nonverbal rehearsal can be used strategically (i.e., selectively) to enhance memory, even when verbal rehearsal is not possible.

STAR- A SIMPLE TOOL FOR AUTOMATED REASONING SUPPORTING HYBRID APPLICATIONS OF ARTIFICIAL INTELLIGENCE (UNIX VERSION)

Science.gov (United States)

Borchardt, G. C.

1994-01-01

The Simple Tool for Automated Reasoning program (STAR) is an interactive, interpreted programming language for the development and operation of artificial intelligence (AI) application systems. STAR provides an environment for integrating traditional AI symbolic processing with functions and data structures defined in compiled languages such as C, FORTRAN and PASCAL. This type of integration occurs in a number of AI applications including interpretation of numerical sensor data, construction of intelligent user interfaces to existing compiled software packages, and coupling AI techniques with numerical simulation techniques and control systems software. The STAR language was created as part of an AI project for the evaluation of imaging spectrometer data at NASA's Jet Propulsion Laboratory. Programming in STAR is similar to other symbolic processing languages such as LISP and CLIP. STAR includes seven primitive data types and associated operations for the manipulation of these structures. A semantic network is used to organize data in STAR, with capabilities for inheritance of values and generation of side effects. The AI knowledge base of STAR can be a simple repository of records or it can be a highly interdependent association of implicit and explicit components. The symbolic processing environment of STAR may be extended by linking the interpreter with functions defined in conventional compiled languages. These external routines interact with STAR through function calls in either direction, and through the exchange of references to data structures. The hybrid knowledge base may thus be accessed and processed in general by either side of the application. STAR is initially used to link externally compiled routines and data structures. It is then invoked to interpret the STAR rules and symbolic structures. In a typical interactive session, the user enters an expression to be evaluated, STAR parses the input, evaluates the expression, performs any file input

Nuclear reactors; graphical symbols

International Nuclear Information System (INIS)

1987-11-01

This standard contains graphical symbols that reveal the type of nuclear reactor and is used to design graphical and technical presentations. Distinguishing features for nuclear reactors are laid down in graphical symbols. (orig.) [de

Hidden Identification on Parts: Magnetic Machine-Readable Matrix Symbols

Science.gov (United States)

Schramm, Harry F.; Jones, Clyde S.; Roxby, Donald L.; Teed, James D.; Shih, William C. L.; Fitzpatrick, Gerald L.; Knisely, Craig

2005-01-01

All NASA parts have identification, usually expressed in terms of part number, serial number, and the like. In most cases, this identification is permanently marked directly on the part for tracking throughout its life cycle. NASA has developed a method for reading the matrix symbol through up to 15 mils (25 m) of paint (5 or 6 layers). This method of part identification involves coating selected patches on the objects with magnetic materials in matrix symbol patterns and reading the patterns by use of magneto-optical imaging equipment.

On the Symbolic Verification of Timed Systems

DEFF Research Database (Denmark)

Moeller, Jesper; Lichtenberg, Jacob; Andersen, Henrik Reif

1999-01-01

This paper describes how to analyze a timed system symbolically. That is, given a symbolic representation of a set of (timed) states (as an expression), we describe how to determine an expression that represents the set of states that can be reached either by firing a discrete transition...... or by advancing time. These operations are used to determine the set of reachable states symbolically. We also show how to symbolically determine the set of states that can reach a given set of states (i.e., a backwards step), thus making it possible to verify TCTL-formulae symbolically. The analysis is fully...... symbolic in the sense that both the discrete and the continuous part of the state space are represented symbolically. Furthermore, both the synchronous and asynchronous concurrent composition of timed systems can be performed symbolically. The symbolic representations are given as formulae expressed...

Symbolic Violence and Victimisation

DEFF Research Database (Denmark)

Pedersen, Bodil Maria

2009-01-01

has been criticised for over-generalisations, as well as for disregarding culture and the embeddedness of psychological problems in situated societal processes. The proposed paper is a contribution to this critique. It will draw on Bourdieu's concept of symbolic violence (1992). The concept connects......Nay (1999). It also undertakes a critical discussion of symbolic violence in the meanings given to victimisation and its aftermaths, as when conceptualised with the help of PTSD (e.g. may the use of concepts of this kind and the practices developed in relation to it constitute symbolic violence...... and contribute to victimisation?) Furthermore the analysis aims at unfolding an understanding of victimisation inclusive of connections between cultural/ societal practices, aspects of symbolic violence and lives of concrete subjects. The discussion takes its point of departure in theoretical deliberations...

Battery control system for hybrid vehicle and method for controlling a hybrid vehicle battery

Science.gov (United States)

Bockelmann, Thomas R [Battle Creek, MI; Hope, Mark E [Marshall, MI; Zou, Zhanjiang [Battle Creek, MI; Kang, Xiaosong [Battle Creek, MI

2009-02-10

A battery control system for hybrid vehicle includes a hybrid powertrain battery, a vehicle accessory battery, and a prime mover driven generator adapted to charge the vehicle accessory battery. A detecting arrangement is configured to monitor the vehicle accessory battery's state of charge. A controller is configured to activate the prime mover to drive the generator and recharge the vehicle accessory battery in response to the vehicle accessory battery's state of charge falling below a first predetermined level, or transfer electrical power from the hybrid powertrain battery to the vehicle accessory battery in response to the vehicle accessory battery's state of charge falling below a second predetermined level. The invention further includes a method for controlling a hybrid vehicle powertrain system.

The Developmental Onset of Symbolic Approximation: Beyond Nonsymbolic Representations, The Language of Numbers Matters

Directory of Open Access Journals (Sweden)

Iro eXenidou-Dervou

2015-04-01

Full Text Available Symbolic (i.e., with Arabic numerals approximate arithmetic with large numerosities is an important predictor of mathematics. It was previously evidenced to onset before formal schooling at the kindergarten age (Gilmore et al., 2007 and was assumed to map onto pre-existing nonsymbolic (i.e., abstract magnitudes representations. With a longitudinal study (Experiment 1, we show, for the first time, that nonsymbolic and symbolic arithmetic demonstrate different developmental trajectories. In contrast to Gilmore et al.’s (2007 findings, Experiment 1 showed that symbolic arithmetic onsets in grade 1, with the start of formal schooling, not earlier. Gilmore et al. (2007 had examined English-speaking children, whereas we assessed a large Dutch-speaking sample. The Dutch language for numbers can be cognitively more demanding, for example, due to the inversion property in numbers above twenty. Thus, for instance, the number 48 is named in Dutch achtenveertig (eight and forty instead of forty eight. To examine the effect of the language of numbers, we conducted a cross-cultural study with English- and Dutch-speaking children that had similar SES and math achievement skills (Experiment 2. Results demonstrated that Dutch-speaking kindergarteners lagged behind English-speaking children in symbolic arithmetic, not nonsymbolic and demonstrated a WM overload in symbolic arithmetic, not nonsymbolic. Also, we show for the first time that the ability to name two-digit numbers highly correlates with symbolic approximate arithmetic not nonsymbolic. Our experiments empirically demonstrate that the symbolic number system is modulated more by development and education than the nonsymbolic system. Also, in contrast to the nonsymbolic system, the symbolic system is modulated by language.

Neuro-symbolic representation learning on biological knowledge graphs.

Science.gov (United States)

Alshahrani, Mona; Khan, Mohammad Asif; Maddouri, Omar; Kinjo, Akira R; Queralt-Rosinach, Núria; Hoehndorf, Robert

2017-09-01

Biological data and knowledge bases increasingly rely on Semantic Web technologies and the use of knowledge graphs for data integration, retrieval and federated queries. In the past years, feature learning methods that are applicable to graph-structured data are becoming available, but have not yet widely been applied and evaluated on structured biological knowledge. Results: We develop a novel method for feature learning on biological knowledge graphs. Our method combines symbolic methods, in particular knowledge representation using symbolic logic and automated reasoning, with neural networks to generate embeddings of nodes that encode for related information within knowledge graphs. Through the use of symbolic logic, these embeddings contain both explicit and implicit information. We apply these embeddings to the prediction of edges in the knowledge graph representing problems of function prediction, finding candidate genes of diseases, protein-protein interactions, or drug target relations, and demonstrate performance that matches and sometimes outperforms traditional approaches based on manually crafted features. Our method can be applied to any biological knowledge graph, and will thereby open up the increasing amount of Semantic Web based knowledge bases in biology to use in machine learning and data analytics. https://github.com/bio-ontology-research-group/walking-rdf-and-owl. robert.hoehndorf@kaust.edu.sa. Supplementary data are available at Bioinformatics online. © The Author(s) 2017. Published by Oxford University Press.

An introduction to numerical methods and analysis

CERN Document Server

Epperson, James F

2013-01-01

Praise for the First Edition "". . . outstandingly appealing with regard to its style, contents, considerations of requirements of practice, choice of examples, and exercises.""-Zentralblatt MATH "". . . carefully structured with many detailed worked examples.""-The Mathematical Gazette The Second Edition of the highly regarded An Introduction to Numerical Methods and Analysis provides a fully revised guide to numerical approximation. The book continues to be accessible and expertly guides readers through the many available techniques of numerical methods and analysis. An Introduction to

Symbol synchronization for the TDRSS decoder

Science.gov (United States)

Costello, D. J., Jr.

1983-01-01

Each 8 bits out of the Viterbi decoder correspond to one symbol of the R/S code. Synchronization must be maintained here so that each 8-bit symbol delivered to the R/S decoder corresponds to an 8-bit symbol from the R/S encoder. Lack of synchronization, would cause an error in almost every R/S symbol since even a - 1-bit sync slip shifts every bit in each 8-bit symbol by one position, therby confusing the mapping betweeen 8-bit sequences and symbols. The error correcting capability of the R/S code would be exceeded. Possible ways to correcting this condition include: (1) designing the R/S decoder to recognize the overload and shifting the output sequence of the inner decoder to establish a different sync state; (2) using the characteristics of the inner decoder to establish symbol synchronization for the outer code, with or without a deinterleaver and an interleaver; and (3) modifying the encoder to alternate periodically between two sets of generators.

A study on the development of photoelastic experimental hybrid method for colour isochromatics (I)

International Nuclear Information System (INIS)

Hawong, Jai Sug; Nam, Jeong Hwan; Kim, Kyo Hyoung; Kwon, O Sung; Kwon, Gun; Park, Sung Han

2010-01-01

Isochromatics obtained from photoelastic experiment shows the stress distributions of the full field of a structure under load. Therefore, stress distributions of the structure can be read at a glance through isochromatics. Many experimental data can be obtained from isochromatics which are then used in various photoelastic experimental hybrid methods for stress analysis. Monochromatic light has however, until now been used in the photoelastic experimental hybrid method to produce black and white isochromatics. The use of black and white isochromatics in photoelastic experimental hybrid method for black and white isochromatics requires high fringe orders in order to obtain sufficient experimental data for photoelastic hybrid techniques. Accordingly, this paper develops the photoelastic experimental hybrid method for color isochromatics in which a fringe order of 1 is enough to gather the experimental data of the photoelastic experimental hybrid method. The method was applied to validate stress concentration problems. Experimental results from this study indicated that the photoelastic experimental hybrid method for color isochromatics is more precise than the photoelastic experimental hybrid method for black and white isochromatics. The use of few fringe orders in photoelastic experimental hybrid method for color isochromatics can offer significant advantages in stress analysis of real components using reflective-type photoelastic experimental method

Successive substitution one-leg hybrid P-stable LMM for initial value ...

African Journals Online (AJOL)

This paper derives P-stable successive substitution one-leg hybrid linear multistep methods for the numerical solution of second order initial value problems in ordinary differential equations without explicit first order derivative. The methods are demonstrated by a numerical example also considered by Fatunla, et al (1997) ...

Berezin symbols and Borel summability | Garayev | Quaestiones ...

African Journals Online (AJOL)

We prove in terms of so-called Berezin symbols some theorems for Borel summability method for sequences and series of complex numbers. Namely, we characterize the Borel convergent sequences and series; prove regularity of Borel summability method, and prove a new Tauberian type theorem for Borel summability.

Deficient symbol processing in Alzheimer disease.

Science.gov (United States)

Toepper, Max; Steuwe, Carolin; Beblo, Thomas; Bauer, Eva; Boedeker, Sebastian; Thomas, Christine; Markowitsch, Hans J; Driessen, Martin; Sammer, Gebhard

2014-01-01

Symbols and signs have been suggested to improve the orientation of patients suffering from Alzheimer disease (AD). However, there are hardly any studies that confirm whether AD patients benefit from signs or symbols and which symbol characteristics might improve or impede their symbol comprehension. To address these issues, 30 AD patients and 30 matched healthy controls performed a symbol processing task (SPT) with 4 different item categories. A repeated-measures analysis of variance was run to identify impact of different item categories on performance accuracy in both the experimental groups. Moreover, SPT scores were correlated with neuropsychological test scores in a broad range of other cognitive domains. Finally, diagnostic accuracy of the SPT was calculated by a receiver-operating characteristic curve analysis. Results revealed a global symbol processing dysfunction in AD that was associated with semantic memory and executive deficits. Moreover, AD patients showed a disproportional performance decline at SPT items with visual distraction. Finally, the SPT total score showed high sensitivity and specificity in differentiating between AD patients and healthy controls. The present findings suggest that specific symbol features impede symbol processing in AD and argue for a diagnostic benefit of the SPT in neuropsychological assessment.

Numerical Methods for Radiation Magnetohydrodynamics in Astrophysics

Energy Technology Data Exchange (ETDEWEB)

Klein, R I; Stone, J M

2007-11-20

We describe numerical methods for solving the equations of radiation magnetohydrodynamics (MHD) for astrophysical fluid flow. Such methods are essential for the investigation of the time-dependent and multidimensional dynamics of a variety of astrophysical systems, although our particular interest is motivated by problems in star formation. Over the past few years, the authors have been members of two parallel code development efforts, and this review reflects that organization. In particular, we discuss numerical methods for MHD as implemented in the Athena code, and numerical methods for radiation hydrodynamics as implemented in the Orion code. We discuss the challenges introduced by the use of adaptive mesh refinement in both codes, as well as the most promising directions for future developments.

Numerical Methods for Radiation Magnetohydrodynamics in Astrophysics

International Nuclear Information System (INIS)

Klein, R I; Stone, J M

2007-01-01

We describe numerical methods for solving the equations of radiation magnetohydrodynamics (MHD) for astrophysical fluid flow. Such methods are essential for the investigation of the time-dependent and multidimensional dynamics of a variety of astrophysical systems, although our particular interest is motivated by problems in star formation. Over the past few years, the authors have been members of two parallel code development efforts, and this review reflects that organization. In particular, we discuss numerical methods for MHD as implemented in the Athena code, and numerical methods for radiation hydrodynamics as implemented in the Orion code. We discuss the challenges introduced by the use of adaptive mesh refinement in both codes, as well as the most promising directions for future developments

Sound Symbolism in Basic Vocabulary

Directory of Open Access Journals (Sweden)

Søren Wichmann

2010-04-01

Full Text Available The relationship between meanings of words and their sound shapes is to a large extent arbitrary, but it is well known that languages exhibit sound symbolism effects violating arbitrariness. Evidence for sound symbolism is typically anecdotal, however. Here we present a systematic approach. Using a selection of basic vocabulary in nearly one half of the world’s languages we find commonalities among sound shapes for words referring to same concepts. These are interpreted as due to sound symbolism. Studying the effects of sound symbolism cross-linguistically is of key importance for the understanding of language evolution.

Extensive numerical study of a D-brane, anti-D-brane system in AdS5/CFT4

International Nuclear Information System (INIS)

Hegedűs, Árpád

2015-01-01

In this paper the hybrid-NLIE approach of http://dx.doi.org/10.1007/JHEP08(2012)022 is extended to the ground state of a D-brane anti-D-brane system in AdS/CFT. The hybrid-NLIE equations presented in the paper are finite component alternatives of the previously proposed TBA equations and they admit an appropriate framework for the numerical investigation of the ground state of the problem. Straightforward numerical iterative methods fail to converge, thus new numerical methods are worked out to solve the equations. Our numerical data confirm the previous TBA data. In view of the numerical results the mysterious L=1 case is also commented in the paper.

Human exposure assessment in the near field of GSM base-station antennas using a hybrid finite element/method of moments technique.

Science.gov (United States)

Meyer, Frans J C; Davidson, David B; Jakobus, Ulrich; Stuchly, Maria A

2003-02-01

A hybrid finite-element method (FEM)/method of moments (MoM) technique is employed for specific absorption rate (SAR) calculations in a human phantom in the near field of a typical group special mobile (GSM) base-station antenna. The MoM is used to model the metallic surfaces and wires of the base-station antenna, and the FEM is used to model the heterogeneous human phantom. The advantages of each of these frequency domain techniques are, thus, exploited, leading to a highly efficient and robust numerical method for addressing this type of bioelectromagnetic problem. The basic mathematical formulation of the hybrid technique is presented. This is followed by a discussion of important implementation details-in particular, the linear algebra routines for sparse, complex FEM matrices combined with dense MoM matrices. The implementation is validated by comparing results to MoM (surface equivalence principle implementation) and finite-difference time-domain (FDTD) solutions of human exposure problems. A comparison of the computational efficiency of the different techniques is presented. The FEM/MoM implementation is then used for whole-body and critical-organ SAR calculations in a phantom at different positions in the near field of a base-station antenna. This problem cannot, in general, be solved using the MoM or FDTD due to computational limitations. This paper shows that the specific hybrid FEM/MoM implementation is an efficient numerical tool for accurate assessment of human exposure in the near field of base-station antennas.

Comparison performance of split plug-in hybrid electric vehicle and hybrid electric vehicle using ADVISOR

Directory of Open Access Journals (Sweden)

Mohd Rashid Muhammad Ikram

2017-01-01

Full Text Available Electric vehicle suffers from relatively short range and long charging times and consequently has not become an acceptable solution to the automotive consumer. The addition of an internal combustion engine to extend the range of the electric vehicle is one method of exploiting the high efficiency and lack of emissions of the electric vehicle while retaining the range and convenient refuelling times of a conventional gasoline powered vehicle. The term that describes this type of vehicle is a hybrid electric vehicle. Many configurations of hybrid electric vehicles have been designed and implemented, namely the series, parallel and power-split configurations. This paper discusses the comparison between Split Plug-in Hybrid Electric Vehicle(SPHEV and Hybrid Electric Vehicle(HEV. Modelling methods such as physics-based Resistive Companion Form technique and Bond Graph method are presented with powertrain component and system modelling examples. The modelling and simulation capability of existing tools such as ADvanced VehIcle SimulatOR (ADVISOR is demonstrated through application examples. Since power electronics is indispensable in hybrid vehicles, the issue of numerical oscillations in dynamic simulations involving power electronics is briefly addressed.

Certified symbolic management of financial multi-party contracts

DEFF Research Database (Denmark)

Bahr, Patrick; Berthold, Jost; Elsman, Martin

2015-01-01

Domain-specific languages (DSLs) for complex financial contracts are in practical use in many banks and financial institutions today. Given the level of automation and pervasiveness of software in the sector, the financial domain is immensely sensitive to software bugs. At the same time...... automatically extract a Haskell implementation of an embedded contract DSL along with the formally verified contract management functionality. This approach opens a road map towards more reliable contract management software, including the possibility of analysing contracts based on symbolic instead of numeric...

The symbolism of zombie

Directory of Open Access Journals (Sweden)

Nadine BOUDOU

2015-07-01

Full Text Available The objective of this article is to show why the zombie can be presented as a justifiable object of search for the symbolic communication. The zombie exists as symbol because the word the leading to a qualification became of current usage, what allows a widened communication. The diversity of the interpretations that he makes possible testifies of its ambivalence. That he is defined as a symbol or as a metaphor we shall see that, far from being that a lasted fad, the zombie is rich in different senses.

[Rod of Asclepius. Symbol of medicine].

Science.gov (United States)

Young, Pablo; Finn, Bárbara C; Bruetman, Julio E; Cesaro Gelos, Jorge; Trimarchi, Hernán

2013-09-01

Symbolism is one of the most archaic forms of human thoughts. Symbol derives from the Latin word symbolum, and the latter from the Greek symbolon or symballo, which means "I coincide, I make matches". The Medicine symbol represents a whole series of historical and ethical values. Asclepius Rod with one serpent entwined, has traditionally been the symbol of scientific medicine. In a misconception that has lasted 500 years, the Caduceus of Hermes, entwined by two serpents and with two wings, has been considered the symbol of Medicine. However, the Caduceus is the current symbol of Commerce. Asclepius Rod and the Caduceus of Hermes represent two professions, Medicine and Commerce that, in ethical practice, should not be mixed. Physicians should be aware of their real emblem, its historical origin and meaning.

Algebraic formulas for some nontrivial U/sub n/ 6j symbols and U/sub m/n contains U/sub m/ x U/sub n/ 3jm symbols

International Nuclear Information System (INIS)

Haase, R.W.; Butler, P.H.

1985-01-01

We give tables of algebraic formulas for some nontrivial 6j symbols and 3jm symbols of the unitary groups. The tables demonstrate that the building-up method can be used successfully to obtain the rank dependence of unitary group j and jm symbols. To emphasize the rank-dependent nature of this calculation, we have employed the composite Young tableaux notation (or back-to-back notation) to label the unitary group irreps. In using this notation, the transpose conjugate symmetry of the corresponding composite Young diagram leads to a new symmetry of the unitary group 6j and 3jm symbols. The transposition of the groups U/sub m/ and U/sub n/ gives rise to a further symmetry of the 3jm symbols of U/sub m/n contains U/sub m/ x U/sub n/

STAR- A SIMPLE TOOL FOR AUTOMATED REASONING SUPPORTING HYBRID APPLICATIONS OF ARTIFICIAL INTELLIGENCE (DEC VAX VERSION)

Science.gov (United States)

Borchardt, G. C.

1994-01-01

The Simple Tool for Automated Reasoning program (STAR) is an interactive, interpreted programming language for the development and operation of artificial intelligence (AI) application systems. STAR provides an environment for integrating traditional AI symbolic processing with functions and data structures defined in compiled languages such as C, FORTRAN and PASCAL. This type of integration occurs in a number of AI applications including interpretation of numerical sensor data, construction of intelligent user interfaces to existing compiled software packages, and coupling AI techniques with numerical simulation techniques and control systems software. The STAR language was created as part of an AI project for the evaluation of imaging spectrometer data at NASA's Jet Propulsion Laboratory. Programming in STAR is similar to other symbolic processing languages such as LISP and CLIP. STAR includes seven primitive data types and associated operations for the manipulation of these structures. A semantic network is used to organize data in STAR, with capabilities for inheritance of values and generation of side effects. The AI knowledge base of STAR can be a simple repository of records or it can be a highly interdependent association of implicit and explicit components. The symbolic processing environment of STAR may be extended by linking the interpreter with functions defined in conventional compiled languages. These external routines interact with STAR through function calls in either direction, and through the exchange of references to data structures. The hybrid knowledge base may thus be accessed and processed in general by either side of the application. STAR is initially used to link externally compiled routines and data structures. It is then invoked to interpret the STAR rules and symbolic structures. In a typical interactive session, the user enters an expression to be evaluated, STAR parses the input, evaluates the expression, performs any file input

Hybrid Chaos Synchronization of Four-Scroll Systems via Active Control

Science.gov (United States)

Karthikeyan, Rajagopal; Sundarapandian, Vaidyanathan

2014-03-01

This paper investigates the hybrid chaos synchronization of identical Wang four-scroll systems (Wang, 2009), identical Liu-Chen four-scroll systems (Liu and Chen, 2004) and non-identical Wang and Liu-Chen four-scroll systems. Active control method is the method adopted to achieve the hybrid chaos synchronization of the four-scroll chaotic systems addressed in this paper and our synchronization results are established using Lyapunov stability theory. Since the Lyapunov exponents are not required for these calculations, the active control method is effective and convenient to hybrid synchronize identical and different Wang and Liu-Chen four-scroll chaotic systems. Numerical simulations are also shown to illustrate and validate the hybrid synchronization results derived in this paper.

Optimal reactive power and voltage control in distribution networks with distributed generators by fuzzy adaptive hybrid particle swarm optimisation method

DEFF Research Database (Denmark)

Chen, Shuheng; Hu, Weihao; Su, Chi

2015-01-01

A new and efficient methodology for optimal reactive power and voltage control of distribution networks with distributed generators based on fuzzy adaptive hybrid PSO (FAHPSO) is proposed. The objective is to minimize comprehensive cost, consisting of power loss and operation cost of transformers...... that the proposed method can search a more promising control schedule of all transformers, all capacitors and all distributed generators with less time consumption, compared with other listed artificial intelligent methods....... algorithm is implemented in VC++ 6.0 program language and the corresponding numerical experiments are finished on the modified version of the IEEE 33-node distribution system with two newly installed distributed generators and eight newly installed capacitors banks. The numerical results prove...

Minimizing Symbol Error Rate for Cognitive Relaying with Opportunistic Access

KAUST Repository

Zafar, Ammar

2012-12-29

In this paper, we present an optimal resource allocation scheme (ORA) for an all-participate(AP) cognitive relay network that minimizes the symbol error rate (SER). The SER is derived and different constraints are considered on the system. We consider the cases of both individual and global power constraints, individual constraints only and global constraints only. Numerical results show that the ORA scheme outperforms the schemes with direct link only and uniform power allocation (UPA) in terms of minimizing the SER for all three cases of different constraints. Numerical results also show that the individual constraints only case provides the best performance at large signal-to-noise-ratio (SNR).

An FMRI-compatible Symbol Search task.

Science.gov (United States)

Liebel, Spencer W; Clark, Uraina S; Xu, Xiaomeng; Riskin-Jones, Hannah H; Hawkshead, Brittany E; Schwarz, Nicolette F; Labbe, Donald; Jerskey, Beth A; Sweet, Lawrence H

2015-03-01

Our objective was to determine whether a Symbol Search paradigm developed for functional magnetic resonance imaging (FMRI) is a reliable and valid measure of cognitive processing speed (CPS) in healthy older adults. As all older adults are expected to experience cognitive declines due to aging, and CPS is one of the domains most affected by age, establishing a reliable and valid measure of CPS that can be administered inside an MR scanner may prove invaluable in future clinical and research settings. We evaluated the reliability and construct validity of a newly developed FMRI Symbol Search task by comparing participants' performance in and outside of the scanner and to the widely used and standardized Symbol Search subtest of the Wechsler Adult Intelligence Scale (WAIS). A brief battery of neuropsychological measures was also administered to assess the convergent and discriminant validity of the FMRI Symbol Search task. The FMRI Symbol Search task demonstrated high test-retest reliability when compared to performance on the same task administered out of the scanner (r=.791; pSymbol Search (r=.717; pSymbol Search task were also observed. The FMRI Symbol Search task is a reliable and valid measure of CPS in healthy older adults and exhibits expected sensitivity to the effects of age on CPS performance.

General Symbol Machines: The First Stage in the Evolution of Symbolic Communication

Directory of Open Access Journals (Sweden)

Thomas E. Dickins

2003-01-01

Full Text Available Humans uniquely form stimulus equivalence (SE classes of abstract and unrelated stimuli, i.e. if taught to match A with B and B with C, they will spontaneously match B with A, and C with B, (the relation of symmetry, and A with C (transitivity. Other species do not do this. The SE ability is possibly the consequence of a specific selection event in the Homo lineage. SE is of interest because it appears to demonstrate a facility that is core to symbolic behavior. Linguistic symbols, for example, are arbitrarily and symmetrically related to their referent such that the term banana has no resemblance to bananas but when processed can be used to discriminate bananas. Equally when bananas are perceived the term banana is readily produced. This relation is arguably the defining mark of symbolic representation. In this paper I shall detail the SE phenomenon and argue that it is evidence for a cognitive device that I term a General Symbol Machine (GSM. The GSM not only sets the background condition for subsequent linguistic evolution but also for other symbolic behaviors such as mathematical reasoning. In so doing the GSM is not particularly domain-specific. The apparent domain-specificity of, for example, natural language is a consequence of other computational developments. This introduces complexity to evolutionary arguments about cognitive architecture.

Radiocarbon dating of elk (Alces alces), an economic and symbolic resource in prehistory

DEFF Research Database (Denmark)

Philippsen, Bente

The European elk, “moose” in American English, was an important resource in the prehistory of Northern Europe. On some sites, it was the most important species in the economy. Furthermore, numerous examples of mobile and non-mobile art show the importance of the elk as a symbolic or ritualistic...

Hybrid TE-TM scheme for time domain numerical calculations of wakefields in structures with walls of finite conductivity

Directory of Open Access Journals (Sweden)

Andranik Tsakanian

2012-05-01

Full Text Available In particle accelerators a preferred direction, the direction of motion, is well defined. If in a numerical calculation the (numerical dispersion in this direction is suppressed, a quite coarse mesh and moderate computational resources can be used to reach accurate results even for extremely short electron bunches. Several approaches have been proposed in the past decades to reduce the accumulated dispersion error in wakefield calculations for perfectly conducting structures. In this paper we extend the TE/TM splitting algorithm to a new hybrid scheme that allows for wakefield calculations in structures with walls of finite conductivity. The conductive boundary is modeled by one-dimensional wires connected to each boundary cell. A good agreement of the numerical simulations with analytical results and other numerical approaches is obtained.

A primal–dual hybrid gradient method for nonlinear operators with applications to MRI

KAUST Repository

Valkonen, Tuomo

2014-05-01

We study the solution of minimax problems min xmax yG(x) + K(x), y - F*(y) in finite-dimensional Hilbert spaces. The functionals G and F* we assume to be convex, but the operator K we allow to be nonlinear. We formulate a natural extension of the modified primal-dual hybrid gradient method, originally for linear K, due to Chambolle and Pock. We prove the local convergence of the method, provided various technical conditions are satisfied. These include in particular the Aubin property of the inverse of a monotone operator at the solution. Of particular interest to us is the case arising from Tikhonov type regularization of inverse problems with nonlinear forward operators. Mainly we are interested in total variation and second-order total generalized variation priors. For such problems, we show that our general local convergence result holds when the noise level of the data f is low, and the regularization parameter α is correspondingly small. We verify the numerical performance of the method by applying it to problems from magnetic resonance imaging (MRI) in chemical engineering and medicine. The specific applications are in diffusion tensor imaging and MR velocity imaging. These numerical studies show very promising performance. © 2014 IOP Publishing Ltd.

Symbolic Interaction and Applied Social Research

Science.gov (United States)

Kotarba, Joseph A.

2014-01-01

In symbolic interaction, a traditional yet unfortunate and unnecessary distinction has been made between basic and applied research. The argument has been made that basic research is intended to generate new knowledge, whereas applied research is intended to apply knowledge to the solution of practical (social and organizational) problems. I will argue that the distinction between basic and applied research in symbolic interaction is outdated and dysfunctional. The masters of symbolic interactionist thought have left us a proud legacy of shaping their scholarly thinking and inquiry in response to and in light of practical issues of the day (e.g., Znaniecki, and Blumer). Current interactionist work continues this tradition in topical areas such as social justice studies. Applied research, especially in term of evaluation and needs assessment studies, can be designed to serve both basic and applied goals. Symbolic interaction provides three great resources to do this. The first is its orientation to dynamic sensitizing concepts that direct research and ask questions instead of supplying a priori and often impractical answers. The second is its orientation to qualitative methods, and appreciation for the logic of grounded theory. The third is interactionism’s overall holistic approach to interfacing with the everyday life world. The primary illustrative case here is the qualitative component of the evaluation of an NIH-funded, translational medical research program. The qualitative component has provided interactionist-inspired insights into translational research, such as examining cultural change in medical research in terms of changes in the form and content of formal and informal discourse among scientists; delineating the impact of significant symbols such as "my lab" on the social organization of science; and appreciating the essence of the self-concept "scientist" on the increasingly bureaucratic and administrative identities of medical researchers. This

Design Method and Cost-Benefit Analysis of Hybrid Fiber Used in Asphalt Concrete

Directory of Open Access Journals (Sweden)

Haiwei Zhang

2016-01-01

Full Text Available Fiber, as an additive, can improve the performance of asphalt concrete and be widely studied, but only a few works have been done for hybrid fiber. This paper presents a new and convenient method to design hybrid fiber and verifies hybrid fiber’s superiority in asphalt pavement engineering. Firstly, this paper expounds the design method used as its applied example with the hybrid fiber composed of lignin, polyester, and polypropylene fibers. In this method, a direct shear device (DSD is used to measure the shear damage energy density (SDED of hybrid fiber modified asphalts, and range and variance statistical analysis are applied to determine the composition proportion of hybrid fiber. Then, the engineering property of hybrid fiber reinforced asphalt concrete (AC-13 is investigated. Finally, a cost-benefit model is developed to analyze the advantage of hybrid fiber compared to single fibers. The results show that the design method employed in this paper can offer a beneficial reference. A combination of 1.8% of lignin fiber and 2.4% of polyester fiber plus 3.0% polypropylene fiber presented the best reinforcement of the hybrid fiber. The cost-benefit model verifies that the hybrid fiber can bring about comprehensive pavement performance and good economy.

Analysis of numerical methods

CERN Document Server

Isaacson, Eugene

1994-01-01

This excellent text for advanced undergraduates and graduate students covers norms, numerical solution of linear systems and matrix factoring, iterative solutions of nonlinear equations, eigenvalues and eigenvectors, polynomial approximation, and other topics. It offers a careful analysis and stresses techniques for developing new methods, plus many examples and problems. 1966 edition.

Multiple symbol differential detection

Science.gov (United States)

Divsalar, Dariush (Inventor); Simon, Marvin K. (Inventor)

1991-01-01

A differential detection technique for multiple phase shift keying (MPSK) signals is provided which uses a multiple symbol observation interval on the basis of which a joint decision is made regarding the phase of the received symbols. In accordance with the invention, a first difference phase is created between first and second received symbols. Next, the first difference phase is correlated with the possible values thereof to provide a first plurality of intermediate output signals. A second difference phase is next created between second and third received symbols. The second difference phase is correlated with plural possible values thereof to provide a second plurality of intermediate output signals. Next, a third difference phase is created between the first and third symbols. The third difference phase is correlated with plural possible values thereof to provide a third plurality of intermediate output signals. Each of the first plurality of intermediate outputs are combined with each of the second plurality of intermediate outputs and each of the third plurality of intermediate outputs to provide a plurality of possible output values. Finally, a joint decision is made by choosing from the plurality of possible output values the value which represents the best combined correlation of the first, second and third difference values with the possible values thereof.

Case Study: Students’ Symbolic Manipulation in Calculus Among UTHM Students

Science.gov (United States)

Ali, Maselan; Sufahani, Suliadi; Ahmad, Wan N. A. W.; Ghazali Kamardan, M.; Saifullah Rusiman, Mohd; Che-Him, Norziha

2018-04-01

Words are symbols representing certain aspects of mathematics. The main purpose of this study is to gain insight into students’ symbolic manipulation in calculus among UTHM students. This study make use the various methods in collecting data which are documentation, pilot study, written test and follow up individual interviews. Hence, the results analyzed and interpreted based on action-process-object-schema framework which is based on Piaget’s ideas of reflective abstraction, the concept of relational and instrumental understanding and the zone of proximal development idea. The students’ reply in the interview session is analyzed and then the overall performance is discussed briefly to relate with the students flexibility in symbolic manipulation in linking to the graphical idea, the students interpretation towards different symbolic structure in calculus and the problem that related to overgeneralization in their calculus problems solving.

Disparity Disambiguation by Fusion of Signal and Symbolic-Level Information

DEFF Research Database (Denmark)

Ralli, J.; Diaz, J.; Ros, E.

2012-01-01

We describe a method for resolving ambiguities in low-level disparity calculations in a stereo-vision scheme by using a recurrent mechanism that we call signal-symbol loop. Due to the local nature of low-level processing it is not always possible to estimate the correct disparity values produced...... at this level. Symbolic abstraction of the signal produces robust, high confidence, multimodal image features which can be used to interpret the scene more accurately and therefore disambiguate low-level interpretations by biasing the correct disparity. The fusion process is capable of producing more accurate...... dense disparity maps than the low- and symbolic-level algorithms can produce independently. Therefore we describe an efficient fusion scheme that allows symbolic- and low-level cues to complement each other, resulting in a more accurate and dense disparity representation of the scene....

Generating and Solving Symbolic Parity Games

NARCIS (Netherlands)

Kant, Gijs; van de Pol, Jan Cornelis

We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES) and then instantiates the PBES to a parity game. We

Numerical analysis in electromagnetics the TLM method