Resource usage analysis of logic programs via abstract interpretation using sized types

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Influencia de la configuración geométrica de placas prefabricadas para forjados en las tensiones originadas por la transferencia del pretensado en elementos realizados con armaduras pretesas ancladas por adherencia

Las piezas pretensadas de hormigón presentan zonas muy solicitadas correspondientes a la zona de transferencia. En muchos casos se ha detectado figuración en tales zonas cuyo origen está ligado a la transferencia de la fuerza de pretensado, pudiendo llegar a causar el rechazo de la pieza. En el caso de las piezas prefabricadas con armaduras pretesas adherentes, no siempre es posible disponer armado transversal para controlar esta fisuración, ya sea por el proceso constructivo, ya sea por disponer en general de secciones transversales muy optimizadas. Recientemente se desarrolló una nueva tipología de piezas de hormigón prefabricado para forjados unidireccionales pretensadas con armadura activa pretesa y sin armadura transversal. La tipología se asimila a una sección en PI invertida, con alas de gran envergadura en comparación con el ancho de nervio, y armadura activa distribuida en las alas. Este diseño parece propenso a la aparición de fisuración en el momento de la transferencia del pretensado. Así, se han producido fallos de carácter frágil: colapso de piezas ya colocadas en obra, separándose la losa inferior de los nervios y cayendo sobre el piso. Las herramientas de análisis usuales han resultado inútiles al aplicarse a la investigación de esta patología. Para afrontar el estudio de los problemas detectados en la tipología, se ha analizado el fenómeno de las tensiones de tracción en la zona de transferencia, usualmente denominadas exfoliación y estallido, así como los métodos de análisis aplicables a elementos pretesos sin armadura transversal. En algunas ocasiones se trata del resultado de trabajos desarrollados para piezas postesadas, o para calcular cuantías de armadura transversal, adaptados a posteriori. También existen métodos desarrollados específicamente para piezas pretesas sin armadura transversal. Junto a los factores considerados en los métodos existentes se han localizado otros, no tenidos en cuenta habitualmente, pero que pueden ser determinantes en piezas no convencionales, como son: la existencia de pretensado superior e inferior, la falta de simetría de la sección transversal, el ancho variable de las piezas, una relación entre el ancho del ala y el espesor de los nervios elevada, la distribución transversal del pretensado en relación al ancho variable. Además, la mayoría de los métodos se han basado en simplificaciones bidimensionales. Para tener en cuenta la influencia de estos factores, se han modelizado piezas en las que varían tanto la geometría de la sección transversal y la cuantía de pretensado, como la ley de adherencia o la distribución de armadura activa en la sección. Estos modelos se han analizado mediante el método de elementos finitos, efectuándose u análisis elástico lineal tridimensional. En general, los métodos existentes no han predicho adecuadamente las tensiones obtenidas mediante elementos finitos. Sobre los resultados obtenidos por elementos finitos se ha desarrollado un ajuste experimental, que presentan un alto grado de correlación y de significación, así como una reducida dispersión y error relativo. En consecuencia, se propone un método de obtención de la tensión máxima de exfoliación, consistente en varias ecuaciones, que tienen en cuenta las peculiaridades de la configuración de las piezas citadas y permiten considerar cualquier ley de adherencia, manteniendo la coherencia con la longitud de transmisión. Las ecuaciones se emplean para la obtención de la tensión máxima de exfoliación en piezas de la tipología estudiada cuya armadura activa se sitúe fuera del núcleo central de la sección transversal. Respecto al estallido, se propone una modificación de los métodos existentes que, comparado con los resultados del análisis por elementos finitos, mejora el valor medio y la dispersión a valores admisibles y del lado de la seguridad. El método considera la geometría de la sección y la distribución del pretensado en la losa inferior. Finalmente, se ofrecen estrategias de diseño para piezas de la tipología o semejantes. End zones of prestressed concrete members are highly stressed. Cracking have often appeared at end zone, and its beginning is related to prestress release. Some members become rejected because of these cracks. Sometimes it is not possible having transverse reinforcement in order to control cracking, when referring to pretensioned precast members. The reason may be the construction process or highly optimized crosssections. A new typology of precast concrete members designed for one-way composite floors was recently developed. The members, without transverse reinforcement, are prestressed with pretensioned wires or strands. This typology is similar to an inverted TT slab, with a large flange related to the web thickness and prestressing reinforcement spread across the flange. This design is highly susceptible to appear cracking at prestress release. Therefore, brittle failures have been reported: fail of slabs laid in place on a construction site, resulting in the separation of the flange from the webs,, and the subsequent fall on the lower floor. Usual analytical methods have been useless to study the failure. End zone tensile stresses have been analysed to study the detected typology problems. These tensile stresses are usually called spalling and bursting (also called splitting in the U.S.). Analysis methods applicable to pretensioned members without transverse reinforcement have been analysed too. Some methods were originally developed for postensioned concrete or for obtaining the amount of transverse reinforcement. In addition, there are methods developed specifically for pretensioned members without transverse reinforcement. Some factors, frequently ignored, have been found, such as lower and upper prestress, lack of symmetry in the cross section, variable width, a high ratio between flange width and web thickness or prestressing reinforcement location related to variable width. They can play a decisive role in non-conventional members. In addition, most methods are based on 2D simplifications. Finite Element modelling has been conducted in order to consider the influence of these factors. A linear 3D approach has been used. The modelled members vary according to cross section geometry, bond behaviour, or prestressing reinforcement location. In general, the obtained tensile stresses don’t agree with existing methods. An experimental adjustment has been conducted on the obtained results, with a high correlation ratio and significance level as well as a low dispersion and relative error. Therefore, a method to obtain the maximum spalling stress is proposed. The proposal consists on some equations that consider the special features of the typology and bond behaviour. Consistency between transmission length and bond behaviour is considered too. The equations are used to calculate maximum spalling stress for the studied typology members whose prestressing reinforcement is located out of the core of the cross section. In relation to bursting, a modification of existing methods is proposed. Compared to finite element results, the proposal improves mean value and dispersion, whose ranges are considered acceptable and secure. The method takes into account cross section geometry and location of prestressing reinforcement across the lower flange. Finally, strategies to design members of this typology or similar are proposed.

