41 resultados para computer forensics, digital evidence, computer profiling, time-lining, temporal inconsistency, computer forensic object model

em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Clashes occur when components in an assembly unintentionally violate others. If clashes are not identified and designed out before manufacture, product function will be reduced or substantial cost will be incurred in rework. This paper introduces a novel approach for eliminating clashes by identifying which parameters defining the part features in a computer aided design (CAD) assembly need to change and by how much. Sensitivities are calculated for each parameter defining the part and the assembly as the change in clash volume due to a change in each parameter value. These sensitivities give an indication of important parameters and are used to predict the optimum combination of changes in each parameter to eliminate the clash. Consideration is given to the fact that it is sometimes preferable to modify some components in an assembly rather than others and that some components in an assembly cannot be modified as the designer does not have control over their shape. Successful elimination of clashes has been demonstrated in a number of example assemblies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Rift Valley fever (RVF) is a zoonotic arbovirosis for which the primary hosts are domestic livestock (cattle, sheep and goats). RVF was first described in South Africa in 1950-1951. Mechanisms for short and long distance transmission have been hypothesised, but there is little supporting evidence. Here we describe RVF occurrence and spatial distribution in South Africa in 2008-11, and investigate the presence of a contagious process in order to generate hypotheses on the different mechanisms of transmission. Methodology/Principal Findings: A total of 658 cases were extracted from World Animal Health Information Database. Descriptive statistics, epidemic curves and maps were produced. The space-time K-function was used to test for evidence of space-time interaction. Five RVF outbreak waves (one in 2008, two in 2009, one in 2010 and one in 2011) of varying duration, location and size were reported. About 70% of cases (n = 471) occurred in 2010, when the epidemic was almost country-wide. No strong evidence of space-time interaction was found for 2008 or the second wave in 2009. In the first wave of 2009, a significant space-time interaction was detected for up to one month and over 40 km. In 2010 and 2011 a significant intense, short and localised space-time interaction (up to 3 days and 15 km) was detected, followed by one of lower intensity (up to 2 weeks and 35 to 90 km). Conclusions/Significance: The description of the spatiotemporal patterns of RVF in South Africa between 2008 and 2011 supports the hypothesis that during an epidemic, disease spread may be supported by factors other than active vector dispersal. Limitations of under-reporting and space-time K-function properties are discussed. Further spatial analyses and data are required to explain factors and mechanisms driving RVF spread. © 2012 Métras et al.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The creation of idealised, dimensionally reduced meshes for preliminary design and optimisation remains a time-consuming, manual task. A dimensionally reduced model is ideal for assessing design changes through modification of element properties without the need to create a new geometry or mesh. In this paper, a novel approach for automating the creation of mixed dimensional meshes is presented. The input to the process is a solid model which has been decomposed into a non-manifold assembly of smaller volumes with different meshing significance. Associativity between the original solid model and the dimensionally reduced equivalent is maintained. The approach is validated by means of a free-free modal analysis on an output mesh of a gas turbine engine component of industrial complexity. Extensions and enhancements to this work are also discussed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In a model commonly used in dynamic traffic assignment the link travel time for a vehicle entering a link at time t is taken as a function of the number of vehicles on the link at time t. In an alternative recently introduced model, the travel time for a vehicle entering a link at time t is taken as a function of an estimate of the flow in the immediate neighbourhood of the vehicle, averaged over the time the vehicle is traversing the link. Here we compare the solutions obtained from these two models when applied to various inflow profiles. We also divide the link into segments, apply each model sequentially to the segments and again compare the results. As the number of segments is increased, the discretisation refined to the continuous limit, the solutions from the two models converge to the same solution, which is the solution of the Lighthill, Whitham, Richards (LWR) model for traffic flow. We illustrate the results for different travel time functions and patterns of inflows to the link. In the numerical examples the solutions from the second of the two models are closer to the limit solutions. We also show that the models converge even when the link segments are not homogeneous, and introduce a correction scheme in the second model to compensate for an approximation error, hence improving the approximation to the LWR model.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objectives: Methicillin-resistant Staphylococcus aureus (MRSA) is a major nosocomial pathogen worldwide. A wide range of factors have been suggested to influence the spread of MRSA. The objective of this study was to evaluate the effect of antimicrobial drug use and infection control practices on nosocomial MRSA incidence in a 426-bed general teaching hospital in Northern Ireland.

Methods: The present research involved the retrospective collection of monthly data on the usage of antibiotics and on infection control practices within the hospital over a 5 year period (January 2000–December 2004). A multivariate ARIMA (time-series analysis) model was built to relate MRSA incidence with antibiotic use and infection control practices.

