989 resultados para Knight, Marcus


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Supercontinuum generation is investigated experimentally and numerically in a highly nonlinear indexguiding photonic crystal optical fiber in a regime in which self-phase modulation of the pump wave makes a negligible contribution to spectral broadening. An ultrabroadband octave-spanning white-light continuum is generated with 60-ps pump pulses of subkilowatt peak power. The primary mechanism of spectral broadening is identified as the combined action of stimulated Raman scattering and parametric four-wave mixing. The observation of a strong anti-Stokes Raman component reveals the importance of the coupling between stimulated Raman scattering and parametric four-wave mixing in highly nonlinear photonic crystal fibers and also indicates that non-phase-matched processes contribute to the continuum. Additionally, the pump input polarization affects the generated continuum through the influence of polarization modulational instability. The experimental results are in good agreement with detailed numerical simulations. These findings demonstrate the importance of index-guiding photonic crystal fibers for the design of picosecond and nanosecond supercontinuum light sources. © 2002 Optical Society of America.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The generation of a spatially single-mode white-light supercontinuum has been observed in a photonic crystal fiber pumped with 60-ps pulses of subkilowatt peak power. The spectral broadening is identified as being due to the combined action of stimulated Raman scattering and parametric four-wave-mixing generation, with a negligible contribution from the self-phase modulation of the pump pulses. The experimental results are in good agreement with detailed numerical simulations. These findings demonstrate that ultrafast femtosecond pulses are not needed for efficient supercontinuum generation in photonic crystal fibers. © 2001 Optical Society of America.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

