821 resultados para techniques to develop formalisms
Resumo:
This article charts the development of the 'Create a Better Online You' (CBOY) project. The focus of CBOY was the social media skills of undergraduate students at QUT. While many students will have encountered 'cybersafety' training in primary or secondary school, however, a comprehensive environmental scan revealed little in the way of social media resources targeted at undergraduate students. In particular, there was little to no focus on the ways in which social media could be used strategically to develop a positive online reputation and enhance chances of employability post tertiary education. The resources created as part of CBOY were the result of a comprehensive literature review, environmental scan, interviews with key internal and external stakeholders, and in discussion with undergraduate students at Queensland University of Technology (QUT). Following the comprehensive environmental scan, it appears that CBOY represents one of the first free, openly accessible, interactive resources targeting the social media skills of undergraduates.
Resumo:
In Australia, railway systems play a vital role in transporting the sugarcane crop from farms to mills. In this paper, a novel job shop approach is proposed to create a more efficient integrated harvesting and sugarcane transport scheduling system to reduce the cost of sugarcane transport. There are several benefits that can be attained by treating the train scheduling problem as a job shop problem. Job shop is generic and suitable for all trains scheduling problems. Job shop technique prevents operating two trains on one section at the same time because it considers that the section or the machine is unique. This technique is more promising to find better solutions in reasonable computation times.
Resumo:
Detect and Avoid (DAA) technology is widely acknowledged as a critical enabler for unsegregated Remote Piloted Aircraft (RPA) operations, particularly Beyond Visual Line of Sight (BVLOS). Image-based DAA, in the visible spectrum, is a promising technological option for addressing the challenges DAA presents. Two impediments to progress for this approach are the scarcity of available video footage to train and test algorithms, in conjunction with testing regimes and specifications which facilitate repeatable, statistically valid, performance assessment. This paper includes three key contributions undertaken to address these impediments. In the first instance, we detail our progress towards the creation of a large hybrid collision and near-collision encounter database. Second, we explore the suitability of techniques employed by the biometric research community (Speaker Verification and Language Identification), for DAA performance optimisation and assessment. These techniques include Detection Error Trade-off (DET) curves, Equal Error Rates (EER), and the Detection Cost Function (DCF). Finally, the hybrid database and the speech-based techniques are combined and employed in the assessment of a contemporary, image based DAA system. This system includes stabilisation, morphological filtering and a Hidden Markov Model (HMM) temporal filter.
Resumo:
Today finite element method is a well established tool in engineering analysis and design. Though there axe many two and three dimensional finite elements available, it is rare that a single element performs satisfactorily in majority of practical problems. The present work deals with the development of 4-node quadrilateral element using extended Lagrange interpolation functions. The classical univariate Lagrange interpolation is well developed for 1-D and is used for obtaining shape functions. We propose a new approach to extend the Lagrange interpolation to several variables. When variables axe more than one the method also gives the set of feasible bubble functions. We use the two to generate shape function for the 4-node arbitrary quadrilateral. It will require the incorporation of the condition of rigid body motion, constant strain and Navier equation by imposing necessary constraints. The procedure obviates the need for isoparametric transformation since interpolation functions are generated for arbitrary quadrilateral shapes. While generating the element stiffness matrix, integration can be carried out to the accuracy desired by dividing the quadrilateral into triangles. To validate the performance of the element which we call EXLQUAD4, we conduct several pathological tests available in the literature. EXLQUAD4 predicts both stresses and displacements accurately at every point in the element in all the constant stress fields. In tests involving higher order stress fields the element is assured to converge in the limit of discretisation. A method thus becomes available to generate shape functions directly for arbitrary quadrilateral. The method is applicable also for hexahedra. The approach should find use for development of finite elements for use with other field equations also.
Resumo:
Reliable estimates of species density are fundamental to planning conservation strategies for any species; further, it is equally crucial to identify the most appropriate technique to estimate animal density. Nocturnal, small-sized animal species are notoriously difficult to census accurately and this issue critically affects their conservation status, We carried out a field study in southern India to estimate the density of slender loris, a small-sized nocturnal primate using line and strip transects. Actual counts of study individuals yielded a density estimate of 1.61 ha(-1); density estimate from line transects was 1.08 ha(-1); and density estimates varied from 1.06 ha(-1) to 0.59 ha(-1) in different fixed-width strip transects. We conclude that line and strip transects may typically underestimate densities of cryptic, nocturnal primates.
Resumo:
The objective of this work was to develop a versatile strategy for preparing biodegradable polymers with tunable properties for biomedical applications. A family of xylitol-based cross-linked polyesters was synthesized by melt condensation. The effect of systematic variation of chain length of the diacid, stoichiometric ratio, and postpolymerization curing time on the physicochemical properties was characterized. The degradation rate decreased as the chain length of the diacid increased. The polyesters synthesized by this approach possess a diverse spectrum of degradation (ranging from similar to 4 to 100% degradation in 7 days), mechanical strength (from 0.5 to similar to 15 MPa) and controlled release properties. The degradation was a first-order process and the rate constant of degradation decreased linearly as the hydrophobicity of the polyester increased. In controlled release studies, the order of diffusion increased with chain length and curing time. The polymers were found to be cytocompatible and are thus suitable for possible use as biodegradable polymers. This work demonstrates that this particular combinatorial approach to polymer synthesis can be used to prepare biomaterials with independently tunable properties.
Resumo:
The problem addressed in this paper is sound, scalable, demand-driven null-dereference verification for Java programs. Our approach consists conceptually of a base analysis, plus two major extensions for enhanced precision. The base analysis is a dataflow analysis wherein we propagate formulas in the backward direction from a given dereference, and compute a necessary condition at the entry of the program for the dereference to be potentially unsafe. The extensions are motivated by the presence of certain ``difficult'' constructs in real programs, e.g., virtual calls with too many candidate targets, and library method calls, which happen to need excessive analysis time to be analyzed fully. The base analysis is hence configured to skip such a difficult construct when it is encountered by dropping all information that has been tracked so far that could potentially be affected by the construct. Our extensions are essentially more precise ways to account for the effect of these constructs on information that is being tracked, without requiring full analysis of these constructs. The first extension is a novel scheme to transmit formulas along certain kinds of def-use edges, while the second extension is based on using manually constructed backward-direction summary functions of library methods. We have implemented our approach, and applied it on a set of real-life benchmarks. The base analysis is on average able to declare about 84% of dereferences in each benchmark as safe, while the two extensions push this number up to 91%. (C) 2014 Elsevier B.V. All rights reserved.
Resumo:
A mutually miscible homopolymer (here polymethyl methacrylate; PMMA) was employed to tailor the interfacial properties of immiscible polycarbonate/styrene acrylonitrile (PC/SAN) blends. In order to design materials that can shield microwave radiation, one of the key properties i.e. electrical conductivity was targeted here using a conducting inclusion; multiwall carbon nanotubes (MWNTs). Owing to higher polarity, MWNTs prefer PC over SAN which though enhance the electrical conductivity of the blends, they don't improve the interfacial properties and results in poor mechanical properties. Hence, an efficient strategy has been adopted here to simultaneously enhance the mechanical, electrical and microwave attenuation properties. Herein, the MWNTs were wrapped by PMMA via in situ polymerization of MMA (methyl methacrylate). This strategy resulted in the migration of PMMA modified MWNTs towards the blend's interface and resulted in an effective stress transfer across the interface leading to improved mechanical and dynamic mechanical properties. Interestingly, the bulk electrical conductivity of the blends was also enhanced, manifesting the improved dispersion of the MWNTs. The state of dispersion of the MWNTs and the phase morphology were assessed using scanning electron microscopy. The microwave attenuation properties were evaluated using a vector network analyzer (VNA) in the X and K-u-band frequencies. The blends with PMMA wrapped MWNTs manifested a -21 dB of shielding effectiveness which suggests attenuation of more than 99% of the incoming microwave radiation. More interestingly, the attenuation constant could be tuned here employing this unique strategy. This study clearly opens a new tool box in designing materials that show improved mechanical, dynamic mechanical, electrical conductivity and microwave shielding properties.
Resumo:
Case study about how East Berkshire College rolled out Microsoft Lync 2013 Unified Communication™ system to enhance opportunities to develop employability skills.
Resumo:
Implementing resource discovery techniques at the Museum of English Rural Life and Special Collections, University of Reading Using resource discovery techniques to create a user friendly web presence
Resumo:
Radar services are occasionally affected by wind farms. This paper presents a comprehensive description of the effects that a wind farm may cause on the different radar services, and it compiles a review of the recent research results regarding the mitigation techniques to minimize this impact. Mitigation techniques to be applied at the wind farm and on the radar systems are described. The development of thorough impact studies before the wind farm is installed is presented as the best way to analyze in advance the potential for interference, and subsequently identify the possible solutions to allow the coexistence of wind farms and radar services.