Performance profiles of football teams in the UEFA Champions League considering situational efficiency

Performance of football teams varies constantly due to the dynamic nature of this sport, whilst the typical performance and its spread can be represented by profiles combining different performance-related variables based on data from multiple matches. The current study aims to use a profiling technique to evaluate and compare match performance of football teams in the UEFA Champions League incorporating three situational variables (i.e. strength of team and opponent, match outcome and match location). Match statistics of 72 teams, 496 games across four seasons (2008-09 to 2012-13) of this competition were analysed. Sixteen performance-related events were included: shots, shots on target, shots from open play, shots from set piece, shots from counter attack, passes, pass accuracy (%), crosses, through balls, corners, dribbles, possession, aerial success (%), fouls, tackles, and yellow cards. Teams were classified into three levels of strength by a k-cluster analysis. Profiles of overall performance and profiles incorporating three situational variables for teams of all three levels of strength were set up by presenting the mean, standard deviation, median, lower and upper quartiles of the counts of each event to represent their typical performances and spreads. Means were compared by using one-way ANOVA and independent sample t test (for match location, home and away differences), and were plotted into the same radar charts after unifying all the event counts by standardised score. Established profiles can present straightforwardly typical performances of football teams of different levels playing in different situations, which could provide detailed references for coaches and analysts to evaluate performances of upcoming opposition and of their own.

On the stability of Voronoi cells