info:eu-repo/semantics/published

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O estudo é uma pesquisa-ação, na área da Informática na Educação Matemática, sobre a forma de aprender a aprender cooperativamente, segundo os Estudos Sociológicos de Piaget, no espaço de aprendizagem digital da Matemática, desenvolvida no IFRS – Osório, em 2011 e 2012, com 60 estudantes do ensino médio técnico em informática. A questão central é como analisar e compreender o processo de aprendizagem cooperativa dos conceitos de Matemática neste espaço. A definição deste espaço e de aprendizagem cooperativa é resultado desta pesquisa. Além disso, demonstra-se a construção dos conceitos de Matemática, e a mobilização dos estudantes em aprender incorporando-se as tecnologias digitais online às aulas de Matemática, sob a autonomia e responsabilidade de cada estudante e/ou de seu grupo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes a project aimed at making Computational Fluid Dynamics (CFD) based fire simulation accessible to members of the fire safety engineering community. Over the past few years, the practise of CFD based fire simulation has begun the transition from the confines of the research laboratory to the desk of the fire safety engineer. To a certain extent, this move has been driven by the demands of performance based building codes. However, while CFD modelling has many benefits over other forms of fire simulation, it requires a great deal of expertise on the user’s part to obtain reasonable simulation results. The project described in this paper, SMARTFIRE, aims to relieve some of this dependence on expertise so that users are less concerned with the details of CFD analysis and can concentrate on results. This aim is achieved by the use of an expert system component as part of the software suite which takes some of the expertise burden away from the user. SMARTFIRE also makes use of the latest developments in CFD technology in order to make the CFD analysis more efficient. This paper describes design considerations of the SMARTFIRE software, emphasising its open architecture, CFD engine and knowledge based systems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a reified temporal logic for representing and reasoning about temporal and non-temporal relationships between non-temporal assertions. A clear syntax and semantics for the logic is formally provided. Three types of predicates, temporal predicates, non-temporal predicates and meta-predicates, are introduced. Terms of the proposed language are partitioned into three types, temporal terms, non-temporal terms and propositional terms. Reified propositions consist of formulae with each predicate being either a temporal predicate or a meta-predicate. Meta-predicates may take both temporal terms and propositional terms together as arguments or take propositional terms alone. A standard formula of the classical first-order language with each predicate being a non-temporal predicate taking only non-temporal terms as arguments is reified as just a propositional term. A general time ontology has been provided which can be specialized to a variety of existing temporal systems. The new logic allows one to predicate and quantify over propositional terms while according a special status of time; for example, assertions such as ‘effects cannot precede their causes’ is ensured in the logic, and some problematic temporal aspects including the delay time between events and their effects can be conveniently expressed. Applications of the logic are presented including the characterization of the negation of properties and their contextual sentences, and the expression of temporal relations between actions and effects.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, a knowledge-based approach is proposed for the management of temporal information in process control. A common-sense theory of temporal constraints over processes/events, allowing relative temporal knowledge, is employed here as the temporal basis for the system. This theory supports duration reasoning and consistency checking, and accepts relative temporal knowledge which is in a form normally used by human operators. An architecture for process control is proposed which centres on an historical database consisting of events and processes, together with the qualitative temporal relationships between their occurrences. The dynamics of the system is expressed by means of three types of rule: database updating rules, process control rules, and data deletion rules. An example is provided in the form of a life scheduler, to illustrate the database and the rule sets. The example demonstrates the transitions of the database over time, and identifies the procedure in terms of a state transition model for the application. The dividing instant problem for logical inference is discussed with reference to this process control example, and it is shown how the temporal theory employed can be used to deal with the problem.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A general system is presented in this paper which supports the expression of relative temporal knowledge in process control and management. This system allows knowledge of Allen's temporal relations over time elements, which may be both intervals and points. The objectives and characteristics of two major temporal attributes, i.e. ‘transaction time’ and ‘valid time’, are described. A graphical representation for the temporal network is presented, and inference over the network may be made by means of a consistency checker in terms of the graphical representation. An illustrative example of the system as applied to process control and management is provided.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper introduces a few architectural concepts from FUELGEN, that generates a "cloud" of reload patterns, like the generator in the FUELCON expert system, but unlike that generator, is based on a genetic algorithm. There are indications FUELGEN may outperform FUELCON and other tools as reported in the literature, in well-researched case studies, but careful comparisons have to be carried out. This paper complements the information in two other recent papers on FUELGEN. Moreover, a sequel project is outlined.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The paper describes the design of an efficient and robust genetic algorithm for the nuclear fuel loading problem (i.e., refuellings: the in-core fuel management problem) - a complex combinatorial, multimodal optimisation., Evolutionary computation as performed by FUELGEN replaces heuristic search of the kind performed by the FUELCON expert system (CAI 12/4), to solve the same problem. In contrast to the traditional genetic algorithm which makes strong requirements on the representation used and its parameter setting in order to be efficient, the results of recent research results on new, robust genetic algorithms show that representations unsuitable for the traditional genetic algorithm can still be used to good effect with little parameter adjustment. The representation presented here is a simple symbolic one with no linkage attributes, making the genetic algorithm particularly easy to apply to fuel loading problems with differing core structures and assembly inventories. A nonlinear fitness function has been constructed to direct the search efficiently in the presence of the many local optima that result from the constraint on solutions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a formalism for representing temporal knowledge in legal discourse that allows an explicit expression of time and event occurrences. The fundamental time structure is characterized as a well‐ordered discrete set of primitive times, i.e. non‐decomposable intervals with positive duration or points with zero duration), from which decomposable intervals can be constructed. The formalism supports a full representation of both absolute and relative temporal knowledge, and a formal mechanism for checking the temporal consistency of a given set of legal statements is provided. The general consistency checking algorithm which addresses both absolute and relative temporal knowledge turns out to be a linear programming problem, while in the special case where only relative temporal relations are involved, it becomes a simple question of searching for cycles in the graphical representation of the corresponding legal text.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes a project aimed at making Computational Fluid Dynamics (CFD)- based fire simulation accessible to members of the fire safety engineering community. Over the past few years, the practice of CFD-based fire simulation has begun the transition from the confines of the research laboratory to the desk of the fire safety engineer. To a certain extent, this move has been driven by the demands of performance based building codes. However, while CFD modeling has many benefits over other forms of fire simulation, it requires a great deal of expertise on the user’s part to obtain reasonable simulation results. The project described in this paper, SMARTFIRE, aims to relieve some of this dependence on expertise so that users are less concerned with the details of CFD analysis and can concentrate on results. This aim is achieved by the use of an expert system component as part of the software suite which takes some of the expertise burden away from the user. SMARTFIRE also makes use of the latest developments in CFD technology in order to make the CFD analysis more efficient. This paper describes design considerations of the SMARTFIRE software, emphasizing its open architecture, CFD engine and knowledge-based systems.