984 resultados para Arvo Pärt
Resumo:
Presentation Purpose:To determine methods of quantifying the sensitivity loss in the central 10o visual field in a cross section of patients at various stages of age-related macular degeneration (AMD). Methods:Standard and short-wavelength automated perimetry (SAP and SWAP) visual fields were collected using program 10-2 of the Humphrey Field Analyzer, in 44 eyes of 27 patients with AMD and 41 eyes of 22 normal subjects. Stereoscopic fundus photographs were graded by two independent observers and the stage of disease determined. Global indices were compared for their ability to delineate the normal visual field from early stages of AMD and to differentiate between stages. Results:Mean Deviation (MD) and Pattern Standard Deviation (PSD) varied significantly with stage of disease in SAP (both p<0.001) and SWAP (both p<0.001), but post-hoc analysis revealed overlap of functional values between stages. Global indices of focal loss, PSD and local spatial variability (LSV) were the most sensitive to detecting differences between normal subjects and early stage AMD patients, in SAP and SWAP, respectively. Overall, defects were confined to the central 5°. SWAP defects were consistently greater in depth and area than those in SAP. The most vulnerable region of the 10° field to sensitivity loss with increasing stage of AMD was the central 1°, in which the sensitivity decline was -4.8dB per stage in SAP and -4.9dB per stage in SWAP. Based on the pattern deviation defect maps, a severity index of AMD visual field loss was derived. Threshold variability was considerably increased in late stage AMD eyes. Conclusions:Global indices of focal loss were more sensitive to the detection of early stage AMD from normal. The sensitivity decline with advancing stage of AMD was greater in SWAP compared to SAP, however the trend was not strong across all stages of disease. The less commonly used index LSV represents relatively statistically unmanipulated summary measure of focal loss. A new severity index is described which is sensitive to visual field change in AMD, measures visual field defects on a continuous scale and may serve as a useful measure of functional change in AMD in longitudinal studies. Keywords: visual fields • age-related macular degeneration • perimetry
Resumo:
Presentation Purpose:To relate structural change to functional change in age-related macular degeneration (AMD) in a cross-sectional population using fundus imaging and the visual field status. Methods:10 degree standard and SWAP visual fields and other standard functional clinical measures were acquired in 44 eyes of 27 patients at various stages of AMD, as well as fundus photographs. Retro-mode SLO images were captured in a subset of 29 eyes of 19 of the patients. Drusen area, measured by automated drusen segmentation software (Smith et al. 2005) was correlated with visual field data. Visual field defect position was compared to the position of the imaged drusen and deposits using custom software. Results:The effect of AMD stage on drusen area within the 6000µm was significant (One-way ANOVA: F = 17.231, p < 0.001), however the trend was not strong across all stages. There were significant linear relationships between visual field parameters and drusen area. The mean deviation (MD) declined by 3.00dB and 3.92dB for each log % drusen area for standard perimetry and SWAP, respectively. The visual field parameters of focal loss displayed the strongest correlations with drusen area. The number of pattern deviation (PD) defects increased by 9.30 and 9.68 defects per log % drusen area for standard perimetry and SWAP, respectively. Weaker correlations were found between drusen area and visual acuity, contrast sensitivity, colour vision and reading speed. 72.6% of standard PD defects and 65.2% of SWAP PD defects coincided with retinal signs of AMD on fundus photography. 67.5% of standard PD defects and 69.7% of SWAP PD defects coincided with deposits on retro-mode images. Conclusions:Perimetry exhibited a stronger relationship with drusen area than other measures of visual function. The structure-function relationship between visual field parameters and drusen area was linear. Overall the indices of focal loss had a stronger correlation with drusen area in SWAP than in standard perimetry. Visual field defects had a high coincidence proportion with retinal manifestations of AMD.Smith R.T. et al. (2005) Arch Ophthalmol 123:200-206.
Resumo:
Ernst Mach observed that light or dark bands could be seen at abrupt changes of luminance gradient in the absence of peaks or troughs in luminance. Many models of feature detection share the idea that bars, lines, and Mach bands are found at peaks and troughs in the output of even-symmetric spatial filters. Our experiments assessed the appearance of Mach bands (position and width) and the probability of seeing them on a novel set of generalized Gaussian edges. Mach band probability was mainly determined by the shape of the luminance profile and increased with the sharpness of its corners, controlled by a single parameter (n). Doubling or halving the size of the images had no significant effect. Variations in contrast (20%-80%) and duration (50-300 ms) had relatively minor effects. These results rule out the idea that Mach bands depend simply on the amplitude of the second derivative, but a multiscale model, based on Gaussian-smoothed first- and second-derivative filtering, can account accurately for the probability and perceived spatial layout of the bands. A key idea is that Mach band visibility depends on the ratio of second- to first-derivative responses at peaks in the second-derivative scale-space map. This ratio is approximately scale-invariant and increases with the sharpness of the corners of the luminance ramp, as observed. The edges of Mach bands pose a surprisingly difficult challenge for models of edge detection, but a nonlinear third-derivative operation is shown to predict the locations of Mach band edges strikingly well. Mach bands thus shed new light on the role of multiscale filtering systems in feature coding. © 2012 ARVO.
Resumo:
The classic hypothesis of Livingstone and Hubel (1984, 1987) proposed two types of color pathways in primate visual cortex based on recordings from single cells: a segregated, modularpathway that signals color but provides little information about shape or form and a second pathway that signals color differences and so defines forms without the need to specify their colors. A major problem has been to reconcile this neurophysiological hypothesis with the behavioral data. A wealth of psychophysical studies has demonstrated that color vision has orientation-tuned responses and little impairment on form related tasks, but these have not revealed any direct evidence for nonoriented mechanisms. Here we use a psychophysical method of subthreshold summation across orthogonal orientations for isoluminant red-green gratings in monocular and dichoptic viewing conditions to differentiate between nonoriented and orientation-tuned responses to color contrast. We reveal nonoriented color responses at low spatial frequencies (0.25-0.375 c/deg) under monocular conditions changing to orientation-tuned responses at higher spatial frequencies (1.5 c/deg) and under binocular conditions. We suggest that two distinct pathways coexist in color vision at the behavioral level, revealed at different spatial scales: one is isotropic, monocular, and best equipped for the representation of surface color, and the other is orientation-tuned, binocular, and selective for shape and form. This advances our understanding of the organization of the neural pathways involved in human color vision and provides a strong link between neurophysiological and behavioral data. © 2013 ARVO.
Resumo:
The visual system pools information from local samples to calculate textural properties. We used a novel stimulus to investigate how signals are combined to improve estimates of global orientation. Stimuli were 29 × 29 element arrays of 4 c/deg log Gabors, spaced 1° apart. A proportion of these elements had a coherent orientation (horizontal/vertical) with the remainder assigned random orientations. The observer's task was to identify the global orientation. The spatial configuration of the signal was modulated by a checkerboard pattern of square checks containing potential signal elements. The other locations contained either randomly oriented elements (''noise check'') or were blank (''blank check''). The distribution of signal elements was manipulated by varying the size and location of the checks within a fixed-diameter stimulus. An ideal detector would only pool responses from potential signal elements. Humans did this for medium check sizes and for large check sizes when a signal was presented in the fovea. For small check sizes, however, the pooling occurred indiscriminately over relevant and irrelevant locations. For these check sizes, thresholds for the noise check and blank check conditions were similar, suggesting that the limiting noise is not induced by the response to the noise elements. The results are described by a model that filters the stimulus at the potential target orientations and then combines the signals over space in two stages. The first is a mandatory integration of local signals over a fixed area, limited by internal noise at each location. The second is a taskdependent combination of the outputs from the first stage. © 2014 ARVO.
Resumo:
Dry eye disease is a common clinical condition whose aetiology and management challenges clinicians and researchers alike. Practitioners have a number of dry eye tests available to clinically assess dry eye disease, in order to treat their patients effectively and successfully. This thesis set out to determine the most relevant and successful key tests for dry eye disease diagnosis/ management. There has been very little research on determining the most effective treatment options for these patients; therefore a randomised controlled study was conducted in order to see how different artificial treatments perform compared to each other, whether the preferred treatment could have been predicted from their ocular clinical assessment, and if the preferred treatment subjectively related to the greatest improvement in ocular physiology and tear film stability. This research has found: 1. From the plethora of ocular the tear tests available to utilise in clinical practice, the tear stability tests as measured by the non-invasive tear break (NITBUT) up time and invasive tear break up time (NaFL TBUT) are strongly correlated. The tear volume tests are also related as measured by the phenol red thread (PRT) and tear meniscus height (TMH). Lid Parallel Conjunctival Folds (LIPCOF) and conjunctival staining are significantly correlated to one another. Symptomology and osmolarity were also found to be important tests in order to assess for dry eye. 2. Artificial tear supplements do work for ocular comfort, as well as the ocular surface as observed by conjunctival staining and the reduction LIPCOF. There is no strong evidence of one type of artificial tear supplement being more effective than others, and the data suggest that these improvements are more due to the time than the specific drops. 3. When trying to predict patient preference for artificial tears from baseline measurements, the individual category of artificial tear supplements appeared to have an improvement in at least 1 tear metric. Undoubtedly, from the study the patients preferred artificial tear supplements’ were rated much higher than the other three drops used in the study and their subjective responses were statistically significant than the signs. 4. Patients are also willing to pay for a community dry eye service in their area of £17. In conclusion, the dry eye tests conducted in the study correlate with one another and with the symptoms reported by the patient. Artificial tears do make a difference objectively as well as subjectively. There is no optimum artificial treatment for dry eye, however regular consistent use of artificial eye drops will improve the ocular surface.
Resumo:
Kína az elmúlt több mint három évtizedben szegény, elmaradott országból a világgazdaság egyik legfontosabb szereplője lett. Szocialista rendszerét egy sajátos kapitalista rendszer váltotta fel, miközben politikai struktúrája lényegében változatlan maradt. A folyamatok során a vezetés mindvégig ügyelt arra, hogy a kommunista párt egyeduralmát semmi se veszélyeztethesse, ugyanakkor megfelelő források álljanak rendelkezésre hatalma megtartásához. A tanulmány a kínai reformfolyamatot politikai gazdaságtani szempontból vizsgálja, különös figyelmet szentelve az intézményi változásoknak. Bemutatja, milyen okok és tényezők álltak a reformok elindításának hátterében, milyen változások következtek be a szereplők érdekviszonyaiban a reformok előrehaladtával, és mire lehet számítani a reformok jövőjét illetően. Úgy tűnik, hogy a jelenlegi rendszer érdekviszonyai a reformok folytatása ellen hatnak, ellehetetlenítve a piacgazdaság intézményrendszerének további kiépítését. A járadékok és privilégiumok az elitet abban sem teszik érdekeltté, hogy komolyabb politikai reformokat hajtson végre, így a kialakuló csapdahelyzet megakadályozza az átmenet kiteljesedését. ____ In the last three decades China has risen from being a poor and underdeveloped country to being one of the most important players in the world economy. Its planned economy has been replaced by a capitalist system, but its political structure has remained essentially unchanged. The leaders during the reform process have sought constantly to avert dangers to the rule of the Communist Party and gain access to valuable resources that allow power to be retained. The study approaches the Chinese reform process from a politico-economic point of view, focusing primarily on institutional changes. It reveals the main factors behind the various phases of reform, the constantly changing interests of the players, and the possible future of the process. It seems that under the current authoritarian regime, there are vested interests working against a continuation of the reforms and precluding full establishment of the institutional framework of a market economy. The elite is also deterred from implementing serious political reforms by the current rents and privileges. This leads to a trap that prevents completion of the transition process.
Resumo:
Tanulmányunkban egy olyan rendszerrel foglalkozunk, amely köztes helyet foglal el a demokrácia és az autokrácia között, mindkettő jegyeit magán viseli, és amelyet ezért áldemokráciának nevezünk. A rendszer működési sajátosságait a járadékok szemszögéből vizsgáljuk, és arra keressük a választ, hogy demokratikus országokban hogyan képes egy párt tartósan domináns pozícióban maradni. Modellünk segítségével összekapcsoljuk a járadékteremtést a szavazatok maximalizálásának céljával, és bemutatjuk, miért jelenthet racionális döntést a hatalmon lévők számára a rövid távú optimumon túlmutató járadékteremtés is. A modell rávilágít arra, hogy a többletjáradékok segítségével a kormányzat - klientúrája megerősítése, a demokratikus rendszer határainak feszegetése, valamint az ellenzék visszaszorítása révén - hosszú távú előnyökre tehet szert, áldemokráciát hozva létre. Történelmi példák jól mutatják, hogy a rendszer bukását végül általában a gyengébb gazdasági teljesítmény és a korrupció széles körűvé válása kényszeríti ki. _____ The paper focuses on a specific political system lying between democracy and autocracy, which has similarities to both. Called here a pseudo-democracy, it is examined from the point of view of rents. The paper enquires how a democracy can allow a single party to dominate the political landscape for a long period. The author constructs a model to link rent creation to vote maximization, arguing that it can be rational for incumbents to increase rents beyond the short-term optimum. The model also reveals that surplus rents may offer long-term gains to an elite by strengthening its clientčle, challenging the systemic political framework and holding back the opposition. Historical examples show that the end-result of a pseudo-democratic system will usually be to weaken economic performance and increase corruption.
Resumo:
Az írás kísérleti módszerrel vizsgálja a pártok megítélésével kapcsolatos különféle kognitív torzításokat. Célja annak feltérképezése, hogy milyen összefüggés van a választók gondolkodásában a választott párt esélyessége és minősége között, illetve a szavazás maga hogyan hat az esélyesség és minőség érzékelésére. A kutatás két korábbi kísérletet replikál a magyar választók egy, a 2014-es országgyűlési választások során lekérdezett mintáján. Regan és Kilduff (1988) kutatása azt mutatta ki, hogy a szavazat leadása szignifi kánsan növeli a párt győzelmi esélyeit a választói szemében. Frenkel és Doob (1976) kutatása szerint pedig a szavazás után nem csak esélyesebbnek, hanem jobb jelöltnek is tűnik a párt a választói szemében. A magyar adatok ezzel szemben nem támasztják alá azt, hogy a szavazásnak bármilyen véleménytorzító hatása lenne. Ilyen hatást sem a választott párt esélyeinek megítélése, sem a kormányzásra való alkalmassága, sem pedig a nézeteivel való egyetértés terén nem sikerült kimutatni. Ezzel szemben a választott párt esélyessége és minősége között egyértelműen van kapcsolat. Bár a pontos oksági mechanizmus tisztázására a választott kísérleti módszer nem alkalmas, az írás érvel amellett, hogy a hatás mindkét irányban fennáll. Azaz, hogy a választók egyrészt vágyvezérelten gondolkodnak, tehát esélyesebbnek látják azt a pártot, amelynek a győzelmét kívánják, másrészt védik magukat a csalódástól, és alacsonyabbra értékelik a választott pártjuk minőségét, amennyiben az nem esélyes a győzelemre.
Resumo:
A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^
Resumo:
In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^
Resumo:
Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^
Resumo:
The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT Net is a formal model of information flow which allows system properties to be modeled and analyzed. The aim of this thesis was to use the modeling and analysis power of PrT nets to provide a mechanism for the system model to be verified. Symbolic Model Verifier (SMV) was the model checker chosen in this thesis, and in order to verify the PrT net model of a system, it was translated to SMV input language. A software tool was implemented which translates the PrT Net into SMV language, hence enabling the process of model checking. The system includes two parts: the PrT net editor where the representation of a system can be edited, and the translator which converts the PrT net into an SMV program.
Resumo:
Tourism is configured as an activity that presents constant movement could boost local development in the economic, sociocultural and human in locations with potential for structuring and such. Because it is a dynamic activity, tourism allows changes in its flow, extending the periods of seasonality. To this end, in view of the aforementioned dynamics, it becomes relevant to the presence of tourism planning, initially starting from the government so that it create laws and standards and develop projects for the management of activities in an orderly way, seeking citizen participation, making essential the presence of actors and agents in local tourism, expanding democracy and knowledge of their place of origin. In this scenario, the Ministry of Tourism is emerging with the National Tourism Plan which incorporates among its actions, the Regionalization Program Guide, adopting a model of regional local management, a participatory manner, through the bodies of governance imposed at the poles, and the shares of public policy in their various departments most responsible for promoting tourism in pole Seridó. This scientific work aims to analyze the pole Seridó, under the theory of tourism area life cycle (TALC) proposed by BUTLER (1980), locating actions for tourism and chronology of the locality applied the proposed process activity. For both the methodology is descriptive and exploratory, qualitative approach, historical, descriptive and narrative level, non-probability sampling, using secondary sources, through documents and other records occurred during the planning processes in the region, in order to have access to information related to the planning process of tourism in Seridó, using as a way to research the data collected the technique of content analysis. As a conclusion of this study it is observed that from the survey in relation to the history of tourism in the region, economic activities of livestock, cotton industry, mining and ceramics industry were responsible for the initiation of tourism in the locality through the flow directed to the same, the insertion of the first hotels and performing traditional events, giving rise to the demand for public policies that aided in directing the activity being, therefore, inserted into the engagement phase, the second phase proposed by BUTLER (1980) model, and the study was terminated with suggestions for the continuation of tourism in the region.
Resumo:
In contemporary dynamics, a change is observed in the institutional structure of the state, culminating in several policies for the tourist sector which promote a new management format. The from this view, the Tourism Regionalization Macro Program (TRP), considered a significant program to Ministry of Tourism, arose as an answer to this new reality, having as strategy a joint working of structuring and promotion turned at decentralization of actions, valuing the residents participation in the search of the permanent dialogue between peers and revaluation of places and territories, based in the regionalization process. Based on this bias, this study aims to examine the role of the Tourism State Council of Rio Grande do Norte, with regard to the tourism planning, trying to understand it and solve it as governance Instance, through the Tourism Regionalization Program interventions, given the participation context of its actors and agents. For purposes of this study is delimited as time frame the year 2007 at 2014, understanding that it was this time, there was greater council members accession, as well as different types of sectors representation of civil society, as a result of a tourism public policy based on principles of innovation and participation. In relation to the research problem, this study is conceptualized as a qualitative and the chosen method is the materialist dialectic. Still on the methodological options, utilize the Content Analysis. The results show that the institutionalization of governance instance as the Conetur does not contributes, ideally, in the planning and management process of participatory and integrated tourist activity, facing a fair direction of your space production. The research indicates that there are debates, discussions and guidelines (still in a timely and targeted form), but not reverberates practical effects, by act in a conjuncture that Is strategically designed for political and economic power game, setting the hegemonic actors performance, which uses this arena to instill personal desires and wishes, that are decided in absentia to the council.