967 resultados para computably enumerable degrees
Resumo:
As the number of Uninhabited Airborne Systems (UAS) proliferates in civil applications, industry is increasingly putting pressure on regulation authorities to provide a path for certification and allow UAS integration into regulated airspace. The success of this integration depends on developments in improved UAS reliability and safety, regulations for certification, and technologies for operational performance and safety assessment. This paper focusses on the last topic and describes a framework for quantifying robust autonomy of UAS, which quantifies the system's ability to either continue operating in the presence of faults or safely shut down. Two figures of merit are used to evaluate vehicle performance relative to mission requirements and the consequences of autonomous decision making in motion control and guidance systems. These figures of merit are interpreted within a probabilistic framework, which extends previous work in the literature. The valuation of the figures of merit can be done using stochastic simulation scenarios during both vehicle development and certification stages with different degrees of integration of hardware-in-the-loop simulation technology. The objective of the proposed framework is to aid in decision making about the suitability of a vehicle with respect to safety and reliability relative to mission requirements.
Resumo:
Charge reversal (CR) and neutralization reionization (NR) experiments carried out on a 4-sector mass spectrometer demonstrate that isotopically labeled, linear C-4 anion rearranges upon collisional oxidation. The cations and neutrals formed in these experiments exhibit differing degrees of isotopic scrambling in their fragmentation patterns, indicative of (at least) partial isomerization of both states. Theoretical studies, employing the CCSD(T)/aug-cc-pVDZ//B3LYP/6-31G(d) level of theory, favor conversion to the rhombic C-4 isomer on both cationic and neutral potential-energy surfaces with the rhombic structures predicted to be slightly more stable than the linear forms in each case. The combination of experiment with theory indicates that the elusive rhombic C-4 is formed as a cation and as a neutral following charge stripping of linear C-4(-)
Resumo:
We have investigated the gelatinase profiles and invasiveness of clonal tumour sublines derived from a spontaneously arising mammary tumour in a Balb/cfC3H mouse. The 67NR, 66c14 and 4T1.2 sublines have low, intermediate and high metastatic potential respectively. In Boyden chamber studies, Matrigel invasion was seen to be progressively higher in the more metastatic lines 4T1.2>66c14>67NR, consistent with MMP-2 activation potential, MMP-9 secretion, and migration over either type I or IV collagen, which were low in both 67NR and 66c14 cells compared to 4T1.2 cells. These attributes are consistent with those seen in human breast cancer cell lines which appear to have undergone an epithelial-mesenchymal transition (EMT) as indicated by vimentin expression. We were, however, surprised to find vimentin expression, MT1-MMP expression and stellate Matrigel outgrowth in the non-invasive, non-metastatic 67NR cells, indicating that they had undergone an EMT despite not being invasive. We conclude that the EMT is manifested to differing degrees in these three clonal cell lines, and that the 67NR cells have either undergone a partial EMT or have since lost certain important attributes of the EMT-derived phenotype. This model should prove useful in further characterizing the regulation of MT1-MMP mediated MMP-2 activation and delineating the EMT in breast cancer progression.
Resumo:
One DDT-contaminated soil and two uncontaminated soils were used to enumerate DDT-resistant microbes (bacteria, actinomycetes and fungi) by using soil dilution agar plates in media either with 150 μg DDT ml -1 or without DDT at different temperatures (25, 37 and 55°C). Microbial populations in this study were significantly (p<0.001) affected by DDT in the growth medium. However, the numbers of microbes in long-term contaminated and uncontaminated soils were similar, presumably indicating that DDT-resistant microbes had developed over a long time exposure. The tolerance of isolated soil microbes to DDT varied in the order fungi>actinomycetes>bacteria. Bacteria from contaminated soil were more resistant to DDT than bacteria from uncontaminated soils. Microbes isolated at different temperatures also demonstrated varying degrees of DDT resistance. For example, bacteria and actinomycetes isolated at all incubation temperatures were sensitive to DDT. Conversely fungi isolated at all temperatures were unaffected by DDT.
Resumo:
New criteria of extended resiliency and extended immunity of vectorial Boolean functions, such as S-boxes for stream or block ciphers, were recently introduced. They are related to a divide-and-conquer approach to algebraic attacks by conditional or unconditional equations. Classical resiliency turns out to be a special case of extended resiliency and as such requires more conditions to be satisfied. In particular, the algebraic degrees of classically resilient S-boxes are restricted to lower values. In this paper, extended immunity and extended resiliency of S-boxes are studied and many characterisations and properties of such S-boxes are established. The new criteria are shown to be necessary and sufficient for resistance against the divide-and-conquer algebraic attacks by conditional or unconditional equations.
Resumo:
Through its Electronic Delivery of Gator Engineering (EDGE) program, University of Florida (UF) offers online master’s degrees from participating departments within the UF College of Engineering. Each master’s degree requires 10 courses (3 credit hours each). One interesting and unique aspect of the EDGE pro-gram is that distance learners are registered concurrently in the same courses with traditional on-campus students. This paper examines the specific challenges involved in integrating distance students into on-campus courses, including communication, interaction, access to resources, and equal grading practices.
Resumo:
The formation of arrays of vertically aligned nanotips on a moderately heated (up to 500 degrees C) Si surface exposed to reactive low-temperature radio frequency (RF) Ar+H(2) plasmas is studied. It is demonstrated that the nanotip surface density, aspect ratio and height dispersion strongly depend on the substrate temperature, discharge power, and gas composition. It is shown that nanotips with aspect ratios from 2.0 to 4.0 can only be produced at a higher RF power density (41.7 mW cm(-3)) and a hydrogen content of about 60%, and that larger aspect ratios can be achieved at substrate temperatures of about 300 degrees C. The use of higher (up to 500 degrees C) temperatures leads to a decrease of the aspect ratio but promotes the formation of more uniform arrays with the height dispersion decreasing to 1.5. At lower (approximately 20 mW cm(-3)) RF power density, only semispherical nanodots can be produced. Based on these experimental results, a nanotip formation scenario is proposed suggesting that sputtering, etching, hydrogen termination, and atom/radical re-deposition are the main concurrent mechanisms for the nanostructure formation. Numerical calculations of the ion flux distribution and hydrogen termination profiles can be used to predict the nanotip shapes and are in a good agreement with the experimental results. This approach can be applied to describe the kinetics of low-temperature formation of other nanoscale materials by plasma treatment.
Resumo:
Cold atmospheric-pressure plasma plumes are generated in the ambient air by a single-electrode plasma jet device powered by pulsed dc and ac sine-wave excitation sources. Comprehensive comparisons of the plasma characteristics, including electrical properties, optical emission spectra, gas temperatures, plasma dynamics, and bacterial inactivation ability of the two plasmas are carried out. It is shown that the dc pulse excited plasma features a much larger discharge current and stronger optical emission than the sine-wave excited plasma. The gas temperature in the former discharge remains very close to the room temperature across the entire plume length; the sine-wave driven discharge also shows a uniform temperature profile, which is 20-30 degrees higher than the room temperature. The dc pulse excited plasma also shows a better performance in the inactivation of gram-positive staphylococcus aureus bacteria. These results suggest that the pulsed dc electric field is more effective for the generation of nonequilibrium atmospheric pressure plasma plumes for advanced plasma health care applications.
Resumo:
The kinetics of saturation of Ni catalyst nanoparticle patterns of the three different degrees of order, used as a model for the growth of carbon nanotips on Si, is investigated numerically using a complex model that involves surface diffusion and ion motion equations. It is revealed that Ni catalyst patterns of different degrees of order, with Ni nanoparticle sizes up to 12.5 nm, exhibit different kinetics of saturation with carbon on the Si surface. It is shown that in the cases examined (surface coverage in the range of 1-50%, highly disordered Ni patterns) the relative pattern saturation factor calculated as the ratio of average incubation times for the processes conducted in the neutral and ionized gas environments reaches 14 and 3.4 for Ni nanoparticles of 2.5 and 12.5 nm, respectively. In the highly ordered Ni patterns, the relative pattern saturation factor reaches 3 for nanoparticles of 2.5 nm and 2.1 for nanoparticles of 12.5 nm. Thus, more simultaneous saturation of Ni catalyst nanoparticles of sizes in the range up to 12.5 nm, deposited on the Si substrate, can be achieved in the low-temperature plasma environment than with the neutral gas-based process.
Resumo:
A wave propagation in a complex dusty plasma with negative ions was considered. The relevant processes such as ionization, electron attachment, diffusion, positive-negative ion recombination, plasma particle collisions, as well as elastic Coulomb and inelastic dust-charging collisions were taken self-consistently. It was found that the equilibrium of the plasma as well as the propagation of ion waves were modified to various degrees by these effects.
Resumo:
This paper outlines the progress by the JoMeC (Journalism, Media & Communication) Network in developing TLO (Threshold Learning Outcome) statements for Bachelor-level university programs in the disciplines of Journalism, Public Relations and Media & Communications Studies. The paper presents the finalised TLO statement for Journalism, and outlines moves to engage discipline-based groups to further develop preliminary TLOs for Public Relations and Media & Communication Studies. The JoMeC Network was formed in 2011, in response to requirements that from 2014 all degrees and qualifications at Australian universities would be able to demonstrate that they comply with the threshold learning standards set by the Australian Qualifications Framework (AQF). The AQF’s threshold standards define the minimum types and levels of knowledge, skills and capabilities that a student must demonstrate in order to graduate. The Tertiary Education Quality and Standards Agency (TEQSA) will use the AQF’s threshold standards as a key tool in recording and assessing the performance of higher educational institutions, and determining whether they should be registered as Australian Higher Education Providers under the Higher Education Standards Framework. The Office of Learning & Teaching (OLT) places the onus on discipline communities to collaborate in order to develop and ‘own’ the threshold learning standards that can be considered the minimum learning outcomes of university-level programs in that field. With the support of an OLT Grant, the JoMeC Network’s prime goal has been to develop three sets of discipline-specific TLOs – one each for the Journalism, Public Relations, and Media & Communications Studies disciplines. This paper describes the processes of research, consultation, drafting and ongoing revision of the TLO for Journalism. It outlines the processes that the JoMeC Network has taken in developing a preliminary TLO draft to initiate discussion of Public Relations and Media & Communication Studies. The JoMeC Network plans to hand management of further development of these TLOs to scholars within the discipline who will engage with academics and other stakeholders to develop statements that the respective disciplines can embrace and ‘own’.
Resumo:
Active and collaborative learning are becoming essential strategies to attract, engage and retain students. These methods have been adopted within the Science and Engineering Faculty of Queensland University of Technology for use in its Science, Information Technology and Engineering degrees. This paper describes the adoption and application of these techniques in a specific first year unit in a new Bachelor of Information Technology degree which has majors in Computer Science and Information Systems. The paper reports on the design, development and implementation of this foundation subject and discusses how it uses active and collaborative learning to teach design thinking through a series of design challenges, and how it uses critiquing and reflection to ensure that students become more aware of design and team processes.
Resumo:
Throughout Australia, regulation of the power of sale is highly inconsistent. In response to the uncertain nature of the mortgagee’s duty at common law, many legislatures have intervened. As a result, there has been a proliferation of statutory formula conferring varying degrees of protection on mortgagors. The differences in approach indicate a lack of consensus as to the best method of regulation. This article exposes the extent of the inconsistency and provides a comparative assessment of the various provisions with reference to the policy concerns that underpin legislative intervention. The article identifies a number of deficiencies associated with existing provisions and concludes that mortgagees and mortgagors alike would benefit from improved clarity and consistency. To that end, the article proposes a model provision that seeks to address the deficiencies identified.
Resumo:
Compared with unidirectional inductive power transfer (UIPT) systems which are suitable for passive loads, bidirectional IPT (BIPT) systems can be used for active loads with power regenerative capability. There are numerous BIPT systems that have been proposed previously to achieve improved performance. However, typical BIPT systems are controlled through modulation of phase-shift of each converter while keeping the relative phase angle between voltages produced by two converters at ± 90 degrees. This paper presents theoretical analysis to show that there is a unique phase shift for each converter at which the inductive coils losses of the system is minimized for a given load. Simulated results of a BIPT system, compensated by CLCL resonant networks, are presented to demonstrate the applicability of the proposed concept and the validity of the mathematical model.
Resumo:
Background: In recent years, there have been investigations concerning upper-limbs kinematics by various devices. The latest generation of smartphones often includes inertial sensors with subunits which can detect inertial kinematics. The use of smartphones is presented as a convenient and portable analysis method for studying kinematics in terms of angular mobility and linear acceleration Objective: The aim of this study was to study humerus kinematics through six physical properties that correspond to angular mobility and acceleration in the three axes of space, obtained by a smartphone. Methods: This cross-sectional study recruited healthy young adult subjects. Descriptive and anthropometric independent variables related to age, gender, weight, size, and BMI were included. Six physical properties were included corresponding to two dependent variables for each of three special axes: mobility angle (degrees) and lineal acceleration (meters/seconds2), which were obtained thought the inertial measurement sensor embedded in the iPhone4 smartphone equipped with three two elements for the detection of kinematic variables: a gyroscope and an accelerometer. Apple uses an LIS302DL accelerometer in the iPhone4. The application used to obtain kinematic data was xSensor Pro, Crossbow Technology, Inc., available at the Apple AppStore. The iPhone4 has storage capacity of 20MB. The data-sampling rate was set to 32 Hz, and the data for each analytical task was transmitted as email for analysis and postprocessing The iPhone4 was placed in the right half of the body of each subject located in the middle third of the humerus slightly posterior snugly secured by a neoprene fixation belt. Tasks were explained concisely and clearly. The beginning and the end were decided by a verbal order by the researcher. Participants were placed standing, starting from neutral position, performing the following analytical tasks: 180º right shoulder abduction (eight repetitions) and, after a break of about 3 minutes, 180º right shoulder flexion (eight repetitions). Both tasks were performed with the elbow extended, wrist in neutral position and the palmar area of the hand toward the midline at the beginning and end of the movement. Results: A total of 11 subjects (8 men, 3 woman) were measured, whose mean of age was 24.7 years (SD = 4.22 years) and their average BMI was 22.64 Kg/m2 (SD = 2.29 Kg/m2). The mean of angular mobility collected by the smartphone was bigger in pitch axis for flexion (= 157.28°, SD= 12.35°) and abduction (= 151.71°, SD= 9.70°). With regard to acceleration, the highest peak mean value was shown in the Y motion axis during flexion (= 19.5°/s2, SD = 0.8°/s2) and abduction (= 19.4°/s2, SD = 0.8°/s2). Also, descriptive graphics of analytical tasks performed were obtained. Conclusions: This study shows how humerus contributes to upper-limb motion and it identified movement patterns. Therefore, it supports smartphone as a useful device to analyze upper-limb kinematics. Thanks to this study it´s possible to develop a simple application that facilitates the evaluation of the patient.