984 resultados para Coloured petri nets


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose: To determine the effect of coloured light filter overlays on reading rates for people with age-related macular degeneration (AMD). Method: Using a prospective clinical trial design, we examined the null hypothesis that coloured light filter overlays do not improve reading rates in AMD when compared to a clear filter. Reading rates for 12 subjects with non-exudative AMD, associated with a relative scotoma and central fixation (mean age 81 years, SD 5.07 years) were determined using the Rate of Reading Test® (printed, nonsense, lower case sans serif, stationary text) with 10 different, coloured light filter overlays (Intuitive Overlays®; figures in brackets are percentage transmission values); rose (78%), pink (78%), purple (67%), aqua (81%), blue (74%), lime-green (86%), mint-green (85%), yellow (93%), orange (83%) and grey (71%). A clear overlay (Roscolene # 00) (360 cdm-2) with 100% transmittance was used as a control. Results: ANOVA indicated that there was no statistically significant difference in reading rates with the coloured light filter overlays compared to the clear filter. Furthermore, chi-squared analysis indicated that the rose, purple and blue filters had a significantly poorer overall ranking in terms of reading rates compared to the other coloured and clear light filters. Conclusion: Coloured light filter overlays are unlikely to provide a clinically significant improvement in reading rates for people with non-exudative AMD associated with a relative scotoma and central fixation. Copyright © Acta Ophthalmol Scand 2004.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Sustained fixation of a bright coloured stimulus will, on extinction of the stimulus and continued steady fixation, induce an afterimage whose colour is complementary to that of the initial stimulus; an effect thought to be caused by fatigue of cones and/or of cone-opponent processes to different colours. However, to date, very little is known about the specific pathway that causes the coloured afterimage. Using isoluminant coloured stimuli recent studies have shown that pupil constriction is induced by onset and offset of the stimulus, the latter being attributed specifically to the subsequent emergence of the coloured afterimage. The aim of the study was to investigate how the offset pupillary constriction is generated in terms of input signals from discrete functional elements of the magno- and/or parvo-cellular pathways, which are known principally to convey, respectively, luminance and colour signals. Changes in pupil size were monitored continuously by digital analysis of an infra-red image of the pupil while observers viewed isoluminant green pulsed, ramped or luminance masked stimuli presented on a computer monitor. It was found that the amplitude of the offset pupillary constriction decreases when a pulsed stimulus is replaced by a temporally ramped stimulus and is eliminated by a luminance mask. These findings indicate for the first time that pupillary constriction associated with a coloured afterimage is mediated by the magno-cellular pathway. © 2003 Elsevier Science Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose: To evaluate and compare the functional and perceived benefits of wearing coloured lenses by patients with age-related macular degeneration (ARMD). Method: Ten subjects with early ARMD and five elderly controls wore a selection of NoIR wrap-around coloured lenses (yellow 29.7% light transmission, orange 22.9%, red 16.8% and grey 10.3%), each for a duration of 7 days. Contrast sensitivity, colour vision, visual acuity, the effect of glare and peripheral sensitivity were measured for each lens and compared with a control (no lens) condition. Subjective ratings of visual performance were also scored. Results: Compared with the no filter condition, red and grey lenses reduced contrast sensitivity whereas yellow and orange lenses increased contrast sensitivity. These objective changes were supported by subjective ratings in subjects with ARMD. Grey lenses reduced the loss of contrast sensitivity usually suffered in the presence of glare, whereas visual acuity and peripheral sensitivity decreased with red lenses. Colour vision became distorted with red lenses in control subjects, but was relatively unaffected by the use of coloured lenses in subjects with ARMD. Conclusions: The subjective benefit of coloured lenses appears to be due to a minor enhancement of contrast sensitivity. © 2002 The College of Optometrists.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Special nets which characterize Cartesian, geodesic, Chebyshevian, geodesic- Chebyshevian and Chebyshevian-geodesic compositions are introduced. Con- ditions for the coefficients of the connectedness in the parameters of these special nets are found.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Special generalizing for the artificial neural nets: so called RFT – FN – is under discussion in the report. Such refinement touch upon the constituent elements for the conception of artificial neural network, namely, the choice of main primary functional elements in the net, the way to connect them(topology) and the structure of the net as a whole. As to the last, the structure of the functional net proposed is determined dynamically just in the constructing the net by itself by the special recurrent procedure. The number of newly joining primary functional elements, the topology of its connecting and tuning of the primary elements is the content of the each recurrent step. The procedure is terminated under fulfilling “natural” criteria relating residuals for example. The functional proposed can be used in solving the approximation problem for the functions, represented by its observations, for classifying and clustering, pattern recognition, etc. Recurrent procedure provide for the versatile optimizing possibilities: as on the each step of the procedure and wholly: by the choice of the newly joining elements, topology, by the affine transformations if input and intermediate coordinate as well as by its nonlinear coordinate wise transformations. All considerations are essentially based, constructively and evidently represented by the means of the Generalized Inverse.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis we determine necessary and sufficient conditions for the existence of an equitably ℓ-colourable balanced incomplete block design for any positive integer ℓ > 2. In particular, we present a method for constructing non-trivial equitably ℓ-colourable BIBDs and prove that these designs are the only non-trivial equitably ℓ-colourable BIBDs that exist. We also observe that every equitable ℓ-colouring of a BIBD yields both an equalised ℓ-colouring and a proper 2-colouring of the same BIBD. We also discuss generalisations of these concepts including open questions for further research. The main results presented in this thesis also appear in [7].

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peer reviewed

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The photocatalytic activity of self-cleaning glass is assessed using a resazurin (Rz) photocatalyst activity indicator ink, i.e. Rz paii, via both the rate of change in the colour of the ink (blue to pink), R(Abs), and the rate of change in the fluorescence intensity, R(Fl), (λ(excitation) = 593 nm; λ(emission) = 639 nm) of the ink. In both cases the kinetics are zero order. Additional work with a range of glass samples of different photocatalytic activity reveal R(Abs) is directly related to R(Fl), thereby showing that the latter, like the former, can be used to provide a measure of the photocatalytic activity of the sample under test. The measured value of R(Fl) is found to be the same for 5 pieces of, otherwise identical, selfcleaning glass with: black, red, blue, yellow and no coloured tape stuck to their backs, which demonstrates that R(Fl) measurements can be used to measure photocatalytic activity under conditions of high colour and opacity under which R(Abs) cannot be measured. The relevance of this novel, fluorescence-based paii to the assessment of the activity of highly coloured, opaque photocatalytic samples, such as paints and tiles, is discussed briefly.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Die Arbeit behandelt das Kollegiatstift St. Petri zu Bautzen von dessen Gründung vor 1221 bis zum Jahr 1569. Neben der Gründungsphase des Stiftes und damit einhergehender Fragen zum Verhältnis geistlicher und weltlicher Mächte in der Oberlausitz werden nach dem bewährten Gliederungsschema der Germania Sacra das geistige Leben, die Verfassung und die Stiftswirtschaft vorgestellt. Nach dem Domstift Meißen stellte St. Petri in Bautzen die wichtigste Einrichtung des Bistums dar. Die 1569 dem Bautzener Kapitel übertragene geistliche Administratur auf römisch-katholische Teile der Oberlausitz sicherte dem Stift den Fortbestand bis in die Gegenwart und zugleich die geschlossene Erhaltung seines Urkunden- und Aktenbesitzes. Der schriftlichen Überlieferung lassen sich detaillierte Informationen zum Stiftungswesen, dem Verhältnis zur Stadt, zum Landesherrn und zu anderen geistlichen Einrichtungen entnehmen. Nicht zuletzt dem Weiterbestehen des Bautzener Kollegiatstiftes unter Dekan Johannes Leisentritt verdankt die Oberlausitz ihre besondere Stellung als bikonfessionelles Nebenland der böhmischen Krone. Ein umfangreicher Besitzkatalog und die Viten der Dignitäre und Kanoniker bieten eine breite Materialbasis auch für weitergehende Fragestellungen.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Quantitative conditions are derived under which electrically excitable membranes can undergo a phase transition induced by an externally applied voltage noise. The results obtained for a non-cooperative and a cooperative form of the two-state model are compared. © 1981.