Let T be a given subset of ℝ n , whose elements are called sites, and let s∈T. The Voronoi cell of s with respect to T consists of all points closer to s than to any other site. In many real applications, the position of some elements of T is uncertain due to either random external causes or to measurement errors. In this paper we analyze the effect on the Voronoi cell of small changes in s or in a given non-empty set P⊂T\{s}. Two types of perturbations of P are considered, one of them not increasing the cardinality of T. More in detail, the paper provides conditions for the corresponding Voronoi cell mappings to be closed, lower and upper semicontinuous. All the involved conditions are expressed in terms of the data.

DESIGN OF A MINIATURIZED SOP INTEGRATED GNSS RF FRONT-END MODULE

Navigation devices used to be bulky and expensive and were not widely commercialized for personal use. Nowadays, all useful electronic devices are turning into being handheld so that they can be conveniently used anytime and anywhere. One can claim that almost any mobile phone, used today, has quite strong navigational capabilities that can efficiently work anywhere in the globe. No matter where you are, you can easily know your exact location and make your way smoothly to wherever you would like to go. This couldn’t have been made possible without the existence of efficient and small microwave circuits responsible for the transmission and reception of high quality navigation signals. This thesis is mainly concerned with the design of novel highly miniaturized and efficient filtering components working in the Global Navigational Satellite Systems (GNSS) frequency band to be integrated within an efficient Radio Frequency (RF) front-end module (FEM). A System-on-Package (SoP) integration technique is adopted for the design of all the components in this thesis. Two novel miniaturized filters are designed, where one of them is a wideband filter targeting the complete GNSS band with a fractional bandwidth of almost 50% at a center frequency of 1.385 GHz. This filter utilizes a direct inductive coupling topology to achieve the required wide band performance. It also has very good out-of-band rejection and low IL. Whereas the other dual band filter will only cover the lower and upper GNSS bands with a rejection notch in between the two bands. It has very good inter band rejection. The well-known “divide and conquer” design methodology was applied for the design of this filter to help save valuable design and optimization time. Moreover, the performance of two commercially available ultra-Low Noise Amplifiers (LNAs) is studied. The complete RF FEM showed promising preliminary performance in terms of noise figure, gain and bandwidth, where it out performed other commercial front-ends in these three aspects. All the designed circuits are fabricated and tested. The measured results are found to be in good agreements with the simulations.

Feldspar size measurements of tephra layers from ODP Leg 165 sites

Crystal size measurements have been carried out on tephra fall layers of Miocene to recent age from Sites 998, 999, and 1000 in the western Caribbean Sea. Maximum crystal size is used as a proxy for the grain size characteristics of the layers and an index of atmospheric dispersal from source eruptions. Crystal sizes range from 50 to 650 µm with the majority falling between 200 and 300 µm. All three sites exhibit a coarsening in the grain size of tephra layers with increasing age to the early Miocene that broadly correlates with an increase in the frequency of layers. Analysis of the present lower and upper level atmospheric circulation in the western Caribbean suggests that the layers were derived from source eruptions to the west of the sites somewhere in the Central American region. Minimum distances to these sources are of the order of 700 km. Crystal sizes in tephra layers at these distances are consistent with their derivation from energetic pyroclastic flow-forming eruptions that injected tephra to stratospheric levels by large-scale co-ignimbrite and plinian-style plumes. Coarsening of the layers during the Miocene peak of explosive volcanism cannot be attributed to any major change in paleowind intensity and is taken to represent the occurrence of more energetic eruptions that were able to disperse tephra over larger areas.

Abdominal muscle recruitment during a range of voluntary exercises

Various exercises are used to retrain the abdominal muscles in the management of low back pain and other musculoskeletal disorders. However. few studies have directly investigated the activity of all the abdominal muscles or the recruitment of regions of the abdominal muscles during these manoeuvres. This study examined the activity of different regions of transversus abdominis (TrA), obliquus internus (OI) and externus abdominis (OE), and rectus abdominis (RA), and movement of lumbar spine, pelvis and abdomen during inward movement of the lower abdominal wall, abdominal bracing, pelvic tilting, and inward movement of the lower and upper abdominal wall. Inward movement of the lower abdominal wall in supine produced greater activity of TrA compared to OI. OE and RA. During posterior pelvic tilting. middle OI was most active and with abdominal bracing. OE was predominately recruited. Regions of TrA were recruited differentially and in inverse relationship between lumbopelvic motion and TrA electromyography (EMG) was found. This study indicates that inward movement of the abdominal wall in supine produces the most independent activity of TrA relative to the other abdominal muscle, recruitment varies between regions of TrA, and observation of abdominal and lumbopelvic motion may assist in evalation of exercise performance. (c) 2004 Elsevier Ltd. All rights reserved.

