38 resultados para Lobatto formulae
em Queensland University of Technology - ePrints Archive
Resumo:
A survey of a number of schools in a number of different climates was carried out to determine the condition of building components of interest in the project. Schools in Melbourne, the Victorian Surf Coast, Brisbane, Townsville and the Sunshine Coast were inspected. A rating system was devised to categorise the components and the results collated in tables. Analysis of the data (where sufficient examples permitted) resulted in formulae to predict the service of the components and a database was derived.
Resumo:
This paper provides new results about efficient arithmetic on Jacobi quartic form elliptic curves, y 2 = d x 4 + 2 a x 2 + 1. With recent bandwidth-efficient proposals, the arithmetic on Jacobi quartic curves became solidly faster than that of Weierstrass curves. These proposals use up to 7 coordinates to represent a single point. However, fast scalar multiplication algorithms based on windowing techniques, precompute and store several points which require more space than what it takes with 3 coordinates. Also note that some of these proposals require d = 1 for full speed. Unfortunately, elliptic curves having 2-times-a-prime number of points, cannot be written in Jacobi quartic form if d = 1. Even worse the contemporary formulae may fail to output correct coordinates for some inputs. This paper provides improved speeds using fewer coordinates without causing the above mentioned problems. For instance, our proposed point doubling algorithm takes only 2 multiplications, 5 squarings, and no multiplication with curve constants when d is arbitrary and a = ±1/2.
Resumo:
This paper improves implementation techniques of Elliptic Curve Cryptography. We introduce new formulae and algorithms for the group law on Jacobi quartic, Jacobi intersection, Edwards, and Hessian curves. The proposed formulae and algorithms can save time in suitable point representations. To support our claims, a cost comparison is made with classic scalar multiplication algorithms using previous and current operation counts. Most notably, the best speeds are obtained from Jacobi quartic curves which provide the fastest timings for most scalar multiplication strategies benefiting from the proposed 12M + 5S + 1D point doubling and 7M + 3S + 1D point addition algorithms. Furthermore, the new addition algorithm provides an efficient way to protect against side channel attacks which are based on simple power analysis (SPA). Keywords: Efficient elliptic curve arithmetic,unified addition, side channel attack.
Resumo:
Braking or traction torque is regarded as an important source of wheelset skid and a potential source of derailment risk that adversely affects the safety levels of train operations; therefore, this research examines the effect of braking/traction torque to the longitudinal and lateral dynamics of wagons. This paper reports how train operations safety could be adversely affected due to various braking strategies. Sensitivity of wagon dynamics to braking severity is illustrated through numerical examples. The influence of wheel/rail interface friction coefficient and the effects of two types of track geometry defects on wheel unloading ratio and wagon pitch are also discussed in the paper.
Resumo:
Until recently, the hot-rolled steel members have been recognized as the most popular and widely used steel group, but in recent times, the use of cold-formed high strength steel members has rapidly increased. However, the structural behavior of light gauge high strength cold-formed steel members characterized by various buckling modes is not yet fully understood. The current cold-formed steel sections such as C- and Z-sections are commonly used because of their simple forming procedures and easy connections, but they suffer from certain buckling modes. It is therefore important that these buckling modes are either delayed or eliminated to increase the ultimate capacity of these members. This research is therefore aimed at developing a new cold-formed steel beam with two torsionally rigid rectangular hollow flanges and a slender web formed using intermittent screw fastening to enhance the flexural capacity while maintaining a minimum fabrication cost. This thesis describes a detailed investigation into the structural behavior of this new Rectangular Hollow Flange Beam (RHFB), subjected to flexural action The first phase of this research included experimental investigations using thirty full scale lateral buckling tests and twenty two section moment capacity tests using specially designed test rigs to simulate the required loading and support conditions. A detailed description of the experimental methods, RHFB failure modes including local, lateral distortional and lateral torsional buckling modes, and moment capacity results is presented. A comparison of experimental results with the predictions from the current design rules and other design methods is also given. The second phase of this research involved a methodical and comprehensive investigation aimed at widening the scope of finite element analysis to investigate the buckling and ultimate failure behaviours of RHFBs subjected to flexural actions. Accurate finite element models simulating the physical conditions of both lateral buckling and section moment capacity tests were developed. Comparison of experimental and finite element analysis results showed that the buckling and ultimate failure behaviour of RHFBs can be simulated well using appropriate finite element models. Finite element models simulating ideal simply supported boundary conditions and a uniform moment loading were also developed in order to use in a detailed parametric study. The parametric study results were used to review the current design rules and to develop new design formulae for RHFBs subjected to local, lateral distortional and lateral torsional buckling effects. Finite element analysis results indicate that the discontinuity due to screw fastening has a noticeable influence only for members in the intermediate slenderness region. Investigations into different combinations of thicknesses in the flange and web indicate that increasing the flange thickness is more effective than web thickness in enhancing the flexural capacity of RHFBs. The current steel design standards, AS 4100 (1998) and AS/NZS 4600 (1996) are found sufficient to predict the section moment capacity of RHFBs. However, the results indicate that the AS/NZS 4600 is more accurate for slender sections whereas AS 4100 is more accurate for compact sections. The finite element analysis results further indicate that the current design rules given in AS/NZS 4600 is adequate in predicting the member moment capacity of RHFBs subject to lateral torsional buckling effects. However, they were inadequate in predicting the capacities of RHFBs subject to lateral distortional buckling effects. This thesis has therefore developed a new design formula to predict the lateral distortional buckling strength of RHFBs. Overall, this thesis has demonstrated that the innovative RHFB sections can perform well as economically and structurally efficient flexural members. Structural engineers and designers should make use of the new design rules and the validated existing design rules to design the most optimum RHFB sections depending on the type of applications. Intermittent screw fastening method has also been shown to be structurally adequate that also minimises the fabrication cost. Product manufacturers and builders should be able to make use of this in their applications.
Resumo:
The approach to remove green house gases by pumping liquid CO2 several kilometres below the ground implies that many carbonate containing minerals will be formed. Among these minerals the formation of dypingite and artinite are possible; thus necessitating a study of such minerals. Two carbonate bearing minerals dypingite and artinite with a hydrotalcite related formulae have been characterised by a combination of infrared and near-infrared spectroscopy. The infrared spectra of both minerals are characterised by OH and water stretching vibrations. Both the first and second fundamental overtones of these bands are observed in the NIR spectra in the 7030 to 7235 cm-1 and 10490 to 10570 cm-1. Intense (CO3)2- symmetric and antisymmetric stretching vibrations confirm the distortion of the carbonate anion. The position of the water bending vibration indicates water is strongly hydrogen bonded to the carbonate anion in the mineral structure. Split NIR bands at around 8675 and 11100 cm-1 indicates that some replacement of magnesium ions by ferrous ions in the mineral structure has occurred.
Resumo:
This paper presents the details of an investigation on the shear behaviour of a recently developed, cold-formed steel beam known as LiteSteel Beam (LSB).The LSB section has a unique shape of a channel beam with two rectangular hollow flanges and is produced by a patented manufacturing process involving simultaneous cold-forming and dual electric resistance welding. In the present investigation, a series of numerical analyses based on three-dimensional finite element modeling and an experimental study were carried out to investigate the shear behaviour of 10 different LSB sections. It was found that the current design rules in cold-formed steel structures design codes are very conservative for the shear design of LiteSteel beams. Significant improvements to web shear buckling occurred due to the presence of rectangular hollow flanges while considerable post-buckling strength was also observed. Therefore the design rules were further modified to include the available post-buckling strength. Suitable design rules were also developed under the direct strength method format. This paper presents the details of this investigation and the results including the final design rules for the shear capacity of LSBs. It also presents new shear strength formulae for lipped channel beams based on the current design equations for shear strength given in AISI (2007) using the same approach used for LSBs.
Resumo:
This thesis is about the derivation of the addition law on an arbitrary elliptic curve and efficiently adding points on this elliptic curve using the derived addition law. The outcomes of this research guarantee practical speedups in higher level operations which depend on point additions. In particular, the contributions immediately find applications in cryptology. Mastered by the 19th century mathematicians, the study of the theory of elliptic curves has been active for decades. Elliptic curves over finite fields made their way into public key cryptography in late 1980’s with independent proposals by Miller [Mil86] and Koblitz [Kob87]. Elliptic Curve Cryptography (ECC), following Miller’s and Koblitz’s proposals, employs the group of rational points on an elliptic curve in building discrete logarithm based public key cryptosystems. Starting from late 1990’s, the emergence of the ECC market has boosted the research in computational aspects of elliptic curves. This thesis falls into this same area of research where the main aim is to speed up the additions of rational points on an arbitrary elliptic curve (over a field of large characteristic). The outcomes of this work can be used to speed up applications which are based on elliptic curves, including cryptographic applications in ECC. The aforementioned goals of this thesis are achieved in five main steps. As the first step, this thesis brings together several algebraic tools in order to derive the unique group law of an elliptic curve. This step also includes an investigation of recent computer algebra packages relating to their capabilities. Although the group law is unique, its evaluation can be performed using abundant (in fact infinitely many) formulae. As the second step, this thesis progresses the finding of the best formulae for efficient addition of points. In the third step, the group law is stated explicitly by handling all possible summands. The fourth step presents the algorithms to be used for efficient point additions. In the fifth and final step, optimized software implementations of the proposed algorithms are presented in order to show that theoretical speedups of step four can be practically obtained. In each of the five steps, this thesis focuses on five forms of elliptic curves over finite fields of large characteristic. A list of these forms and their defining equations are given as follows: (a) Short Weierstrass form, y2 = x3 + ax + b, (b) Extended Jacobi quartic form, y2 = dx4 + 2ax2 + 1, (c) Twisted Hessian form, ax3 + y3 + 1 = dxy, (d) Twisted Edwards form, ax2 + y2 = 1 + dx2y2, (e) Twisted Jacobi intersection form, bs2 + c2 = 1, as2 + d2 = 1, These forms are the most promising candidates for efficient computations and thus considered in this work. Nevertheless, the methods employed in this thesis are capable of handling arbitrary elliptic curves. From a high level point of view, the following outcomes are achieved in this thesis. - Related literature results are brought together and further revisited. For most of the cases several missed formulae, algorithms, and efficient point representations are discovered. - Analogies are made among all studied forms. For instance, it is shown that two sets of affine addition formulae are sufficient to cover all possible affine inputs as long as the output is also an affine point in any of these forms. In the literature, many special cases, especially interactions with points at infinity were omitted from discussion. This thesis handles all of the possibilities. - Several new point doubling/addition formulae and algorithms are introduced, which are more efficient than the existing alternatives in the literature. Most notably, the speed of extended Jacobi quartic, twisted Edwards, and Jacobi intersection forms are improved. New unified addition formulae are proposed for short Weierstrass form. New coordinate systems are studied for the first time. - An optimized implementation is developed using a combination of generic x86-64 assembly instructions and the plain C language. The practical advantages of the proposed algorithms are supported by computer experiments. - All formulae, presented in the body of this thesis, are checked for correctness using computer algebra scripts together with details on register allocations.
Resumo:
The purpose of this study was to compare the amount of exercise prescribed with the amount completed between two different modes of training intervention and between the sexes. Thirty-two men (mean age = 39.1 years, body mass index = 32.9 kg · m-2) and women (mean age = 39.6 years, body mass index = 32.1 kg · m-2) were prescribed traditional resistance training or light-resistance circuit training for 16 weeks. Lean mass and fat mass were determined by dual-energy X-ray absorptiometry at weeks 1 and 16. A completion index was calculated to provide a measure of the extent to which participants completed exercise training relative to the amount of exercise prescribed. The absolute amount of exercise completed by the circuit training group was significantly greater than the amount prescribed (P < 0.0001). The resistance training group consistently under-completed relative to the amount prescribed, but the difference was not significant. The completion index for the circuit training group (26 ± 21.7%) was significantly different from that of the resistance training group (-7.4 ± 3.0%). The completion index was not significantly different between men and women in either group. These data suggest that overweight and obese individuals participating in light-resistance circuit training complete more exercise than is prescribed. Men and women do not differ in the extent to which they over- or under-complete prescribed exercise.
Resumo:
We assess the performance of an exponential integrator for advancing stiff, semidiscrete formulations of the unsaturated Richards equation in time. The scheme is of second order and explicit in nature but requires the action of the matrix function φ(A) where φ(z) = [exp(z) - 1]/z on a suitability defined vector v at each time step. When the matrix A is large and sparse, φ(A)v can be approximated by Krylov subspace methods that require only matrix-vector products with A. We prove that despite the use of this approximation the scheme remains second order. Furthermore, we provide a practical variable-stepsize implementation of the integrator by deriving an estimate of the local error that requires only a single additional function evaluation. Numerical experiments performed on two-dimensional test problems demonstrate that this implementation outperforms second-order, variable-stepsize implementations of the backward differentiation formulae.
Resumo:
Abstract This study investigated depressive symptom and interpersonal relatedness outcomes from eight sessions of manualized narrative therapy for 47 adults with major depressive disorder. Post-therapy, depressive symptom improvement (d=1.36) and proportions of clients achieving reliable improvement (74%), movement to the functional population (61%), and clinically significant improvement (53%) were comparable to benchmark research outcomes. Post-therapy interpersonal relatedness improvement (d=.62) was less substantial than for symptoms. Three-month follow-up found maintenance of symptom, but not interpersonal gains. Benchmarking and clinical significance analyses mitigated repeated measure design limitations, providing empirical evidence to support narrative therapy for adults with major depressive disorder. RÉSUMÉ Cette étude a investigué les symptômes dépressifs et les relations interpersonnels d'une thérapie narrative en huit séances chez 47 adultes souffrant d'un trouble dépressif majeur. Après la thérapie, l'amélioration des symptômes dépressifs (d=1.36) et la proportion de clients atteignant un changement significatif (74%), le mouvement vers la population fonctionnelle (61%), enfin l'amélioration clinique significative (53%) étaient comparables aux performances des études de résultats. L'amélioration des relations interpersonnelles (d=0.62) était inférieure à l'amélioration symptomatique. Le suivi à trois mois montrait un maintien des gains symptomatiques mais pas pour les relations interpersonnelles. L’évaluation des performances et les analyses de significativité clinique modèrent les limitations du plan de recherche à mesures répétées et apportent une preuve empirique qui étaie l'efficacité des thérapies narratives pour des adultes avec un trouble dépressif majeur. Este estudo investigou sintomas depressivos e resultados interpessoais relacionados em oito sessões de terapia narrativa manualizada para 47 adultos com perturbação depressiva major. No pós terapia, melhoria de sintomas depressivos (d=1,36) e proporção de clientes que alcançam melhoria válida (74%), movimento para a população funcional (61%) e melhoria clinicamente significativa (53%) foram comparáveis com os resultados da investigação reportados. As melhorias pós terapia nos resultados interpessoais relacionados (d=.62) foi menos substancial do que para os sintomas. Aos três meses de seguimento houve a manutenção dos sintomas mas não dos ganhos interpessoais. As análises de benchemarking e de melhoria clinicamente significativas atenuam as limitações de um design de medidas repetidas, fornecendo evidência empírica para a terapia narrativa para adultos com perturbação depressiva major. Questo lavoro ha valutato i sintomi depressivi e gli outcome nella capacità di relazionarsi a livello interpersonale in 8 sedute di psicoterapia narrativa manualizzata in un gruppo di 47 adulti con depressione maggiore. I risultati ottenuti relativamente a: post terapy, miglioramento dei sintomi depressivi (d_1.36), proporzione di pazienti che hanno raggiunto un miglioramento affidabile e consistente (74%), movimento verso il funzionamento atteso nella popolazione (61%) e miglioramento clinicamente significativo (53%) sono paragonabili ai valori di riferimento della ricerca sull'outcome. I miglioramento della capacità di relazionarsi valutata alla fine del trattamento (d_.62) si è rivelata meno sostanziale rispetto ai sintomi. Un follow-up dopo 3 mesi ha dimostrato che il miglioramento sintomatologico è stato mantenuto, ma non quello degli obiettivi interpersonali. Valori di riferimento e analisi della significatività clinica hanno fatto fronte ai limiti del disegno a misure ripetute, offrendo prove empiriche sulla rilevanza della terapia narrativa in pazienti adulti con depressione maggiore
Resumo:
When crest-fixed thin trapezoidal steel cladding with closely spaced ribs is subjected to wind uplift/suction forces, local dimpling or pull-through failures occur prematurely at their screw connections because of the large stress concentrations in the cladding under the screw heads. Currently, the design of crest-fixed profiled steel cladding is mainly based on time consuming and expensive laboratory tests due to the lack of adequate design rules. In this research, a shell finite element model of crest-fixed trapezoidal steel cladding with closely spaced ribs was developed and validated using experimental results. The finite element model included a recently developed splitting criterion and other advanced features including geometric imperfections, buckling effects, contact modelling and hyperelastic behaviour of neoprene washers, and was used in a detailed parametric study to develop suitable design formulae for local failures. This paper presents the details of the finite element analyses, large scale experiments and their results including the new wind uplift design strength formulae for trapezoidal steel cladding with closely spaced ribs. The new design formulae can be used to achieve both safe and optimised solutions.
Resumo:
This article scrutinises the argument that decreasing hospital autopsy rates are outside the control of medical personnel, based as they are on families’ unwillingness to consent to autopsy procedures, and that, as a consequence, the coronial autopsy is the appropriate alternative to the important medical and educational role of the autopsy. It makes three points which are well supported by the research. First, that while hospital autopsy rates are decreasing, they have been doing so for more than 60 years, and issues beyond the simple notion of consent, like funding formulae in hospitals, increased technology and fear of litigation by doctors are all playing their part in this decline. Secondly, the issue of consent has as much to do with families not being approached as with families declining to give consent. This is well supported by recent changes in hospital policy and procedures which include senior medical personnel and detailed consent forms, both of which have been linked to rising consent rates in recent years. Finally, the perception that coronial autopsies are beyond familial consent has been challenged recently by legislative changes in both Australia and the United States of America which allow objections based on religion and culture to be heard by coroners. For these reasons, it is argued that medical personnel need to focus on increasing hospital autopsy rates, while also addressing the complex ethical issues associated with conducting medical research within the context of the coronial autopsy.
Resumo:
When used as floor joists, the new mono-symmetric LiteSteel beam (LSB) sections require web openings to provide access for inspections and various services. The LSBs consist of two rectangular hollow flanges connected by a slender web, and are subjected to lateral distortional buckling effects in the intermediate span range. Their member capacity design formulae developed to date are based on their elastic lateral buckling moments, and only limited research has been undertaken to predict the elastic lateral buckling moments of LSBs with web openings. This paper addresses this research gap by reporting the development of web opening modelling techniques based on an equivalent reduced web thickness concept and a numerical method for predicting the elastic buckling moments of LSBs with circular web openings. The proposed numerical method was based on a formulation of the total potential energy of LSBs with circular web openings. The accuracy of the proposed method’s use with the aforementioned modelling techniques was verified through comparison of its results with those of finite strip and finite element analyses of various LSBs.
Resumo:
We report three developments toward resolving the challenge of the apparent basal polytomy of neoavian birds. First, we describe improved conditional down-weighting techniques to reduce noise relative to signal for deeper divergences and find increased agreement between data sets. Second, we present formulae for calculating the probabilities of finding predefined groupings in the optimal tree. Finally, we report a significant increase in data: nine new mitochondrial (mt) genomes (the dollarbird, New Zealand kingfisher, great potoo, Australian owlet-nightjar, white-tailed trogon, barn owl, a roadrunner [a ground cuckoo], New Zealand long-tailed cuckoo, and the peach-faced lovebird) and together they provide data for each of the six main groups of Neoaves proposed by Cracraft J (2001). We use his six main groups of modern birds as priors for evaluation of results. These include passerines, cuckoos, parrots, and three other groups termed “WoodKing” (woodpeckers/rollers/kingfishers), “SCA” (owls/potoos/owlet-nightjars/hummingbirds/swifts), and “Conglomerati.” In general, the support is highly significant with just two exceptions, the owls move from the “SCA” group to the raptors, particularly accipitrids (buzzards/eagles) and the osprey, and the shorebirds may be an independent group from the rest of the “Conglomerati”. Molecular dating mt genomes support a major diversification of at least 12 neoavian lineages in the Late Cretaceous. Our results form a basis for further testing with both nuclear-coding sequences and rare genomic changes.