Results: Analysis of the 5 year data set showed that temporal variations in MRSA incidence followed temporal variations in the use of fluoroquinolones, third-generation cephalosporins, macrolides and amoxicillin/clavulanic acid (coefficients = 0.005, 0.03, 0.002 and 0.003, respectively, with various time lags). Temporal relationships were also observed between MRSA incidence and infection control practices, i.e. the number of patients actively screened for MRSA (coefficient = -0.007), the use of alcohol-impregnated wipes (coefficient = -0.0003) and the bulk orders of alcohol-based handrub (coefficients = -0.04 and -0.08), with increased infection control activity being associated with decreased MRSA incidence, and between MRSA incidence and the number of new patients admitted with MRSA (coefficient = 0.22). The model explained 78.4% of the variance in the monthly incidence of MRSA.

Conclusions: The results of this study confirm the value of infection control policies as well as suggest the usefulness of restricting the use of certain antimicrobial classes to control MRSA.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Adult animals that cannibalise juvenile conspecifics may gain energy but also risk filial cannibalism, that is, consumption of their own offspring. However, individuals vary in the magnitude of the costs and benefits of cannibalism depending on factors such as their current energy reserves or the probability that they have offspring in the vicinity. They may therefore also vary in the extent to which they participate in cannibalism. This study investigated whether the sex or brooding status of adult amphipods (Gammarus pulex) influenced whether they participated in cannibalism of juveniles. For females carrying embryos within their brood pouch, we also investigated two hypotheses to explain the presence or absence of cannibalistic behaviour by determining whether cannibalism was correlated with factors that might reflect energy demands (body length, brood size), or that might reflect a temporal change in cannibalistic behaviour (corresponding to stage of brood development). All reproductive classes of adults participated in some level of juvenile cannibalism, but females carrying offspring at an advanced stage of development (close to emergence from the brood pouch) consumed significantly fewer juveniles than other groups. Females thus appear to significantly reduce cannibalism of juveniles concurrent with the time when their own eggs are hatching within the brood pouch, prior to the release of their offspring. Because the experiment tested female responses to unfamiliar juveniles, this reflects a temporal change in behaviour rather than a response to phenotypic recognition cues, although additional direct recognition cannot be ruled out. Brooding females with large brood sizes or large body lengths, which might have disproportionately greater energetic demands, were not more likely to cannibalise juveniles. We also noted that juveniles that survived in trials where cannibalism occurred were significantly more likely to be found at the water surface, suggesting a possible adaptation to escape cannibalistic adults. Overall, our results provide evidence that amphipods use indirect temporal cues to avoid filial cannibalism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The motivation for this paper is to present an approach for rating the quality of the parameters in a computer-aided design model for use as optimization variables. Parametric Effectiveness is computed as the ratio of change in performance achieved by perturbing the parameters in the optimum way, to the change in performance that would be achieved by allowing the boundary of the model to move without the constraint on shape change enforced by the CAD parameterization. The approach is applied in this paper to optimization based on adjoint shape sensitivity analyses. The derivation of parametric effectiveness is presented for optimization both with and without the constraint of constant volume. In both cases, the movement of the boundary is normalized with respect to a small root mean squared movement of the boundary. The approach can be used to select an initial search direction in parameter space, or to select sets of model parameters which have the greatest ability to improve model performance. The approach is applied to a number of example 2D and 3D FEA and CFD problems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper describes a data model for content representation of temporal media in an IP based sensor network. The model is formed by introducing the idea of semantic-role from linguistics into the underlying concepts of formal event representation with the aim of developing a common event model. The architecture of a prototype system for a multi camera surveillance system, based on the proposed model is described. The important aspects of the proposed model are its expressiveness, its ability to model content of temporal media, and its suitability for use with a natural language interface. It also provides a platform for temporal information fusion, as well as organizing sensor annotations by help of ontologies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article examines the influence on the engineering design process of the primary objective of validation, whether it is proving a model, a technology or a product. Through the examination of a number of stiffened panel case studies, the relationships between simulation, validation, design and the final product are established and discussed. The work demonstrates the complex interactions between the original (or anticipated) design model, the analysis model, the validation activities and the product in service. The outcome shows clearly some unintended consequences. High fidelity validation test simulations require a different set of detailed parameters to accurately capture behaviour. By doing so, there is a divergence from the original computer-aided design model, intrinsically limiting the value of the validation with respect to the product. This work represents a shift from the traditional perspective of encapsulating and controlling errors between simulation and experimental test to consideration of the wider design-test process. Specifically, it is a reflection on the implications of how models are built and validated, and the effect on results and understanding of structural behaviour. This article then identifies key checkpoints in the design process and how these should be used to update the computer-aided design system parameters for a design. This work strikes at a fundamental challenge in understanding the interaction between design, certification and operation of any complex system.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper points out a serious flaw in dynamic multivariate statistical process control (MSPC). The principal component analysis of a linear time series model that is employed to capture auto- and cross-correlation in recorded data may produce a considerable number of variables to be analysed. To give a dynamic representation of the data (based on variable correlation) and circumvent the production of a large time-series structure, a linear state space model is used here instead. The paper demonstrates that incorporating a state space model, the number of variables to be analysed dynamically can be considerably reduced, compared to conventional dynamic MSPC techniques.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Understanding how microorganisms influence the physical and chemical properties of the subsurface is hindered by our inability to observe microbial dynamics in real time and with high spatial resolution. Here, we investigate the use of noninvasive geophysical methods to monitor biomineralization at the laboratory scale during stimulated sulfate reduction under dynamic flow conditions. Alterations in sediment characteristics resulting from microbe-mediated sulfide mineral precipitation were concomitant with changes in complex resistivity and acoustic wave propagation signatures. The sequestration of zinc and iron in insoluble sulfides led to alterations in the ability of the pore fluid to conduct electrical charge and of the saturated sediments to dissipate acoustic energy. These changes resulted directly from the nucleation, growth, and development of nanoparticulate precipitates along grain surfaces and within the pore space. Scanning and transmission electron microscopy (SEM and TEM) confirmed the sulfides to be associated with cell surfaces, with precipitates ranging from aggregates of individual 3-5 nm nanocrystals to larger assemblages of up to 10-20 m in diameter. Anomalies in the geophysical data reflected the distribution of mineral precipitates and biomass over space and time, with temporal variations in the signals corresponding to changes in the aggregation state of the nanocrystalline sulfides. These results suggest the potential for using geophysical techniques to image certain subsurface biogeochemical processes, such as those accompanying the bioremediation of metal-contaminated aquifers.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Toluene- and naphthalene-dioxygenase-catalysed sulfoxidation of nine disubstituted methylphenyl sulfides, using whole cells of Pseudomonas putida, consistently gave the corresponding enantioenriched sulfoxides. Using the P. putida UV4 mutant strain, and these substrates, differing proportions of the corresponding cis-dihydrodiol sulfides were also isolated. Evidence was found for the concomitant dioxygenase-catalysed cis-dihydroxylation and sulfoxidation of methyl paratolyl sulfide. A simultaneous stereoselective reductase-catalysed deoxygenation of (S)-methyl para-tolyl sulfoxide, led to an increase in the proportion of the corresponding cis-dihydrodiol sulfide. The enantiopurity values and absolute configurations of the corresponding cis-dihydrodiol metabolites from methyl ortho-and para-substituted phenyl sulfides were determined by different methods, including chemoenzymatic syntheses from the cis-dihydrodiol metabolites of para-substituted iodobenzenes. Further evidence was provided to support the validity of an empirical model to predict, (i) the stereochemistry of cis-dihydroxylation of para-substituted benzene substrates, and (ii) the regiochemistry of cis-dihydroxylation reactions of ortho-substituted benzenes, each using toluene dioxygenase as biocatalyst.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper studies a problem of dynamic pricing faced by a retailer with limited inventory, uncertain about the demand rate model, aiming to maximize expected discounted revenue over an infinite time horizon. The retailer doubts his demand model which is generated by historical data and views it as an approximation. Uncertainty in the demand rate model is represented by a notion of generalized relative entropy process, and the robust pricing problem is formulated as a two-player zero-sum stochastic differential game. The pricing policy is obtained through the Hamilton-Jacobi-Isaacs (HJI) equation. The existence and uniqueness of the solution of the HJI equation is shown and a verification theorem is proved to show that the solution of the HJI equation is indeed the value function of the pricing problem. The results are illustrated by an example with exponential nominal demand rate.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Climate change, whether gradual or sudden, has frequently been invoked as a causal factor to explain many aspects of cultural change during the prehistoric and early historic periods. Critiquing such theories has often proven difficult, not least because of the imprecise dating of many aspects of the palaeoclimate or archaeological records and the difficulties of merging the two strands of research. Here we consider one example of the archaeological record – peatland site construction in Ireland – which has previously been interpreted in terms of social response to climate change and examine whether close scrutiny of the archaeological and palaeoenvironmental records uphold the climatically deterministic hypotheses. We evaluate evidence for phasing in the temporal distribution of trackways and related sites in Irish peatlands, of which more than 3,500 examples have been recorded, through the examination of ~350 dendrochronological and 14C dates from these structures. The role of climate change in influencing when such sites were constructed is assessed by comparing visually and statistically the frequency of sites over the last 4,500 years with well-dated, multi-proxy climate reconstructions from Irish peatlands. We demonstrate that national patterns of “peatland activity” exist that indicate that the construction of sites in bogs was neither a constant nor random phenomenon. Phases of activity (i.e. periods in which the number of structures increased), as well as the ‘lulls’ that separate them, show no consistent correlation with periods of wetter or drier conditions on the bogs, suggesting that the impetus for the start or cessation of such activity was not climatically-determined. We propose that trigger(s) for peatland site construction in Ireland must instead also be sought within the wider, contemporary social background. Perhaps not surprisingly, a comparison with archaeological and palynological evidence shows that peatland activity tends to occur at times of more expansive settlement and land-use, suggesting that the bogs were used when the landscape was being more widely occupied. Interestingly, the lulls in peatland site construction coincide with transitional points between nominal archaeological phases, typically defined on the basis of their material culture, implying that there may indeed have been a cultural discontinuity at these times. © 2012 Elsevier Ltd. All rights reserved.