The return to schooling: Estimates from a sample of young Australian twins

This study uses a sample of young Australian twins to examine whether the findings reported in [Ashenfelter, Orley and Krueger, Alan, (1994). 'Estimates of the Economic Return to Schooling from a New Sample of Twins', American Economic Review, Vol. 84, No. 5, pp.1157-73] and [Miller, P.W., Mulvey, C and Martin, N., (1994). 'What Do Twins Studies Tell Us About the Economic Returns to Education?: A Comparison of Australian and US Findings', Western Australian Labour Market Research Centre Discussion Paper 94/4] are robust to choice of sample and dependent variable. The economic return to schooling in Australia is between 5 and 7 percent when account is taken of genetic and family effects using either fixed-effects models or the selection effects model of Ashenfelter and Krueger. Given the similarity of the findings in this and in related studies, it would appear that the models applied by [Ashenfelter, Orley and Krueger, Alan, (1994). 'Estimates of the Economic Return to Schooling from a New Sample of Twins', American Economic Review, Vol. 84, No. 5, pp. 1157-73] are robust. Moreover, viewing the OLS and IV estimators as lower and upper bounds in the manner of [Black, Dan A., Berger, Mark C., and Scott, Frank C., (2000). 'Bounding Parameter Estimates with Nonclassical Measurement Error', Journal of the American Statistical Association, Vol. 95, No.451, pp.739-748], it is shown that the bounds on the return to schooling in Australia are much tighter than in [Ashenfelter, Orley and Krueger, Alan, (1994). 'Estimates of the Economic Return to Schooling from a New Sample of Twins', American Economic Review, Vol. 84, No. 5, pp. 1157-73], and the return is bounded at a much lower level than in the US. (c) 2005 Elsevier B.V. All rights reserved.

Using cohort studies to estimate mortality among injecting drug users that is not attributable to AIDS

Background: Injecting drug use (IDU) and associated mortality appear to be increasing in many parts of the world. IDU is an important factor in HIV transmission. In estimating AIDS mortality attributable to IDU, it is important to take account of premature mortality rates from other causes to ensure that AIDS related mortality among injecting drug users (IDUs) is not overestimated. The current review provides estimates of the excess non-AIDS mortality among IDUs. Method: Searches were conducted with Medline, PsycINFO, and the Web of Science. The authors also searched reference lists of identified papers and an earlier literature review by English et al (1995). Crude. mortality rates (CMRs) were derived from data on the number of deaths, period of follow UP, and number of participants. In estimating the all-cause mortality, two rates were calculated: one that included all cohort studies identified in the search, and one that only included studies that reported on AIDS deaths in their cohort. This provided lower and upper mortality rates, respectively. Results: The current paper derived weighted mortality rates based upon cohort studies that included 179 885 participants, 1 219 422 person-years of observation, and 16 593 deaths. The weighted crude AIDS mortality rate from studies that reported AIDS deaths was approximately 0.78% per annum. The median estimated non-AIDS mortality rate was 1.08% per annum. Conclusions: Illicit drug users have a greatly increased risk of premature death and mortality due to AIDS forms a significant part of that increased risk; it is, however, only part of that risk. Future work needs to examine mortality rates among IDUs in developing countries, and collect data on the relation between HIV and increased mortality due to all causes among this group.

Low back pain patients demonstrate increased hip extensor muscle activity during standardized submaximal rotation efforts

