992 resultados para proofofknowledge concurrent zero knowledge
Resumo:
This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.
Resumo:
This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.
Resumo:
Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.
Resumo:
The People in Pain course was set up as a joint initiative of the Departments of Occupational Therapy and Physiotherapy within the School of Health and Rehabilitation Sciences at The University of Queensland. It was instigated in response to the publication of Pain Curricula for Occupational Therapy and Physiotherapy by the International Association for the Study of Pain (IASP) in 1994 (1). The first year it was offered, the "People in Pain" course comprised 14 h of lecture content. It was then expanded to encompass 28 h of lectures and seminar involvement. OBJECTIVES: To evaluate the impact of participation in a university pain course that meets the IASP pain curricula guidelines to increase health professional students' knowledge about pain. METHODS: Students who participated in the People in Pain course over the first three years were invited to complete the Revised Pain Knowledge and Attitudes Questionnaire (R-PKAQ) pre- and postcourse. Data obtained from 22 students in the short course formed a pilot project, and data from 22 students in the longer version of the course were used in the present study. RESULTS: Examination of the correlation matrix indicated substantial correlations between all R-PKAQ subscales except physiological basis of pain and pharmacological management of pain. In both the pilot project during the first year of the course and the expanded course in the following two years, significant improvement was found in the students' knowledge on five of the six subscales of the R-PKAQ: physiological basis of pain, psychological factors of pain perception, assessment and measurement of pain, cognitive-behavioural methods of pain relief, and pharmacological management of pain. Improvements in the developmental aspects of pain perception subscale failed to reach significance. CONCLUSIONS: An integrated pain course developed according to the pain curriculum guidelines developed by the IASP resulted in increased student knowledge regardless of the length of the program attended.
Resumo:
Balanced Scorecard (BSC) is recognized, both in the academic and business world, as one of the most powerful strategic management accounting tools. Thus, we launched in October 2004 a questionnaire survey applied to the 250 largest Portuguese companies aiming at observing the knowledge, use, and companies’ characteristics which are adopting this management instrument. Despite the majority of the companies inquired recognize BSC more as a strategic management tool than a performance valuation system, the results show that there is still a reduced and recent utilization of BSC in Portugal. Similarly to other countries Portugal is still in the initial state of BSC utilization. Our work has shown that the companies that use more BSC belong mainly to the secondary sector of industry. Nevertheless, unlike other studies, we did not get empirical evidence on the influence of variables such as geographical localization, dimension and internationalization, in the use and knowledge of BSC in Portugal.
Resumo:
Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code
Resumo:
Discovering the ways through which firms develop and maintain competitive advantage is a central research stream in management theory. The objective of this paper is to present a contribution to the discussion of the knowledge of the firm as a source of competitive advantage. The paper states that a firm's success is a consequence of its ability in the continuous development of core competencies that will sustain its competitiveness over time. Core competencies are understood as the sets of knowledge that differentiate a company strategically. The firm must discover, develop, share and update the knowledge that sustains the present and future core competencies. Knowledge management, through processes of knowledge creation and integration, is one way of doing this.
Resumo:
In spite of the wealth generation potential of the world's large metropolitan cities, poor living conditions for much of the world's urban population persist. Although the city has been widely studied, urban policy often remains ineffective. The paper adopts a policy process approach to analyze the relationship between knowledge and governmental action. Impediments to improving urban policy are found in the inadequate capacity of government to act and in the politics of democratic decision-making. The paper recommends that a pragmatic view of knowledge generation be adopted.
Resumo:
Software and information services (SIS) have become a field of increasing opportunities for international trade due to the worldwide diffusion of a combination of technological and organizational innovations. In several regions, the software industry is organized in clusters, usually referred to as "knowledge cities" because of the growing importance of knowledge-intensive services in their economy. This paper has two primary objectives. First, it raises three major questions related to the attractiveness of different cities in Argentina and Brazil for hosting software companies and to their impact on local development. Second, a new taxonomy is proposed for grouping clusters according to their dominant business segment, ownership pattern and scope of operations. The purpose of this taxonomy is to encourage further studies and provide an exploratory analytical tool for analyzing software clusters.
Resumo:
O Planeamento Concomitante teve a sua origem no Reino Unido. É um método radical de intervenção social, baseado na Teoria de Afecto (Attachment Theory). O Planeamento Concomitante procura garantir que as crianças vulneráveis nas casas de acolhimento do Estado sejam adoptadas mais rapidamente possível. As crianças são acolhidas no âmbito deste Planeamento durante o período em que está em curso a avaliação da capacidade acolhedora dos pais adoptivos. As crianças sem condições de retorno para as suas famílias são desta forma legalmente adoptadas pelos pais adoptivos com quem as crianças já conseguiram desenvolver laços afectivos.