868 resultados para Single Representation of Program
Resumo:
The paper presents a short review of some systems for program transformations performed on the basis of the internal intermediate representations of these programs. Many systems try to support several languages of representation of the source texts of programs and solve the task of their translation into the internal representation. This task is still a challenge as it is effort-consuming. To reduce the effort, different systems of translator construction, ready compilers with ready grammars of outside designers are used. Though this approach saves the effort, it has its drawbacks and constraints. The paper presents the general idea of using the mapping approach to solve the task within the framework of program transformations and overcome the disadvantages of the existing systems. The paper demonstrates a fragment of the ontology model of high-level languages mappings onto the single representation and gives the example of how the description of (a fragment) a particular mapping is represented in accordance with the ontology model.
Resumo:
The present study investigated how object locations learned separately are integrated and represented as a single spatial layout in memory. Two experiments were conducted in which participants learned a room-sized spatial layout that was divided into two sets of five objects. Results suggested that integration across sets was performed efficiently when it was done during initial encoding of the environment but entailed cost in accuracy when it was attempted at the time of memory retrieval. These findings suggest that, once formed, spatial representations in memory generally remain independent and integrating them into a single representation requires additional cognitive processes.
Resumo:
A set of sufficient conditions to construct lambda-real symbol Maximum Likelihood (ML) decodable STBCs have recently been provided by Karmakar et al. STBCs satisfying these sufficient conditions were named as Clifford Unitary Weight (CUW) codes. In this paper, the maximal rate (as measured in complex symbols per channel use) of CUW codes for lambda = 2(a), a is an element of N is obtained using tools from representation theory. Two algebraic constructions of codes achieving this maximal rate are also provided. One of the constructions is obtained using linear representation of finite groups whereas the other construction is based on the concept of right module algebra over non-commutative rings. To the knowledge of the authors, this is the first paper in which matrices over non-commutative rings is used to construct STBCs. An algebraic explanation is provided for the 'ABBA' construction first proposed by Tirkkonen et al and the tensor product construction proposed by Karmakar et al. Furthermore, it is established that the 4 transmit antenna STBC originally proposed by Tirkkonen et al based on the ABBA construction is actually a single complex symbol ML decodable code if the design variables are permuted and signal sets of appropriate dimensions are chosen.
Resumo:
With the objective of better understanding the significance of New Car Assessment Program (NCAP) tests conducted by the National Highway Traffic Safety Administration (NHTSA), head-on collisions between two identical cars of different sizes and between cars and a pickup truck are studied in the present paper using LS-DYNA models. Available finite element models of a compact car (Dodge Neon), midsize car (Dodge Intrepid), and pickup truck (Chevrolet C1500) are first improved and validated by comparing theanalysis-based vehicle deceleration pulses against corresponding NCAP crash test histories reported by NHTSA. In confirmation of prevalent perception, simulation-bascd results indicate that an NCAP test against a rigid barrier is a good representation of a collision between two similar cars approaching each other at a speed of 56.3 kmph (35 mph) both in terms of peak deceleration and intrusions. However, analyses carried out for collisions between two incompatible vehicles, such as an Intrepid or Neon against a C1500, point to the inability of the NCAP tests in representing the substantially higher intrusions in the front upper regions experienced by the cars, although peak decelerations in cars arc comparable to those observed in NCAP tests. In an attempt to improve the capability of a front NCAP test to better represent real-world crashes between incompatible vehicles, i.e., ones with contrasting ride height and lower body stiffness, two modified rigid barriers are studied. One of these barriers, which is of stepped geometry with a curved front face, leads to significantly improved correlation of intrusions in the upper regions of cars with respect to those yielded in the simulation of collisions between incompatible vehicles, together with the yielding of similar vehicle peak decelerations obtained in NCAP tests.
Resumo:
This paper presents a novel method of representing rotation and its application to representing the ranges of motion of coupled joints in the human body, using planar maps. The present work focuses on the viability of this representation for situations that relied on maps on a unit sphere. Maps on a unit sphere have been used in diverse applications such as Gauss map, visibility maps, axis-angle and Euler-angle representations of rotation etc. Computations on a spherical surface are difficult and computationally expensive; all the above applications suffer from problems associated with singularities at the poles. There are methods to represent the ranges of motion of such joints using two-dimensional spherical polygons. The present work proposes to use multiple planar domain “cube” instead of a single spherical domain, to achieve the above objective. The parameterization on the planar domains is easy to obtain and convert to spherical coordinates. Further, there is no localized and extreme distortion of the parameter space and it gives robustness to the computations. The representation has been compared with the spherical representation in terms of computational ease and issues related to singularities. Methods have been proposed to represent joint range of motion and coupled degrees of freedom for various joints in digital human models (such as shoulder, wrist and fingers). A novel method has been proposed to represent twist in addition to the existing swing-swivel representation.
Resumo:
The electron diffraction investigation of the following compounds has been carried out: sulfur, sulfur nitride, realgar, arsenic trisulfide, spiropentane, dimethyltrisulfide, cis and trans lewisite, methylal, and ethylene glycol.
The crystal structures of the following salts have been determined by x-ray diffraction: silver molybdateand hydrazinium dichloride.
Suggested revisions of the covalent radii for B, Si, P, Ge, As, Sn, Sb, and Pb have been made, and values for the covalent radii of Al, Ga, In, Ti, and Bi have been proposed.
The Schomaker-Stevenson revision of the additivity rule for single covalent bond distances has been used in conjunction with the revised radii. Agreement with experiment is in general better with the revised radii than with the former radii and additivity.
The principle of ionic bond character in addition to that present in a normal covalent bond has been applied to the observed structures of numerous molecules. It leads to a method of interpretation which is at least as consistent as the theory of multiple bond formation.
The revision of the additivity rule has been extended to double bonds. An encouraging beginning along these lines has been made, but additional experimental data are needed for clarification.
Resumo:
Human perception of speed declines with age. Much of the decline is probably mediated by changes in the middle temporal (MT) area, an extrastriate area whose neural activity is linked to the perception of speed. In the present study, we used random-dot pa
Resumo:
Salt taste in mammals can trigger two divergent behavioural responses. In general, concentrated saline solutions elicit robust behavioural aversion, whereas low concentrations of NaCl are typically attractive, particularly after sodium depletion. Notably, the attractive salt pathway is selectively responsive to sodium and inhibited by amiloride, whereas the aversive one functions as a non-selective detector for a wide range of salts. Because amiloride is a potent inhibitor of the epithelial sodium channel (ENaC), ENaC has been proposed to function as a component of the salt-taste-receptor system. Previously, we showed that four of the five basic taste qualities-sweet, sour, bitter and umami-are mediated by separate taste-receptor cells (TRCs) each tuned to a single taste modality, and wired to elicit stereotypical behavioural responses. Here we show that sodium sensing is also mediated by a dedicated population of TRCs. These taste cells express the epithelial sodium channel ENaC, and mediate behavioural attraction to NaCl. We genetically engineered mice lacking ENaCalpha in TRCs, and produced animals exhibiting a complete loss of salt attraction and sodium taste responses. Together, these studies substantiate independent cellular substrates for all five basic taste qualities, and validate the essential role of ENaC for sodium taste in mice.
Resumo:
The study objective was to compare the response of bone markers to an exercise session consisting of high mechanical loading (144 jumps) between boys (n=12, 10.2 ± 0.4 years) and men (n=18, 22.5 ± 0.7 years). Blood samples were collected at pre-, 5, 60 minutes post-, and 24 hours post-exercise) to measure bone-specific alkaline phosphatase (BAP), amino-terminal cross-linking telopeptide (NTx), osteoprotegrin (OPG) and receptor activator of nuclear factor kb ligand (RANKL). Boys had higher BAP levels at all time points, with an increase 24 hours post-exercise. No such increase was observed in men. Likewise, NTx levels were higher in boys, with a greater increase over time than in men. OPG and RANKL levels were similar in boys and men at all times. In summary, even one session of exercise stimulates bone turnover, as reflected in the increase in both BAP and NTx, in boys (but not men) within 24 hours.
Resumo:
This thesis critically examines the online marketing tactics of 10 (English language) Canadian cosmetic surgery clinics’ websites that offer Female Genital Cosmetic Surgery (FGCS), specifically, labiaplasty (labial reduction) and vaginoplasty (vaginal tightening). Drawing on a qualitative Multimodal Critical Discourse Analysis (MCDA) and a feminist-informed social constructionist framework (Lazar, 2007), I examine how FGCS discourses reiterate and reinforce heteronormative sexual scripts for women, and impose restrictive models of femininity through the pathologization of genital diversity and the appropriation of postfeminist and neoliberal discourses of individual choice and empowerment. I explore feminist analyses of the links between FGCS and contemporary Western women’s postfeminist subjectivity, and the reconfiguration of women’s sexual agency, to better understand what these contemporary shifts may mean for women’s sexual anxiety and expression. My analysis highlights several discourses that organize the online marketing material of Canadian FGCS websites, including: the pathologization of genital diversity; restrictive models of femininity; heteronormative sexual scripts; neoliberal and post-feminist rhetorics of individual choice and empowerment; and psychological and sexual transformation. Overall, these discourses undermine acceptance of women’s genital diversity, legitimize the FGCS industry and frame FGCS as the only viable solution to alleviate women’s genital and sexual distress despite the lack of evidence regarding the long-term benefits and risks of these procedures, and the recommendations against FGCS by professional medical organizations.
Resumo:
In this paper ensembles of forecasts (of up to six hours) are studied from a convection-permitting model with a representation of model error due to unresolved processes. The ensemble prediction system (EPS) used is an experimental convection-permitting version of the UK Met Office’s 24- member Global and Regional Ensemble Prediction System (MOGREPS). The method of representing model error variability, which perturbs parameters within the model’s parameterisation schemes, has been modified and we investigate the impact of applying this scheme in different ways. These are: a control ensemble where all ensemble members have the same parameter values; an ensemble where the parameters are different between members, but fixed in time; and ensembles where the parameters are updated randomly every 30 or 60 min. The choice of parameters and their ranges of variability have been determined from expert opinion and parameter sensitivity tests. A case of frontal rain over the southern UK has been chosen, which has a multi-banded rainfall structure. The consequences of including model error variability in the case studied are mixed and are summarised as follows. The multiple banding, evident in the radar, is not captured for any single member. However, the single band is positioned in some members where a secondary band is present in the radar. This is found for all ensembles studied. Adding model error variability with fixed parameters in time does increase the ensemble spread for near-surface variables like wind and temperature, but can actually decrease the spread of the rainfall. Perturbing the parameters periodically throughout the forecast does not further increase the spread and exhibits “jumpiness” in the spread at times when the parameters are perturbed. Adding model error variability gives an improvement in forecast skill after the first 2–3 h of the forecast for near-surface temperature and relative humidity. For precipitation skill scores, adding model error variability has the effect of improving the skill in the first 1–2 h of the forecast, but then of reducing the skill after that. Complementary experiments were performed where the only difference between members was the set of parameter values (i.e. no initial condition variability). The resulting spread was found to be significantly less than the spread from initial condition variability alone.
Resumo:
The rise in boiling point of grapefruit juice was experimentally measured at soluble solids concentrations in the range of 9.3-60.6 °Brix and pressures between °6.0 × 103 and 9.0 × 104 Pa. Different approaches to represent experimental data, including the Dhring's rule, the Antoine equation and empirical models proposed in the literature were tested. In the range of 9.3-29.0 °Brix, the rise in boiling point was nearly independent of pressure, varying only with juice concentration. Considerable deviations of this behavior began to occur at concentrations higher than 29.0 °Brix. Experimental data could be best predicted by adjusting an empirical model, which consisted of a single equation that takes into account the dependence of rise in boiling point on pressure and concentration. © SAGE Publications 2007.
Resumo:
A transmission line is characterized by the fact that its parameters are distributed along its length. This fact makes the voltages and currents along the line to behave like waves and these are described by differential equations. In general, the differential equations mentioned are difficult to solve in the time domain, due to the convolution integral, but in the frequency domain these equations become simpler and their solutions are known. The transmission line can be represented by a cascade of π circuits. This model has the advantage of being developed directly in the time domain, but there is a need to apply numerical integration methods. In this work a comparison of the model that considers the fact that the parameters are distributed (Universal Line Model) and the fact that the parameters considered concentrated along the line (π circuit model) using the trapezoidal integration method, and Simpson's rule Runge-Kutta in a single-phase transmission line length of 100 km subjected to an operation power. © 2003-2012 IEEE.
Resumo:
We examine Weddell Sea deep water mass distributions with respect to the results from three different model runs using the oceanic component of the National Center for Atmospheric Research Community Climate System Model (NCAR-CCSM). One run is inter-annually forced by corrected NCAR/NCEP fluxes, while the other two are forced with the annual cycle obtained from the same climatology. One of the latter runs includes an interactive sea-ice model. Optimum Multiparameter analysis is applied to separate the deep water masses in the Greenwich Meridian section (into the Weddell Sea only) to measure the degree of realism obtained in the simulations. First, we describe the distribution of the simulated deep water masses using observed water type indices. Since the observed indices do not provide an acceptable representation of the Weddell Sea deep water masses as expected, they are specifically adjusted for each simulation. Differences among the water masses` representations in the three simulations are quantified through their root-mean-square differences. Results point out the need for better representation (and inclusion) of ice-related processes in order to improve the oceanic characteristics and variability of dense Southern Ocean water masses in the outputs of the NCAR-CCSM model, and probably in other ocean and climate models.