Study Design. A comparative study of trunk and hip extensor muscle recruitment patterns in 2 subject groups. Objective. To examine for changes in recruitment of the hip and back extensor muscles during low level isometric trunk rotation efforts in chronic low back pain (CLBP) subjects by comparison with matched asymptomatic control subjects. Summary of Background Data. Anatomic and biomechanical models have provided evidence that muscles attaching to the thoracolumbar fascia (TLF) are important for providing stabilization to the lumbopelvic region during trunk rotation. This has guided rehabilitation programs. The muscles that link diagonally to the posterior layer of the TLF have not previously been examined individually and compared during low-level trunk rotation efforts in CLBP patients and matched controls. Methods. Thirty CLBP patients and 30 matched controls were assessed using surface electromyography (EMG) as they performed low-level isometric rotation efforts while standing upright. Muscles studied included latissimus dorsi, erector spinae, upper and lower gluteus maximus, and biceps femoris. Subjects performed the rotation exertion with various levels of external trunk support, related to different functional tasks. Results. EMG results demonstrated that subjects with CLBP had significantly higher levels of recruitment for the lower and upper gluteus maximus (P < 0.05), hamstrings (P < 0.05), and erector spinae muscles (P < 0.05) during rotation to the left compared with the control subjects. Conclusion. This study provided evidence of increased muscle recruitment in CLBP patients when performing a standardized trunk rotation task. These results may have implications for the design of therapeutic exercise programs for CLBP patients.

Surface k-NN query processing

A k-NN query finds the k nearest-neighbors of a given point from a point database. When it is sufficient to measure object distance using the Euclidian distance, the key to efficient k-NN query processing is to fetch and check the distances of a minimum number of points from the database. For many applications, such as vehicle movement along road networks or rover and animal movement along terrain surfaces, the distance is only meaningful when it is along a valid movement path. For this type of k-NN queries, the focus of efficient query processing is to minimize the cost of computing distances using the environment data (such as the road network data and the terrain data), which can be several orders of magnitude larger than that of the point data. Efficient processing of k-NN queries based on the Euclidian distance or the road network distance has been investigated extensively in the past. In this paper, we investigate the problem of surface k-NN query processing, where the distance is calculated from the shortest path along a terrain surface. This problem is very challenging, as the terrain data can be very large and the computational cost of finding shortest paths is very high. We propose an efficient solution based on multiresolution terrain models. Our approach eliminates the need of costly process of finding shortest paths by ranking objects using estimated lower and upper bounds of distance on multiresolution terrain models.

AVALIAÇÃO DA ESTABILIDADE DAS ALTERAÇÕES TRANSVERSAIS PROMOVIDAS PELO APARELHO REGULADOR DE FUNÇÃO FRANKEL 2, POR MEIO DE TELERRADIOGRAFIAS POSTEROANTERIORES

O objetivo desta pesquisa constituiu em avaliar, por meio das telerradiografias posteroanteriores, as alterações transversais promovidas pelo aparelho Frankel-2 em pacientes com maloclusão de Classe II, divisão 1, além de verificar a estabilidade das mesmas após um período médio de 7,11 anos pós-tratamento. A amostra compreendeu um total de 45 telerradiografias posteroanteriores provenientes de 15 pacientes tratados com o RF-2, realizadas em três fases: (T1) início do tratamento; (T2) final de tratamento; (T3) pós-tratamento. Foram avaliadas outras 36 telerradiografias posteroanteriores de 18 pacientes não tratados (grupo controle), acompanhados num período correspondente ao tratamento (T1-T2). As telerradiografias foram digitalizadas e foi utilizado o software Radiocef Studio 2 para realizar as mensurações das medidas cefalométricas. Para a comparação entre as alterações ocorridas no grupo tratado e no grupo controle, foi aplicado o teste t não pareado. Já para as modificações nas fases inicial, final e pós-tratamento no grupo tratado, foi empregada a Análise de Variância seguida do teste de comparações múltiplas de Tukey, com o valor crítico de 0,05. Os resultados mostraram que durante o período de tratamento as distâncias intercaninos inferiores e intermolares superiores aumentaram de forma estatisticamente significante. Já as distâncias que representam a largura da cavidade nasal, altura facial inferior, largura mandibular e distância intermolares inferiores não sofreram alterações estatisticamente significantes. No período pós-tratamento, observou-se uma suave redução nas distâncias intercaninos inferiores e intermolares superiores. Porém, considerando-se as alterações ocorridas devido ao crescimento e desenvolvimento transversal dos arcos dentários no período analisado, em que haveria uma redução destas distâncias, provavelmente houve uma estabilidade relativa das alterações dentárias transversais promovidas pelo RF-2. Portanto, pode-se concluir que o RF-2 não possui qualquer efeito esquelético transversal. Contudo, há um aumento das distâncias intermolares superiores e intercaninos inferiores durante o tratamento, que permanece relativamente estável, considerando-se as alterações ocorridas pelo crescimento e desenvolvimento normal dos arcos dentários.

A mathematical model for assembly line balancing model to consider disordering sequence of workstations

Purpose – A binary integer programming model for the simple assembly line balancing problem (SALBP), which is well known as SALBP-1, was formulated more than 30 years ago. Since then, a number of researchers have extended the model for the variants of assembly line balancing problem.The model is still prevalent nowadays mainly because of the lower and upper bounds on task assignment. These properties avoid significant increase of decision variables. The purpose of this paper is to use an example to show that the model may lead to a confusing solution. Design/methodology/approach – The paper provides a remedial constraint set for the model to rectify the disordered sequence problem. Findings – The paper presents proof that the assembly line balancing model formulated by Patterson and Albracht may lead to a confusing solution. Originality/value – No one previously has found that the commonly used model is incorrect.

Cortical degeneration in frontotemporal lobar degeneration with TDP-43 proteinopathy caused by progranulin gene mutation

Familial frontotemporal lobar degeneration with transactive response (TAR) DNA-binding protein of 43 kDa (TDP-43) proteinopathy (FTLD-TDP) is most commonly caused by progranulin (GRN) gene mutation. To characterize cortical degeneration in these cases, changes in density of the pathology across the cortical laminae of the frontal and temporal lobe were studied in seven cases of FTLD-TDP with GRN mutation using quantitative analysis and polynomial curve fitting. In 50% of gyri studied, neuronal cytoplasmic inclusions (NCI) exhibited a peak of density in the upper cortical laminae. Most frequently, neuronal intranuclear inclusions (NII) and dystrophic neurites (DN) exhibited a density peak in lower and upper laminae, respectively, glial inclusions (GI) being distributed in low densities across all laminae. Abnormally enlarged neurons (EN) were distributed either in the lower laminae or were more uniformly distributed across the cortex. The distribution of all neurons present varied between cases and regions, but most commonly exhibited a bimodal distribution, density peaks occurring in upper and lower laminae. Vacuolation primarily affected the superficial laminae and density of glial cell nuclei increased with distance across the cortex from pia mater to white matter. The densities of the NCI, GI, NII, and DN were not spatially correlated. The laminar distribution of the pathology in GRN mutation cases was similar to previously reported sporadic cases of FTLD-TDP. Hence, pathological changes initiated by GRN mutation, and by other causes in sporadic cases, appear to follow a parallel course resulting in very similar patterns of cortical degeneration in FTLD-TDP.

The Development of the Generalization Algorithm Based on the Rough Set Theory

This paper considers the problem of concept generalization in decision-making systems where such features of real-world databases as large size, incompleteness and inconsistence of the stored information are taken into account. The methods of the rough set theory (like lower and upper approximations, positive regions and reducts) are used for the solving of this problem. The new discretization algorithm of the continuous attributes is proposed. It essentially increases an overall performance of generalization algorithms and can be applied to processing of real value attributes in large data tables. Also the search algorithm of the significant attributes combined with a stage of discretization is developed. It allows avoiding splitting of continuous domains of insignificant attributes into intervals.