An Ontology for State Analysis: Formalizing the Mapping to SysML

Science.gov (United States)

Wagner, David A.; Bennett, Matthew B.; Karban, Robert; Rouquette, Nicolas; Jenkins, Steven; Ingham, Michel

2012-01-01

State Analysis is a methodology developed over the last decade for architecting, designing and documenting complex control systems. Although it was originally conceived for designing robotic spacecraft, recent applications include the design of control systems for large ground-based telescopes. The European Southern Observatory (ESO) began a project to design the European Extremely Large Telescope (E-ELT), which will require coordinated control of over a thousand articulated mirror segments. The designers are using State Analysis as a methodology and the Systems Modeling Language (SysML) as a modeling and documentation language in this task. To effectively apply the State Analysis methodology in this context it became necessary to provide ontological definitions of the concepts and relations in State Analysis and greater flexibility through a mapping of State Analysis into a practical extension of SysML. The ontology provides the formal basis for verifying compliance with State Analysis semantics including architectural constraints. The SysML extension provides the practical basis for applying the State Analysis methodology with SysML tools. This paper will discuss the method used to develop these formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and enforce architectural constraints in a SysML model.

Formal verification of industrial control systems

CERN Multimedia

CERN. Geneva

2015-01-01

Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not common to use model checking in industry yet, as this method needs typically formal methods expertise and huge computing power. In the EN-ICE-PLC section, we are working on a [methodology][1] and a tool ([PLCverif][2]) to overcome these challenges and to integrate formal verification in the development process of our PLC-based control systems. [1]: http://cern.ch/project-plc-formalmethods [2]: http://cern.ch/plcverif

Formal refinement of extended state machines

Directory of Open Access Journals (Sweden)

Thomas Fayolle

2016-06-01

Full Text Available In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each increment takes into account new properties and system aspects. In this paper, we propose to couple a graphical notation called Algebraic State-Transition Diagrams (ASTD with an Event-B specification in order to provide a better understanding of the software behaviour. The dynamic behaviour is captured by the ASTD, which is based on automata and process algebra operators, while the data model is described by means of an Event-B specification. We propose a methodology to incrementally refine such specification couplings, taking into account new refinement relations and consistency conditions between the control specification and the data specification. We compare the specifications obtained using each approach for readability and proof complexity. The advantages and drawbacks of the traditional approach and of our methodology are discussed. The whole process is illustrated by a railway CBTC-like case study. Our approach is supported by tools for translating ASTD's into B and Event-B into B.

Enhancing System Realisation in Formal Model Development

DEFF Research Database (Denmark)

Tran-Jørgensen, Peter Würtz Vinther

and requirements of software extensions targeting Overture. The tools developed in this PhD project have successfully supported three case studies from externally funded projects. The feedback received from the case study work has further helped improve the code generation infrastructure and the tools built using...... implementation. One way to realise the system’s software is by automatically generating it from the formal specification – a technique referred to as code generation. However, in general it is difficult to make guarantees about the correctness of the generated code – especially while requiring automation...... of the steps involved in realising the formal specification. This PhD dissertation investigates ways to improve the automation of the steps involved in realising and validating a system based on a formal specification. The approach aims to develop properly designed software tools which support the integration...

Exploiting formal, non-formal and informal learning when using business games in leadership education

DEFF Research Database (Denmark)

Børgesen, Kenneth; Nielsen, Rikke Kristine; Henriksen, Thomas Duus

2016-01-01

Purpose This paper aims to address the necessity of allowing non-formal and informal processes to unfold when using business games for leadership development. While games and simulations have long been used in management training and leadership development, emphasis has been placed on the formal...... of the process is not assessed. Practical implications This paper suggests that the use of business games in leadership development should focus more on the processes and activities surrounding the game rather than narrowly focusing on the game. Originality/value This paper suggests a novel approach to using...... parts of the process and especially on the gaming experience. Design/methodology/approach This paper is based on a qualitative study of a French management game on change management, in which the game-based learning process is examined in light of adult learning. Findings This paper concludes that less...

El Salvador - Non-Formal Skills Development

Data.gov (United States)

Millennium Challenge Corporation — The Non-Formal Skills Development Sub-Activity had a budget of $5 million (USD) to provide short-term training to vulnerable populations in El Salvador's Northern...

Digital Resource Developments for Mathematics Education Involving Homework across Formal, Non-Formal and Informal Settings

Science.gov (United States)

Radovic, Slaviša; Passey, Don

2016-01-01

The aim of this paper is to explore further an under-developed area--how drivers of curriculum, pedagogy and assessment conceptions and practices shape the creation and uses of technologically based resources to support mathematics learning across informal, non-formal and formal learning environments. The paper considers: the importance of…

Protocol design and implementation using formal methods

NARCIS (Netherlands)

van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Vissers, C.A.

1992-01-01

This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on

Software Components and Formal Methods from a Computational Viewpoint

OpenAIRE

Lambertz, Christian

2012-01-01

Software components and the methodology of component-based development offer a promising approach to master the design complexity of huge software products because they separate the concerns of software architecture from individual component behavior and allow for reusability of components. In combination with formal methods, the specification of a formal component model of the later software product or system allows for establishing and verifying important system properties in an automatic a...

Comparison of the ESTRO formalism for monitor unit calculation with a Clarkson based algorithm of a treatment planning system and a traditional ''full-scatter'' methodology

International Nuclear Information System (INIS)

Pirotta, M.; Aquilina, D.; Bhikha, T.; Georg, D.

2005-01-01

The ESTRO formalism for monitor unit (MU) calculations was evaluated and implemented to replace a previous methodology based on dosimetric data measured in a full-scatter phantom. This traditional method relies on data normalised at the depth of dose maximum (z m ), as well as on the utilisation of the BJR 25 table for the conversion of rectangular fields into equivalent square fields. The treatment planning system (TPS) was subsequently updated to reflect the new beam data normalised at a depth z R of 10 cm. Comparisons were then carried out between the ESTRO formalism, the Clarkson-based dose calculation algorithm on the TPS (with beam data normalised at z m and z R ), and the traditional ''full-scatter'' methodology. All methodologies, except for the ''full-scatter'' methodology, separated head-scatter from phantom-scatter effects and none of the methodologies; except for the ESTRO formalism, utilised wedge depth dose information for calculations. The accuracy of MU calculations was verified against measurements in a homogeneous phantom for square and rectangular open and wedged fields, as well as blocked open and wedged fields, at 5, 10, and 20 cm depths, under fixed SSD and isocentric geometries for 6 and 10 MV. Overall, the ESTRO Formalism showed the most accurate performance, with the root mean square (RMS) error with respect to measurements remaining below 1% even for the most complex beam set-ups investigated. The RMS error for the TPS deteriorated with the introduction of a wedge, with a worse RMS error for the beam data normalised at z m (4% at 6 MV and 1.6% at 10 MV) than at z R (1.9% at 6 MV and 1.1% at 10 MV). The further addition of blocking had only a marginal impact on the accuracy of this methodology. The ''full-scatter'' methodology showed a loss in accuracy for calculations involving either wedges or blocking, and performed worst for blocked wedged fields (RMS errors of 7.1% at 6 MV and 5% at 10 MV). The origins of these discrepancies were

Robot-assisted laparoscopic skills development: formal versus informal training.

Science.gov (United States)

Benson, Aaron D; Kramer, Brandan A; Boehler, Margaret; Schwind, Cathy J; Schwartz, Bradley F

2010-08-01

The learning curve for robotic surgery is not completely defined, and ideal training components have not yet been identified. We attempted to determine whether skill development would be accelerated with formal, organized instruction in robotic surgical techniques versus informal practice alone. Forty-three medical students naive to robotic surgery were randomized into two groups and tested on three tasks using the robotic platform. Between the testing sessions, the students were given equally timed practice sessions. The formal training group participated in an organized, formal training session with instruction from an attending robotic surgeon, whereas the informal training group participated in an equally timed unstructured practice session with the robot. The results were compared based on technical score and time to completion of each task. There was no difference between groups in prepractice testing for any task. In postpractice testing, there was no difference between groups for the ring transfer tasks. However, for the suture placement and knot-tying task, the technical score of the formal training group was significantly better than that of the informal training group (p formal training may not be necessary for basic skills, formal instruction for more advanced skills, such as suture placement and knot tying, is important in developing skills needed for effective robotic surgery. These findings may be important in formulating potential skills labs or training courses for robotic surgery.

Automated Formal Verification for PLC Control Systems

CERN Multimedia

Fernández Adiego, Borja

2014-01-01

Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software. However, these techniques are still not widely applied in industry due to the complexity of building formal models, which represent the system and the formalization of requirement specifications. We propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g. CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in any of the languages described in the IEC 61131-3 standard (ST, IL, etc.) to different modeling languages of verification tools. This approach has been applied to CERN PLC programs validating the methodology.

A formal mentorship program for faculty development.

Science.gov (United States)

Jackevicius, Cynthia A; Le, Jennifer; Nazer, Lama; Hess, Karl; Wang, Jeffrey; Law, Anandi V

2014-06-17

To describe the development, implementation, and evaluation of a formal mentorship program at a college of pharmacy. After extensive review of the mentorship literature within the health sciences, a formal mentorship program was developed between 2006 and 2008 to support and facilitate faculty development. The voluntary program was implemented after mentors received training, and mentors and protégés were matched and received an orientation. Evaluation consisted of conducting annual surveys and focus groups with mentors and protégés. Fifty-one mentor-protégé pairs were formed from 2009 to 2012. A large majority of the mentors (82.8%-96.9%) were satisfied with the mentorship program and its procedures. The majority of the protégés (≥70%) were satisfied with the mentorship program, mentor-protégé relationship, and program logistics. Both mentors and protégés reported that the protégés most needed guidance on time management, prioritization, and work-life balance. While there were no significant improvements in the proteges' number of grant submissions, retention rates, or success in promotion/tenure, the total number of peer-reviewed publications by junior faculty members was significantly higher after program implementation (mean of 7 per year vs 21 per year, p=0.03) in the college's pharmacy practice and administration department. A formal mentorship program was successful as measured by self-reported assessments of mentors and protégés.

An Ontology for a TripTych Formal Software Development

DEFF Research Database (Denmark)

Bjørner, Dines

2003-01-01

An ontology, ie., a formalised set of strongly interrelated definitions, is given for an approach to software development that spans domain engineering, requirements engineering and software design - and which is otherwise based on a judicious use of both informal and formal, mathematics-based te......An ontology, ie., a formalised set of strongly interrelated definitions, is given for an approach to software development that spans domain engineering, requirements engineering and software design - and which is otherwise based on a judicious use of both informal and formal, mathematics...

Combining Formal, Non-Formal and Informal Learning for Workforce Skill Development

Science.gov (United States)

Misko, Josie

2008-01-01

This literature review, undertaken for Australian Industry Group, shows how multiple variations and combinations of formal, informal and non-formal learning, accompanied by various government incentives and organisational initiatives (including job redesign, cross-skilling, multi-skilling, diversified career pathways, action learning projects,…

Non-formal mechanisms in mathematical cognitive development: The case of arithmetic

NARCIS (Netherlands)

Braithwaite, D.W.; Goldstone, R.L.; van der Maas, H.L.J.; Landy, D.H.

The idea that cognitive development involves a shift towards abstraction has a long history in psychology. One incarnation of this idea holds that development in the domain of mathematics involves a shift from non-formal mechanisms to formal rules and axioms. Contrary to this view, the present study

Concepts of formal concept analysis

Science.gov (United States)

Žáček, Martin; Homola, Dan; Miarka, Rostislav

2017-07-01

The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities.

Asymmetrical peer interaction and formal operational development: Dialogue dimensions analysis

Directory of Open Access Journals (Sweden)

Stepanović-Ilić Ivana

2015-01-01

Full Text Available The main goal of the study is to define dialogue dimensions in order to describe the interaction within peer dyads and potentially connect them with formal operations development in the less competent participants. Its significance is related to rare investigations of this subject in the context of formal operations development and to practical implications regarding peer involvement in education process. The sample included 316 students aged 12 and 14. The research had an experimental design: pre-test, intervention and post-test. In the pre-test and the post-test phases students solved the formal operations test BLOT. According to the pre-test results, 47 dyads were formed where less and more competent students jointly solved tasks from BLOT. Their dialogues were coded by 14 dimensions operationalized for this purpose. Correlations between the dialogue dimensions indicate clearly distinguished positive and negative interaction patterns. There are no connections between dialogue dimensions and progress of less competent adolescents on BLOT in the entire sample, but several are found in the subsamples. Arguments exchange seems to be the most encouraging dialogue feature regarding formal operations development, particularly in older students. This confirms relevant research data and the expectations about peers’ constructive role in fostering cognitive development. [Projekat Ministarstva nauke Republike Srbije, br. 179018: Identification, measurement and development of cognitive and emotional competences important for a society oriented towards European integrations

Developing corpus-based translation methods between informal and formal mathematics : project description

NARCIS (Netherlands)

Kaliszyk, C.; Urban, J.; Vyskocil, J.; Geuvers, J.H.; Watt, S.M.; Davenport, J.H.; Sexton, A.P.; Sojka, P.; Urban, J.

2014-01-01

The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in

Development and application of a decision methodology for the planning of nuclear research and development in Saudi Arabia

International Nuclear Information System (INIS)

Abulfaraj, W.H.

1983-01-01

The thesis adapts two formal decision methodologies for the planning and development of a Nuclear Research Center for the Kingdom of Saudi Arabia. The methodologies are useful for the selection of alternative nuclear energy strategies. Multiattribute utility theory (MUT) and fuzzy set theory (FST) are selected to accommodate for decision makers' preferences and quick decision. MUT is employed to evaluate four appropriate research center facilities to determine the optimal choice therefrom in order to meet the needs of the proposed center. FST is used to handle site selection decision for the center. Procurement and siting decisions in Saudi Arabia for equipment are based on the demonstrated performance of operating units. Certain procedures discussed in detail in the dissertation reflect this modus operandi. 106 refs

Learning Conditions for Non-Formal and Informal Workplace Learning

Science.gov (United States)

Kyndt, Eva; Dochy, Filip; Nijs, Hanne

2009-01-01

Purpose: The purpose of this research paper is to investigate the presence of learning conditions for non-formal and informal workplace learning in relation to the characteristics of the employee and the organisation he or she works for. Design/methodology/approach: The questionnaire developed by Clauwaert and Van Bree on learning conditions was…

Developing Non-Formal Education Competences as a Complement of Formal Education for STEM Lecturers

Science.gov (United States)

Terrazas-Marín, Roy Alonso

2018-01-01

This paper focuses on a current practice piece on professional development for university lecturers, transformative learning, dialogism and STEM (Science, Technology, Engineering and Mathematics) education. Its main goals are to identify the key characteristics that allow STEM educators to experiment with the usage of non-formal education…

Scenario development methodologies

International Nuclear Information System (INIS)

Eng, T.; Hudson, J.; Stephansson, O.

1994-11-01

In the period 1981-1994, SKB has studied several methodologies to systematize and visualize all the features, events and processes (FEPs) that can influence a repository for radioactive waste in the future. All the work performed is based on the terminology and basic findings in the joint SKI/SKB work on scenario development presented in the SKB Technical Report 89-35. The methodologies studied are a) Event tree analysis, b) Influence diagrams and c) Rock Engineering Systems (RES) matrices. Each one of the methodologies is explained in this report as well as examples of applications. One chapter is devoted to a comparison between the two most promising methodologies, namely: Influence diagrams and the RES methodology. In conclusion a combination of parts of the Influence diagram and the RES methodology is likely to be a promising approach. 26 refs

FORMALIZATION OF THE ACCOUNTING VALUABLE MEMES METHOD FOR THE PORTFOLIO OF ORGANIZATION DEVELOPMENT AND INFORMATION COMPUTER TOOLS FOR ITS IMPLEMENTATION

Directory of Open Access Journals (Sweden)

Serhii D. Bushuiev

2017-12-01

Full Text Available The current state of project management has been steadily demonstrating a trend toward increasing the role of flexible "soft" management practices. A method for preparing solutions for the formation of a value-oriented portfolio based on a comparison of the level of internal organizational values is proposed. The method formalizes the methodological foundations of value-oriented portfolio management in the development of organizations in the form of approaches, basic terms and technological methods with ICT using, which makes it possible to use them as an integral knowledge system for creating an automated system for managing portfolios of organizations. The result of the study is the deepening of the theoretical provisions for managing the development of organizations through the implementation of a value-oriented portfolio of projects, which allowed formalize the method of recording value memes in the development portfolios of organizations, to disclose its logic, essence, objective basis and rules.

Formalizing the concept phase of product development

NARCIS (Netherlands)

Schuts, M.; Hooman, J.

2015-01-01

We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing

Data Centric Development Methodology

Science.gov (United States)

Khoury, Fadi E.

2012-01-01

Data centric applications, an important effort of software development in large organizations, have been mostly adopting a software methodology, such as a waterfall or Rational Unified Process, as the framework for its development. These methodologies could work on structural, procedural, or object oriented based applications, but fails to capture…

Methodology applied to develop the DHIE: applied methodology

CSIR Research Space (South Africa)

Herselman, Marlien

2016-12-01

Full Text Available This section will address the methodology that was applied to develop the South African Digital Health Innovation Ecosystem (DHIE). Each chapter under Section B represents a specific phase in the methodology....

Formal verification of complex properties on PLC programs

CERN Document Server

Darvas, D; Voros, A; Bartha, T; Blanco Vinuela, E; Gonzalez Suarez, V M

2014-01-01

Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. In this paper we extend our former verification methodology with effective property preserving reduction techniques. For this purpose we developed general rule-based reductions and a customized version of the Cone of Influence (COI) reduction. Using these methods, the verification of complex requirements formalised with temporal logics (e.g. CTL, LTL) can be orders of magnitude faster. We use the NuSMV model checker on a real-life PLC program from CERN to demonstrate the performance of our reduction techniques.

Using CASE-tools based on formal methods in real-life system development of distributed systems

International Nuclear Information System (INIS)

Stoelen, Ketil; Karlsen, Tore Willy; Mohn, Peter; Sandmark, Haaakon

1998-03-01

Within the OECD Halden Reactor Project (HRP) the development and application of formal methods to enhance system quality have been prioritised tasks for the last three years per periods. The three year programme 1997-1999 identifies the need to gain experience from applying formal methods in larger real-life system developments. This motivated the initiation of the HRP research activity Integration of Formal Specification in the Development of HAMMLAB 2000 (INT-FS). The principal objective of INT-FS is to experiment with formal methods in system developments connected to HAMMLAB 2000 and thereby gain a better understanding of their suitability to support practical software engineering. In particular, INT-FS will try to measure the effect of formal methods and gain experience in combining formal methods with traditional development techniques. INT-FS was started up in January 1997. This report describes the status of INT-FS by February 1998. The report identifies objectives and plans; it motivates the choice of formal methods, CASE-tool and software process; it motivates and defines metrics for measuring achievement and the effect of formalization. The report also provides preliminary results from an experimental development of a communication manager; it describes the component to be developed and the background of the participants; it offers some provisional statistics and summarises the experiences with methods and tools. The development of the communication manager is the first attempt ever to exploit state-of-the-art CASE-tools for formal methods in practical software engineering at the HRP. (author)

Formal Support for Development of Knowledge-Based Systems

NARCIS (Netherlands)

Fensel, Dieter; Van Harmelen, Frank; Reif, Wolfgang; Ten Teije, Annette

1998-01-01

This article provides an approach for developing reliable knowledge-based systems. Its main contributions are: Specification is done at an architectural level that abstracts from a specific implementation formalism. The model of expertise of CommonKADS distinguishs different types of knowledge and

Regaining the Square of Opposition in Formal Ontology Development

DEFF Research Database (Denmark)

Nilsson, Jørgen Fischer

2014-01-01

be held simply in the case that "all P are Q" does not hold. These default rules are routinely adopted in ontology development without mentioning. Appealing to these conventions, the 4 sentence forms in the square are effectively made at disposal. We discuss a first order metalogical formalization...... of the 4 sentence forms with classes reified as individual constants elucidating the logical relationships between the sentence forms. Our formalization appeals to non-provability. Non-provability incurs non-monotonicity, implying that extension of an ontology with additional subclass relationships may...

The Development of Non-Formal Technological and Vocational Education in Village Communities

OpenAIRE

Widaningsih, Lilis; Abdullah, Ade Gafar

2016-01-01

This article presents a preliminary study which was done through a literature review of various scientific references on the development of human resources through non-formal technological and vocational education. Current issues and problems in developing countries are related to the low quality of human resources in villages due to the low education and skills (technological and vocational skills). The development of non-formal technological and vocational education for village communities ...

Exploring the Impact of Prior Experiences in Non-Formal Education on My Pedagogy of Teacher Education

Science.gov (United States)

Bullock, Shawn Michael

2014-01-01

The purpose of this article is to use self-study methodology to analyze critically the impact of 30 years of non-formal education on my development as a teacher educator. I begin within a particular conception of self-study research and make a case for situating martial arts as non-formal education. The data for this article are presented as a…

The NLC Software Requirements Methodology

Energy Technology Data Exchange (ETDEWEB)

Shoaee, Hamid

2002-08-20

We describe the software requirements and development methodology developed for the NLC control system. Given the longevity of that project, and the likely geographical distribution of the collaborating engineers, the planned requirements management process is somewhat more formal than the norm in high energy physics projects. The short term goals of the requirements process are to accurately estimate costs, to decompose the problem, and to determine likely technologies. The long term goal is to enable a smooth transition from high level functional requirements to specific subsystem and component requirements for individual programmers, and to support distributed development. The methodology covers both ends of that life cycle. It covers both the analytical and documentary tools for software engineering, and project management support. This paper introduces the methodology, which is fully described in [1].

A development methodology for scientific software

International Nuclear Information System (INIS)

Cort, G.; Barrus, D.M.; Goldstone, J.A.; Miller, L.; Nelson, R.O.; Poore, R.V.

1985-01-01

We present the details of a software development methodology that addresses all phases of the software life cycle, yet is well suited for application by small projects with limited resources. The methodology has been developed at the Los Alamos Weapons Neutron Research (WNR) Facility and was utilized during the recent development of the WNR Data Acquisition Command Language. The methodology emphasizes the development and maintenance of comprehensive documentation for all software components. The impact of the methodology upon software quality and programmer productivity is assessed

Formal model-based development for safety-critical embedded software

International Nuclear Information System (INIS)

Kim, Jin Hyun; Choi, Jin Young

2005-01-01

Safety-critical embedded software for nuclear I and C system is developed under the safety and reliability regulation. Programmable logic controller(PLC) is a computer system for instrumentation and control (I and C) system of nuclear power plants. PLC consists of various I and C logics in software, including real-time operating system (RTOS). Hence, errors related with RTOS should be detected and eliminated in development processes. Practically, the verification and validation for errors in RTOS is performed in test procedure, in which a lot of tasks for testing are embedded in RTOS and are running under a test environments. But the test process can not be enough to guarantee the safety and reliability of RTOS. Therefore, in this paper, we introduce to applying formal methods with the development of software for the PLC. We particularity apply formal methods to a development of RTOS for PLC, which is a safety critical level. In this development, we use the state charts of I-Logix to specify and verification and model checking to verify the specification

Formal model-based development for safety-critical embedded software

Energy Technology Data Exchange (ETDEWEB)

Kim, Jin Hyun; Choi, Jin Young [Korea University, seoul (Korea, Republic of)

2005-11-15

Safety-critical embedded software for nuclear I and C system is developed under the safety and reliability regulation. Programmable logic controller(PLC) is a computer system for instrumentation and control (I and C) system of nuclear power plants. PLC consists of various I and C logics in software, including real-time operating system (RTOS). Hence, errors related with RTOS should be detected and eliminated in development processes. Practically, the verification and validation for errors in RTOS is performed in test procedure, in which a lot of tasks for testing are embedded in RTOS and are running under a test environments. But the test process can not be enough to guarantee the safety and reliability of RTOS. Therefore, in this paper, we introduce to applying formal methods with the development of software for the PLC. We particularity apply formal methods to a development of RTOS for PLC, which is a safety critical level. In this development, we use the state charts of I-Logix to specify and verification and model checking to verify the specification.

The MODUS Approach to Formal Verification

Directory of Open Access Journals (Sweden)

Brewka Lukasz

2014-03-01

Full Text Available Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project

SELF-EFFICACY OF FORMALLY AND NON-FORMALLY TRAINED PUBLIC SECTOR TEACHERS

Directory of Open Access Journals (Sweden)

Muhammad Nadeem ANWAR

2009-07-01

Full Text Available The main objective of the study was to compare the formally and non-formally trained in-service public sector teachers’ Self-efficacy. Five hypotheses were developed describing no difference in the self-efficacy of formally and non-formally trained teachers to influence decision making, influence school resources, instructional self-efficacy, disciplinary self-efficacy and create positive school climate. Teacher Efficacy Instrument (TSES developed by Bandura (2001 consisting of thirty 9-point items was used in the study. 342 formally trained and 255 non-formally trained respondents’ questionnaires were received out of 1500 mailed. The analysis of data revealed that the formally trained public sector teachers are high in their self-efficacy on all the five categories: to influence decision making, to influence school resources, instructional self-efficacy, disciplinary self-efficacy and self-efficacy to create positive school climate.

Testing one model of family role in the development of formal operations

Directory of Open Access Journals (Sweden)

Stepanović Ivana

2008-01-01

Full Text Available Contemporary authors emphasise the importance of viewing the family as a specific educational context and of studying its role in the cognitive development. In this paper, we tested the model that postulates the way in which the different ways of parental mediation and various means of the family cultural-supportive system affect the development of formal operations. We assumed that the education of parents and financial status of the family form a wider context that influences the general dimensions of family interaction (emotional exchange and democratism, but also the cultural-pedagogical status of the family, and that their connection with formal operations is mediated by the above-mentioned variables. We expected the education of parents and general dimensions of family interaction to influence the parental mediation characteristic for the development of formal operations, operationalised by CSS scale, and to mediate, via this variable, the development of that form of thinking. The direct link with formal operations is postulated in the case of variables of cultural-pedagogical status and CSS scale. The sample consists of 305 pupils aged 15 to 19. The Structural Equation Modeling was used for testing the postulated model. The results show that there is a direct influence of cultural-pedagogical status and CSS scale on formal operations, but of mother's education as well. Some relations between other predictors were confirmed, and some not, which suggests that the proposed explanatory model must be revised to some degree.

Informal Learning and Non-Formal Education for Development

Science.gov (United States)

Latchem, Colin

2014-01-01

The following article examines the issues of open, distance and technology-based informal learning and non-formal education for individual and community development. It argues that these two modes of education, which are estimated to constitute 70-90% of lifelong learning, are insufficiently represented in the literature of open and distance…

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations

Directory of Open Access Journals (Sweden)

Leonard Petnga

2016-06-01

Full Text Available Waterway and canal systems are particularly cost effective in the transport of bulk and containerized goods to support global trade. Yet, despite these benefits, they are among the most under-appreciated forms of transportation engineering systems. Looking ahead, the long-term view is not rosy. Failures, delays, incidents and accidents in aging waterway systems are doing little to attract the technical and economic assistance required for modernization and sustainability. In a step toward overcoming these challenges, this paper argues that programs for waterway and canal modernization and sustainability can benefit significantly from system thinking, supported by systems engineering techniques. We propose a multi-level multi-stage methodology for the model-based design, simulation and formal verification of automated waterway system operations. At the front-end of development, semi-formal modeling techniques are employed for the representation of project goals and scenarios, requirements and high-level models of behavior and structure. To assure the accuracy of engineering predictions and the correctness of operations, formal modeling techniques are used for the performance assessment and the formal verification of the correctness of functionality. The essential features of this methodology are highlighted in a case study examination of ship and lock-system behaviors in a two-stage lock system.

Essential competencies analysis of a training model development for non-formal vocational teachers under the office of the non-formal and informal education in Thailand

Directory of Open Access Journals (Sweden)

Chayanopparat Piyanan

2016-01-01

Full Text Available Non-formal vocational education provides practical experiences in a particular occupational field to non-formal semi-skilled learners. Non-formal vocational teachers are the key persons to deliver particular occupational knowledge. The essential competencies enhancement for non-sformal vocational teachers will improve teaching performance. The question of the research is what the essential competencies for the nonformal vocational teachers are. The research method was 1 to review related literature, 2 to collect a needs assessment, and 3 to analyse the essential competencies for non-formal vocational teachers. The population includes non-formal vocational teachers at the executive level and nonformal vocational teachers. The results from the essential competencies analysis found that the essential competencies for non-formal vocational teachers consist of 5 capabilities including 1 Adult learning design capability, 2 Adult learning principle application capability, 3 ICT searching capability for teaching preparation, 4 Instructional plan development capability and 5 Instructional media development capability.

Development of a Formal Army Officer Mentorship Model for the Twenty-First Century

National Research Council Canada - National Science Library

Harney, Robert

2000-01-01

This study addresses the role of formal mentoring processes in the U.S. Army. Specifically, this study examines which formal mentoring model should the Army adopt and implement as part of its overall officer development process...

The formal operations: Piaget’s concept, researches and main critics

Directory of Open Access Journals (Sweden)

Stepanović Ivana Ž.

2004-01-01

Full Text Available This paper deals with Piaget's concept of formal operations, formal operations researches and critics related to the concept. The first part of the work is dedicated to the formal operations concept. The main characteristics of formal operational thought and formal operations structure, as well as structure logical model are presented in that part of the work. The second part is a review of formal operational researches and it is divided in three parts: (1 problems of researches (2 characteristics of applied methodology and (3 author approaches as a specific research context. In the last part of the work the main critics of formal operations concept are presented and discussed.

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth; Kjær, Andreas A.; Le Bliguet, Marie

2011-01-01

This paper describes a tool for formal modelling relay interlocking systems and explains how it has been stepwise, formally developed using the RAISE method. The developed tool takes the circuit diagrams of a relay interlocking system as input and gives as result a state transition system modelling...

Development of enterprise architecture management methodology for teaching purposes

Directory of Open Access Journals (Sweden)

Dmitry V. Kudryavtsev

2017-01-01

Full Text Available Enterprise architecture is considered as a certain object of management, providing in business a general view of the enterprise and the mutual alignment of parts of this enterprise into a single whole, and as the discipline that arose based on this object. The architectural approach to the modeling and design of the enterprise originally arose in the field of information technology and was used to design information systems and technical infrastructure, as well as formalize business requirements. Since the early 2000’s enterprise architecture is increasingly used in organizational development and business transformation projects, especially if information technologies are involved. Enterprise architecture allows describing, analyzing and designing the company from the point of view of its structure, functioning and goal setting (motivation.In the context of this approach, the enterprise is viewed as a system of services, processes, goals and performance indicators, organizational units, information systems, data, technical facilities, etc. Enterprise architecture implements the idea of a systematic approach to managing and changing organizations in the digital economy where business is strongly dependent on information technologies.This increases the relevance of the suggested approach at the present time, when companies need to create and successfully implement a digital business strategy.Teaching enterprise architecture in higher educational institutions is a difficult task due to the interdisciplinary of this subject, its generalized nature and close connection with practical experience. In addition, modern enterprise architecture management methodologies are complex for students and contain many details that are relevant for individual situations.The paper proposes a simplified methodology for enterprise architecture management, which on the one hand will be comprehensible to students, and on the other hand, it will allow students to apply

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems

CERN Document Server

AUTHOR|(CDS)2088632; Blanco Viñuela, Enrique

Formal specification and verification methods provide ways to describe requirements precisely and to check whether the requirements are satisfied by the design or the implementation. In other words, they can prevent development faults and therefore improve the quality of the developed systems. These methods are part of the state-of-the-practice in application domains with high criticality, such as avionics, railway or nuclear industry. The situation is different in the industrial control systems domain. As the criticality of the systems is much lower, formal methods are rarely used. The two main obstacles to using formal methods in systems with low- or medium-criticality are performance and usability. Overcoming these obstacles often needs deep knowledge and high effort. Model checking, one of the main formal verification techniques, is computationally difficult, therefore the analysis of non-trivial systems requires special considerations. Furthermore, the mainly academic tools implementing different model c...

Formalization of Database Systems -- and a Formal Definition of {IMS}

DEFF Research Database (Denmark)

Bjørner, Dines; Løvengreen, Hans Henrik

1982-01-01

Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....

Lifelong Competence Development: On the Advantages of Formal Competence-Performance Modeling

NARCIS (Netherlands)

Kickmeier-Rust, Michael D.; Albert, Dietrich; Steiner, Christina

2006-01-01

Please, cite this publication as: Kickmeier-Rust, M.D., Albert, D., & Steiner, C. (2006). Lifelong Competence Development: On the Advantages of Formal Competence-Performance Modeling. Proceedings of International Workshop in Learning Networks for Lifelong Competence Development, TENCompetence

Application of agile methodologies in software development

Directory of Open Access Journals (Sweden)

Jovanović Aca D.

2016-01-01

Full Text Available The paper presents the potentials for the development of software using agile methodologies. Special consideration is devoted to the potentials and advantages of use of the Scrum methodology in the development of software and the relationship between the implementation of agile methodologies and the software development projects.

Statistical Survey of Non-Formal Education

Directory of Open Access Journals (Sweden)

Ondřej Nývlt

2012-12-01

Full Text Available focused on a programme within a regular education system. Labour market flexibility and new requirements on employees create a new domain of education called non-formal education. Is there a reliable statistical source with a good methodological definition for the Czech Republic? Labour Force Survey (LFS has been the basic statistical source for time comparison of non-formal education for the last ten years. Furthermore, a special Adult Education Survey (AES in 2011 was focused on individual components of non-formal education in a detailed way. In general, the goal of the EU is to use data from both internationally comparable surveys for analyses of the particular fields of lifelong learning in the way, that annual LFS data could be enlarged by detailed information from AES in five years periods. This article describes reliability of statistical data aboutnon-formal education. This analysis is usually connected with sampling and non-sampling errors.

Management Development Experiences and Expectations: Informal vs Formal Learning

Science.gov (United States)

Becker, Karen; Bish, Adelle

2017-01-01

Purpose: Many organisations are reconsidering their investment in formal education and training, in favour of more informal approaches to learning such as mentoring, temporary assignments, stretch assignments, and job rotation. The purpose of this paper is to explore the ways in which managers have developed capabilities for their roles thus far…

Is adolescence a critical period for learning formal thinking skills? A case study investigating the development of formal thinking skills in a short-term inquiry-based intervention program

Science.gov (United States)

Towne, Forrest S.

Current domestic and international comparative studies of student achievement in science are demonstrating that the U.S. needs to improve science education if it wants to remain competitive in the global economy. One of the causes of the poor performance of U.S. science education is the lack of students who have developed the formal thinking skills that are necessary to obtain scientific literacy. Previous studies have demonstrated that formal thinking skills can be taught to adolescents, however only 25% of incoming college freshman have these necessary skills. There is some evidence that adolescence (girls aged 11-13, boys aged 12-14) is a critical period where students must learn formal thinking skills, similar to the critical period that exists for young children learning languages. It is not known whether it is more difficult for students to learn formal thinking skills either prior to or following adolescence. The purpose of this quantitative case study is to determine whether adolescence is a critical period for students to learn formal thinking skills. The study also investigates whether a formal thinking skills focused program can improve students' intelligence. In this study 32 students who had not developed any formal thinking skills, ranging in age from 10-16, underwent an intensive four-week, inquiry-based, formal thinking skill intervention program that focused on two formal thinking skills: (1) the ability to control and exclude variables; and (2) the ability to manipulate ratios and proportionalities. The students undergoing the training were matched with control students by age, gender, formal thinking skill ability, and intelligence. The control group attended their traditional science course during the intervention periods. The results of the study showed that the intervention program was successful in developing students' formal thinking skills. The pre-adolescents (males, age 10-11, females, age 10) were unable to learn formal thinking skills

An Introduction to Formal Methods for the Development of Safety-critical Applications

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

2010-01-01

This report is a delivery to The Danish Government’s railway authority, Trafikstyrelsen, as a part of the Public Sector Consultancy service offered by the Technical University of Denmark. The purpose of the report is to give the reader an insight into the stateof-the-art of formal methods. The reader...... is assumed to have some knowledge about software development, but not on formal methods. The background for the railway authorities’ interest in formal methods is the fact that during the next decade a total renewal of the Danish signalling infrastructure is going to take place. Central parts of the new...... systems will be software components that must fulfill strong safety requirements: in order to get the software certified at the highest Safety Integrity Levels of the European CENELEC standards for railway applications, the software providers are expected to use formal methods....

Methodology for developing new test methods

Directory of Open Access Journals (Sweden)

A. I. Korobko

2017-06-01

Full Text Available The paper describes the methodology for developing new test methods and forming solutions for the development of new test methods. The basis of the methodology for developing new test methods is the individual elements of the system and process approaches. They contribute to the development of an effective research strategy for the object, the study of interrelations, the synthesis of an adequate model of the test method. The effectiveness of the developed test method is determined by the correct choice of the set of concepts, their interrelations and mutual influence. This allows you to solve the tasks assigned to achieve the goal. The methodology is based on the use of fuzzy cognitive maps. The question of the choice of the method on the basis of which the model for the formation of solutions is based is considered. The methodology provides for recording a model for a new test method in the form of a finite set of objects. These objects are significant for the test method characteristics. Then a causal relationship is established between the objects. Further, the values of fitness indicators and the observability of the method and metrological tolerance for the indicator are established. The work is aimed at the overall goal of ensuring the quality of tests by improving the methodology for developing the test method.

Formal, Non-Formal and Informal Learning in the Sciences

Science.gov (United States)

Ainsworth, Heather L.; Eaton, Sarah Elaine

2010-01-01

This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

A Rigorous Methodology for Analyzing and Designing Plug-Ins

DEFF Research Database (Denmark)

Fasie, Marieta V.; Haxthausen, Anne Elisabeth; Kiniry, Joseph

2013-01-01

. This paper addresses these problems by describing a rigorous methodology for analyzing and designing plug-ins. The methodology is grounded in the Extended Business Object Notation (EBON) and covers informal analysis and design of features, GUI, actions, and scenarios, formal architecture design, including...... behavioral semantics, and validation. The methodology is illustrated via a case study whose focus is an Eclipse environment for the RAISE formal method's tool suite....

Artabilitation ICMC Panel paper Denmark 2007:Non-Formal Rehabilitation via Immersiveinteractive Music Environments

DEFF Research Database (Denmark)

Brooks, Tony; Petersson, Eva; Eaglestone, Barry

2007-01-01

This paper brings together perspectives of the ICMC 2007 ArtAbilitation Panel on non-formal rehabilitation via immersive interactive music environments. Issues covered are sound therapy, musical topologies, brainwave control and research methodology.......This paper brings together perspectives of the ICMC 2007 ArtAbilitation Panel on non-formal rehabilitation via immersive interactive music environments. Issues covered are sound therapy, musical topologies, brainwave control and research methodology....

The Mutual Reciprocity of Education, Non-Formal Cultural Education and Social Capital

Directory of Open Access Journals (Sweden)

Igaune Edīte

2016-12-01

Full Text Available Human knowledge and creative potential has become one of the most important driving forces of humanity progress. In the context of the twenty-first century, in order to create a high-quality culture environment, it requires a paradigm shift in education - the transition to education, which stimulates the imagination, intuition, emotions and creative ideas and develops critical thinking. Non-formal education and the skills and knowledge gained in it is still in evaluation and recognition phase in Latvia. It is still developing; therefore, it is important to create a clear understanding of the importance and social role of non-formal cultural education. The paper aims to explore the role of non-formal cultural education in strengthening social capital as well as to identify what social capital indicators can be attributed to non-formal cultural education programmes. The topicality of the study is determined by the fact that non-formal cultural education and social capital in the context of Latvia are little explored areas, as well as there is lack of research on mutual reciprocity. The study uses qualitative research methodology. Research analyses non-formal cultural education programmes of 10 subordinated institutions of Latvian Ministry of Culture (museums, theatres, concert institutions and opera and on the basis of 19 in-depth and semi-structured interviews. Study contains new, theoretically based evaluation model of social capital and characterizes of indicators in the context of non-formal education. The study confirms that there is a mutual reciprocity between social capital and non-formal cultural education programmes, and these programmes have a positive and supportive role in strengthening both the individual and collective social capital.

The Halden Reactor Project workshop on improved system development using case-tools based on formal methods

International Nuclear Information System (INIS)

Gran, Bjoern Axel; Sivertsen, Terje; Stoelen, Ketil; Thunem, Harald; Zhang, Wenhui

1999-02-01

The workshop 'Improved system development using case-tools based on formal methods' was organised in Halden, December 1-2, 1998. The purpose of the workshop was to present and discuss the state-of-the-art with respect to formal approaches. The workshop had two invited presentations: 'Formality in specification and modelling: developments in software engineering practice' by John Fitzgerald (Centre for Software Reliability, UK), and 'Formal methods in industry - reaching results when correctness is not the only issue' by Oeystein Haugen (Ericsson NorARC, Norway). The workshop also had several presentations divided into three sessions on industrial experience, tools, and combined approaches. Each day there was a discussion. The first was on the effect of formalization, while the second was on the role of formal verification. At the end of the workshop, the presentations and discussions were summarised into specific recommendations. This report summarises the presentations of the speakers, the discussions, the recommendations, and the demonstrations given at the workshop (author) (ml)

Informal and formal learning of general practitioners

NARCIS (Netherlands)

Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

2016-01-01

Purpose The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach To obtain insight in

What the Current System Development Trends tell us about Systems Development Methodologies: Toward explaining SSDAM, Agile and IDEF0 Methodologies

Directory of Open Access Journals (Sweden)

Abdulla F. Ally

2015-03-01

Full Text Available Systems integration, customization and component based development approach are of increasing attention. This trend facilitates the research attention to also focus on systems development methodologies. The availability of systems development tools, rapid change in technologies, evolution of mobile computing and the growth of cloud computing have necessitated a move toward systems integration and customization rather than developing systems from scratch. This tendency encourages component based development and discourages traditional systems development approach. The paper presents and evaluates SSADM, IDEF0 and Agile systems development methodologies. More specifically, it examines how they fit or not fit into the current competitive market of systems development. In the view of this perspective, it is anticipated that despite of its popularity, SSADM methodology is becoming obsolete while Agile and IDEF0 methodologies are still gaining acceptance in the current competitive market of systems development. The present study more likely enrich our understanding of the systems development methodologies concepts and draw attention regarding where the current trends in system development are heading.

Developing Formal Correctness Properties from Natural Language Requirements

Science.gov (United States)

Nikora, Allen P.

2006-01-01

This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.

Photovoltaic module energy rating methodology development

Energy Technology Data Exchange (ETDEWEB)

Kroposki, B.; Myers, D.; Emery, K.; Mrig, L. [National Renewable Energy Lab., Golden, CO (United States); Whitaker, C.; Newmiller, J. [Endecon Engineering, San Ramon, CA (United States)

1996-05-01

A consensus-based methodology to calculate the energy output of a PV module will be described in this paper. The methodology develops a simple measure of PV module performance that provides for a realistic estimate of how a module will perform in specific applications. The approach makes use of the weather data profiles that describe conditions throughout the United States and emphasizes performance differences between various module types. An industry-representative Technical Review Committee has been assembled to provide feedback and guidance on the strawman and final approach used in developing the methodology.

IMSF: Infinite Methodology Set Framework

Science.gov (United States)

Ota, Martin; Jelínek, Ivan

Software development is usually an integration task in enterprise environment - few software applications work autonomously now. It is usually a collaboration of heterogeneous and unstable teams. One serious problem is lack of resources, a popular result being outsourcing, ‘body shopping’, and indirectly team and team member fluctuation. Outsourced sub-deliveries easily become black boxes with no clear development method used, which has a negative impact on supportability. Such environments then often face the problems of quality assurance and enterprise know-how management. The used methodology is one of the key factors. Each methodology was created as a generalization of a number of solved projects, and each methodology is thus more or less connected with a set of task types. When the task type is not suitable, it causes problems that usually result in an undocumented ad-hoc solution. This was the motivation behind formalizing a simple process for collaborative software engineering. Infinite Methodology Set Framework (IMSF) defines the ICT business process of adaptive use of methods for classified types of tasks. The article introduces IMSF and briefly comments its meta-model.

A formal framework for scenario development in support of environmental decision-making

Science.gov (United States)

Mahmoud, M.; Liu, Yajing; Hartmann, H.; Stewart, S.; Wagener, T.; Semmens, D.; Stewart, R.; Gupta, H.; Dominguez, D.; Dominguez, F.; Hulse, D.; Letcher, R.; Rashleigh, Brenda; Smith, C.; Street, R.; Ticehurst, J.; Twery, M.; van, Delden H.; Waldick, R.; White, D.; Winter, L.

2009-01-01

Scenarios are possible future states of the world that represent alternative plausible conditions under different assumptions. Often, scenarios are developed in a context relevant to stakeholders involved in their applications since the evaluation of scenario outcomes and implications can enhance decision-making activities. This paper reviews the state-of-the-art of scenario development and proposes a formal approach to scenario development in environmental decision-making. The discussion of current issues in scenario studies includes advantages and obstacles in utilizing a formal scenario development framework, and the different forms of uncertainty inherent in scenario development, as well as how they should be treated. An appendix for common scenario terminology has been attached for clarity. Major recommendations for future research in this area include proper consideration of uncertainty in scenario studies in particular in relation to stakeholder relevant information, construction of scenarios that are more diverse in nature, and sharing of information and resources among the scenario development research community. ?? 2008 Elsevier Ltd.

A methodology to migrate the gene ontology to a description logic environment using DAML+OIL.

Science.gov (United States)

Wroe, C J; Stevens, R; Goble, C A; Ashburner, M

2003-01-01

The Gene Ontology Next Generation Project (GONG) is developing a staged methodology to evolve the current representation of the Gene Ontology into DAML+OIL in order to take advantage of the richer formal expressiveness and the reasoning capabilities of the underlying description logic. Each stage provides a step level increase in formal explicit semantic content with a view to supporting validation, extension and multiple classification of the Gene Ontology. The paper introduces DAML+OIL and demonstrates the activity within each stage of the methodology and the functionality gained.

Formalization of hydrocarbon conversion scheme of catalytic cracking for mathematical model development

Science.gov (United States)

Nazarova, G.; Ivashkina, E.; Ivanchina, E.; Kiseleva, S.; Stebeneva, V.

2015-11-01

The issue of improving the energy and resource efficiency of advanced petroleum processing can be solved by the development of adequate mathematical model based on physical and chemical regularities of process reactions with a high predictive potential in the advanced petroleum refining. In this work, the development of formalized hydrocarbon conversion scheme of catalytic cracking was performed using thermodynamic parameters of reaction defined by the Density Functional Theory. The list of reaction was compiled according to the results of feedstock structural-group composition definition, which was done by the n-d-m-method, the Hazelvuda method, qualitative composition of feedstock defined by gas chromatography-mass spectrometry and individual composition of catalytic cracking gasoline fraction. Formalized hydrocarbon conversion scheme of catalytic cracking will become the basis for the development of the catalytic cracking kinetic model.

Media Literacy, Education & (Civic) Capability: A Transferable Methodology

Science.gov (United States)

McDougall, Julian; Berger, Richard; Fraser, Pete; Zezulkova, Marketa

2015-01-01

This article explores the relationship between a formal media educational encounter in the UK and the broad objectives for media and information literacy education circulating in mainland Europe and the US. A pilot study, developed with a special interest group of the United Kingdom Literacy Association, applied a three-part methodology for…

Development of assessment methodology for plant configuration control

Energy Technology Data Exchange (ETDEWEB)

Chung, Chang Hyun; You, Young Woo; Kim, Yoon Ik; Yang, Hui Chang; Huh, Byeong Gill; Lee, Dong Won; Ahn, Gwan Won [Seoul National Univ., Seoul (Korea, Republic of)

2001-03-15

The purpose of this study IS the development of effective and overall assessment methodology which reflects the characteristics of plants for the surveillance, maintenance, repair and operation of nuclear power plants. In this study, recent researches are surveyed and concept definition, procedures, current PSA methodologies, implementation of various models are evaluated. Through this survey, systematic assessment methodology is suggested. Configuration control assessment methodology suggested in this study for the purpose of the development of configuration control methodology reflecting the characteristics of Korean NPPs, can be utilized as the supplement of current PSA methodologies.

Heuristics structure and pervade formal risk assessment.

Science.gov (United States)

MacGillivray, Brian H

2014-04-01

Lay perceptions of risk appear rooted more in heuristics than in reason. A major concern of the risk regulation literature is that such "error-strewn" perceptions may be replicated in policy, as governments respond to the (mis)fears of the citizenry. This has led many to advocate a relatively technocratic approach to regulating risk, characterized by high reliance on formal risk and cost-benefit analysis. However, through two studies of chemicals regulation, we show that the formal assessment of risk is pervaded by its own set of heuristics. These include rules to categorize potential threats, define what constitutes valid data, guide causal inference, and to select and apply formal models. Some of these heuristics lay claim to theoretical or empirical justifications, others are more back-of-the-envelope calculations, while still more purport not to reflect some truth but simply to constrain discretion or perform a desk-clearing function. These heuristics can be understood as a way of authenticating or formalizing risk assessment as a scientific practice, representing a series of rules for bounding problems, collecting data, and interpreting evidence (a methodology). Heuristics are indispensable elements of induction. And so they are not problematic per se, but they can become so when treated as laws rather than as contingent and provisional rules. Pitfalls include the potential for systematic error, masking uncertainties, strategic manipulation, and entrenchment. Our central claim is that by studying the rules of risk assessment qua rules, we develop a novel representation of the methods, conventions, and biases of the prior art. © 2013 Society for Risk Analysis.

Combining formal and functional approaches to topic structure

NARCIS (Netherlands)

Zellers, M.; Post, B.

2012-01-01

Fragmentation between formal and functional approaches to prosodic variation is an ongoing problem in linguistic research. In particular, the frameworks of the Phonetics of Talk-in-Interaction (PTI) and Empirical Phonology (EP) take very different theoretical and methodological approaches to this

Automated Generation of Formal Models from ST Control Programs for Verification Purposes

CERN Document Server

Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Blech, J-O; Gonzalez Suarez, V

2014-01-01

In large industrial control systems such as the ones installed at CERN, one of the main issues is the ability to verify the correct behaviour of the Programmable Logic Controller (PLC) programs. While manual and automated testing can achieve good results, some obvious problems remain unsolved such as the difficulty to check safety or liveness properties. This paper proposes a general methodology and a tool to verify PLC programs by automatically generating formal models for different model checkers out of ST code. The proposed methodology defines an automata-based formalism used as intermediate model (IM) to transform PLC programs written in ST language into different formal models for verification purposes. A tool based on Xtext has been implemented that automatically generates models for the NuSMV and UPPAAL model checkers and the BIP framework.

Informal and Formal Learning of General Practitioners

Science.gov (United States)

Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

2016-01-01

Purpose: The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach: To obtain insight in various learning processes, semi-structured…

The development of a model of creative space and its potential for transfer from non-formal to formal education

Science.gov (United States)

White, Irene; Lorenzi, Francesca

2016-12-01

Creativity has been emerging as a key concept in educational policies since the mid-1990s, with many Western countries restructuring their education systems to embrace innovative approaches likely to stimulate creative and critical thinking. But despite current intentions of putting more emphasis on creativity in education policies worldwide, there is still a relative dearth of viable models which capture the complexity of creativity and the conditions for its successful infusion into formal school environments. The push for creativity is in direct conflict with the results-driven/competitive performance-oriented culture which continues to dominate formal education systems. The authors of this article argue that incorporating creativity into mainstream education is a complex task and is best tackled by taking a systematic and multifaceted approach. They present a multidimensional model designed to help educators in tackling the challenges of the promotion of creativity. Their model encompasses three distinct yet interrelated dimensions of a creative space - physical, social-emotional and critical. The authors use the metaphor of space to refer to the interplay of the three identified dimensions. Drawing on confluence approaches to the theorisation of creativity, this paper exemplifies the development of a model before the background of a growing trend of systems theories. The aim of the model is to be helpful in systematising creativity by offering parameters - derived from the evaluation of an example offered by a non-formal educational environment - for the development of creative environments within mainstream secondary schools.

Assessment of ALWR passive safety system reliability. Phase 1: Methodology development and component failure quantification

International Nuclear Information System (INIS)

Hake, T.M.; Heger, A.S.

1995-04-01

Many advanced light water reactor (ALWR) concepts proposed for the next generation of nuclear power plants rely on passive systems to perform safety functions, rather than active systems as in current reactor designs. These passive systems depend to a great extent on physical processes such as natural circulation for their driving force, and not on active components, such as pumps. An NRC-sponsored study was begun at Sandia National Laboratories to develop and implement a methodology for evaluating ALWR passive system reliability in the context of probabilistic risk assessment (PRA). This report documents the first of three phases of this study, including methodology development, system-level qualitative analysis, and sequence-level component failure quantification. The methodology developed addresses both the component (e.g. valve) failure aspect of passive system failure, and uncertainties in system success criteria arising from uncertainties in the system's underlying physical processes. Traditional PRA methods, such as fault and event tree modeling, are applied to the component failure aspect. Thermal-hydraulic calculations are incorporated into a formal expert judgment process to address uncertainties in selected natural processes and success criteria. The first phase of the program has emphasized the component failure element of passive system reliability, rather than the natural process uncertainties. Although cursory evaluation of the natural processes has been performed as part of Phase 1, detailed assessment of these processes will take place during Phases 2 and 3 of the program

A methodology for developing distributed programs

NARCIS (Netherlands)

Ramesh, S.; Mehndiratta, S.L.

1987-01-01

A methodology, different from the existing ones, for constructing distributed programs is presented. It is based on the well-known idea of developing distributed programs via synchronous and centralized programs. The distinguishing features of the methodology are: 1) specification include process

The prosa methodology for scenario development

International Nuclear Information System (INIS)

Grupa, J.B.

2001-01-01

In this paper a methodology for scenario development is proposed. The method is developed in an effort to convince ourselves (and others) that all conceivable future developments of a waste repository have been covered. To be able to assess all conceivable future developments, the method needs to be comprehensive. To convince us and others the method should be structured in such a way that the treatment of each conceivable future development is traceable. The methodology is currently being applied to two Dutch disposal designs. Preliminary results show that the elaborated method functions better than the original method. However, some elements in the method will need further refinement. (author)

Development of assessment methodology for plant configuration control

Energy Technology Data Exchange (ETDEWEB)

Cheong, Chang Hyeon; Yu, Yeong Woo; Cho, Jae Seon; Kim, Ju Yeol; Kim, Yun Ik; Yang, Hui Chang; Park, Gang Min; Hur, Byeong Gil [Seoul National Univ., Seoul (Korea, Republic of)

1999-03-15

The purpose of this study is the development of effective and overall assessment methodology which reflects the characteristics of plants for the surveillance, maintenance, repair and operation of Nuclear Power Plant. The development of this methodology can contribute to enhance safety. In the first year of this study, recent researches are surveyed and concept definition, procedures, current PSA methodologies, implementation of various models are evaluated. Through this survey, systematic assessment methodology is suggested.

GENESIS OF METHODOLOGY OF MANAGEMENT BY DEVELOPMENT OF ORGANIZATIONS

Directory of Open Access Journals (Sweden)

Z.N. Varlamova

2007-06-01

Full Text Available In clause the genesis of methodology of management of development of organizations as sets of the used methodological approaches and methods is investigated. The results of the comparative analysis of the methodological approaches to management of organizational development are submitted. The traditional methodological approaches are complemented strategic experiment and methodology case studies. The approaches to formation of new methodology and technique of research of sources of competitive advantages of organization are considered.

Expert2OWL: A Methodology for Pattern-Based Ontology Development.

Science.gov (United States)

Tahar, Kais; Xu, Jie; Herre, Heinrich

2017-01-01

The formalization of expert knowledge enables a broad spectrum of applications employing ontologies as underlying technology. These include eLearning, Semantic Web and expert systems. However, the manual construction of such ontologies is time-consuming and thus expensive. Moreover, experts are often unfamiliar with the syntax and semantics of formal ontology languages such as OWL and usually have no experience in developing formal ontologies. To overcome these barriers, we developed a new method and tool, called Expert2OWL that provides efficient features to support the construction of OWL ontologies using GFO (General Formal Ontology) as a top-level ontology. This method allows a close and effective collaboration between ontologists and domain experts. Essentially, this tool integrates Excel spreadsheets as part of a pattern-based ontology development and refinement process. Expert2OWL enables us to expedite the development process and modularize the resulting ontologies. We applied this method in the field of Chinese Herbal Medicine (CHM) and used Expert2OWL to automatically generate an accurate Chinese Herbology ontology (CHO). The expressivity of CHO was tested and evaluated using ontology query languages SPARQL and DL. CHO shows promising results and can generate answers to important scientific questions such as which Chinese herbal formulas contain which substances, which substances treat which diseases, and which ones are the most frequently used in CHM.

Development of a methodology for classifying software errors

Science.gov (United States)

Gerhart, S. L.

1976-01-01

A mathematical formalization of the intuition behind classification of software errors is devised and then extended to a classification discipline: Every classification scheme should have an easily discernible mathematical structure and certain properties of the scheme should be decidable (although whether or not these properties hold is relative to the intended use of the scheme). Classification of errors then becomes an iterative process of generalization from actual errors to terms defining the errors together with adjustment of definitions according to the classification discipline. Alternatively, whenever possible, small scale models may be built to give more substance to the definitions. The classification discipline and the difficulties of definition are illustrated by examples of classification schemes from the literature and a new study of observed errors in published papers of programming methodologies.

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods

NARCIS (Netherlands)

Tretmans, G.J.; Wijbrans, K.C.J.; Chaudron, M.

2001-01-01

This paper discusses the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable dam which has to protect Rotterdam from floodings while, at (almost) the same time, not restricting ship traffic to the port of Rotterdam. The control

Critical Analysis of the Mathematical Formalism of Theoretical Physics. II. Foundations of Vector Calculus

Science.gov (United States)

Kalanov, Temur Z.

2014-03-01

A critical analysis of the foundations of standard vector calculus is proposed. The methodological basis of the analysis is the unity of formal logic and of rational dialectics. It is proved that the vector calculus is incorrect theory because: (a) it is not based on a correct methodological basis - the unity of formal logic and of rational dialectics; (b) it does not contain the correct definitions of ``movement,'' ``direction'' and ``vector'' (c) it does not take into consideration the dimensions of physical quantities (i.e., number names, denominate numbers, concrete numbers), characterizing the concept of ''physical vector,'' and, therefore, it has no natural-scientific meaning; (d) operations on ``physical vectors'' and the vector calculus propositions relating to the ''physical vectors'' are contrary to formal logic.

Software Formal Inspections Guidebook

Science.gov (United States)

1993-01-01

The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

PSA methodology development and application in Japan

International Nuclear Information System (INIS)

Kazuo Sato; Toshiaki Tobioka; Kiyoharu Abe

1987-01-01

The outlines of Japanese activities on development and application of probabilistic safety assessment (PSA) methodologies are described. First the activities on methodology development are described for system reliability analysis, operational data analysis, core melt accident analysis, environmental consequence analysis and seismic risk analysis. Then the methodoligy application examples by the regulatory side and the industry side are described. (author)

Formal System Verification - Extension 2

Science.gov (United States)

2012-08-08

vision of truly trustworthy systems has been to provide a formally verified microkernel basis. We have previously developed the seL4 microkernel...together with a formal proof (in the theorem prover Isabelle/HOL) of its functional correctness [6]. This means that all the behaviours of the seL4 C...source code are included in the high-level, formal specification of the kernel. This work enabled us to provide further formal guarantees about seL4 , in

Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

Directory of Open Access Journals (Sweden)

José Meseguer

2010-09-01

Full Text Available Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, including a rewriting logic semantics developed by the authors. Orc also has a fully fledged implementation in Java with functional programming features. However, as with descriptions of most distributed languages, there exists a fairly substantial gap between Orc's formal semantics and its implementation, in that: (i programs in Orc are not easily deployable in a distributed implementation just by using Orc's formal semantics, and (ii they are not readily formally analyzable at the level of a distributed Orc implementation. In this work, we overcome problems (i and (ii for Orc. Specifically, we describe an implementation technique based on rewriting logic and Maude that narrows this gap considerably. The enabling feature of this technique is Maude's support for external objects through TCP sockets. We describe how sockets are used to implement Orc site calls and returns, and to provide real-time timing information to Orc expressions and sites. We then show how Orc programs in the resulting distributed implementation can be formally analyzed at a reasonable level of abstraction by defining an abstract model of time and the socket communication infrastructure, and discuss the assumptions under which the analysis can be deemed correct. Finally, the distributed implementation and the formal analysis methodology are illustrated with a case study.

Systematic Review Methodology in Higher Education

Science.gov (United States)

Bearman, Margaret; Smith, Calvin D.; Carbone, Angela; Slade, Susan; Baik, Chi; Hughes-Warrington, Marnie; Neumann, David L.

2012-01-01

Systematic review methodology can be distinguished from narrative reviews of the literature through its emphasis on transparent, structured and comprehensive approaches to searching the literature and its requirement for formal synthesis of research findings. There appears to be relatively little use of the systematic review methodology within the…

Combining Formal and Functional Approaches to Topic Structure

Science.gov (United States)

Zellers, Margaret; Post, Brechtje

2012-01-01

Fragmentation between formal and functional approaches to prosodic variation is an ongoing problem in linguistic research. In particular, the frameworks of the Phonetics of Talk-in-Interaction (PTI) and Empirical Phonology (EP) take very different theoretical and methodological approaches to this kind of variation. We argue that it is fruitful to…

Exploring the development of fourth graders' environmental identity through participation in a semi-formal nature club

Science.gov (United States)

Brock, Ryan J.

Nature deficit, where disconnections occur between children and nature have come to the forefront of environmental education in recent years. This study explored how fourth graders in an after-school Nature Club developed or strengthened their environmental identity, thus decreasing nature deficit. Through a program that utilized semi-formal instruction, both classroom learning and direct experiences with nature, took place over a nine week period of time. Six children were followed as qualitative data was collected and analyzed for themes that would reveal how adolescent children in the developmental stage of concrete operations developed environmental identity. The results indicate that all students strengthened their environmental identity when social aspects were embedded. Students who entered Nature Club with low environmental identity required more direct experiences with nature while those with higher environmental identity required a combination of reflective components along with nature experiences. Based upon this study, the nine-week program which combined formal and non-formal means of learning was able to strengthen environmental identity in each of the participants. A strong theme of social learning, not explicitly identified in the literature was found. Additionally, and most importantly, findings also indicate that educators, both formal and non-formal, who teach environmental education and seek to strengthen environmental identity for adolescents for early interventions need to understand the development of environmental identity in concrete operational learners at a theoretical level.

Developing educational hypermedia applications: a methodological approach

Directory of Open Access Journals (Sweden)

Jose Miguel Nunes

1996-01-01

Full Text Available This paper proposes an hypermedia development methodology with the aim of integrating the work of both educators, who will be primarily responsible for the instructional design, with that of software experts, responsible for the software design and development. Hence, it is proposed that the educators and programmers should interact in an integrated and systematic manner following a methodological approach.

Non-Formal Basic Education as a Development Priority: Evidence from Nicaragua

Science.gov (United States)

Handa, Sudhanshu; Pineda, Heiling; Esquivel, Yannete; Lopez, Blancadilia; Gurdian, Nidia Veronica; Regalia, Ferdinando

2009-01-01

Almost 900m adolescents and adults are illiterate in the developing world, yet most policy discussions focus on the educational circumstances of primary aged children. As a result non-formal educational programs for adolescents and adults are given very little support, and this group is virtually ignored in international agreements such as the…

Development of risk-informed assessment (RIA) design methodology

International Nuclear Information System (INIS)

Ji, S. K.; Park, S. J.; Park, B. R.; Kim, M. R.; Choi, C. J.

2001-01-01

It has been assessed that the capital cost for future nuclear power plants needs to be reduced on the order of 35% to 40% for Advanced Light Water Reactors such as KNGR and System 80+. Such reduction in the capital cost will require a fundamental re-evaluation of the industry standards and regulatory basis under which nuclear plants are designed and licensed. The objective of this study is to develop the risk-informed assessment (RIA) design methodology for future nuclear power plants. In order to meet this objective, the design simplification method is developed and RIA design methodology exercised for conceptual system. For the methodology verification, simplified conceptual ECCS and feedwater system are developed, then LOCA sensitivity analyses and agressive secondary cooldown analyses for these systems are performed. In addition, the probability safety assessment (PSA) model for LOCA is developed and the validation of RIA design methodology is demonstrated

A methodology for development of biocatalytic processes

DEFF Research Database (Denmark)

Lima Ramos, Joana

are available. The first case study presents a rational approach for defining a development strategy for multi-enzymatic processes. The proposed methodology requires a profound and structured knowledge of the multi-enzyme systems, integrating chemistry, biological and process engineering. In order to suggest......). These process metrics can often be attained by improvements in the reaction chemistry, the biocatalyst, and/or by process engineering, which often requires a complex process development strategy. Interestingly this complexity, which arises from the need for integration of biological and process technologies...... and their relationship with the overall process is not clear.The work described in this thesis presents a methodological approach for early stage development of biocatalytic processes, understanding and dealing with the reaction, biocatalyst and process constraints. When applied, this methodology has a decisive role...

Modelling and Formal Verification of Timing Aspects in Large PLC Programs

CERN Document Server

Fernandez Adiego, B; Blanco Vinuela, E; Tournier, J-C; Gonzalez Suarez, V M; Blech, J O

2014-01-01

One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an answer to this obstacle by proposing a methodology to model and verify timing aspects of PLC programs. Two approaches are proposed to allow the users to balance the trade-off between the complexity of the model, i.e. its number of states, and the set of specifications possible to be verified. A tool supporting the methodology which allows to produce models for different model checkers directly from PLC programs has been developed. Verification of timing aspects for real-life PLC programs are presented in this paper using NuSMV.

Formal Testing of Correspondence Carrying Software

NARCIS (Netherlands)

Bujorianu, M.C.; Bujorianu, L.M.; Maharaj, S.

2008-01-01

Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to

CATHARE code development and assessment methodologies

International Nuclear Information System (INIS)

Micaelli, J.C.; Barre, F.; Bestion, D.

1995-01-01

The CATHARE thermal-hydraulic code has been developed jointly by Commissariat a l'Energie Atomique (CEA), Electricite de France (EdF), and Framatorne for safety analysis. Since the beginning of the project (September 1979), development and assessment activities have followed a methodology supported by two series of experimental tests: separate effects tests and integral effects tests. The purpose of this paper is to describe this methodology, the code assessment status, and the evolution to take into account two new components of this program: the modeling of three-dimensional phenomena and the requirements of code uncertainty evaluation

Formalization in Component Based Development

DEFF Research Database (Denmark)

Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr

2006-01-01

We present a unifying conceptual framework for components, component interfaces, contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality behaviour or timing is an aspect. Each aspect...... may be specified in a formal language convenient for its purpose and, in principle, unrelated to languages for other aspects. Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects. The proposed conceptual framework is introduced...

Implementation of the Millennium Development Goals in Nigeria through Non-Formal Education Curriculum

Science.gov (United States)

Akpama, Simon Ibor; Asor, Love Joseph; Erim, Costly M.; Adekola, G.

2012-01-01

Nigeria is a signatory to the Millennium Development Goals (MDGs) declaration but till now she has not made any significant milestones in actualizing these human development goals. In spite of the coordinated efforts towards mobilizing those in the formal education system to partially address its implementation challenges, serious gaps still exit…

Formal analysis of design process dynamics

NARCIS (Netherlands)

Bosse, T.; Jonker, C.M.; Treur, J.

2010-01-01

This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

Formal Analysis of Design Process Dynamics

NARCIS (Netherlands)

Bosse, T.; Jonker, C.M.; Treur, J.

2010-01-01

This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

Development of analysis methodology on turbulent thermal stripping

Energy Technology Data Exchange (ETDEWEB)

Yoo, Geun Jong; Jeon, Won Dae; Han, Jin Woo; Gu, Byong Kook [Changwon National University, Changwon(Korea)

2001-03-01

For developing analysis methodology, important governing factors of thermal stripping phenomena are identified as geometric configuration and flow characteristics such as velocity. Along these factors, performance of turbulence models in existing analysis methodology are evaluated against experimental data. Status of DNS application is also accessed based on literature. Evaluation results are reflected in setting up the new analysis methodology. From the evaluation of existing analysis methodology, Full Reynolds Stress model is identified as best one among other turbulence models. And LES is found to be able to provide time dependent turbulence values. Further improvements in near-wall region and temperature variance equation are required for FRS and implementation of new sub-grid scale models is also required for LES. Through these improvements, new reliable analysis methodology for thermal stripping can be developed. 30 refs., 26 figs., 6 tabs. (Author)

Physical protection evaluation methodology program development and application

International Nuclear Information System (INIS)

Seo, Janghoon; Yoo, Hosik

2015-01-01

It is essential to develop a reliable physical protection evaluation methodology for applying physical protection concept to the design stage. The methodology can be used to assess weak points and improve performance not only for the design stage but also for nuclear facilities in operation. Analyzing physical protection property of nuclear facilities is not a trivial work since there are many interconnected factors affecting overall performance. Therefore several international projects have been organized to develop a systematic physical protection evaluation methodology. INPRO (The International Project on Innovative Nuclear Reactors and Fuel Cycles) and GIF PRPP (Generation IV International Forum Proliferation Resistance and Physical Protection) methodology are among the most well-known evaluation methodologies. INPRO adopts a checklist type of questionnaire and has a strong point in analyzing overall characteristic of facilities in a qualitative way. COMPRE program has been developed to help general users apply COMPRE methodology to nuclear facilities. In this work, COMPRE program development and a case study of the hypothetical nuclear facility are presented. The development of COMPRE program and a case study for hypothetic facility is presented in this work. The case study shows that COMPRE PP methodology can be a useful tool to assess the overall physical protection performance of nuclear facilities. To obtain meaningful results from COMPRE PP methodology, detailed information and comprehensive analysis are required. Especially, it is not trivial to calculate reliable values for PPSE (Physical Protection System Effectiveness) and C (Consequence), while it is relatively straightforward to evaluate LI (Legislative and Institutional framework), MC (Material Control) and HR (Human Resources). To obtain a reliable PPSE value, comprehensive information about physical protection system, vital area analysis and realistic threat scenario assessment are required. Like

Physical protection evaluation methodology program development and application

Energy Technology Data Exchange (ETDEWEB)

Seo, Janghoon; Yoo, Hosik [Korea Institute of Nuclear Non-proliferation and Control, Daejeon (Korea, Republic of)

2015-10-15

It is essential to develop a reliable physical protection evaluation methodology for applying physical protection concept to the design stage. The methodology can be used to assess weak points and improve performance not only for the design stage but also for nuclear facilities in operation. Analyzing physical protection property of nuclear facilities is not a trivial work since there are many interconnected factors affecting overall performance. Therefore several international projects have been organized to develop a systematic physical protection evaluation methodology. INPRO (The International Project on Innovative Nuclear Reactors and Fuel Cycles) and GIF PRPP (Generation IV International Forum Proliferation Resistance and Physical Protection) methodology are among the most well-known evaluation methodologies. INPRO adopts a checklist type of questionnaire and has a strong point in analyzing overall characteristic of facilities in a qualitative way. COMPRE program has been developed to help general users apply COMPRE methodology to nuclear facilities. In this work, COMPRE program development and a case study of the hypothetical nuclear facility are presented. The development of COMPRE program and a case study for hypothetic facility is presented in this work. The case study shows that COMPRE PP methodology can be a useful tool to assess the overall physical protection performance of nuclear facilities. To obtain meaningful results from COMPRE PP methodology, detailed information and comprehensive analysis are required. Especially, it is not trivial to calculate reliable values for PPSE (Physical Protection System Effectiveness) and C (Consequence), while it is relatively straightforward to evaluate LI (Legislative and Institutional framework), MC (Material Control) and HR (Human Resources). To obtain a reliable PPSE value, comprehensive information about physical protection system, vital area analysis and realistic threat scenario assessment are required. Like

Exploring the dynamics of formal and informal networks in complex multi-team development projects

DEFF Research Database (Denmark)

Kratzer, J.; Gemuenden, H. G.; Lettl, Christopher

2007-01-01

The increasing number of complex multi-team projects and the scarcity of knowledge about how to run them successfully, create a need for systematic empirical studies. We attempt to lessen this empirical gap by examining the overlap and structure of formally ascribed design interfaces and informal...... communication networks between participating teams in two complex multi-team projects in the space industry. We study the two projects longitudinally throughout the design and integration phases of product development. There are three major findings. First, formally ascribed design interfaces and informal...... communication networks overlap only marginally. Second, the structure of informal communication remains largely stable in the transition from the design to the integration phase. The third and most intriguing finding is that the weak overlap between formally ascribed design interfaces and the informal...

Formal Engineering Hybrid Systems: Semantic Underpinnings

NARCIS (Netherlands)

Bujorianu, M.C.; Bujorianu, L.M.

2008-01-01

In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be

Promises of formal and informal musical activities in advancing neurocognitive development throughout childhood.

Science.gov (United States)

Putkinen, Vesa; Tervaniemi, Mari; Saarikivi, Katri; Huotilainen, Minna

2015-03-01

Adult musicians show superior neural sound discrimination when compared to nonmusicians. However, it is unclear whether these group differences reflect the effects of experience or preexisting neural enhancement in individuals who seek out musical training. Tracking how brain function matures over time in musically trained and nontrained children can shed light on this issue. Here, we review our recent longitudinal event-related potential (ERP) studies that examine how formal musical training and less formal musical activities influence the maturation of brain responses related to sound discrimination and auditory attention. These studies found that musically trained school-aged children and preschool-aged children attending a musical playschool show more rapid maturation of neural sound discrimination than their control peers. Importantly, we found no evidence for pretraining group differences. In a related cross-sectional study, we found ERP and behavioral evidence for improved executive functions and control over auditory novelty processing in musically trained school-aged children and adolescents. Taken together, these studies provide evidence for the causal role of formal musical training and less formal musical activities in shaping the development of important neural auditory skills and suggest transfer effects with domain-general implications. © 2015 New York Academy of Sciences.

Community as locus for health formal and non-formal education: the significance of ecological and collaborative research for promoting health literacy

Directory of Open Access Journals (Sweden)

Sofia Castanheira Pais

2014-12-01

Full Text Available The World Health Organization (2002 considers that a balance between government, community and individual action is necessary for health education and promotion, recognizing that nongovernmental organizations, local groups, and community institutions are central in this process. This argument reinforces the idea that individuals should be empowered and encouraged to make use of accurate health-related information. This paper highlights the potential of a socio-political perspective for the development of health literacy within children and adolescents, and presents two studies conducted in two daily life contexts: a community organization and a school. Both studies are based on methodological pluralism and collaborative research approaches and explore the promotion of health knowledge in formal and informal settings. Study 1 is based on a mixed methodology, using focus group discussions and questionnaires with children and youth with chronic diseases to explore the perceived impact of their participation in support associations. Study 2 presents four intensive case-studies in schools where adolescents used community profiling, a participatory research methodology, to explore health rights and access to healthcare in both a historical and prospective vision. The results enable a deeper understanding on how powerful tool ccommunity resources can be for individual and collective empowerment on health issues.

Community as locus for health formal and non-formal education: the significance of ecological and collaborative research for promoting health literacy.

Science.gov (United States)

Pais, Sofia C; Rodrigues, Mariana; Menezes, Isabel

2014-01-01

The World Health Organization (2002) considers that a balance between government, community, and individual action is necessary for health education and promotion, recognizing that non-governmental organizations, local groups, and community institutions are central in this process. This argument reinforces the idea that individuals should be empowered and encouraged to make use of accurate health-related information. This paper highlights the potential of a socio-political perspective for the development of health literacy within children and adolescents and presents two studies conducted in two daily life contexts: a community organization and a school. Both studies are based on methodological pluralism and collaborative research approaches and explore the promotion of health knowledge in formal and informal settings. Study 1 is based on a mixed methodology, using focus group discussions and questionnaires with children and youth with chronic diseases to explore the perceived impact of their participation in support associations. Study 2 presents four intensive case-studies in schools where adolescents used community profiling, a participatory research methodology, to explore health rights and access to healthcare in both a historical and prospective vision. The results enable a deeper understanding on how powerful tool ccommunity resources can be for individual and collective empowerment on health issues.

Practical implications of rapid development methodologies

CSIR Research Space (South Africa)

Gerber, A

2007-11-01

Full Text Available as the acceleration of the system development phases through an iterative construction approach. These methodologies also claim to manage the changing nature of requirements. However, during the development of large and complex systems by a small and technically...

Methodology of Credit Analysis Development

Directory of Open Access Journals (Sweden)

Slađana Neogradi

2017-12-01

Full Text Available The subject of research presented in this paper refers to the definition of methodology for the development of credit analysis in companies and its application in lending operations in the Republic of Serbia. With the developing credit market, there is a growing need for a well-developed risk and loss prevention system. In the introduction the process of bank analysis of the loan applicant is presented in order to minimize and manage the credit risk. By examining the subject matter, the process of processing the credit application is described, the procedure of analyzing the financial statements in order to get an insight into the borrower's creditworthiness. In the second part of the paper, the theoretical and methodological framework is presented applied in the concrete company. In the third part, models are presented which banks should use to protect against exposure to risks, i.e. their goal is to reduce losses on loan operations in our country, as well as to adjust to market conditions in an optimal way.

Formal specifications for safety grade systems

International Nuclear Information System (INIS)

Chisholm, G.H.; Smith, B.T.; Wojcik, A.S.

1992-01-01

The authors describe the findings of a study into the application of formal methods to the specification of a safety system for an operating nuclear reactor. They developed a formal specification that is used to verify and validate that no unsafe condition will result from action or inaction of the system. For this reason, the specification must facilitate thinking about, talking about, and implementing the system. In fact, the specification must provide a bridge between people (designers, engineers, policy makers) and diverse implementations (hardware, software, sensors, power supplies) at all levels. For a specification to serve as an effective linkage, it must have the following properties: (1) completeness, (2) conciseness, (3) unambiguity, and (4) communicativeness. In this paper they describe the development of a specification that has three properties. This development is based on the use of formal methods, i.e., methods that add mathematical rigor to the development, analysis and operation of computer systems and to applications based thereon (Neumann). They demonstrate that a specification derived from a formal basis facilitates development of the design and its subsequent verification

El Dialogo en la Educacion No Formal: Su Aporte al Desarrollo Comunitario (Dialogue in Non-Formal Education: Its Contribution to Community Development).

Science.gov (United States)

Linke, Hildegard

2000-01-01

Seeks to justify the educational practice of dialogue and its contributions to community development. Contends that the central element and cause of dialogue is constituted within the non-formal educational process. States that Paulo Freire emphasizes the role of words and its basis as a creative synthesis of theory and practice. (BT)

Formal specification is an experimental science

Energy Technology Data Exchange (ETDEWEB)

Bjorner, D. [Technical Univ., Lyngby (Denmark)

1992-09-01

Traditionally, abstract models of large, complex systems have been given in free-form mathematics, combining - often in ad-hoc, not formally supported ways - notions from the disciplines of partial differential equations, functional analysis, mathematical statistics, etc. Such models have been very useful for assimilation of information, analysis (investigation), and prediction (simulation). These models have, however, usually not been helpful in deriving computer representations of the modelled systems - for the purposes of computerized monitoring and control, Computing science, concerned with how to construct objects that can exist within the computer, offers ways of complementing, and in some cases, replacing or combining traditional mathematical models. Formal, model-, as well as property-oriented, specifications in the styles of denotational (respectively, algebraic semantics) represent major approaches to such modelling. In this expository, discursive paper we illustrate what we mean by model-oriented specifications of large, complex technological computing systems. The three modelling examples covers the introvert programming methodological subject of SDEs: software development environments, the distributed computing system subject of wfs`s: (transaction) work flow systems, and the extrovert subject of robots: robotics! the thesis is, just as for mathematical modelling, that we can derive much understanding, etc., from experimentally creating such formally specified models - on paper - and that we gain little in additionally building ad-hoc prototypes. Our models are expressed in a model-oriented style using the VDM specification language Meta-IV In this paper the models only reflect the {open_quotes}data modelling{close_quotes} aspects. We observe that such data models are more easily captured in the model-oriented siyle than in the algebraic semantics property-oriented style which originally was built of the abstraction of operations. 101 refs., 4 figs.

Methodology for economic evaluation of software development projects

International Nuclear Information System (INIS)

Witte, D.M.

1990-01-01

Many oil and gas exploration and production companies develop computer software in-house or with contract programmers to support their exploration activities. Software development projects compete for funding with exploration and development projects, though most companies lack valid comparison measures for the two types of projects. This paper presents a methodology of pro form a cash flow analysis for software development proposals intended for internal use. This methodology, based on estimates of development and support costs, exploration benefits, and probability of successful development and implementation, can be used to compare proposed software development projects directly with competing exploration proposals

Towards an MDA-based development methodology

NARCIS (Netherlands)

Gavras, Anastasius; Belaunde, Mariano; Ferreira Pires, Luis; Andrade Almeida, João; Oquendo, Flavio; Warboys, Brian C.; Morrison, Ron

2004-01-01

This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases and activities of an MDA-based development trajectory, and defines the roles and products of each activity in accordance

Intellectual technologies in the problems of thermal power engineering control: formalization of fuzzy information processing results using the artificial intelligence methodology

Science.gov (United States)

Krokhin, G.; Pestunov, A.

2017-11-01

Exploitation conditions of power stations in variable modes and related changes of their technical state actualized problems of creating models for decision-making and state recognition basing on diagnostics using the fuzzy logic for identification their state and managing recovering processes. There is no unified methodological approach for obtaining the relevant information is a case of fuzziness and inhomogeneity of the raw information about the equipment state. The existing methods for extracting knowledge are usually unable to provide the correspondence between of the aggregates model parameters and the actual object state. The switchover of the power engineering from the preventive repair to the one, which is implemented according to the actual technical state, increased the responsibility of those who estimate the volume and the duration of the work. It may lead to inadequacy of the diagnostics and the decision-making models if corresponding methodological preparations do not take fuzziness into account, because the nature of the state information is of this kind. In this paper, we introduce a new model which formalizes the equipment state using not only exact information, but fuzzy as well. This model is more adequate to the actual state, than traditional analogs, and may be used in order to increase the efficiency and the service period of the power installations.

From Theory-Inspired to Theory-Based Interventions: A Protocol for Developing and Testing a Methodology for Linking Behaviour Change Techniques to Theoretical Mechanisms of Action.

Science.gov (United States)

Michie, Susan; Carey, Rachel N; Johnston, Marie; Rothman, Alexander J; de Bruin, Marijn; Kelly, Michael P; Connell, Lauren E

2018-05-18

Understanding links between behaviour change techniques (BCTs) and mechanisms of action (the processes through which they affect behaviour) helps inform the systematic development of behaviour change interventions. This research aims to develop and test a methodology for linking BCTs to their mechanisms of action. Study 1 (published explicit links): Hypothesised links between 93 BCTs (from the 93-item BCT taxonomy, BCTTv1) and mechanisms of action will be identified from published interventions and their frequency, explicitness and precision documented. Study 2 (expert-agreed explicit links): Behaviour change experts will identify links between 61 BCTs and 26 mechanisms of action in a formal consensus study. Study 3 (integrated matrix of explicit links): Agreement between studies 1 and 2 will be evaluated and a new group of experts will discuss discrepancies. An integrated matrix of BCT-mechanism of action links, annotated to indicate strength of evidence, will be generated. Study 4 (published implicit links): To determine whether groups of co-occurring BCTs can be linked to theories, we will identify groups of BCTs that are used together from the study 1 literature. A consensus exercise will be used to rate strength of links between groups of BCT and theories. A formal methodology for linking BCTs to their hypothesised mechanisms of action can contribute to the development and evaluation of behaviour change interventions. This research is a step towards developing a behaviour change 'ontology', specifying relations between BCTs, mechanisms of action, modes of delivery, populations, settings and types of behaviour.

Development of seismic risk analysis methodologies at JAERI

International Nuclear Information System (INIS)

Tanaka, T.; Abe, K.; Ebisawa, K.; Oikawa, T.

1988-01-01

The usefulness of probabilistic safety assessment (PSA) is recognized worldwidely for balanced design and regulation of nuclear power plants. In Japan, the Japan Atomic Energy Research Institute (JAERI) has been engaged in developing methodologies necessary for carrying out PSA. The research and development program was started in 1980. In those days the effort was only for internal initiator PSA. In 1985 the program was expanded so as to include external event analysis. Although this expanded program is to cover various external initiators, the current effort is dedicated for seismic risk analysis. There are three levels of seismic PSA, similarly to internal initiator PSA: Level 1: Evaluation of core damage frequency, Level 2: Evaluation of radioactive release frequency and source terms, and Level 3: Evaluation of environmental consequence. In the JAERI's program, only the methodologies for level 1 seismic PSA are under development. The methodology development for seismic risk analysis is divided into two phases. The Phase I study is to establish a whole set of simple methodologies based on currently available data. In the Phase II, Sensitivity study will be carried out to identify the parameters whose uncertainty may result in lage uncertainty in seismic risk, and For such parameters, the methodology will be upgraded. Now the Phase I study has almost been completed. In this report, outlines of the study and some of its outcomes are described

MOOC & B-Learning: Students' Barriers and Satisfaction in Formal and Non-Formal Learning Environments

Science.gov (United States)

Gutiérrez-Santiuste, Elba; Gámiz-Sánchez, Vanesa-M.; Gutiérrez-Pérez, Jose

2015-01-01

The study presents a comparative analysis of two virtual learning formats: one non-formal through a Massive Open Online Course (MOOC) and the other formal through b-learning. We compare the communication barriers and the satisfaction perceived by the students (N = 249) by developing a qualitative analysis using semi-structured questionnaires and…

Development of Advanced Non-LOCA Analysis Methodology for Licensing

International Nuclear Information System (INIS)

Jang, Chansu; Um, Kilsup; Choi, Jaedon

2008-01-01

KNF is developing a new design methodology on the Non-LOCA analysis for the licensing purpose. The code chosen is the best-estimate transient analysis code RETRAN and the OPR1000 is aimed as a target plant. For this purpose, KNF prepared a simple nodal scheme appropriate to the licensing analyses and developed the designer-friendly analysis tool ASSIST (Automatic Steady-State Initialization and Safety analysis Tool). To check the validity of the newly developed methodology, the single CEA withdrawal and the locked rotor accidents are analyzed by using a new methodology and are compared with current design results. Comparison results show a good agreement and it is concluded that the new design methodology can be applied to the licensing calculations for OPR1000 Non-LOCA

ISE System Development Methodology Manual

Energy Technology Data Exchange (ETDEWEB)

Hayhoe, G.F.

1992-02-17

The Information Systems Engineering (ISE) System Development Methodology Manual (SDM) is a framework of life cycle management guidelines that provide ISE personnel with direction, organization, consistency, and improved communication when developing and maintaining systems. These guide-lines were designed to allow ISE to build and deliver Total Quality products, and to meet the goals and requirements of the US Department of Energy (DOE), Westinghouse Savannah River Company, and Westinghouse Electric Corporation.

Formalization of taxon-based constraints to detect inconsistencies in annotation and ontology development

Directory of Open Access Journals (Sweden)

Mungall Christopher J

2010-10-01

Full Text Available Abstract Background The Gene Ontology project supports categorization of gene products according to their location of action, the molecular functions that they carry out, and the processes that they are involved in. Although the ontologies are intentionally developed to be taxon neutral, and to cover all species, there are inherent taxon specificities in some branches. For example, the process 'lactation' is specific to mammals and the location 'mitochondrion' is specific to eukaryotes. The lack of an explicit formalization of these constraints can lead to errors and inconsistencies in automated and manual annotation. Results We have formalized the taxonomic constraints implicit in some GO classes, and specified these at various levels in the ontology. We have also developed an inference system that can be used to check for violations of these constraints in annotations. Using the constraints in conjunction with the inference system, we have detected and removed errors in annotations and improved the structure of the ontology. Conclusions Detection of inconsistencies in taxon-specificity enables gradual improvement of the ontologies, the annotations, and the formalized constraints. This is progressively improving the quality of our data. The full system is available for download, and new constraints or proposed changes to constraints can be submitted online at https://sourceforge.net/tracker/?atid=605890&group_id=36855.

Formal and Informal Learning and First-Year Psychology Students’ Development of Scientific Thinking: A Two-Wave Panel Study

Science.gov (United States)

Soyyılmaz, Demet; Griffin, Laura M.; Martín, Miguel H.; Kucharský, Šimon; Peycheva, Ekaterina D.; Vaupotič, Nina; Edelsbrunner, Peter A.

2017-01-01

Scientific thinking is a predicate for scientific inquiry, and thus important to develop early in psychology students as potential future researchers. The present research is aimed at fathoming the contributions of formal and informal learning experiences to psychology students’ development of scientific thinking during their 1st-year of study. We hypothesize that informal experiences are relevant beyond formal experiences. First-year psychology student cohorts from various European countries will be assessed at the beginning and again at the end of the second semester. Assessments of scientific thinking will include scientific reasoning skills, the understanding of basic statistics concepts, and epistemic cognition. Formal learning experiences will include engagement in academic activities which are guided by university authorities. Informal learning experiences will include non-compulsory, self-guided learning experiences. Formal and informal experiences will be assessed with a newly developed survey. As dispositional predictors, students’ need for cognition and self-efficacy in psychological science will be assessed. In a structural equation model, students’ learning experiences and personal dispositions will be examined as predictors of their development of scientific thinking. Commonalities and differences in predictive weights across universities will be tested. The project is aimed at contributing information for designing university environments to optimize the development of students’ scientific thinking. PMID:28239363

Formal and Informal Learning and First-Year Psychology Students' Development of Scientific Thinking: A Two-Wave Panel Study.

Science.gov (United States)

Soyyılmaz, Demet; Griffin, Laura M; Martín, Miguel H; Kucharský, Šimon; Peycheva, Ekaterina D; Vaupotič, Nina; Edelsbrunner, Peter A

2017-01-01

Scientific thinking is a predicate for scientific inquiry, and thus important to develop early in psychology students as potential future researchers. The present research is aimed at fathoming the contributions of formal and informal learning experiences to psychology students' development of scientific thinking during their 1st-year of study. We hypothesize that informal experiences are relevant beyond formal experiences. First-year psychology student cohorts from various European countries will be assessed at the beginning and again at the end of the second semester. Assessments of scientific thinking will include scientific reasoning skills, the understanding of basic statistics concepts, and epistemic cognition. Formal learning experiences will include engagement in academic activities which are guided by university authorities. Informal learning experiences will include non-compulsory, self-guided learning experiences. Formal and informal experiences will be assessed with a newly developed survey. As dispositional predictors, students' need for cognition and self-efficacy in psychological science will be assessed. In a structural equation model, students' learning experiences and personal dispositions will be examined as predictors of their development of scientific thinking. Commonalities and differences in predictive weights across universities will be tested. The project is aimed at contributing information for designing university environments to optimize the development of students' scientific thinking.

The development of mobile computation and the related formal description

International Nuclear Information System (INIS)

Jin Yan; Yang Xiaozong

2003-01-01

The description and research for formal representation in mobile computation, which is very instructive to resolve the status transmission, domain administration, authentication. This paper presents the descriptive communicating process and computational process from the view of formal calculus, what's more, it construct a practical application used by mobile ambient. Finally, this dissertation shows the future work and direction. (authors)

Projetos de Educação Não-Formal na cidade de Ponta Grossa – PR: análise de currículos e práticas

Directory of Open Access Journals (Sweden)

Ercília Maria Angeli Teixeira de Paula

2008-12-01

Full Text Available This paper presents a study of non-formal education in Ponta Grossa City – Paraná State. The research aims at describing and analysing three projects of non-formal education. The data were collected through interviews and questionnaires completed by the coordinators and teachers involved in the projects. It was possible to establish that the projects had a flexible curriculum and applied innovative methodologies towards the construction of citizenship. It concludes that the function of non-formal education projects is not to reproduce the same activities as at formal school, but to develop the citizenship of the participants through access to culture, arts, leisure, and information.

MODELS AND METHODS OF SAFETY-ORIENTED PROJECT MANAGEMENT OF DEVELOPMENT OF COMPLEX SYSTEMS: METHODOLOGICAL APPROACH

Directory of Open Access Journals (Sweden)

Олег Богданович ЗАЧКО

2016-03-01

Full Text Available The methods and models of safety-oriented project management of the development of complex systems are proposed resulting from the convergence of existing approaches in project management in contrast to the mechanism of value-oriented management. A cognitive model of safety oriented project management of the development of complex systems is developed, which provides a synergistic effect that is to move the system from the original (pre condition in an optimal one from the viewpoint of life safety - post-project state. The approach of assessment the project complexity is proposed, which consists in taking into account the seasonal component of a time characteristic of life cycles of complex organizational and technical systems with occupancy. This enabled to take into account the seasonal component in simulation models of life cycle of the product operation in complex organizational and technical system, modeling the critical points of operation of systems with occupancy, which forms a new methodology for safety-oriented management of projects, programs and portfolios of projects with the formalization of the elements of complexity.

Development of Proliferation Resistance Assessment Methodology Based on International Standards

International Nuclear Information System (INIS)

Lee, Yong Deok; Lee, Jung Won; Lee, Kwang Seok

2009-03-01

Proliferation resistance is one of the requirement to be met in GEN IV and INPRO for next generation nuclear energy system. Internationally, the evaluation methodology on PR had been already initiated from 1980, but the systematic development was started at 2000s. In Korea, for the export of nuclear energy system and the increase of international credibility and transparence of domestic nuclear system and fuel cycle development, the independent development of PR evaluation methodology was started in 2007 as a nuclear long term R and D project and the development is being performed for the model of PR evaluation methodology. In 1st year, comparative study of GEN-IV/INPRO, PR indicator development, quantification of indicator and evaluation model development, analysis of technology system and international technology development trend had been performed. In 2nd year, feasibility study of indicator, allowable limit of indicator, review of technical requirement of indicator were done. The results of PR evaluation must be applied in the beginning of conceptual design of nuclear system. Through the technology development of PR evaluation methodology, the methodology will be applied in the regulatory requirement for authorization and permission to be developed

Service Innovation Methodologies II : How can new product development methodologies be applied to service innovation and new service development? : Report no 2 from the TIPVIS-project

OpenAIRE

Nysveen, Herbjørn; Pedersen, Per E.; Aas, Tor Helge

2007-01-01

This report presents various methodologies used in new product development and product innovation and discusses the relevance of these methodologies for service development and service innovation. The service innovation relevance for all of the methodologies presented is evaluated along several service specific dimensions, like intangibility, inseparability, heterogeneity, perishability, information intensity, and co-creation. The methodologies discussed are mainly collect...

Formal Methods for Life-Critical Software

Science.gov (United States)

Butler, Ricky W.; Johnson, Sally C.

1993-01-01

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Risk-Informed Assessment Methodology Development and Application

International Nuclear Information System (INIS)

Sung Goo Chi; Seok Jeong Park; Chul Jin Choi; Ritterbusch, S.E.; Jacob, M.C.

2002-01-01

Westinghouse Electric Company (WEC) has been working with Korea Power Engineering Company (KOPEC) on a US Department of Energy (DOE) sponsored Nuclear Energy Research Initiative (NERI) project through a collaborative agreement established for the domestic NERI program. The project deals with Risk-Informed Assessment (RIA) of regulatory and design requirements of future nuclear power plants. An objective of the RIA project is to develop a risk-informed design process, which focuses on identifying and incorporating advanced features into future nuclear power plants (NPPs) that would meet risk goals in a cost-effective manner. The RIA design methodology is proposed to accomplish this objective. This paper discusses the development of this methodology and demonstrates its application in the design of plant systems for future NPPs. Advanced conceptual plant systems consisting of an advanced Emergency Core Cooling System (ECCS) and Emergency Feedwater System (EFWS) for a NPP were developed and the risk-informed design process was exercised to demonstrate the viability and feasibility of the RIA design methodology. Best estimate Loss-of-Coolant Accident (LOCA) analyses were performed to validate the PSA success criteria for the NPP. The results of the analyses show that the PSA success criteria can be met using the advanced conceptual systems and that the RIA design methodology is a viable and appropriate means of designing key features of risk-significant NPP systems. (authors)

Methodology for new product development based on formalization ...

African Journals Online (AJOL)

Journal of Fundamental and Applied Sciences ... throughout the product life cycle using computer-aided design systems. A flow chart of the 1st stage of an engineering design by means of an automated data retrieval database is shown.

The fractional scaling methodology (FSM) Part 1. methodology development

International Nuclear Information System (INIS)

Novak Zuber; Ivan Catton; Upendra S Rohatgi; Wolfgang Wulff

2005-01-01

Full text of publication follows: a quantitative methodology is developed, based on the concepts of hierarchy and synthesis, to integrate and organize information and data. The methodology uses scaling to synthesize experimental data and analytical results, and to provide quantitative criteria for evaluating the effects of various design and operating parameters that influence processes in a complex system such as a nuclear power plant or a related test facility. Synthesis and scaling are performed on three hierarchical levels: the process, component and system levels. Scaling on the process level determines the effect of a selected process on a particular state variable during a selected scenario. At the component level this scaling determines the effects various processes have on a state variable, and it ranks the processes according to their importance by the magnitude of the fractional change they cause on that state variable. At the system level the scaling determines the governing processes and corresponding components, ranking these in the order of importance according to their effect on the fractional change of system-wide state variables. The scaling methodology reveals on all levels the fractional change of state variables and is called therefore the Fractional Scaling Methodology (FSM). FSM synthesizes process parameters and assigns to each thermohydraulic process a dimensionless effect metric Ω = ωt, that is the product of the specific rate of fractional change ω and the characteristic time t. The rate of fractional change ω is the ratio of process transport rate over content of a preserved quantity in a component. The effect metric Ω quantifies the contribution of the process to the fractional change of a state variable in a given component. Ordering of a component effect metrics provides the hierarchy of processes in a component, then in all components and the system. FSM separates quantitatively dominant from minor processes and components and

Fundamentals of the Pure Spinor Formalism

CERN Document Server

Hoogeveen, Joost

2010-01-01

This thesis presents recent developments within the pure spinor formalism, which has simplified amplitude computations in perturbative string theory, especially when spacetime fermions are involved. Firstly the worldsheet action of both the minimal and the non-minimal pure spinor formalism is derived from first principles, i.e. from an action with two dimensional diffeomorphism and Weyl invariance. Secondly the decoupling of unphysical states in the minimal pure spinor formalism is proved

The Development and Maintenance of Exemplary Formal Mentoring Programs in Fortune 500 Companies

Science.gov (United States)

Hegstad, Christine D.; Wentling, Rose Mary

2004-01-01

This study sought to advance current mentoring research by examining the development and maintenance of exemplary formal mentoring programs in the nation's top performing companies. The ADDIE model of instructional systems design, which incorporates five steps from needs analysis to evaluation, formed the conceptual framework guiding the study.…

Revealing dynamics and consequences of fit and misfit between formal and informal networks in multi-institutional product development collaborations

NARCIS (Netherlands)

Kratzer, J.; Gemuenden, Hans G.; Lettl, Christopher

The study presents a longitudinal examination about dynamics and consequences of fit and misfit between formally ascribed design interfaces and informal communication networks in two large multi-institutional product development collaborations in space industry. Findings: (1) formally ascribed

Concepciones acerca de la maternidad en la educación formal y no formal

Directory of Open Access Journals (Sweden)

Alvarado Calderón, Kathia

2005-06-01

Full Text Available Este artículo presenta algunos resultados de la investigación desarrollada en el Instituto de Investigación en Educación (INIE, bajo el nombre "Construcción del concepto de maternidad en la educación formal y no formal". Utilizando un enfoque cualitativo de investigación, recurrimos a las técnicas de elaboración de dibujos, entrevistas y grupo focal como recursos para la recolección de la información. De esta manera, podemos acercarnos a las concepciones de la maternidad que utilizan los participantes de las diferentes instancias educativas (formal y no formal con quienes se trabajó. This article presents some results the research developed in the Instituto de Investigación en Educación (INIE, named "Construcción del concepto de maternidad en la educación formal y no formal". It begins with a theoretical analysis about social conceptions regarding motherhood in the occidental societies. Among the techniques for gathering information were thematic drawing, interview and focus group, using a qualitative approach research method. This is followed by a brief summary of main findings. The article concludes with a proposal of future working lines for the deconstruction of the motherhood concept in formal and informal education contexts.

Lifelong Learning to Empowerment: Beyond Formal Education

Science.gov (United States)

Carr, Alexis; Balasubramanian, K.; Atieno, Rosemary; Onyango, James

2018-01-01

This paper discusses the relevance of lifelong learning vis-à-vis the Sustainable Development Goals (SDGs) and stresses the need for an approach blending formal education, non-formal and informal learning. The role of Open and Distance Learning (ODL) in moving beyond formal education and the importance of integrating pedagogy, andragogy and…

The Typology of Methodological Approaches to Development of Innovative Clusters

Directory of Open Access Journals (Sweden)

Farat Olexandra V.

2017-06-01

Full Text Available The aim of the article is to study the existing methodological approaches to assessing the development of enterprises for further substantiation of possibilities of their using by cluster associations. As a result of research, based on the analysis of scientific literature, the most applicable methodological approaches to assessing the development of enterprises are characterized. 8 methodical approaches to assessing the level of development of enterprises and 4 methodological approaches to assessing the level of development of clusters are singled out. Each of the approaches is characterized by the presence of certain advantages and disadvantages, but none of them allows to obtain a systematic assessment of all areas of cluster functioning, identify possible reserves for cluster competitiveness growth and characterize possible strategies for their future development. Taking into account peculiarities of the functioning and development of cluster associations of enterprises, we propose our own methodological approach for assessing the development of innovative cluster structures.

Towards Formal Implementation of PUS Standard

Science.gov (United States)

Ilić, D.

2009-05-01

As an effort to promote the reuse of on-board and ground systems ESA developed a standard for packet telemetry and telecommand - PUS. It defines a set of standard service models with the corresponding structures of the associated telemetry and telecommand packets. Various missions then can choose to implement those standard PUS services that best conform to their specific requirements. In this paper we propose a formal development (based on the Event-B method) of reusable service patterns, which can be instantiated for concrete application. Our formal models allow us to formally express and verify specific service properties including various telecommand and telemetry packet structure validation.

Integrated formal operations plan

Energy Technology Data Exchange (ETDEWEB)

Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.

1994-01-05

The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.

Utility of Interactional Strategies in the Study of Formal Operations Reasoning.

Science.gov (United States)

Siegler, Robert S.

This paper argues in favor of using interactional strategies in the study of formal operations reasoning. Interactional designs allow a convergent approach to specifying processes underlying the interaction of variables. In contrast, current methodologies contain two inherent disadvantages: they have limited utility in specifying the processes…

Methodological developments in US state-level Genuine Progress Indicators: toward GPI 2.0

Science.gov (United States)

Bagstad, Kenneth J.; Berik, Günseli; Gaddis, Erica J. Brown

2014-01-01

The Genuine Progress Indicator (GPI) has emerged as an important monetary measure of economic well-being. Unlike mainstream economic indicators, primarily Gross Domestic Product (GDP), the GPI accounts for both the benefits and costs of economic production across diverse economic, social, and environmental domains in a more comprehensive manner. Recently, the GPI has gained traction in subnational policy in the United States, with GPI studies being conducted in a number of states and with their formal adoption by several state governments. As the GPI is applied in different locations, new methods are developed, different data sources are available, and new issues of policy relevance are addressed using its component indicators. This has led to a divergence in methods, reducing comparability between studies and yielding results that are of varying methodological sophistication. In this study, we review the “state of the art” in recent US state-level GPI studies, focusing on those from Hawaii, Maryland, Ohio, Utah, and Vermont. Through adoption of a consistent approach, these and future GPI studies could utilize a framework that supports more uniform, comparable, and accurate measurements of progress. We also identify longer-term issues, particularly related to treatment of nonrenewable resource depletion, government spending, income inequality, and ecosystem services. As these issues are successfully addressed and disseminated, a “GPI 2.0” will emerge that better measures economic well-being and has greater accuracy and policy relevance than past GPI measurements. As the GPI expands further into mainstream policy analysis, a more formal process by which methods could be updated, standardized, and applied is needed.

Formalizing Evaluation in Music Information Retrieval

DEFF Research Database (Denmark)

Sturm, Bob L.

2013-01-01

We develop a formalism to disambiguate the evaluation of music information retrieval systems. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, and assumptions of its ``evaluation.'' We apply this formalism to discuss...

Formalization of software requirements for information systems using fuzzy logic

Science.gov (United States)

Yegorov, Y. S.; Milov, V. R.; Kvasov, A. S.; Sorokoumova, S. N.; Suvorova, O. V.

2018-05-01

The paper considers an approach to the design of information systems based on flexible software development methodologies. The possibility of improving the management of the life cycle of information systems by assessing the functional relationship between requirements and business objectives is described. An approach is proposed to establish the relationship between the degree of achievement of business objectives and the fulfillment of requirements for the projected information system. It describes solutions that allow one to formalize the process of formation of functional and non-functional requirements with the help of fuzzy logic apparatus. The form of the objective function is formed on the basis of expert knowledge and is specified via learning from very small data set.

A Comparison of Various Software Development Methodologies: Feasibility and Methods of Integration

Directory of Open Access Journals (Sweden)

Samir Abou El-Seoud

2016-12-01

Full Text Available System development methodologies which have being used in the academic and commercial environments during last two decades have advantages and disadvantages. Researchers had tried to identify objectives, scope …etc. of the methodologies by following different approaches. Each approach has its Limitation, specific interest, coverage …etc. In this paper, we tried to perform a comparative study of those methodologies which are popular and commonly used in banking and commercial environment. We tried in our study to determine objectives, scope, tools and other features of the methodologies. We also, tried to determine how and to what extent the methodologies incorporate the facilities such as project management, cost benefit analysis, documentation …etc. One of the most important aspects of our study was how to integrate the methodologies and develop a global methodology which covers the complete span of the software development life cycle? A prototype system which integrates the selected methodologies has been developed. The developed system helps analysts and designers how to choose suitable tools or to obtain guidelines on what to do in a particular situation. The prototype system has been tested during the development of a software for an ATM “Auto Teller Machine” by selecting and applying SASD methodology during software development. This resulted in the development of high quality and well documented software system.

Formal and nonformal education: an expenence on concept formation

Directory of Open Access Journals (Sweden)

Maria Victoria BENÍTEZ ROCA

2009-11-01

Full Text Available This article is aimed at exploring the existing relationships between the logical structures and the intellective components which underlie in the configuration of the ideas and the concepts transmitted by formal and nonformal education on 6-7 years old subjects. The «school» concepts analyzed through drawing and language, achieving several conclusions. The most important one is that there is a reduction in the field of graphical representation with regards to the linguistic formulation of the concept: more general concerning its representation and more concrete with respect to its formulation; more according to reality at the linguistic level than at the pictorial one. What is more, throughout the accomplished analysis, the influence exerted by adults (mainly relatives and other nonformal education media (television, tales, videotapes, and the like is verified on the subjects under consideration. The influence of the formal education on the concept construction, although it is lesser than the nonformal one, is determined by the methodology used by the pupils' tutor, so that methodology has set up the basis in order to create the favourable conditions to achieve the teaching-learning process from the principles of modern educational psycology.

Critical formalism or digital biomorphology. The contemporary architecture formal dilema

Directory of Open Access Journals (Sweden)

Beatriz Villanueva Cajide

2018-05-01

Full Text Available With the dawn of digital media the architecture’s formal possibilities reached a level unknown before. The Guggenheim Museo branch in Bilbao appears in 1993 as the materialisation of the possibilities of the use of digital tools in architecture’s design, starting the development of a digital based architecture which currently has reached an exhaustion level that is evident in the repetition biomorphologic shapes emerged from the digital determinism to which some contemporary architectural practices have converged. While the digitalisation of the architectural process is irreversible and desirable, it is necessary to rethink the terms of this collaboration beyond the possibilities of the digital tools themselves. This article proposes to analyse seven texts written in the very moment when digitalisation became a real possibility, between Gehry’s conception of the Guggenheim Museum in 1992 and the Congress on Morphogenesis hold in the Architectural Association in 2004, in order to explore the possibility of reversing the process that has led to the formal exhaustion of digital architecture, from the acceptance of incorporating strategies coming from a contemporary critical formalism.

Development of Smart Sensors System Based on Formal Concept Analysis and Ontology Model

Directory of Open Access Journals (Sweden)

Hongsheng Xu

2013-06-01

Full Text Available The smart sensor is the product of the combination of one or more sensitive components, precision analog circuits, digital circuits, microprocessor, communication interface, intelligent software systems and hardware integration in a packaging component. Formal concept analysis is from the given data to automatically extract the classification relationship between the entire hidden concept and concept, formation of concept model. Ontology is a set of relations between concepts of the specific domain and concept, and it can effectively express the general knowledge of specific field. The paper proposes development of smart sensors system based on formal concept analysis and ontology model. Smart sensor is a micro processor, sensor with information detection, information processing, information memory, logical thinking and judging function. The methods can improve the effect of the smart sensors.

Formal matrices

CERN Document Server

Krylov, Piotr

2017-01-01

This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a sol...

Formalization and Transformation of Informal Analysis Models into Executive REFINE (trademark) Specifications

Science.gov (United States)

1992-12-01

describing how. 5. EDDA . EDDA is an attempt to add mathematical formalism to SADT. Because it is based on SADT, it cannot easily represent any other...design methodology. EDDA has two forms: G- EDDA , the standard graphical version of SADT, and S- EDDA , a textual language that partially represents the...used. "* EDDA only supports the SADT methodology and is too limited in scope to be useful in our research. "* SAMM lacks the semantic richness of

Evolution of courseware development methodology : recent issues

NARCIS (Netherlands)

Moonen, J.C.M.M.; Schoenmaker, Jan

1992-01-01

To improve the quality of courseware products and the efficiency of the courseware development process, a methodology based upon "courseware engineering", being a combination of instructional systems development and software engineering, has emerged over the last 10¿15 years. Recently, software

Formalizing Probabilistic Safety Claims

Science.gov (United States)

Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

2011-01-01

A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

Formal training program for nuclear material custodians at Hanford Engineering Development Laboratory

International Nuclear Information System (INIS)

Scott, D.D.

1979-01-01

Hanford Engineering Development Laboratory (HEDL) has established a formal training program for nuclear material (NM) custodians. The program, designed to familiarize the custodian with the fundamental concepts of proper nuclear materials control and accountability, is conducted on a semiannual basis. The program is prepared and presented by the Safeguards and Materials Management Section of HEDL and covers 14 subjects on accountability, documentation, transportation, custodian responsibilities, and the safeguarding of nuclear material

Methodologies for Quantitative Systems Pharmacology (QSP) Models: Design and Estimation.

Science.gov (United States)

Ribba, B; Grimm, H P; Agoram, B; Davies, M R; Gadkar, K; Niederer, S; van Riel, N; Timmis, J; van der Graaf, P H

2017-08-01

With the increased interest in the application of quantitative systems pharmacology (QSP) models within medicine research and development, there is an increasing need to formalize model development and verification aspects. In February 2016, a workshop was held at Roche Pharma Research and Early Development to focus discussions on two critical methodological aspects of QSP model development: optimal structural granularity and parameter estimation. We here report in a perspective article a summary of presentations and discussions. © 2017 The Authors CPT: Pharmacometrics & Systems Pharmacology published by Wiley Periodicals, Inc. on behalf of American Society for Clinical Pharmacology and Therapeutics.

Cooperative learning as a methodology for inclusive education development

Directory of Open Access Journals (Sweden)

Yolanda Muñoz Martínez

2017-06-01

Full Text Available This paper presents the methodology of cooperative learning as a strategy to develop the principles of inclusive education. It has a very practical orientation, with the intention of providing tools for teachers who want to implement this methodology in the classroom, starting with a theoretical review, and then a description of a case in which they have worked this methodology for 5 years. We describe specific activities and ways of working with students, later reaching conclusions on the implementation of the methodology.

Decision making under uncertainty: An investigation into the application of formal decision-making methods to safety issue decisions

International Nuclear Information System (INIS)

Bohn, M.P.

1992-12-01

As part of the NRC-sponsored program to study the implications of Generic Issue 57, ''Effects of Fire Protection System Actuation on Safety-Related Equipment,'' a subtask was performed to evaluate the applicability of formal decision analysis methods to generic issues cost/benefit-type decisions and to apply these methods to the GI-57 results. In this report, the numerical results obtained from the analysis of three plants (two PWRs and one BWR) as developed in the technical resolution program for GI-57 were studied. For each plant, these results included a calculation of the person-REM averted due to various accident scenarios and various proposed modifications to mitigate the accident scenarios identified. These results were recomputed to break out the benefit in terms of contributions due to random event scenarios, fire event scenarios, and seismic event scenarios. Furthermore, the benefits associated with risk (in terms of person-REM) averted from earthquakes at three different seismic ground motion levels were separately considered. Given this data, formal decision methodologies involving decision trees, value functions, and utility functions were applied to this basic data. It is shown that the formal decision methodology can be applied at several different levels. Examples are given in which the decision between several retrofits is changed from that resulting from a simple cost/benefit-ratio criterion by virtue of the decision-makinger's expressed (and assumed) preferences

Evaluation methodologies for security testing biometric systems beyond technological evaluation

OpenAIRE

Fernández Saavedra, María Belén

2013-01-01

The main objective of this PhD Thesis is the specification of formal evaluation methodologies for testing the security level achieved by biometric systems when these are working under specific contour conditions. This analysis is conducted through the calculation of the basic technical biometric system performance and its possible variations. To that end, the next two relevant contributions have been developed. The first contribution is the definition of two independent biometric performance ...

The methodology of semantic analysis for extracting physical effects

Science.gov (United States)

Fomenkova, M. A.; Kamaev, V. A.; Korobkin, D. M.; Fomenkov, S. A.

2017-01-01

The paper represents new methodology of semantic analysis for physical effects extracting. This methodology is based on the Tuzov ontology that formally describes the Russian language. In this paper, semantic patterns were described to extract structural physical information in the form of physical effects. A new algorithm of text analysis was described.

Spinor formalism and complex-vector formalism of general relativity

International Nuclear Information System (INIS)

Han-ying, G.; Yong-shi, W.; Gendao, L.

1974-01-01

In this paper, using E. Cartan's exterior calculus, we give the spinor form of the structure equations, which leads naturally to the Newman--Penrose equations. Furthermore, starting from the spinor spaces and the el (2C) algebra, we construct the general complex-vector formalism of general relativity. We find that both the Cahen--Debever--Defrise complex-vector formalism and that of Brans are its special cases. Thus, the spinor formalism and the complex-vector formalism of general relativity are unified on the basis of the uni-modular group SL(2C) and its Lie algebra

Methodology for the development and the UML (unified modified language) simulation of data acquisition and data processing systems dedicated to high energy physics experiments

International Nuclear Information System (INIS)

Anvar, S.

2002-09-01

The increasing complexity of the real-time data acquisition and processing systems (TDAQ: the so called Trigger and Data AcQuisition systems) in high energy physics calls for an appropriate evolution of development tools. This work is about the interplay between in principle specifications of TDAQ systems and their actual design and realization on a concrete hardware and software platform. The basis of our work is to define a methodology for the development of TDAQ systems that meets the specific demands for the development of such systems. The result is the detailed specification of a 'methodological framework' based on the Unified Modeling Language (UML) and designed to manage a development process. The use of this UML-based methodological framework progressively leads to the setting up of a 'home-made' framework, i.e. a development tool that comprises reusable components and generic architectural elements adapted to TDAQ systems. The main parts of this dissertation are sections II to IV. Section II is devoted to the characterization and evolution of TDAQ systems. In section III, we review the main technologies that are relevant to our problematic, namely software reuse techniques such as design patterns and frameworks, especially concerning the real-time and embedded systems domain. Our original conceptual contribution is presented in section IV, where we give a detailed, formalized and example-driven specification of our development model. Our final conclusions are presented in section V, where we present the MORDICUS project devoted to a concrete realization of our UML methodological framework, and the deep affinities between our work and the emerging 'Model Driven Architecture' (MDA) paradigm developed by the Object Management Group. (author)

Unpacking (In)formal Learning in an Academic Development Programme: A Mixed-Method Social Network Perspective

Science.gov (United States)

Rienties, Bart; Hosein, Anesa

2015-01-01

How and with whom academics develop and maintain formal and informal networks for reflecting on their teaching practice has received limited attention even though academic development (AD) programmes have become an almost ubiquitous feature of higher education. The primary goal of this mixed-method study is to unpack how 114 academics in an AD…

SBME : Exploring boundaries between formal, non-formal, and informal learning

OpenAIRE

Shahoumian, Armineh; Parchoma, Gale; Saunders, Murray; Hanson, Jacky; Dickinson, Mike; Pimblett, Mark

2013-01-01

In medical education learning extends beyond university settings into practice. Non-formal and informal learning support learners’ efforts to meet externally set and learner-identified objectives. In SBME research, boundaries between formal, non-formal, and informal learning have not been widely explored. Whether SBME fits within or challenges these categories can make a contribution. Formal learning is described in relation to educational settings, planning, assessment, and accreditation. In...

Large sample NAA facility and methodology development

International Nuclear Information System (INIS)

Roth, C.; Gugiu, D.; Barbos, D.; Datcu, A.; Aioanei, L.; Dobrea, D.; Taroiu, I. E.; Bucsa, A.; Ghinescu, A.

2013-01-01

A Large Sample Neutron Activation Analysis (LSNAA) facility has been developed at the TRIGA- Annular Core Pulsed Reactor (ACPR) operated by the Institute for Nuclear Research in Pitesti, Romania. The central irradiation cavity of the ACPR core can accommodate a large irradiation device. The ACPR neutron flux characteristics are well known and spectrum adjustment techniques have been successfully applied to enhance the thermal component of the neutron flux in the central irradiation cavity. An analysis methodology was developed by using the MCNP code in order to estimate counting efficiency and correction factors for the major perturbing phenomena. Test experiments, comparison with classical instrumental neutron activation analysis (INAA) methods and international inter-comparison exercise have been performed to validate the new methodology. (authors)

Structuring Formal Requirements Specifications for Reuse and Product Families

Science.gov (United States)

Heimdahl, Mats P. E.

2001-01-01

In this project we have investigated how formal specifications should be structured to allow for requirements reuse, product family engineering, and ease of requirements change, The contributions of this work include (1) a requirements specification methodology specifically targeted for critical avionics applications, (2) guidelines for how to structure state-based specifications to facilitate ease of change and reuse, and (3) examples from the avionics domain demonstrating the proposed approach.

A review of methodologies used in research on cadastral development

DEFF Research Database (Denmark)

Silva, Maria Augusta; Stubkjær, Erik

2002-01-01

to the acceptance of research methodologies needed for cadastral development, and thereby enhance theory in the cadastral domain. The paper reviews nine publica-tions on cadastre and identifies the methodologies used. The review focuses on the institutional, social political and economic aspects of cadastral......World-wide, much attention has been given to cadastral development. As a consequence of experiences made during the last decades, several authors have stated the need of research in the domain of cadastre and proposed methodologies to be used. The purpose of this paper is to contribute...... development, rather than on the technical aspects. The main conclusion of this paper is that the methodologies used are largely those of the social sciences. That agrees with the notion that cadastre relates as much to people and institutions, as it relates to land, and that cadastral systems are shaped...

SYSTEM-COGNITIVE MODEL OF FORECASTING THE DEVELOPMENT OF DIVERSIFIED AGRO-INDUSTRIAL CORPORATIONS. PART I. COGNITIVE STRUCTURING AND FORMALIZATION OF THE SUBJECT AREA

OpenAIRE

Lutsenko Y. V.; Loyko V. I.; Baranovskaya T. P.; Makarevich O. A.

2015-01-01

In this article, in accordance with the methodology of the Automated system-cognitive analysis (ASCanalysis), we examine the implementation of the 1st and 2nd stages of ASC-analysis: cognitive structuring and formalization of the subject area. At the stage of cognitive structurization of subject area, researchers decide what to consider as the object of modeling, the factors affecting it and the results of their actions. In accordance with the results of the cognitive structurization, we prep...

Building the Capability of Non-Formal Education Teachers to Develop a Learning Society for Promoting Lifelong Education in Thailand

Science.gov (United States)

Sungsri, Sumalee

2018-01-01

This study aims to study Thai non-formal education teachers' perceptions of their opportunities to obtain knowledge about the learning society; identify the knowledge of non-formal education teachers need about the learning society which could be obtained through a distance learning package; and to develop and evaluate distance learning package on…

Baseline methodologies for clean development mechanism projects

Energy Technology Data Exchange (ETDEWEB)

Lee, M.K. (ed.); Shrestha, R.M.; Sharma, S.; Timilsina, G.R.; Kumar, S.

2005-11-15

The Kyoto Protocol and the Clean Development Mechanism (CDM) came into force on 16th February 2005 with its ratification by Russia. The increasing momentum of this process is reflected in more than 100 projects having been submitted to the CDM Executive Board (CDM-EB) for approval of the baselines and monitoring methodologies, which is the first step in developing and implementing CDM projects. A CDM project should result in a net decrease of GHG emissions below any level that would have resulted from other activities implemented in the absence of that CDM project. The 'baseline' defines the GHG emissions of activities that would have been implemented in the absence of a CDM project. The baseline methodology is the process/algorithm for establishing that baseline. The baseline, along with the baseline methodology, are thus the most critical element of any CDM project towards meeting the important criteria of CDM, which are that a CDM should result in 'real, measurable, and long term benefits related to the mitigation of climate change'. This guidebook is produced within the frame work of the United Nations Environment Programme (UNEP) facilitated 'Capacity Development for the Clean Development Mechanism (CD4CDM)' Project. This document is published as part of the projects effort to develop guidebooks that cover important issues such as project finance, sustainability impacts, legal framework and institutional framework. These materials are aimed to help stakeholders better understand the CDM and are believed to eventually contribute to maximize the effect of the CDM in achieving the ultimate goal of UNFCCC and its Kyoto Protocol. This Guidebook should be read in conjunction with the information provided in the two other guidebooks entitled, 'Clean Development Mechanism: Introduction to the CDM' and 'CDM Information and Guidebook' developed under the CD4CDM project. (BA)

Baseline methodologies for clean development mechanism projects

International Nuclear Information System (INIS)

Lee, M.K.; Shrestha, R.M.; Sharma, S.; Timilsina, G.R.; Kumar, S.

2005-11-01

The Kyoto Protocol and the Clean Development Mechanism (CDM) came into force on 16th February 2005 with its ratification by Russia. The increasing momentum of this process is reflected in more than 100 projects having been submitted to the CDM Executive Board (CDM-EB) for approval of the baselines and monitoring methodologies, which is the first step in developing and implementing CDM projects. A CDM project should result in a net decrease of GHG emissions below any level that would have resulted from other activities implemented in the absence of that CDM project. The 'baseline' defines the GHG emissions of activities that would have been implemented in the absence of a CDM project. The baseline methodology is the process/algorithm for establishing that baseline. The baseline, along with the baseline methodology, are thus the most critical element of any CDM project towards meeting the important criteria of CDM, which are that a CDM should result in 'real, measurable, and long term benefits related to the mitigation of climate change'. This guidebook is produced within the frame work of the United Nations Environment Programme (UNEP) facilitated 'Capacity Development for the Clean Development Mechanism (CD4CDM)' Project. This document is published as part of the projects effort to develop guidebooks that cover important issues such as project finance, sustainability impacts, legal framework and institutional framework. These materials are aimed to help stakeholders better understand the CDM and are believed to eventually contribute to maximize the effect of the CDM in achieving the ultimate goal of UNFCCC and its Kyoto Protocol. This Guidebook should be read in conjunction with the information provided in the two other guidebooks entitled, 'Clean Development Mechanism: Introduction to the CDM' and 'CDM Information and Guidebook' developed under the CD4CDM project. (BA)

Non-Formal Educational Empowerment of Nigeria Youths for ...

African Journals Online (AJOL)

Religion Dept

discussed the concept of non-formal education, entrepreneurship and development, non-formal ... introducing some developmental programmes such as poverty alleviation .... aesthetic, cultural and civic education for public enlightenment.

Masses of Formal Philosophy

DEFF Research Database (Denmark)

Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods i...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.......Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods...

Developing a Toolset Supporting the Construction of Reusable Components for Embedded Control Systems

DEFF Research Database (Denmark)

Guan, Wei; Sierszecki, Krzysztof; Angelov, Christo K.

2010-01-01

Reusing software components for embedded control applications enhances product quality and reduces time to market when appropriate (formal) methodologies and supporting toolsets are available. That is why industrial companies are interested in developing trusted, in-house reusable components for ...... on open-source technology, in accordance with industrial requirements, as well as the approach used to engineer a toolset supporting component development for embedded control applications.......Reusing software components for embedded control applications enhances product quality and reduces time to market when appropriate (formal) methodologies and supporting toolsets are available. That is why industrial companies are interested in developing trusted, in-house reusable components...

Developing knowledge management systems with an active expert methodology

International Nuclear Information System (INIS)

Sandahl, K.

1992-01-01

Knowledge management, understood as the ability to store, distribute and utilize human knowledge in an organization, is the subject of this dissertation. In particular we have studied the design of methods and supporting software for this process. Detailed and systematic description of the design and development processes of three case-study implementations of knowledge management software are provided. The outcome of the projects is explained in terms of an active expert development methodology, which is centered around support for a domain expert to take substantial responsibility for the design and maintenance of a knowledge management system in a given area of application. Based on the experiences from the case studies and the resulting methodology, an environment for automatically supporting knowledge management was designed in the KNOWLEDGE-LINKER research project. The vital part of this architecture is a knowledge acquisition tool, used directly by the experts in creating and maintaining a knowledge base. An elaborated version of the active expert development methodology was then formulated as the result of applying the KNOWLEDGE-LINKER approach in a fourth case study. This version of the methodology is also accounted for and evaluated together within the supporting KNOWLEDGE-LINKER architecture. (au)

The Integration of Formal and Non-formal Education: The Dutch “brede school”

Directory of Open Access Journals (Sweden)

du Bois-Reymond, Manuela

2009-12-01

Full Text Available The Dutch “brede school” (BS development originates in the 1990s and has spread unevenly since: quicker in the primary than secondary educational sector. In 2007, there were about 1000 primary and 350 secondary BS schools and it is the intention of the government as well as the individual municipalities to extend that number and make the BS the dominant school form of the near future. In the primary sector, a BS cooperates with crèche and preschool facilities, besides possible other neighborhood partners. The main targets are, first, to enhance educational opportunities, particularly for children with little (western- cultural capital, and secondly to increase women’s labor market participation by providing extra familial care for babies and small children. All primary schools are now obliged to provide such care. In the secondary sector, a BS is less neighborhood-orientated than a primary BS because those schools are bigger and more often located in different buildings. As in the primary sector, there are broad and more narrow BS, the first profile cooperating with many non-formal and other partners and facilities and the second with few. On the whole, there is a wide variety of BS schools, with different profiles and objectives, dependent on the needs and wishes of the initiators and the neighborhood. A BS is always the result of initiatives of the respective school and its partners: parents, other neighborhood associations, municipality etc. BS schools are not enforced by the government although the general trend will be that existing school organizations transform into BS. The integration of formal and non-formal education and learning is more advanced in primary than secondary schools. In secondary education, vocational as well as general, there is a clear dominance of formal education; the non-formal curriculum serves mainly two lines and objectives: first, provide attractive leisure activities and second provide compensatory

Methodology for studying social advertising: A sociological aspect

Directory of Open Access Journals (Sweden)

S B Kalmykov

2014-12-01

Full Text Available The article describes the author’s dynamic processual methodology for the sociological study of social advertising that combines the multiversion paradigmatic approach, legitimization procedures, methodological principles of interconnection, multilevel analysis and the principles of sociological data formalization developed by P. Lazarsfeld. The author explains the multi-stage strategy of the methodology and the research procedures that provide new sociological knowledge about the processes of social advertising. The first stage involves analysis of the social advertising as a number of institutional, communicative, socio-cultural and socio-technological processes. The second stage consists of the development of the substantive aspects of social advertising dynamics and its dependence on the features of different socio-demographic groups. The third stage of the methodology includes a comparative analysis of the social advertising theoretical and empirical aspects and the subsequent assessment of its fundamental and applied capabilities. The author identifies two types of research practices: the first one consists of three levels of complexity - the first one is to design the social advertising categories and concepts; the second one requires a higher level of generalization; the third one supposes justification of the universal categorization and the social advertising conceptualization for different social areas as well as a comparative analysis of the theory of the social advertising impact developed by O.O. Savel’eva with the research results for the aims of the promotion of the sociology of advertising. The article concludes with the demonstration of the proposed methodology universality for different spheres of social reality.

The role of formal specifications

International Nuclear Information System (INIS)

McHugh, J.

1994-01-01

The role of formal requirements specification is discussed under the premise that the primary purpose of such specifications is to facilitate clear and unambiguous communications among the communities of interest for a given project. An example is presented in which the failure to reach such an understanding resulted in an accident at a chemical plant. Following the example, specification languages based on logical formalisms and notations are considered. These are rejected as failing to serve the communications needs of diverse communities. The notion of a specification as a surrogate for a program is also considered and rejected. The paper ends with a discussion of the type of formal notation that will serve the communications role and several encouraging developments are noted

Knowledge and tools formalization in the accidental risks domain (DRA-35) Ω-13 Boilover

International Nuclear Information System (INIS)

Patej, S.

2003-03-01

Since 2000 the Ministry of the environment is financing a studies and researches program, called since 2003 ''formalization of the knowledge and tools in the domain of the major risks'' DRA-35. The aim of this program is to realize a document formalizing the INERIS expertise in the domain of the accidental risks: the physical phenomenon implied in the accidents, the risks analysis and control, the methodological aspects for the realization of regulations. This report presents the study of the boilover physical phenomenon. (A.L.B.)

Land grabbing and formalization in Africa : a critical inquiry

NARCIS (Netherlands)

Stein, H.; Cunningham, S.

2015-01-01

Two developments in Africa have generated an extensive literature. The first focuses on investment and land grabbing and the second on the formalization of rural property rights. Less has been written on the impact of formalization on land grabbing and of land grabbing on formalization. Recently,

Development of a Teaching Methodology for Undergraduate Human Development in Psychology

Science.gov (United States)

Rodriguez, Maria A.; Espinoza, José M.

2015-01-01

The development of a teaching methodology for the undergraduate Psychology course Human Development II in a private university in Lima, Peru is described. The theoretical framework consisted of an integration of Citizen Science and Service Learning, with the application of Information and Communications Technology (ICT), specifically Wikipedia and…

X-ray resonant magnetic reflectivity of stratified magnetic structures: Eigenwave formalism and application to a W/Fe/W trilayer

International Nuclear Information System (INIS)

Elzo, M.; Jal, E.; Bunau, O.; Grenier, S.; Joly, Y.; Ramos, A.Y.; Tolentino, H.C.N.; Tonnerre, J.M.; Jaouen, N.

2012-01-01

A formalism for the reflectivity of electromagnetic waves by magnetic materials is presented with an application. It is applied to retrieve the magnetic moment density along the depth of magnetic materials with arbitrary magnetic moment direction using matricial algebra, including roughness between layers. The reflectivity is derived following a classical description with Maxwell equations and a permittivity built from the quantum scattering amplitude. Approximations on the relative power of the Thomson scattering and the magnetic terms are trackable in order to evaluate the validity of the formalism case-by-case, from the optical light regime up to soft and hard X-rays. Eigenwaves are used throughout the whole formalism. In order to illustrate the methodology, we present an application to a W/Fe/W trilayer performed at the Fe L-edge, in the soft X-ray regime. - Highlights: → Magnetism at interfaces and in thin films is increasingly studied. → X-ray resonant magnetic reflectivity yields the in depth magnetization profile in thin films. → We present a formalism and methodology to study the data. → We illustrate the technique with an example.

Development of a Long Term Cooling Analysis Methodology Using Rappel

International Nuclear Information System (INIS)

Lee, S. I.; Jeong, J. H.; Ban, C. H.; Oh, S. J.

2012-01-01

Since the revision of the 10CFR50.46 in 1988, which allowed BE (Best-Estimate) method in analyzing the safety performance of a nuclear power plant, safety analysis methodologies have been changed continuously from conservative EM (Evaluation Model) approaches to BE ones. In this context, LSC (Long-Term core Cooling) methodologies have been reviewed by the regulatory bodies of USA and Korea. Some non-conservatism and improperness of the old methodology have been identified, and as a result, USNRC suspended the approval of CENPD-254-P-A which is the old LSC methodology for CE-designed NPPs. Regulatory bodies requested to remove the non-conservatisms and to reflect system transient behaviors in all the LSC methodologies used. In the present study, a new LSC methodology using RELAP5 is developed. RELAP5 and a newly developed code, BACON (Boric Acid Concentration Of Nuclear power plant) are used to calculate the transient behavior of the system and the boric acid concentration, respectively. Full range of break spectrum is considered and the applicability is confirmed through plant demonstration calculations. The result shows a good comparison with the old-fashioned ones, therefore, the methodology could be applied with no significant changes of current LSC plans

Adolescent thinking ála Piaget: The formal stage.

Science.gov (United States)

Dulit, E

1972-12-01

Two of the formal-stage experiments of Piaget and Inhelder, selected largely for their closeness to the concepts defining the stage, were replicated with groups of average and gifted adolescents. This report describes the relevant Piagetian concepts (formal stage, concrete stage) in context, gives the methods and findings of this study, and concludes with a section discussing implications and making some reformulations which generally support but significantly qualify some of the central themes of the Piaget-Inhelder work. Fully developed formal-stage thinking emerges as far from commonplace among normal or average adolescents (by marked contrast with the impression created by the Piaget-Inhelder text, which chooses to report no middle or older adolescents who function at less than fully formal levels). In this respect, the formal stage differs appreciably from the earlier Piagetian stages, and early adolescence emerges as the age for which a "single path" model of cognitive development becomes seriously inadequate and a more complex model becomes essential. Formal-stage thinking seems best conceptualized, like most other aspects of psychological maturity, as a potentiality only partially attained by most and fully attained only by some.

Formalization of Technological Knowledge in the Field of Metallurgy using Document Classification Tools Supported with Semantic Techniques

Directory of Open Access Journals (Sweden)

Regulski K.

2017-06-01

Full Text Available The process of knowledge formalization is an essential part of decision support systems development. Creating a technological knowledge base in the field of metallurgy encountered problems in acquisition and codifying reusable computer artifacts based on text documents. The aim of the work was to adapt the algorithms for classification of documents and to develop a method of semantic integration of a created repository. Author used artificial intelligence tools: latent semantic indexing, rough sets, association rules learning and ontologies as a tool for integration. The developed methodology allowed for the creation of semantic knowledge base on the basis of documents in natural language in the field of metallurgy.

Towards formalization of inspection using petrinets

International Nuclear Information System (INIS)

Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A.

2014-01-01

Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes. (author)

Developing a Treatment Planning Software Based on TG-43U1 Formalism for Cs-137 LDR Brachytherapy.

Science.gov (United States)

Sina, Sedigheh; Faghihi, Reza; Soleimani Meigooni, Ali; Siavashpour, Zahra; Mosleh-Shirazi, Mohammad Amin

2013-08-01

The old Treatment Planning Systems (TPSs) used for intracavitary brachytherapy with Cs-137 Selectron source utilize traditional dose calculation methods, considering each source as a point source. Using such methods introduces significant errors in dose estimation. As of 1995, TG-43 is used as the main dose calculation formalism in treatment TPSs. The purpose of this study is to design and establish a treatment planning software for Cs-137 Solectron brachytherapy source, based on TG-43U1 formalism by applying the effects of the applicator and dummy spacers. Two softwares used for treatment planning of Cs-137 sources in Iran (STPS and PLATO), are based on old formalisms. The purpose of this work is to establish and develop a TPS for Selectron source based on TG-43 formalism. In this planning system, the dosimetry parameters of each pellet in different places inside applicators were obtained by MCNP4c code. Then the dose distribution around every combination of active and inactive pellets was obtained by summing the doses. The accuracy of this algorithm was checked by comparing its results for special combination of active and inactive pellets with MC simulations. Finally, the uncertainty of old dose calculation formalism was investigated by comparing the results of STPS and PLATO softwares with those obtained by the new algorithm. For a typical arrangement of 10 active pellets in the applicator, the percentage difference between doses obtained by the new algorithm at 1cm distance from the tip of the applicator and those obtained by old formalisms is about 30%, while the difference between the results of MCNP and the new algorithm is less than 5%. According to the results, the old dosimetry formalisms, overestimate the dose especially towards the applicator's tip. While the TG-43U1 based software perform the calculations more accurately.

Applying of component system development in object methodology, case study

Directory of Open Access Journals (Sweden)

Milan Mišovič

2013-01-01

Full Text Available To create computarization target software as a component system has been a very strong requirement for the last 20 years of software developing. Finally, the architectural components are self-contained units, presenting not only partial and overall system behavior, but also cooperating with each other on the basis of their interfaces. Among others, components have allowed flexible modification of processes the behavior of which is the foundation of components behavior without changing the life of the component system. On the other hand, the component system makes it possible, at design time, to create numerous new connections between components and thus creating modified system behaviors. This all enables the company management to perform, at design time, required behavioral changes of processes in accordance with the requirements of changing production and market.The development of software which is generally referred to as SDP (Software Development Process contains two directions. The first one, called CBD (Component–Based Development, is dedicated to the development of component–based systems CBS (Component–based System, the second target is the development of software under the influence of SOA (Service–Oriented Architecture. Both directions are equipped with their different development methodologies. The subject of this paper is only the first direction and application of development of component–based systems in its object–oriented methodologies. The requirement of today is to carry out the development of component-based systems in the framework of developed object–oriented methodologies precisely in the way of a dominant style. In some of the known methodologies, however, this development is not completely transparent and is not even recognized as dominant. In some cases, it is corrected by the special meta–integration models of component system development into an object methodology.This paper presents a case study

Proposed Methodology for Establishing Area of Applicability

International Nuclear Information System (INIS)

Broadhead, B.L.; Hopper, C.M.; Parks, C.V.

1999-01-01

This paper presents the application of sensitivity and uncertainty (S/U) analysis methodologies to the data validation tasks of a criticality safety computational study. The S/U methods presented are designed to provide a formal means of establishing the area (or range) of applicability for criticality safety data validation studies. The development of parameters that are analogous to the standard trending parameters form the key to the technique. These parameters are the so-called D parameters, which represent the differences by energy group of S/U-generated sensitivity profiles, and c parameters, which are the k correlation coefficients, each of which give information relative to the similarity between pairs of selected systems. The use of a Generalized Linear Least-Squares Methodology (GLLSM) tool is also described in this paper. These methods and guidelines are also applied to a sample validation for uranium systems with enrichments greater than 5 wt %

Industrial Practice in Formal Methods : A Review

DEFF Research Database (Denmark)

Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm

2009-01-01

We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant chal...... challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.......We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant...

A Quantitative Examination of Critical Success Factors Comparing Agile and Waterfall Project Management Methodologies

Science.gov (United States)

Pedersen, Mitra

2013-01-01

This study investigated the rate of success for IT projects using agile and standard project management methodologies. Any successful project requires use of project methodology. Specifically, large projects require formal project management methodologies or models, which establish a blueprint of processes and project planning activities. This…

Development of a comprehensive management site evaluation methodology

International Nuclear Information System (INIS)

Rodgers, J.C.; Onishi, Y.

1981-01-01

The Nuclear Regulatory Commission is in the process of preparing regulations that will define the necessary conditions for adequate disposal of low-level waste (LLW) by confinement in an LLW disposal facility. These proposed regulations form the context in which the motivation for the joint Los Alamos National Laboratory Battelle Pacific Northwest Laboratory program to develop a site-specific, LLW site evaluation methodology is discussed. The overall effort is divided into three development areas: land-use evaluation, environmental transport modelling, and long term scenario development including long-range climatology projections. At the present time four steps are envisioned in the application of the methodology to a site: site land use suitability assessment, land use-ecosystem interaction, contaminant transport simulation, and sensitivity analysis. Each of these steps is discussed in the paper. 12 refs

Formalizing Informal Logic

Directory of Open Access Journals (Sweden)

Douglas Walton

2015-12-01

Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

Development methodology for industrial diesel engines; Entwicklungsmethode fuer Industrie-Dieselmotoren

Energy Technology Data Exchange (ETDEWEB)

Bergmann, Dirk; Kech, Johannes [MTU Friedrichshafen GmbH (Germany)

2011-11-15

In order to remain cost-effective with relatively low production volumes in spite of the high requirements regarding emissions and durability, MTU uses a clearly structured development methodology with a close interlinking of technology and product development in the development of its large engines. For the new engine of the 4000 Series with cooled EGR, MTU applied this methodology in order to implement the emissions concept from the initial idea right through to the serial product. (orig.)

A study on methodological of software development for HEP

International Nuclear Information System (INIS)

Ding Yuzheng; Dai Guiliang

1999-01-01

The HEP related software system is a large one. It comprises mainly detector simulation software, DAQ software and offline system. The author discusses the advantages of OO object oriented methodologies applying to such software system, and the basic strategy for the usage of OO methodologies, languages and tools in the development of the HEP related software are given

Formal caregivers of older adults: reflection about their practice

Directory of Open Access Journals (Sweden)

Marina Picazzio Perez Batista

2014-10-01

Full Text Available OBJECTIVE To understand the job function of caregivers of older adults and contribute to the debate on the consolidation of this professional practice. METHODOLOGICAL PROCEDURES This is a descriptive, qualitative, and exploratory study. Four focal group sessions were performed in 2011 with 11 elderly companions, formal caregivers of older adults in the Programa Acompanhante de Idosos (Program for Caregivers of Older Adults, Sao Paulo, SP, Southeastern Brazil. These sessions, guided by a semi-structured script, were audio-recorded and fully transcribed. Data were analyzed using the Content Analysis technique, Thematic Modality. RESULTS In view of considering the caregivers of older adults as a new category of workers, it was difficult to define their duties. The elderly companions themselves as well as the care receivers, their families, and the professionals that comprised the team were unclear about their duties. The professional practice of these formal caregivers has been built on the basis of constant discussions and negotiations among them and other team members in Programa Acompanhante de Idosos during daily work. This was achieved via a recognition process of their job functions and by setting apart other workers’ exclusive responsibilities. CONCLUSIONS The delimitation of specific job functions for elderly companions is currently one of the greatest challenges faced by these workers to develop and consolidate their professional role as well as improve Programa Acompanhante de Idosos.

Development of Audit Calculation Methodology for RIA Safety Analysis

Energy Technology Data Exchange (ETDEWEB)

Lee, Joosuk; Kim, Gwanyoung; Woo, Swengwoong [Korea Institute of Nuclear Safety, Daejeon (Korea, Republic of)

2015-05-15

The interim criteria contain more stringent limits than previous ones. For example, pellet-to-cladding mechanical interaction(PCMI) was introduced as a new failure criteria. And both short-term (e.g. fuel-to coolant interaction, rod burst) and long-term(e.g., fuel rod ballooning, flow blockage) phenomena should be addressed for core coolability assurance. For dose calculations, transient-induced fission gas release has to be accounted additionally. Traditionally, the approved RIA analysis methodologies for licensing application are developed based on conservative approach. But newly introduced safety criteria tend to reduce the margins to the criteria. Thereby, licensees are trying to improve the margins by utilizing a less conservative approach. In this situation, to cope with this trend, a new audit calculation methodology needs to be developed. In this paper, the new methodology, which is currently under developing in KINS, was introduced. For the development of audit calculation methodology of RIA safety analysis based on the realistic evaluation approach, preliminary calculation by utilizing the best estimate code has been done on the initial core of APR1400. Followings are main conclusions. - With the assumption of single full-strength control rod ejection in HZP condition, rod failure due to PCMI is not predicted. - And coolability can be assured in view of entalphy and fuel melting. - But, rod failure due to DNBR is expected, and there is possibility of fuel failure at the rated power conditions also.

General many-body formalism for composite quantum particles.

Science.gov (United States)

Combescot, M; Betbeder-Matibet, O

2010-05-21

This Letter provides a formalism capable of exactly treating Pauli blocking between n-fermion particles. This formalism is based on an operator algebra made of commutators and anticommutators which contrasts with the usual scalar formalism of Green functions developed half a century ago for elementary quantum particles. We also provide the diagrams which visualize the very specific many-body physics induced by fermion exchanges between composite quantum particles.

Rwanda after the Genocide: Formal and Informal Institutions in Overcoming Development Traps

Directory of Open Access Journals (Sweden)

Ekaterina S. Glazova

2015-01-01

Full Text Available Permanent self-reproduction of crises or getting into so called development traps in underdeveloped countries constitutes one of the most significant world problems. An explanatory hypothesisis that antagonistic relationship between formal and informal institutions makes it impossible to overcome path dependence. The problem is illustrated by the case of Rwanda, which, despite the large-scale foreign aid in the 1960s-early 1990s, failed to resolve the growing socio-political contradictions that eventually led to the 1994 genocide. However, since the 2000s Rwanda has been demonstrating an upward trend especially in governance and control of corruption. In the author's view, success in the post-genocidal period was determined by two factors: first, by the institutional vacuum created by the collapse of competitive rules and practices of the President Habyarimana era; second, by the effective leadership shown by the ruling elite support of informal practices to overcome the crisis. Between the possible reform options the choice was made in favor of formalization of autochthonous practices, introduction of traditional or restored (filled with a new meaning institutions into the legal sphere, and creation of new rules. Rwanda is therefore an example of successful institutional transformation.

A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development

Directory of Open Access Journals (Sweden)

Julian Galindo Losada

2016-11-01

Full Text Available Emerging companies involved in design and implementation of innovative products demand multidisciplinary teams to be competitive in the market. This need mainly exposes designers to extend their knowledge not only in User Interface elements of the design process but also in software methodologies to cover the lack of resources and expertise in start-ups. It raises the question of how designers can line up HCI techniques with best practices in software development while preserving usability and easy-to-use principles. To explore this gap, this paper proposes an approach which combines existing technology and methods by studying the nexus between HCI prototyping and software engineering. The approach is applied into a case study in the design of a virtual shop harmonizing the use of storyboards and the spiral. A comprehensive analysis is performed by using a Technology acceptance model (TAM regarding with two variables: usability and easy-to-use. The present finding underlines the positive integration of HCI techniques and formal methods without compromising user satisfaction with a potential benefit for small companies in a formation stage.

FORMS OF LEARNING WITHIN HIGHER EDUCATION. BLENDING FORMAL, INFORMAL AND NON-FORMAL

Directory of Open Access Journals (Sweden)

Irina- Teodora MANOLESCU

2018-07-01

Full Text Available Changes that occur in the socio-economic environment determine new challenges for individuals that strive to acquire new, more valuable competencies. The universities, considered one of the most important pillars in developing such competencies, are challenged to develop and harmonize different forms of education (formal, informal and non-formal in order to respond to individuals’ and organizations’ needs. The mixture of learning forms can bring competitive advantage for the universities. However mixing the learning forms is not so easy to accomplish, considering that the stakeholders’ requirements could be divergent and the resources are limited. This paper aims at presenting the advantages and disadvantages of these forms of learning and also outlines few examples of the interferences. At last, the paper presents some preliminary results of a quantitative research regarding the perception on the usage of the three forms of learning of one of its stakeholders - the higher education candidates. Some implications for both universities and high school education are highlighted.

Essential competencies analysis of a training model development for non-formal vocational teachers under the office of the non-formal and informal education in Thailand

OpenAIRE

Chayanopparat Piyanan; Charungkaittikul Suwithida; Ratana-Ubol Archanya

2016-01-01

Non-formal vocational education provides practical experiences in a particular occupational field to non-formal semi-skilled learners. Non-formal vocational teachers are the key persons to deliver particular occupational knowledge. The essential competencies enhancement for non-sformal vocational teachers will improve teaching performance. The question of the research is what the essential competencies for the nonformal vocational teachers are. The research method was 1) to review related lit...

A framework for assessing the adequacy and effectiveness of software development methodologies

Science.gov (United States)

Arthur, James D.; Nance, Richard E.

1990-01-01

Tools, techniques, environments, and methodologies dominate the software engineering literature, but relatively little research in the evaluation of methodologies is evident. This work reports an initial attempt to develop a procedural approach to evaluating software development methodologies. Prominent in this approach are: (1) an explication of the role of a methodology in the software development process; (2) the development of a procedure based on linkages among objectives, principles, and attributes; and (3) the establishment of a basis for reduction of the subjective nature of the evaluation through the introduction of properties. An application of the evaluation procedure to two Navy methodologies has provided consistent results that demonstrate the utility and versatility of the evaluation procedure. Current research efforts focus on the continued refinement of the evaluation procedure through the identification and integration of product quality indicators reflective of attribute presence, and the validation of metrics supporting the measure of those indicators. The consequent refinement of the evaluation procedure offers promise of a flexible approach that admits to change as the field of knowledge matures. In conclusion, the procedural approach presented in this paper represents a promising path toward the end goal of objectively evaluating software engineering methodologies.

Without Women No Development: Selected Case Studies from Asia of Non-Formal Education for Women.

Science.gov (United States)

Shah, Madhuri, Ed.

This handbook presents 15 case studies on the non-formal education of women from four Asian countries: India, Bangladesh, Sri Lanka, and Malaysia. The goal of this publication is to provide information about education-related issues concerning women and girls and development. This information is intended for those people, in governmental and…

APPLICATION OF METHODOLOGY OF STRATEGIC PLANNING IN DEVELOPING NATIONAL PROGRAMMES ON DEVELOPMENT

Directory of Open Access Journals (Sweden)

Inna NOVAK

2015-07-01

Full Text Available Actuality: The main purpose of strategic planning is that long-term interests of sustainable development of a market economy require the use of effective measures of state regulation of economic and social processes. Objective: The aim of the article is determined to analyze the development of strategic planning methodology and practical experience of its application in the design of national development programs. Methods: When writing the article the following research methods were used: analysis and synthesis, target-oriented and monographic. Results: In Ukraine at the level of state and local government authorities strategies of development of branches, regions, cities, etc. are being developed but given the lack of state funding a unified investment strategy of the country is not developed. After analyzing development of the strategic planning methodology and examples of its application in the design of state development programs we identified the need to develop an investment strategy of the state (sectors, regions, etc., as due to defined directions and guidelines of the activity it will increase the investment level in the country and ensure national strategy “Ukraine-2020”.

Energy indicators for sustainable development: Guidelines and methodologies

International Nuclear Information System (INIS)

2005-04-01

This publication is the product of an international initiative to define a set of Energy Indicators for Sustainable Development (EISD) and corresponding methodologies and guidelines. The successful completion of this work is the result of an intensive effort led by the International Atomic Energy Agency (IAEA) in cooperation with the United Nations Department of Economic and Social Affairs (UNDESA), the International Energy Agency (IEA), Eurostat and the European Environment Agency (EEA). The thematic framework, guidelines, methodology sheets and energy indicators set out in this publication reflect the expertise of these various agencies, recognized worldwide as leaders in energy and environmental statistics and analysis. While each agency has an active indicator programme, one goal of this joint endeavour has been to provide users with a consensus by leading experts on definitions, guidelines and methodologies for the development and worldwide use of a single set of energy indicators. No set of energy indicators can be final and definitive. To be useful, indicators must evolve over time to fit country-specific conditions, priorities and capabilities. The purpose of this publication is to present one set of EISD for consideration and use, particularly at the national level, and to serve as a starting point in the development of a more comprehensive and universally accepted set of energy indicators relevant to sustainable development. It is hoped that countries will use the EISD to assess their energy systems and to track their progress towards nationally defined sustainable development goals and objectives. It is also hoped that users of the information presented in this publication will contribute to refinements of energy indicators for sustainable development by adding their own unique perspectives to what is presented herein

Energy indicators for sustainable development: Guidelines and methodologies

International Nuclear Information System (INIS)

2008-01-01

This publication is the product of an international initiative to define a set of Energy Indicators for Sustainable Development (EISD) and corresponding methodologies and guidelines. The successful completion of this work is the result of an intensive effort led by the International Atomic Energy Agency (IAEA) in cooperation with the United Nations Department of Economic and Social Affairs (UNDESA), the International Energy Agency (IEA), Eurostat and the European Environment Agency (EEA). The thematic framework, guidelines, methodology sheets and energy indicators set out in this publication reflect the expertise of these various agencies, recognized worldwide as leaders in energy and environmental statistics and analysis. While each agency has an active indicator programme, one goal of this joint endeavour has been to provide users with a consensus by leading experts on definitions, guidelines and methodologies for the development and worldwide use of a single set of energy indicators. No set of energy indicators can be final and definitive. To be useful, indicators must evolve over time to fit country-specific conditions, priorities and capabilities. The purpose of this publication is to present one set of EISD for consideration and use, particularly at the national level, and to serve as a starting point in the development of a more comprehensive and universally accepted set of energy indicators relevant to sustainable development. It is hoped that countries will use the EISD to assess their energy systems and to track their progress towards nationally defined sustainable development goals and objectives. It is also hoped that users of the information presented in this publication will contribute to refinements of energy indicators for sustainable development by adding their own unique perspectives to what is presented herein

An extensible six-step methodology to automatically generate fuzzy DSSs for diagnostic applications.

Science.gov (United States)

d'Acierno, Antonio; Esposito, Massimo; De Pietro, Giuseppe

2013-01-01

The diagnosis of many diseases can be often formulated as a decision problem; uncertainty affects these problems so that many computerized Diagnostic Decision Support Systems (in the following, DDSSs) have been developed to aid the physician in interpreting clinical data and thus to improve the quality of the whole process. Fuzzy logic, a well established attempt at the formalization and mechanization of human capabilities in reasoning and deciding with noisy information, can be profitably used. Recently, we informally proposed a general methodology to automatically build DDSSs on the top of fuzzy knowledge extracted from data. We carefully refine and formalize our methodology that includes six stages, where the first three stages work with crisp rules, whereas the last three ones are employed on fuzzy models. Its strength relies on its generality and modularity since it supports the integration of alternative techniques in each of its stages. The methodology is designed and implemented in the form of a modular and portable software architecture according to a component-based approach. The architecture is deeply described and a summary inspection of the main components in terms of UML diagrams is outlined as well. A first implementation of the architecture has been then realized in Java following the object-oriented paradigm and used to instantiate a DDSS example aimed at accurately diagnosing breast masses as a proof of concept. The results prove the feasibility of the whole methodology implemented in terms of the architecture proposed.

Observational methodology in football: Development of an instrument to study the offensive game in football

Directory of Open Access Journals (Sweden)

H. Sarmento

2009-01-01

Full Text Available The following paper introduces a new approach to the analysis of offensive game in football. Therefore, the main aim of this study was to create an instrument for collecting information for the analysis of offensive action and interactions game. The observation instrument that was used to accomplish the main objective of this work consists of a combination of format fields (FC and systems of categories (SC. This methodology is a particular strategy of the scientific method that has as an objective to analyse the perceptible behaviour that occurs in habitual contexts, allowing them to be formally recorded and quantified and using an ad hoc instrument in order to obtain a behaviour systematic registration that, since they have been transformed in quantitative data with the necessary reliability and validity determined level, will allow analysis of the relations between these behaviours. The codifications undertaken to date in various games of football have shown that it serves the purposes for which it was developed, allowing more research into the offensive game methods in football.

IS THERE A NEED FOR THE POST-NON-CLASSICAL METHODOLOGY IN PEDAGOGY?

Directory of Open Access Journals (Sweden)

Vladislav L. Benin

2014-01-01

Full Text Available  The publication continues the discussion, started by Yu.V. Larina in ≪Education in Search of the Congruity Principle≫ concerning the modern methodology of pedagogical science; and identifies the criteria of the given principle along with the limitations of the post-non-classical approaches to the humanities.Methods: The methodology involves the analysis of existing view points, formalization of characteristics of post-non-classical science, and reflection of pedagogical principle of cultural conformity.Results: The research outcomes demonstrate that the gradual undermining of the fundamental science results in erosion of methodological background. In case of interdisciplinary subjects, a researcher is forced to integrate different methods and techniques, which provokes further disruption of the methodology.Scientific novelty: The author classifies and extrapolates to the humanities sphere the main characteristics of post-non-classical science; and makes a conclusion about the gradual decline of researchers’ training quality due to the lack of methodological clarity, and aggressive forms of science vulgarization leading to spontaneous development of clipping methodology.The practical significance: Implementation of the research findings can activate both theoretical and methodological aspects of teacher’s training and selfeducation.

Development of brain systems for nonsymbolic numerosity and the relationship to formal math academic achievement.

Science.gov (United States)

Haist, Frank; Wazny, Jarnet H; Toomarian, Elizabeth; Adamo, Maha

2015-02-01

A central question in cognitive and educational neuroscience is whether brain operations supporting nonlinguistic intuitive number sense (numerosity) predict individual acquisition and academic achievement for symbolic or "formal" math knowledge. Here, we conducted a developmental functional magnetic resonance imaging (MRI) study of nonsymbolic numerosity task performance in 44 participants including 14 school age children (6-12 years old), 14 adolescents (13-17 years old), and 16 adults and compared a brain activity measure of numerosity precision to scores from the Woodcock-Johnson III Broad Math index of math academic achievement. Accuracy and reaction time from the numerosity task did not reliably predict formal math achievement. We found a significant positive developmental trend for improved numerosity precision in the parietal cortex and intraparietal sulcus specifically. Controlling for age and overall cognitive ability, we found a reliable positive relationship between individual math achievement scores and parietal lobe activity only in children. In addition, children showed robust positive relationships between math achievement and numerosity precision within ventral stream processing areas bilaterally. The pattern of results suggests a dynamic developmental trajectory for visual discrimination strategies that predict the acquisition of formal math knowledge. In adults, the efficiency of visual discrimination marked by numerosity acuity in ventral occipital-temporal cortex and hippocampus differentiated individuals with better or worse formal math achievement, respectively. Overall, these results suggest that two different brain systems for nonsymbolic numerosity acuity may contribute to individual differences in math achievement and that the contribution of these systems differs across development. © 2014 Wiley Periodicals, Inc.

Department of Energy's process waste assessment graded approach methodology

International Nuclear Information System (INIS)

Pemberton, S.E.

1994-03-01

As the initial phase of the formal waste minimization program, the Department of Energy requires assessments of all its waste-generating operations. These assessments, called process waste assessments (PWAs), are a tool which helps achieve the pollution prevention goals. The DOE complex is comprised of numerous sites located in many different states. The facilities as a whole represent a tremendous diversity of technologies, processes, and activities. Due to this diversity, there are also a wide variety and number of waste streams generated. Many of these waste streams are small, intermittent, and not of consistent composition. The PWA graded approach methodology addresses these complexities and recognizes that processes vary in the quantity of pollution they generate, as well as in the perceived risk and associated hazards. Therefore, the graded approach was developed to provide a cost-effective and flexible methodology which allows individual sites to prioritize their local concerns and align their efforts with the resources allocated. This presentation will describe a project sponsored by the DOE Office of Environmental Restoration and Waste Management, Waste Minimization Division, which developed a graded approach methodology for use throughout the DOE. This methodology was initiated in FY93 through a combined effort of the following DOE/Defense Program sites: Kansas City Plant, Lawrence Livermore National Laboratory, Los Alamos National Laboratory, Sandia National Laboratories. This presentation will describe the process waste assessment tool, benefits achieved through the completion of PWAs, DOE's graded approach methodology, and an update on the project's current status

Film for Non-Formal Education.

Science.gov (United States)

Jenkins, Janet

1979-01-01

Looks at educational factors in using television or cinema film for non-formal education in developing nations. Styles of presentation in films are discussed, and suggestions are made for assessing effectiveness. (JEG)

Formality theory from Poisson structures to deformation quantization

CERN Document Server

Esposito, Chiara

2015-01-01

This book is a survey of the theory of formal deformation quantization of Poisson manifolds, in the formalism developed by Kontsevich. It is intended as an educational introduction for mathematical physicists who are dealing with the subject for the first time. The main topics covered are the theory of Poisson manifolds, star products and their classification, deformations of associative algebras and the formality theorem. Readers will also be familiarized with the relevant physical motivations underlying the purely mathematical construction.

Formal concept analysis in knowledge discovery: A survey

NARCIS (Netherlands)

Poelmans, J.; Elzinga, P.; Viaene, S.; Dedene, G.; Croitoru, M.; Ferré, S.; Lukose, D.

2010-01-01

In this paper, we analyze the literature on Formal Concept Analysis (FCA) using FCA. We collected 702 papers published between 2003-2009 mentioning Formal Concept Analysis in the abstract. We developed a knowledge browsing environment to support our literature analysis process. The pdf-files

The Formalization of Cultural Psychology. Reasons and Functions.

Science.gov (United States)

Salvatore, Sergio

2017-03-01

In this paper I discuss two basic theses about the formalization of cultural psychology. First, I claim that formalization is a relevant, even necessary stage of development of this domain of science. This is so because formalization allows the scientific language to achieve a much needed autonomy from the commonsensical language of the phenomena that this science deals with. Second, I envisage the two main functions that formalization has to perform in the field of cultural psychology: on the one hand, it has to provide formal rules grounding and constraining the deductive construction of the general theory; on the other hand, it has to provide the devices for supporting the interpretation of local phenomena, in terms of the abductive reconstruction of the network of linkages among empirical occurrences comprising the local phenomena.

Development Methodology for an Integrated Legal Cadastre

NARCIS (Netherlands)

Hespanha, J.P.

2012-01-01

This Thesis describes the research process followed in order to achieve a development methodology applicable to the reform of cadastral systems with a legal basis. It was motivated by the author’s participation in one of the first surveying and mapping operations for a digital cadastre in Portugal,

Formal methods for dependable real-time systems

Science.gov (United States)

Rushby, John

1993-01-01

The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.

Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems

Science.gov (United States)

Weber, Doug; Jamsek, Damir

1994-01-01

The goal of this task was to investigate how formal methods could be incorporated into a software engineering process for flight-control systems under DO-178B and to demonstrate that process by developing a formal specification for NASA's Guidance and Controls Software (GCS) Experiment. GCS is software to control the descent of a spacecraft onto a planet's surface. The GCS example is simplified from a real example spacecraft, but exhibits the characteristics of realistic spacecraft control software. The formal specification is written in Larch.

Methodological Behaviorism from the Standpoint of a Radical Behaviorist.

Science.gov (United States)

Moore, J

2013-01-01

Methodological behaviorism is the name for a prescriptive orientation to psychological science. Its first and original feature is that the terms and concepts deployed in psychological theories and explanations should be based on observable stimuli and behavior. I argue that the interpretation of the phrase "based on" has changed over the years because of the influence of operationism. Its second feature, which developed after the first and is prominent in contemporary psychology, is that research should emphasize formal testing of a theory that involves mediating theoretical entities from an nonbehavioral dimension according to the hypothetico-deductive method. I argue that for contemporary methodological behaviorism, explanations of the behavior of both participants and scientists appeal to the mediating entities as mental causes, if only indirectly. In contrast to methodological behaviorism is the radical behaviorism of B. F. Skinner. Unlike methodological behaviorism, radical behaviorism conceives of verbal behavior in terms of an operant process that involves antecedent circumstances and reinforcing consequences, rather than in terms of a nonbehavioral process that involves reference and symbolism. In addition, radical behaviorism recognizes private behavioral events and subscribes to research and explanatory practices that do not include testing hypotheses about supposed mediating entities from another dimension. I conclude that methodological behaviorism is actually closer to mentalism than to Skinner's radical behaviorism.

The development of a safety analysis methodology for the optimized power reactor 1000

International Nuclear Information System (INIS)

Hwang-Yong, Jun; Yo-Han, Kim

2005-01-01

Korea Electric Power Research Institute (KEPRI) has been developing inhouse safety analysis methodology based on the delicate codes available to KEPRI to overcome the problems arising from currently used vendor oriented methodologies. For the Loss of Coolant Accident (LOCA) analysis, the KREM (KEPRI Realistic Evaluation Methodology) has been developed based on the RELAP-5 code. The methodology was approved for the Westinghouse 3-loop plants by the Korean regulatory organization and the project to extent the methodology to the Optimized Power Reactor 1000 (OPR1000) has been ongoing since 2001. Also, for the Non-LOCA analysis, the KNAP (Korea Non-LOCA Analysis Package) has been developed using the UNICORN-TM code system. To demonstrate the feasibility of these codes systems and methodologies, some typical cases of the design basis accidents mentioned in the final safety analysis report (FSAR) were analyzed. (author)

Methodology for Developing a Diesel Exhaust After Treatment Simulation Tool

DEFF Research Database (Denmark)

Christiansen, Tine; Jensen, Johanne; Åberg, Andreas

2018-01-01

A methodology for the development of catalyst models is presented. Also, a methodology of the implementation of such models into a modular simulation tool, which simulates the units in succession, is presented. A case study is presented illustrating how suitable models can be found and used for s...

Formality in Brackets

DEFF Research Database (Denmark)

Garsten, Christina; Nyqvist, Anette

Ethnographic work in formal organizations involves learning to recognize the many layers of front stage and back stage of organized life, and to bracket formality. It means to be alert to the fact that what is formal and front stage for one some actors, and in some situations, may in fact be back...... stage and informal for others. Walking the talk, donning the appropriate attire, wearing the proper suit, may be part of what is takes to figure out the code of formal organizational settings – an entrance ticket to the backstage, as it were. Oftentimes, it involves a degree of mimicry, of ‘following...... suits’ (Nyqvist 2013), and of doing ‘ethnography by failure’ (Garsten 2013). In this paper, we explore the layers of informality and formality in our fieldwork experiences among financial investors and policy experts, and discuss how to ethnographically represent embodied fieldwork practices. How do we...

The evaluation framework for business process management methodologies

Directory of Open Access Journals (Sweden)

Sebastian Lahajnar

2016-06-01

Full Text Available In an intense competition in the global market, organisations seek to take advantage of all their internal and external potentials, advantages, and resources. It has been found that, in addition to competitive products and services, a good business also requires an effective management of business processes, which is the discipline of the business process management (BPM. The introduction of the BPM in the organisation requires a thoughtful selection of an appropriate methodological approach, since the latter will formalize activities, products, applications and other efforts of the organisation in this field. Despite many technology-driven solutions of software companies, recommendations of consulting companies, techniques, good practices and tools, the decision on what methodology to choose is anything but simple. The aim of this article is to simplify the adoption of such decisions by building a framework for the evaluation of BPM methodologies according to a qualitative multi-attribute decision-making method. The framework defines a hierarchical decision-making model, formalizes the decision-making process and thus contributes significantly to an independent, credible final decision that is the most appropriate for a specific organisation.

Development of seismic PSA methodology at JAERI

International Nuclear Information System (INIS)

Muramatsu, K.; Ebisawa, K.; Matsumoto, K.; Oikawa, T.; Kondo, M.

1995-01-01

The Japan Atomic Energy Research Institute (JAERI) is developing a methodology for seismic probabilistic safety assessment (PSA) of nuclear power plants, aiming at providing a set of procedures, computer codes and data suitable for performing seismic PSA in Japan. In order to demonstrate the usefulness of JAERI's methodology and to obtain better understanding on the controlling factors of the results of seismic PSAs, a seismic PSA for a BWR is in progress. In the course of this PSA, various improvements were made on the methodology. In the area of the hazard analysis, the application of the current method to the model plant site is being carried out. In the area of response analysis, the response factor method was modified to consider the non-linear response effect of the building. As for the capacity evaluation of components, since capacity data for PSA in Japan are very scarce, capacities of selected components used in Japan were evaluated. In the systems analysis, the improvement of the SECOM2 code was made to perform importance analysis and sensitivity analysis for the effect of correlation of responses and correlation of capacities. This paper summarizes the recent progress of the seismic PSA research at JAERI with emphasis on the evaluation of component capacity and the methodology improvement of systems reliability analysis. (author)

Formal description of the OSI session layer: introduction

NARCIS (Netherlands)

Ajubi, I.; Scollo, Giuseppe; van Sinderen, Marten J.; van Eijk, P.H.J.; Vissers, C.A.; Diaz, M.

1989-01-01

The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the

Formal Analysis of Graphical Security Models

DEFF Research Database (Denmark)

Aslanyan, Zaruhi

, software components and human actors interacting with each other to form so-called socio-technical systems. The importance of socio-technical systems to modern societies requires verifying their security properties formally, while their inherent complexity makes manual analyses impracticable. Graphical...... models for security offer an unrivalled opportunity to describe socio-technical systems, for they allow to represent different aspects like human behaviour, computation and physical phenomena in an abstract yet uniform manner. Moreover, these models can be assigned a formal semantics, thereby allowing...... formal verification of their properties. Finally, their appealing graphical notations enable to communicate security concerns in an understandable way also to non-experts, often in charge of the decision making. This dissertation argues that automated techniques can be developed on graphical security...

From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT

Directory of Open Access Journals (Sweden)

Tieming Chen

2016-01-01

Full Text Available Model checking has successfully been applied on verification of security protocols, but the modeling process is always tedious and proficient knowledge of formal method is also needed although the final verification could be automatic depending on specific tools. At the same time, due to the appearance of novel kind of networks, such as wireless sensor networks (WSN and wireless body area networks (WBAN, formal modeling and verification for these domain-specific systems are quite challenging. In this paper, a specific and novel formal modeling and verification method is proposed and implemented using an expandable tool called PAT to do WSN-specific security verification. At first, an abstract modeling data structure for CSP#, which is built in PAT, is developed to support the node mobility related specification for modeling location-based node activity. Then, the traditional Dolev-Yao model is redefined to facilitate modeling of location-specific attack behaviors on security mechanism. A throughout formal verification application on a location-based security protocol in WSN is described in detail to show the usability and effectiveness of the proposed methodology. Furthermore, also a novel location-based authentication security protocol in WBAN can be successfully modeled and verified directly using our method, which is, to the best of our knowledge, the first effort on employing model checking for automatic analysis of authentication protocol for WBAN.

Development of risk assessment methodology against natural external hazards for sodium-cooled fast reactors: project overview and strong Wind PRA methodology - 15031

International Nuclear Information System (INIS)

Yamano, H.; Nishino, H.; Kurisaka, K.; Okano, Y.; Sakai, T.; Yamamoto, T.; Ishizuka, Y.; Geshi, N.; Furukawa, R.; Nanayama, F.; Takata, T.; Azuma, E.

2015-01-01

This paper describes mainly strong wind probabilistic risk assessment (PRA) methodology development in addition to the project overview. In this project, to date, the PRA methodologies against snow, tornado and strong wind were developed as well as the hazard evaluation methodologies. For the volcanic eruption hazard, ash fallout simulation was carried out to contribute to the development of the hazard evaluation methodology. For the forest fire hazard, the concept of the hazard evaluation methodology was developed based on fire simulation. Event sequence assessment methodology was also developed based on plant dynamics analysis coupled with continuous Markov chain Monte Carlo method in order to apply to the event sequence against snow. In developing the strong wind PRA methodology, hazard curves were estimated by using Weibull and Gumbel distributions based on weather data recorded in Japan. The obtained hazard curves were divided into five discrete categories for event tree quantification. Next, failure probabilities for decay heat removal related components were calculated as a product of two probabilities: i.e., a probability for the missiles to enter the intake or out-take in the decay heat removal system, and fragility caused by the missile impacts. Finally, based on the event tree, the core damage frequency was estimated about 6*10 -9 /year by multiplying the discrete hazard probabilities in the Gumbel distribution by the conditional decay heat removal failure probabilities. A dominant sequence was led by the assumption that the operators could not extinguish fuel tank fire caused by the missile impacts and the fire induced loss of the decay heat removal system. (authors)

Formalizing physical security procedures

NARCIS (Netherlands)

Meadows, C.; Pavlovic, Dusko

Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now

Methodology for development of risk indicators for offshore platforms

International Nuclear Information System (INIS)

Oeien, K.; Sklet, S.

1999-01-01

This paper presents a generic methodology for development of risk indicators for petroleum installations and a specific set of risk indicators established for one offshore platform. The risk indicators should be used to control the risk during operation of platforms. The methodology is purely risk-based and the basis for development of risk indicators is the platform specific quantitative risk analysis (QRA). In order to identify high risk contributing factors, platform personnel are asked to assess whether and how much the risk influencing factors will change. A brief comparison of probabilistic safety assessment (PSA) for nuclear power plants and quantitative risk analysis (QRA) for petroleum platforms is also given. (au)

Decolonizing Dance Pedagogy: Application of Pedagogies of Ugandan Traditional Dances in Formal Dance Education

Science.gov (United States)

Mabingo, Alfdaniels

2015-01-01

Dances from African communities are gradually getting incorporated into formal education at pre-tertiary and tertiary levels in the United States. Whereas strides have been made to embrace this artistic and cultural diversity, the instructional methodologies that are applied in teaching these dances are commonly founded on Western pedagogic canons…

A methodology for eliciting, representing, and analysing stakeholder knowledge for decision making on complex socio-ecological systems: From cognitive maps to agent-based models

NARCIS (Netherlands)

El-Sawah, Sondoss; Guillaume, Joseph H.A.; Filatova, Tatiana; Rook, Josefine; Jakeman, Anthony J.

2015-01-01

This paper aims to contribute to developing better ways for incorporating essential human elements in decision making processes for modelling of complex socio-ecological systems. It presents a step-wise methodology for integrating perceptions of stakeholders (qualitative) into formal simulation

Cross-section methodology in SIMMER

International Nuclear Information System (INIS)

Soran, P.D.

1975-11-01

The cross-section methodology incorporated in the SIMMER code is described. Data base for all cross sections is the ENDF/B system with various progressing computer codes to group collapse and modify the group constants which are used in SIMMER. Either infinitely dilute cross sections or the Bondarenko formalism can be used in SIMMER. Presently only a microscopic treatment is considered, but preliminary macroscopic algorithms have been investigated

Cross-section methodology in SIMMER

International Nuclear Information System (INIS)

Soran, P.D.

1976-05-01

The cross-section methodology incorporated in the SIMMER code is described. Data base for all cross sections is the ENDF/B system with various progressing computer codes to group collapse and modify the group constants which are used in SIMMER. Either infinitely dilute cross sections or the Bondarenko formalism can be used in SIMMER. Presently only a microscopic treatment is considered, but preliminary macroscopic algorithms have been investigated

Traditional and formal education: Means of improving grasscutter ...

African Journals Online (AJOL)

The study concludes that both traditional and non-formal education are important for the development and efficiency of grasscutter farming in Ogun Waterside Local Government Area of Ogun State. The following are the recommendations of the study: revision of the curriculum of formal schools to include items that inculcate ...

Towards Formal Verification of a Separation Microkernel

Science.gov (United States)

Butterfield, Andrew; Sanan, David; Hinchey, Mike

2013-08-01

The best approach to verifying an IMA separation kernel is to use a (fixed) time-space partitioning kernel with a multiple independent levels of separation (MILS) architecture. We describe an activity that explores the cost and feasibility of doing a formal verification of such a kernel to the Common Criteria (CC) levels mandated by the Separation Kernel Protection Profile (SKPP). We are developing a Reference Specification of such a kernel, and are using higher-order logic (HOL) to construct formal models of this specification and key separation properties. We then plan to do a dry run of part of a formal proof of those properties using the Isabelle/HOL theorem prover.

Formal verification of Simulink/Stateflow diagrams a deductive approach

CERN Document Server

Zhan, Naijun; Zhao, Hengjun

2017-01-01

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Recent trends related to the use of formal methods in software engineering

Science.gov (United States)

Prehn, Soren

1986-01-01

An account is given of some recent developments and trends related to the development and use of formal methods in software engineering. Ongoing activities in Europe are focussed on, since there seems to be a notable difference in attitude towards industrial usage of formal methods in Europe and in the U.S. A more detailed account is given of the currently most widespread formal method in Europe: the Vienna Development Method. Finally, the use of Ada is discussed in relation to the application of formal methods, and the potential for constructing Ada-specific tools based on that method is considered.

Fear of the Formal

DEFF Research Database (Denmark)

du Gay, Paul; Lopdrup-Hjorth, Thomas

Over recent decades, institutions exhibiting high degrees of formality have come in for severe criticism. From the private to the public sector, and across a whole spectrum of actors spanning from practitioners to academics, formal organization is viewed with increasing doubt and skepticism....... In a “Schumpetarian world” (Teece et al., 1997: 509) of dynamic competition and incessant reform, formal organization appears as well suited to survival as a fish out of water. Indeed, formal organization, and its closely overlapping semantic twin bureaucracy, are not only represented as ill suited to the realities...... is that formal organization is an obstacle to be overcome. For that very reason, critics, intellectuals and reformers alike have urged public and private organizations to break out of the stifling straightjacket of formality, to dispense with bureaucracy, and to tear down hierarchies. This could either be done...

Formal truncations of connected kernel equations

International Nuclear Information System (INIS)

Dixon, R.M.

1977-01-01

The Connected Kernel Equations (CKE) of Alt, Grassberger and Sandhas (AGS); Kouri, Levin and Tobocman (KLT); and Bencze, Redish and Sloan (BRS) are compared against reaction theory criteria after formal channel space and/or operator truncations have been introduced. The Channel Coupling Class concept is used to study the structure of these CKE's. The related wave function formalism of Sandhas, of L'Huillier, Redish and Tandy and of Kouri, Krueger and Levin are also presented. New N-body connected kernel equations which are generalizations of the Lovelace three-body equations are derived. A method for systematically constructing fewer body models from the N-body BRS and generalized Lovelace (GL) equations is developed. The formally truncated AGS, BRS, KLT and GL equations are analyzed by employing the criteria of reciprocity and two-cluster unitarity. Reciprocity considerations suggest that formal truncations of BRS, KLT and GL equations can lead to reciprocity-violating results. This study suggests that atomic problems should employ three-cluster connected truncations and that the two-cluster connected truncations should be a useful starting point for nuclear systems

Formal Ontologies and Uncertainty. In Geographical Knowledge

Directory of Open Access Journals (Sweden)

Matteo Caglioni

2014-05-01

Full Text Available Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge to new probabilistic, fuzzy or possibilistic frameworks (ontologies of soft knowledge. This can considerably enlarge the application potential of formal ontologies in geographic analysis and planning, where soft knowledge is intrinsically linked to the complexity of the phenomena under study.  The paper briefly presents these new uncertainty-based formal ontologies. It then highlights how ontologies are formal tools to define both concepts and relations among concepts. An example from the domain of urban geography finally shows how the cause-to-effect relation between household preferences and urban sprawl can be encoded within a crisp, a probabilistic and a possibilistic ontology, respectively. The ontology formalism will also determine the kind of reasoning that can be developed from available knowledge. Uncertain ontologies can be seen as the preliminary phase of more complex uncertainty-based models. The advantages of moving to uncertainty-based models is evident: whether it is in the analysis of geographic space or in decision support for planning, reasoning on geographic space is almost always reasoning with uncertain knowledge of geographic phenomena.

Non-economic determinants of economic development: methodology and influence

OpenAIRE

Barashov, N.

2011-01-01

The paper deals with research methodology of non-economic determinants of economic development. The author considers various theoretical approaches to definition of economic growth factors. Considerable attention is given to studying possible influence of non-economic determinants on quality of economic development.

Views of HR Specialists on Formal Mentoring: Current Situation and Prospects for the Future

Science.gov (United States)

Laiho, Maarit; Brandt, Tiina

2012-01-01

Purpose: The article aims to report the findings of quantitative and qualitative analysis of the benefits, drawbacks and future prospects of formal mentoring in medium-sized and large organisations. Design/methodology/approach: The empirical data for the study were collected via an online survey, and consist of responses from 152 human resource…

Application of low-cost methodologies for mobile phone app development.

Science.gov (United States)

Zhang, Melvyn; Cheow, Enquan; Ho, Cyrus Sh; Ng, Beng Yeong; Ho, Roger; Cheok, Christopher Cheng Soon

2014-12-09

The usage of mobile phones and mobile phone apps in the recent decade has indeed become more prevalent. Previous research has highlighted a method of using just the Internet browser and a text editor to create an app, but this does not eliminate the challenges faced by clinicians. More recently, two methodologies of app development have been shared, but there has not been any disclosures pertaining to the costs involved. In addition, limitations such as the distribution and dissemination of the apps have not been addressed. The aims of this research article are to: (1) highlight a low-cost methodology that clinicians without technical knowledge could use to develop educational apps; (2) clarify the respective costs involved in the process of development; (3) illustrate how limitations pertaining to dissemination could be addressed; and (4) to report initial utilization data of the apps and to share initial users' self-rated perception of the apps. In this study, we will present two techniques of how to create a mobile app using two of the well-established online mobile app building websites. The costs of development are specified and the methodology of dissemination of the apps will be shared. The application of the low-cost methodologies in the creation of the "Mastering Psychiatry" app for undergraduates and "Déjà vu" app for postgraduates will be discussed. A questionnaire survey has been administered to undergraduate students collating their perceptions towards the app. For the Mastering Psychiatry app, a cumulative total of 722 users have used the mobile app since inception, based on our analytics. For the Déjà vu app, there has been a cumulative total of 154 downloads since inception. The utilization data demonstrated the receptiveness towards these apps, and this is reinforced by the positive perceptions undergraduate students (n=185) had towards the low-cost self-developed apps. This is one of the few studies that have demonstrated the low

Developing Agent-Oriented Video Surveillance System through Agent-Oriented Methodology (AOM

Directory of Open Access Journals (Sweden)

Cheah Wai Shiang

2016-12-01

Full Text Available Agent-oriented methodology (AOM is a comprehensive and unified agent methodology for agent-oriented software development. Although AOM is claimed to be able to cope with a complex system development, it is still not yet determined up to what extent this may be true. Therefore, it is vital to conduct an investigation to validate this methodology. This paper presents the adoption of AOM in developing an agent-oriented video surveillance system (VSS. An intruder handling scenario is designed and implemented through AOM. AOM provides an alternative method to engineer a distributed security system in a systematic manner. It presents the security system at a holistic view; provides a better conceptualization of agent-oriented security system and supports rapid prototyping as well as simulation of video surveillance system.

Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation

NARCIS (Netherlands)

Massacci, F.; Prest, M.; Zannone, N.

2005-01-01

Extending Requirements Engineering modelling and formal analysis methodologies to cope with Security Requirements has been a major effort in the past decade. Yet, only few works describe complex case studies that show the ability of the informal and formal approaches to cope with the level

Employees' Perceptions of Barriers to Participation in Training and Development in Small Engineering Businesses

Science.gov (United States)

Susomrith, Pattanee; Coetzer, Alan

2015-01-01

Purpose: This paper aims to investigate barriers to employee participation in voluntary formal training and development opportunities from the perspective of employees in small engineering businesses. Design/methodology/approach: An exploratory qualitative methodology involving data collection via site visits and in-depth semi-structured…

Towards an MDA-based development methodology for distributed applications

NARCIS (Netherlands)

van Sinderen, Marten J.; Gavras, A.; Belaunde, M.; Ferreira Pires, Luis; Andrade Almeida, João

2004-01-01

This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases and activities of an MDA-based development trajectory, and defines the roles and products of each activity in accordance

Necessity of Integral Formalism

International Nuclear Information System (INIS)

Tao Yong

2011-01-01

To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrödinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrödinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description. (general)

Pragmatics for formal semantics

DEFF Research Database (Denmark)

Danvy, Olivier

2011-01-01

This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal...

Thermodynamic and multifractal formalism and the Bowen-series map

International Nuclear Information System (INIS)

Rudolph, O.

1994-07-01

In the theory of quantum chaos one studies the semiclassical behaviour of quantum mechanical systems whose corresponding classical counterparts exhibit chaos. These systems are sometimes considered as model systems in the theory of quantum chaos since they are well understood from a mathematical point of view. In this work we study the multifractal formalism for the geodesic flow on surfaces with constant negative curvature. The multifractal analysis of measures has been developed in order to characterize the scaling behaviour of measures on attractors of classical chaotic dynamical systems globally. In order to relate the multifractal formalism with quantities usually considered in the study of the geodesic flow on Riemann surfaces with constant negative curvature, it is necessary to establish the assertions of the multifractal formalism in a mathematically rigorous way. This is achieved with the help of the thermodynamic formalism for hyperbolic dynamical systems developed by Ruelle, Bowen and others. (orig.)

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

NARCIS (Netherlands)

Roever, de W.P.; Barringer, H.; Courcoubetis, C.; Gabbay, D.M.; Gerth, R.T.; Jonsson, B.; Pnueli, A.; Reed, M.; Sifakis, J.; Vytopil, J.; Wolper, P.

1990-01-01

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and Real Time Systems, is funded in the Area of Computer Science, under the ESPRIT Programme of the European Community. The coordinating institution is the Department of Computing Science, Eindhoven

Industrial use of formal methods formal verification

CERN Document Server

Boulanger, Jean-Louis

2012-01-01

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.  The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow

Prometheus Reactor I&C Software Development Methodology, for Action

Energy Technology Data Exchange (ETDEWEB)

T. Hamilton

2005-07-30

The purpose of this letter is to submit the Reactor Instrumentation and Control (I&C) software life cycle, development methodology, and programming language selections and rationale for project Prometheus to NR for approval. This letter also provides the draft Reactor I&C Software Development Process Manual and Reactor Module Software Development Plan to NR for information.

Methodological developments and applications of neutron activation analysis

International Nuclear Information System (INIS)

Kucera, J.

2007-01-01

The paper reviews the author's experience acquired and achievements made in methodological developments of neutron activation analysis (NAA) of mostly biological materials. These involve epithermal neutron activation analysis, radiochemical neutron activation analysis using both single- and multi-element separation procedures, use of various counting modes, and the development and use of the self-verification principle. The role of NAA in the detection of analytical errors is discussed and examples of applications of the procedures developed are given. (author)

Methodological Grounds of Managing Innovation Development of Restaurants

OpenAIRE

Naidiuk V. S.

2013-01-01

The goal of the article lies in identification and further development of methodological grounds of managing the innovation development of restaurants. Based on the data of the critical analysis of existing scientific views on interpretation of the essence of the "managing innovation development of an enterprise" notion, the article conducts clarification of this definition. In the result of the study the article builds up a cause-effect diagram of solution of the problem of ensuring efficien...

First order formalism for quantum gravity

International Nuclear Information System (INIS)

Gleiser, M.; Holman, R.; Neto, N.P.

1987-05-01

We develop a first order formalism for the quantization of gravity. We take as canonical variables both the induced metric and the extrinsic curvature of the (d - 1) -dimensional hypersurfaces obtained by the foliation of the d - dimensional spacetime. After solving the constraint algebra we use the Dirac formalism to quantize the theory and obtain a new representation for the Wheeler-DeWitt equation, defined in the functional space of the extrinsic curvature. We also show how to obtain several different representations of the Wheeler-DeWitt equation by considering actions differing by a total divergence. In particular, the intrinsic and extrinsic time approaches appear in a natural way, as do equivalent representations obtained by functional Fourier transforms of appropriate variables. We conclude with some remarks about the construction of the Hilbert space within the first order formalism. 10 refs

Keldysh formalism for multiple parallel worlds

International Nuclear Information System (INIS)

Ansari, M.; Nazarov, Y. V.

2016-01-01

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Keldysh formalism for multiple parallel worlds

Science.gov (United States)

Ansari, M.; Nazarov, Y. V.

2016-03-01

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Keldysh formalism for multiple parallel worlds

Energy Technology Data Exchange (ETDEWEB)

Ansari, M.; Nazarov, Y. V., E-mail: y.v.nazarov@tudelft.nl [Delft University of Technology, Kavli Institute of Nanoscience (Netherlands)

2016-03-15

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Formal Verification -26 ...

Indian Academy of Sciences (India)

by testing of the components and successful testing leads to the software being ... Formal verification is based on formal methods which are mathematically based ..... scenario under which a similar error could occur. There are various other ...

Young People, Entrepreneurship And Non Formal Learning

OpenAIRE

Pantea, Maria-Carmen; Diroescu, Raluca; Podlasek-Ziegler, Maria

2016-01-01

The book was published by SALTO-Youth Participation, a Resource Centre of the European Commission. It looks into the relationship between youth work (non-formal learning) and entrepreneurship. The book explores the theoretical developments in the field, the ethical dilemmas and tensions, and proposes practice-oriented information: illustrative examples, strategies for action and methods of non-formal education. Structured in 24 chapters, the book is an opportunity to open up debates and quest...

The nature of Formal Reasoning among Ghanaian Basic School ...

African Journals Online (AJOL)

Many Psychologists have considered early formal thinking among adolescents as signs of normal development. As it is not known for certain at what age Ghanaian Junior Secondary School (JSS) pupils achieve formal operational capabilities, the study seeks to find out the relationship between Piagetian theory of ...

Professional Development across the Teaching Career: Teachers' Uptake of Formal and Informal Learning Opportunities

Science.gov (United States)

Richter, Dirk; Kunter, Mareike; Klusmann, Uta; Ludtke, Oliver; Baumert, Jurgen

2011-01-01

This study examined teachers' uptake of formal and informal learning opportunities across the career cycle. Analyses were based on data from 1939 German secondary teachers in 198 schools. Results showed that formal learning opportunities (in-service training) were used most frequently by mid-career teachers, whereas informal learning opportunities…

Learning in non-formal education: Is it "youthful" for youth in action?

Science.gov (United States)

Norqvist, Lars; Leffler, Eva

2017-04-01

This article offers insights into the practices of a non-formal education programme for youth provided by the European Union (EU). It takes a qualitative approach and is based on a case study of the European Voluntary Service (EVS). Data were collected during individual and focus group interviews with learners (the EVS volunteers), decision takers and trainers, with the aim of deriving an understanding of learning in non-formal education. The research questions concerned learning, the recognition of learning and perspectives of usefulness. The study also examined the Youthpass documentation tool as a key to understanding the recognition of learning and to determine whether the learning was useful for learners (the volunteers). The findings and analysis offer several interpretations of learning, and the recognition of learning, which take place in non-formal education. The findings also revealed that it is complicated to divide learning into formal and non- formal categories; instead, non-formal education is useful for individual learners when both formal and non-formal educational contexts are integrated. As a consequence, the division of formal and non-formal (and possibly even informal) learning creates a gap which works against the development of flexible and interconnected education with ubiquitous learning and mobility within and across formal and non-formal education. This development is not in the best interests of learners, especially when seeking useful learning and education for youth (what the authors term "youthful" for youth in action).

Exploring the contribution of formal and informal learning to academic staff member employability: A Dutch perspective

NARCIS (Netherlands)

Klink, Marcel; van der Heijden, Beatrice; Boon, Jo; van Rooij, Shahron Williams

2014-01-01

Purpose – Little attention has been paid to the employability of academic staff and the extent to which continuous learning contributes to academic career success. The purpose of this paper is to explore the contribution of formal and informal learning to employability. Design/methodology/approach –

NPA4K development system using object-oriented methodology

International Nuclear Information System (INIS)

Jeong, Kwang Seong; Hahn, Do Hee

2000-11-01

NPA4K consists of module programs with several components for various functions. Software components have to be developed systematically by compartment criteria and design method. In this paper, the understandings of a typical Object-Oriented Methodology , UML(Unified Modeling Language), the procedure for NPA4K program development and the architecture for long-term development of NPA4K are introduced

NPA4K development system using object-oriented methodology

Energy Technology Data Exchange (ETDEWEB)

Jeong, Kwang Seong; Hahn, Do Hee

2000-11-01

NPA4K consists of module programs with several components for various functions. Software components have to be developed systematically by compartment criteria and design method. In this paper, the understandings of a typical Object-Oriented Methodology , UML(Unified Modeling Language), the procedure for NPA4K program development and the architecture for long-term development of NPA4K are introduced.

A formalism for the calculus of variations with spinors

Energy Technology Data Exchange (ETDEWEB)

Bäckdahl, Thomas, E-mail: thobac@chalmers.se [The School of Mathematics, University of Edinburgh, JCMB 6228, Peter Guthrie Tait Road, Edinburgh EH9 3FD, United Kingdom and Mathematical Sciences - Chalmers University of Technology and University of Gothenburg - SE-412 96 Gothenburg (Sweden); Valiente Kroon, Juan A., E-mail: j.a.valiente-kroon@qmul.ac.uk [School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS (United Kingdom)

2016-02-15

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors.

A formalism for the calculus of variations with spinors

International Nuclear Information System (INIS)

Bäckdahl, Thomas; Valiente Kroon, Juan A.

2016-01-01

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors

A Comparison of Participation Patterns in Selected Formal, Non-Formal, and Informal Online Learning Environments

Science.gov (United States)

Schwier, Richard A.; Seaton, J. X.

2013-01-01

Does learner participation vary depending on the learning context? Are there characteristic features of participation evident in formal, non-formal, and informal online learning environments? Six online learning environments were chosen as epitomes of formal, non-formal, and informal learning contexts and compared. Transcripts of online…

Improving Learner Outcomes in Lifelong Education: Formal Pedagogies in Non-Formal Learning Contexts?

Science.gov (United States)

Zepke, Nick; Leach, Linda

2006-01-01

This article explores how far research findings about successful pedagogies in formal post-school education might be used in non-formal learning contexts--settings where learning may not lead to formal qualifications. It does this by examining a learner outcomes model adapted from a synthesis of research into retention. The article first…

Linguistic Formalism for Semi-Autonomous Reactor Operation

International Nuclear Information System (INIS)

Joo, Sungmoon; Seo, Sang Mun; Suh, Yong-Suk; Park, Cheol

2017-01-01

The ultimate goal of our work is to develop a novel, integrated system for semi-autonomous reactor operation by introducing an interfacing language shared by human reactor operators and artificially intelligent service agents (e.g., robots). We envision that human operators and artificially intelligent service agents operate the reactor cooperatively in the future. For example, an artificially intelligent service agent carries out a human reactor operator's command or reports the result of a task commanded by the human reactor operator. This work presents preliminary work towards a unified linguistic formalism for cooperative, semiautonomous reactor operation. Application of the proposed formalism to reactor operator communication domain shows that the formalism effectively captures the syntax and semantics of the domain-specific language defined by the communication protocol.

METHODOLOGICAL APPROACHES FOR MODELING THE RURAL SETTLEMENT DEVELOPMENT

Directory of Open Access Journals (Sweden)

Gorbenkova Elena Vladimirovna

2017-10-01

Full Text Available Subject: the paper describes the research results on validation of a rural settlement developmental model. The basic methods and approaches for solving the problem of assessment of the urban and rural settlement development efficiency are considered. Research objectives: determination of methodological approaches to modeling and creating a model for the development of rural settlements. Materials and methods: domestic and foreign experience in modeling the territorial development of urban and rural settlements and settlement structures was generalized. The motivation for using the Pentagon-model for solving similar problems was demonstrated. Based on a systematic analysis of existing development models of urban and rural settlements as well as the authors-developed method for assessing the level of agro-towns development, the systems/factors that are necessary for a rural settlement sustainable development are identified. Results: we created the rural development model which consists of five major systems that include critical factors essential for achieving a sustainable development of a settlement system: ecological system, economic system, administrative system, anthropogenic (physical system and social system (supra-structure. The methodological approaches for creating an evaluation model of rural settlements development were revealed; the basic motivating factors that provide interrelations of systems were determined; the critical factors for each subsystem were identified and substantiated. Such an approach was justified by the composition of tasks for territorial planning of the local and state administration levels. The feasibility of applying the basic Pentagon-model, which was successfully used for solving the analogous problems of sustainable development, was shown. Conclusions: the resulting model can be used for identifying and substantiating the critical factors for rural sustainable development and also become the basis of

The effects of attachment components on formal-operational thinking

Directory of Open Access Journals (Sweden)

Vukčević Branimir

2010-01-01

Full Text Available In this work our aim is to examine how the components of attachment influence the thinking development of adolescents in familial context. We investigated the components of attachment: unresolved family traumatisation, the use of external security base, fear of loss of external security base, negative self concept, negative other concept, capacity for mentalisation, low control of anger. We used a revised Questionnaire for Assessment of Adult and Adolescent Attachment (in original: UPIPAV-R. Formal operations were tested by Bond's Logical Operations Test. We examined the cultural-pedagogical status of the family, the parental mediation characteristic for the development of formal operations, and family property as the aspects of familial context. The sample consisted of 200 pupils aged 14 to 19. According to the attachment theory, secure attachment provides the feel of security in environment exploration, which is the ground of personality development. We assumed that components of attachment contribute formal-operational thinking development and change the influence of familial cultural-supportive tools. The findings show us that the culturalpedagogical status of the family improves formal operations development and unresolved family traumatisation has negative influence. Capacity for mentalisation has a positive indirect effect on thinking development through the influence of the cultural-pedagogical status of the family. The low control of anger has a negative indirect effect on thinking development; it increases the influence of unresolved family traumatisation. Negative self concept has indirect effects on thinking development through increasing this negative influence of unresolved family traumatisation and decreasing the role of familial cultural-supportive tools.

A methodology to support the development of 4-year pavement management plan.

Science.gov (United States)

2014-07-01

A methodology for forming and prioritizing pavement maintenance and rehabilitation (M&R) projects was developed. : The Texas Department of Transportation (TxDOT) can use this methodology to generate defensible and cost-effective : 4-year pavement man...

Selecting a software development methodology. [of digital flight control systems

Science.gov (United States)

Jones, R. E.

1981-01-01

The state of the art analytical techniques for the development and verification of digital flight control software is studied and a practical designer oriented development and verification methodology is produced. The effectiveness of the analytic techniques chosen for the development and verification methodology are assessed both technically and financially. Technical assessments analyze the error preventing and detecting capabilities of the chosen technique in all of the pertinent software development phases. Financial assessments describe the cost impact of using the techniques, specifically, the cost of implementing and applying the techniques as well as the relizable cost savings. Both the technical and financial assessment are quantitative where possible. In the case of techniques which cannot be quantitatively assessed, qualitative judgements are expressed about the effectiveness and cost of the techniques. The reasons why quantitative assessments are not possible will be documented.

Territory development as economic and geographical activity (theory, methodology, practice

Directory of Open Access Journals (Sweden)

Vitaliy Nikolaevich Lazhentsev

2013-03-01

Full Text Available Accents in a description of theory and methodology of territory development are displaced from distribution of the national benefits on formation of territorial natural and economic systems and organization of economical and geographical activity. The author reveals theconcept of «territory development» and reviews its placein thetheory and methodology of human geography and regionaleconomy. In the articletheindividual directions ofeconomic activity areconsidered. The author has made an attempt to definethesubject matter of five levels of «ideal» territorial and economic systems as a part of objects of the nature, societies, population settlement, production, infrastructure and management. The author’s position of interpretation of sequences of mechanisms of territory development working according to a Nested Doll principle (mechanism of economy, economic management mechanism, controlling mechanism of economy is presented. The author shows the indicators, which authentically define territory development

Recent developments in methodology for dynamic qualification of nuclear plant equipment

International Nuclear Information System (INIS)

Kana, D.D.; Pomerening, D.J.

1984-01-01

Dynamic qualification of nuclear plant electrical and mechanical equipment is performed basically under guidelines given in IEEE Standards 323 and 344, and a variety of NRC regulatory guides. Over the last fifteen years qualification methodology prescribed by these documents has changed significantly as interpretations, equipment capability, and imagination of the qualification engineers have progressed. This progress has been sparked by concurrent NRC and industry sponsored research programs that have identified anomalies and developed new methodologies for resolving them. Revisions of the standards have only resulted after a lengthy debate of all such new information and subsequent judgment of its validity. The purpose of this paper is to review a variety of procedural improvements and developments in qualification methodology that are under current consideration as revisions to the standards. Many of the improvements and developments have resulted from recent research programs. All are very likely to appear in one type of standard or another in the near future

Extending statistical boosting. An overview of recent methodological developments.

Science.gov (United States)

Mayr, A; Binder, H; Gefeller, O; Schmid, M

2014-01-01

Boosting algorithms to simultaneously estimate and select predictor effects in statistical models have gained substantial interest during the last decade. This review highlights recent methodological developments regarding boosting algorithms for statistical modelling especially focusing on topics relevant for biomedical research. We suggest a unified framework for gradient boosting and likelihood-based boosting (statistical boosting) which have been addressed separately in the literature up to now. The methodological developments on statistical boosting during the last ten years can be grouped into three different lines of research: i) efforts to ensure variable selection leading to sparser models, ii) developments regarding different types of predictor effects and how to choose them, iii) approaches to extend the statistical boosting framework to new regression settings. Statistical boosting algorithms have been adapted to carry out unbiased variable selection and automated model choice during the fitting process and can nowadays be applied in almost any regression setting in combination with a large amount of different types of predictor effects.

Development of a novel methodology for indoor emission source identification

DEFF Research Database (Denmark)

Han, K.H.; Zhang, J.S.; Knudsen, H.N.

2011-01-01

The objective of this study was to develop and evaluate a methodology to identify individual sources of emissions based on the measurements of mixed air samples and the emission signatures of individual materials previously determined by Proton Transfer Reaction-Mass Spectrometry (PTR-MS), an on......-line analytical device. The methodology based on signal processing principles was developed by employing the method of multiple regression least squares (MRLS) and a normalization technique. Samples of nine typical building materials were tested individually and in combination, including carpet, ceiling material...... experiments and investigation are needed for cases where the relative emission rates among different compounds may change over a long-term period....

Formalization and Implementation of Algebraic Methods in Geometry

Directory of Open Access Journals (Sweden)

Filip Marić

2012-02-01

Full Text Available We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method, their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assistant and development of a new, open-source Java implementation of the algebraic methods. The project should fill-in some gaps still existing in this area (e.g., the lack of formal links between algebraic methods and synthetic geometry and the lack of self-contained implementations of algebraic methods suitable for integration with dynamic geometry tools and should enable new applications of theorem proving in education.

Professional Development of HR Practitioners--A Phenomenographic Study

Science.gov (United States)

Bailey, Moira

2015-01-01

Purpose: The purpose of this paper is an investigation into the experiences of professional development of human resource (HR) practitioners in the North of Scotland, and the use of non-formal learning in that development. Design/methodology/approach: In-depth semi-structured interviews from a purposively selected sample of HR practitioners were…

Methodologies for local development in smart society

Directory of Open Access Journals (Sweden)

Lorena BĂTĂGAN

2012-07-01

Full Text Available All of digital devices which are connected through the Internet, are producing a big quantity of data. All this information can be turned into knowledge because we now have the computational power and solutions for advanced analytics to make sense of it. With this knowledge, cities could reduce costs, cut waste, and improve efficiency, productivity and quality of life for their citizens. The efficient/smart cities are characterized by more importance given to environment, resources, globalization and sustainable development. This paper represents a study on the methodologies for urban development that become the central element to our society.

Do formal management practices impact the emergence of bootlegging behavior?

DEFF Research Database (Denmark)

Globocnik, Dietfried; Salomo, Søren

2014-01-01

behavior, research has barely addressed the antecedents of this deviance. Drawing on strain theory and social cognitive theory, we study whether the emergence of bootlegging behavior is influenced by formal management practices, in particular, strategic autonomy, front-end formality, rewards, and sanctions......Innovation in an organization often relies on initiatives by employees who take action to develop their ideas and obtain buy-in by organizational decision-makers. To achieve this, employees sometimes apply unorthodox approaches, ignoring formal structures to further elaborate their ideas' potential...... and promote their implementation. They work without formal legitimacy and gather their own resources until sufficient clarity allows for informed decisions. Finally, they bypass formal communication channels to convince top management of the merits of their ideas. Despite the significance of such bootlegging...

Adolescent Egocentrism and Its Relationship to Parenting Styles and the Development of Formal Operational Thought

OpenAIRE

Riley, Theo A.

1984-01-01

A predicted association between family relations and cognitive development and the emergence of adolescent egocentrism was explored in this study. A sample of seventh grade boys (n=131) and girls (n=120) completed Elkind and Bowen's Imaginary Audience Scale (a measure of egocentrism) and selected items from Heilbrun's Parent-Child Interaction Rating Scale and Schaefer's Parent-Behavior Inventory. A modified version of Lawson's Classroom Test of Formal Operations was used to measure cognitive ...

Curiosity: A Prerequisite for the Attainment of Formal Operations?

Science.gov (United States)

Hawkins, Vincent J.

1982-01-01

Research on Piaget's four stages of cognitive development has shown that although nearly everyone passes through sensorimotor, preoperational, and concrete operational stages, most do not reach the stage of formal operations. Those people who do attain formal operations seem to have a curiosity factor not operative in those who don't. (Author/BRR)

Transforming PLC Programs into Formal Models for Verification Purposes

CERN Document Server

Darvas, D; Blanco, E

2013-01-01

Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

Homogenization via formal multiscale asymptotics and volume averaging: How do the two techniques compare?

KAUST Repository

Davit, Yohan

2013-12-01

A wide variety of techniques have been developed to homogenize transport equations in multiscale and multiphase systems. This has yielded a rich and diverse field, but has also resulted in the emergence of isolated scientific communities and disconnected bodies of literature. Here, our goal is to bridge the gap between formal multiscale asymptotics and the volume averaging theory. We illustrate the methodologies via a simple example application describing a parabolic transport problem and, in so doing, compare their respective advantages/disadvantages from a practical point of view. This paper is also intended as a pedagogical guide and may be viewed as a tutorial for graduate students as we provide historical context, detail subtle points with great care, and reference many fundamental works. © 2013 Elsevier Ltd.

An approach to SOA development methodology: SOUP comparison with RUP and XP

Directory of Open Access Journals (Sweden)

Sandra Svanidzaitė

2014-08-01

Full Text Available Service oriented architecture (SOA is an architecture for distributed applications composed of distributed services with weak coupling that are designed to meet business requirements. One of the research priorities in the field of SOA is creating such software design and development methodology (SDDM that takes into account all principles of this architecture and allows for effective and efficient application development. A lot of investigation has been carried out to find out whether can one of popular SDDM, such as agile methodologies or RUP suits, be adapted for SOA or there is a need to create some new SOA-oriented SDDM. This paper compares one of SOA-oriented SDDM – SOUP – with RUP and XP methodologies. The aim is to find out whether the SOUP methodology is already mature enough to assure successful development of SOA applications. This aim is accomplished by comparing activities, artifacts of SOUP and RUP and emphasizing which XP practices are used in SOUP.DOI: http://dx.doi.org/10.15181/csat.v2i1.77 

SME´s semi-formality rate in Costa Rica: a clusters approach

Directory of Open Access Journals (Sweden)

Lizette Brenes Bonilla

2016-02-01

Full Text Available The MSME Observatory has been studying MSMEs in Costa Rica. Its findings show that for every formal enterprise, there are 2.4 semi-formal ones. The latter refers to those enterprises that have already started the formalization process with the corresponding municipality but that still do not have all the formalization requirements.Owing to the importance of the semi-formal sector in the economic activity of Costa Rica, this study analyzed this business park and the role of municipal management concerning MSMEs, calculated the correlation among semi-formality, competitiveness, and development, and finally, proposed a cluster design to deal with the state of affairs. It should be noted that this type of analysis has never been undertaken in the country.

Beyond formalism

Science.gov (United States)

Denning, Peter J.

1991-01-01

The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.

The verification methodologies for a software modeling of Engineered Safety Features- Component Control System (ESF-CCS)

International Nuclear Information System (INIS)

Lee, Young-Jun; Cheon, Se-Woo; Cha, Kyung-Ho; Park, Gee-Yong; Kwon, Kee-Choon

2007-01-01

The safety of a software is not guaranteed through a simple testing of the software. The testing reviews only the static functions of a software. The behavior, dynamic state of a software is not reviewed by a software testing. The Ariane5 rocket accident and the failure of the Virtual Case File Project are determined by a software fault. Although this software was tested thoroughly, the potential errors existed internally. There are a lot of methods to solve these problems. One of the methods is a formal methodology. It describes the software requirements as a formal specification during a software life cycle and verifies a specified design. This paper suggests the methods which verify the design to be described as a formal specification. We adapt these methods to the software of a ESF-CCS (Engineered Safety Features-Component Control System) and use the SCADE (Safety Critical Application Development Environment) tool for adopting the suggested verification methods

Moderation instead of modelling: some arguments against formal engineering methods

NARCIS (Netherlands)

Rauterberg, G.W.M.; Sikorski, M.; Rauterberg, G.W.M.

1998-01-01

The more formal the used engineering techniques are, the less non-technical facts can be captured. Several business process reengineering and software development projects fail, because the project management concentrates to much on formal methods and modelling approaches. A successful change of

Developing an eLearning tool formalizing in YAWL the guidelines used in a transfusion medicine service.

Science.gov (United States)

Russo, Paola; Piazza, Miriam; Leonardi, Giorgio; Roncoroni, Layla; Russo, Carlo; Spadaro, Salvatore; Quaglini, Silvana

2012-01-01

The blood transfusion is a complex activity subject to a high risk of eventually fatal errors. The development and application of computer-based systems could help reducing the error rate, playing a fundamental role in the improvement of the quality of care. This poster presents an under development eLearning tool formalizing the guidelines of the transfusion process. This system, implemented in YAWL (Yet Another Workflow Language), will be used to train the personnel in order to improve the efficiency of care and to reduce errors.

Thermodynamic and multifractal formalism and the Bowen-series map

International Nuclear Information System (INIS)

Rudolph, O.

1995-01-01

In the theory of quantum chaos one studies the semiclassical behaviour of quantum mechanical systems whose corresponding classical counterparts exhibit chaos. The geodesic motion of a free classical particle on closed Riemann surfaces with constant negative curvature is strongly chaotic. Selberg's theory relates the classical and the quantum mechanical systems. These systems are sometimes considered as model systems in the theory of quantum chaos since they are well understood from a mathematical point of view. In this work we study the multifractal formalism for the geodesic flow on surfaces with constant negative curvature. The multifractal analysis of measures has been developed in order to characterize the scaling behaviour of measures on attractors of classical chaotic dynamical systems globally. In order to relate the multifractal formalism with quantities usually considered in the study of the geodesic flow on Riemann surfaces with constant negative curvature, it is necessary to establish the assertions of the multifractal formalism in a mathematically rigorous way. This is achieved with the help of the thermodynamic formalism for hyperbolic dynamical systems developed by Ruelle, Bowen and others. (orig.)

Methodological guidelines for developing accident modification functions

DEFF Research Database (Denmark)

Elvik, Rune

2015-01-01

This paper proposes methodological guidelines for developing accident modification functions. An accident modification function is a mathematical function describing systematic variation in the effects of road safety measures. The paper describes ten guidelines. An example is given of how to use...... limitations in developing accident modification functions are the small number of good evaluation studies and the often huge variation in estimates of effect. It is therefore still not possible to develop accident modification functions for very many road safety measures. © 2015 Elsevier Ltd. All rights...... the guidelines. The importance of exploratory analysis and an iterative approach in developing accident modification functions is stressed. The example shows that strict compliance with all the guidelines may be difficult, but represents a level of stringency that should be strived for. Currently the main...

Synthesis of methodology development and case studies

OpenAIRE

Roetter, R.P.; Keulen, van, H.; Laar, van, H.H.

2000-01-01

The .Systems Research Network for Ecoregional Land Use Planning in Support of Natural Resource Management in Tropical Asia (SysNet). was financed under the Ecoregional Fund, administered by the International Service for National Agricultural Research (ISNAR). The objective of the project was to develop and evaluate methodologies and tools for land use analysis, and apply them at the subnational scale to support agricultural and environmental policy formulation. In the framework of this projec...

A Comparative Analysis of Two Software Development Methodologies: Rational Unified Process and Extreme Programming

Directory of Open Access Journals (Sweden)

Marcelo Rafael Borth

2014-01-01

Full Text Available Software development methodologies were created to meet the great market demand for innovation, productivity, quality and performance. With the use of a methodology, it is possible to reduce the cost, the risk, the development time, and even increase the quality of the final product. This article compares two of these development methodologies: the Rational Unified Process and the Extreme Programming. The comparison shows the main differences and similarities between the two approaches, and highlights and comments some of their predominant features.

The Development of Introductory Statistics Students' Informal Inferential Reasoning and Its Relationship to Formal Inferential Reasoning

Science.gov (United States)

Jacob, Bridgette L.

2013-01-01

The difficulties introductory statistics students have with formal statistical inference are well known in the field of statistics education. "Informal" statistical inference has been studied as a means to introduce inferential reasoning well before and without the formalities of formal statistical inference. This mixed methods study…

Formal Analysis of BPMN Models Using Event-B

Science.gov (United States)

Bryans, Jeremy W.; Wei, Wei

The use of business process models has gone far beyond documentation purposes. In the development of business applications, they can play the role of an artifact on which high level properties can be verified and design errors can be revealed in an effort to reduce overhead at later software development and diagnosis stages. This paper demonstrates how formal verification may add value to the specification, design and development of business process models in an industrial setting. The analysis of these models is achieved via an algorithmic translation from the de-facto standard business process modeling language BPMN to Event-B, a widely used formal language supported by the Rodin platform which offers a range of simulation and verification technologies.

Integrating semi-formal and formal requirements

NARCIS (Netherlands)

Wieringa, Roelf J.; Olivé, Antoni; Dubois, Eric; Pastor, Joan Antoni; Huyts, Sander

1997-01-01

In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of

A vision on methodology for integrated sustainable urban development: bequest

NARCIS (Netherlands)

Bentivegna, V.; Curwell, S.; Deakin, M.; Lombardi, P.; Mitchell, G.; Nijkamp, P.

2002-01-01

The concepts and visions of sustainable development that have emerged in the post-Brundtland era are explored in terms laying the foundations for a common vision of sustainable urban development (SUD). The described vision and methodology for SUD resulted from the activities of an international

Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering

Science.gov (United States)

Bolton, Matthew L.; Bass, Ellen J.

2009-01-01

Both the human factors engineering (HFE) and formal methods communities are concerned with finding and eliminating problems with safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to use model checking with HFE practices to perform formal verification of a human-interactive system. Despite the use of a seemingly simple target system, a patient controlled analgesia pump, the initial model proved to be difficult for the model checker to verify in a reasonable amount of time. This resulted in a number of model revisions that affected the HFE architectural, representativeness, and understandability goals of the effort. If formal methods are to meet the needs of the HFE community, additional modeling tools and technological developments are necessary.

Development of a methodology for conducting an integrated HRA/PRA --

Energy Technology Data Exchange (ETDEWEB)

Luckas, W.J.; Barriere, M.T.; Brown, W.S. (Brookhaven National Lab., Upton, NY (United States)); Wreathall, J. (Wreathall (John) and Co., Dublin, OH (United States)); Cooper, S.E. (Science Applications International Corp., McLean, VA (United States))

1993-01-01

During Low Power and Shutdown (LP S) conditions in a nuclear power plant (i.e., when the reactor is subcritical or at less than 10--15% power), human interactions with the plant's systems will be more frequent and more direct. Control is typically not mediated by automation, and there are fewer protective systems available. Therefore, an assessment of LP S related risk should include a greater emphasis on human reliability than such an assessment made for power operation conditions. In order to properly account for the increase in human interaction and thus be able to perform a probabilistic risk assessment (PRA) applicable to operations during LP S, it is important that a comprehensive human reliability assessment (HRA) methodology be developed and integrated into the LP S PRA. The tasks comprising the comprehensive HRA methodology development are as follows: (1) identification of the human reliability related influences and associated human actions during LP S, (2) identification of potentially important LP S related human actions and appropriate HRA framework and quantification methods, and (3) incorporation and coordination of methodology development with other integrated PRA/HRA efforts. This paper describes the first task, i.e., the assessment of human reliability influences and any associated human actions during LP S conditions for a pressurized water reactor (PWR).

Development of Management Methodology for Engineering Production Quality

Science.gov (United States)

Gorlenko, O.; Miroshnikov, V.; Borbatc, N.

2016-04-01

The authors of the paper propose four directions of the methodology developing the quality management of engineering products that implement the requirements of new international standard ISO 9001:2015: the analysis of arrangement context taking into account stakeholders, the use of risk management, management of in-house knowledge, assessment of the enterprise activity according to the criteria of effectiveness

Psychologist in non-formal education

OpenAIRE

Pavićević Miljana S.

2011-01-01

Learning is not limited to school time. It starts at birth and continues throughout the entire life. Equally important as formal education there are also non-formal and informal education. Any kind of learning outside the traditional school can be called informal. However, it is not easy to define non-formal education because it is being described differently, for example as an education movement, process, system… Projects and programs implemented under the name of non-formal education are of...

A Life-Cycle Cost Estimating Methodology for NASA-Developed Air Traffic Control Decision Support Tools

Science.gov (United States)

Wang, Jianzhong Jay; Datta, Koushik; Landis, Michael R. (Technical Monitor)

2002-01-01

This paper describes the development of a life-cycle cost (LCC) estimating methodology for air traffic control Decision Support Tools (DSTs) under development by the National Aeronautics and Space Administration (NASA), using a combination of parametric, analogy, and expert opinion methods. There is no one standard methodology and technique that is used by NASA or by the Federal Aviation Administration (FAA) for LCC estimation of prospective Decision Support Tools. Some of the frequently used methodologies include bottom-up, analogy, top-down, parametric, expert judgement, and Parkinson's Law. The developed LCC estimating methodology can be visualized as a three-dimensional matrix where the three axes represent coverage, estimation, and timing. This paper focuses on the three characteristics of this methodology that correspond to the three axes.

Prometheus Reactor I and C Software Development Methodology, for Action

International Nuclear Information System (INIS)

T. Hamilton

2005-01-01

The purpose of this letter is to submit the Reactor Instrumentation and Control (I and C) software life cycle, development methodology, and programming language selections and rationale for project Prometheus to NR for approval. This letter also provides the draft Reactor I and C Software Development Process Manual and Reactor Module Software Development Plan to NR for information

Closed-time path formalism of quantum scattering

International Nuclear Information System (INIS)

Manoukian, E.B.

1988-01-01

The closed-time path formalism of quantum mechanics, first introduced by Schwinger, is developed starting from a second-quantized formalism by using a functional calculus. An exact functional expression for the closed-time amplitude for a particle state (not just of the vacuum state)is derived from which time-dependent expectation value of observables may be written in closed functional form. In particular, this leads directly to the expression for transition probabilities for scattering theory without computing first the corresponding amplitudes. Finally it is made a comparison with the standard approach

Topical Roots of Formal Dialectic

NARCIS (Netherlands)

Krabbe, Erik C. W.

Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin's book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la

Development of a meta-algorithm for guiding primary care encounters for patients with multimorbidity using evidence-based and case-based guideline development methodology.

Science.gov (United States)

Muche-Borowski, Cathleen; Lühmann, Dagmar; Schäfer, Ingmar; Mundt, Rebekka; Wagner, Hans-Otto; Scherer, Martin

2017-06-22

The study aimed to develop a comprehensive algorithm (meta-algorithm) for primary care encounters of patients with multimorbidity. We used a novel, case-based and evidence-based procedure to overcome methodological difficulties in guideline development for patients with complex care needs. Systematic guideline development methodology including systematic evidence retrieval (guideline synopses), expert opinions and informal and formal consensus procedures. Primary care. The meta-algorithm was developed in six steps:1. Designing 10 case vignettes of patients with multimorbidity (common, epidemiologically confirmed disease patterns and/or particularly challenging health care needs) in a multidisciplinary workshop.2. Based on the main diagnoses, a systematic guideline synopsis of evidence-based and consensus-based clinical practice guidelines was prepared. The recommendations were prioritised according to the clinical and psychosocial characteristics of the case vignettes.3. Case vignettes along with the respective guideline recommendations were validated and specifically commented on by an external panel of practicing general practitioners (GPs).4. Guideline recommendations and experts' opinions were summarised as case specific management recommendations (N-of-one guidelines).5. Healthcare preferences of patients with multimorbidity were elicited from a systematic literature review and supplemented with information from qualitative interviews.6. All N-of-one guidelines were analysed using pattern recognition to identify common decision nodes and care elements. These elements were put together to form a generic meta-algorithm. The resulting meta-algorithm reflects the logic of a GP's encounter of a patient with multimorbidity regarding decision-making situations, communication needs and priorities. It can be filled with the complex problems of individual patients and hereby offer guidance to the practitioner. Contrary to simple, symptom-oriented algorithms, the meta

Spatial Development Modeling Methodology Application Possibilities in Vilnius

Directory of Open Access Journals (Sweden)

Lina Panavaitė

2017-05-01

Full Text Available In order to control the continued development of high-rise buildings and their irreversible visual impact on the overall silhouette of the city, the great cities of the world introduced new methodological principles to city’s spatial development models. These methodologies and spatial planning guidelines are focused not only on the controlled development of high-rise buildings, but on the spatial modelling of the whole city by defining main development criteria and estimating possible consequences. Vilnius city is no exception, however the re-establishment of independence of Lithuania caused uncontrolled urbanization process, so most of the city development regulations emerged as a consequence of unmanaged processes of investors’ expectations legalization. The importance of consistent urban fabric as well as conservation and representation of city’s most important objects gained attention only when an actual threat of overshadowing them with new architecture along with unmanaged urbanization in the city center or urban sprawl at suburbia, caused by land-use projects, had emerged. Current Vilnius’ spatial planning documents clearly define urban structure and key development principles, however the definitions are relatively abstract, causing uniform building coverage requirements for territories with distinct qualities and simplifying planar designs which do not meet quality standards. The overall quality of urban architecture is not regulated. The article deals with current spatial modeling methods, their individual parts, principles, the criteria for quality assessment and their applicability in Vilnius. The text contains an outline of possible building coverage regulations and impact assessment criteria for new development. The article contains a compendium of requirements for high-quality spatial planning and building design.

Development and application of a deterministic-realistic hybrid methodology for LOCA licensing analysis

International Nuclear Information System (INIS)

Liang, Thomas K.S.; Chou, Ling-Yao; Zhang, Zhongwei; Hsueh, Hsiang-Yu; Lee, Min

2011-01-01

Highlights: → A new LOCA licensing methodology (DRHM, deterministic-realistic hybrid methodology) was developed. → DRHM involves conservative Appendix K physical models and statistical treatment of plant status uncertainties. → DRHM can generate 50-100 K PCT margin as compared to a traditional Appendix K methodology. - Abstract: It is well recognized that a realistic LOCA analysis with uncertainty quantification can generate greater safety margin as compared with classical conservative LOCA analysis using Appendix K evaluation models. The associated margin can be more than 200 K. To quantify uncertainty in BELOCA analysis, generally there are two kinds of uncertainties required to be identified and quantified, which involve model uncertainties and plant status uncertainties. Particularly, it will take huge effort to systematically quantify individual model uncertainty of a best estimate LOCA code, such as RELAP5 and TRAC. Instead of applying a full ranged BELOCA methodology to cover both model and plant status uncertainties, a deterministic-realistic hybrid methodology (DRHM) was developed to support LOCA licensing analysis. Regarding the DRHM methodology, Appendix K deterministic evaluation models are adopted to ensure model conservatism, while CSAU methodology is applied to quantify the effect of plant status uncertainty on PCT calculation. Generally, DRHM methodology can generate about 80-100 K margin on PCT as compared to Appendix K bounding state LOCA analysis.

Lending Policies of Informal, Formal, and Semi-formal Lenders: Evidence from Vietnam

NARCIS (Netherlands)

Lensink, B.W.; Pham, T.T.T.

2007-01-01

This paper compares lending policies of formal, informal and semiformal lenders with respect to household lending in Vietnam. The analysis suggests that the probability of using formal or semiformal credit increases if borrowers provide collateral, a guarantor and/or borrow for business-related

Surface current double-heterogeneous multilayer multicell methodology

International Nuclear Information System (INIS)

Stepanek, J.; Segev, M.

1991-01-01

A surface current methodology is developed to respond to the need for treating the various levels of material heterogeneity in a double-heterogeneous multilayer multicell in processing neutron multigroup cross sections in the resonance as well as thermal energy range. First, the basic surface cosine current transport equations to calculate the energy-dependent neutron flux spatial distribution in the multilayered multicell are formulated. Slab, spherical and cylindrical geometries, as well as square and hexagonal lattices and pebble-bed configurations with white or reflective cell boundary conditions, are considered. Second, starting from the surface cosine-current formulation, a two-zone three-layer multicell formalism for reduction of heterogeneous flux expressions to equivalent homogeneous flux expression for table method was developed. This formalism allows an infinite, as well as a limited, number of second-heterogeneity cells within a partial first-heterogeneity cell layer to be considered. Also, the number of the first-and second-heterogeneity cell types is quite general. The 'outer' (right side) as well as 'inner' (left side) Dancoff probabilities can be calculated for any particular layer. An accurate, efficient, and compact interpolation procedure is developed to calculate the basic collision probabilities. These are transmission and escape probabilities for shells in slab, cylindrical, and spherical geometries, as well as Dancoff probabilities for cylinders in square and hexagonal lattices. The use of the interpolation procedure is exemplified in a multilayer multicell approximation for the Dancoff probability, enabling a routine evaluation of the equivalence-based shielded resonance integral in highly complex lattices of slab, cylindrical, or spherical cells. (author) 1 fig., 2 tabs., 10 refs

Enriching project organizations with formal change agents

DEFF Research Database (Denmark)

Eskerod, Pernille; Justesen, Just Bendix; Sjøgaard, Gisela

2017-01-01

Purpose: Project success requires effective and efficient cooperation between the project organization and the permanent organization in which the project takes place. The purpose of this paper is to discuss potentials and pitfalls from enriching project organizations by appointing peers as formal...... and middle and top management support are major determinants of success within change projects. To select change agents that the employees respect and can identify with, combined with top management prioritization, is important in order for the project organization to benefit from the additional role...... change agents. Design/methodology/approach: The paper is based on a literature review and a multiple-case study in which six organizations participated in an action-oriented research project. The aim for the organizations was to obtain a better health status among the employees by accomplishing...

Eliciting and communicating expert judgments: Methodology and application to nuclear safety

International Nuclear Information System (INIS)

Winterfeldt, D. von

1989-01-01

The most ambitious and certainly the most extensive formal expert judgment process was the elicitation of numerous events and uncertain quantities for safety issues in five nuclear power plants in the U.S. The general methodology for formal expert elicitations are described. An overview of the expert elicitation process of NUREG 1150 is provided and the elicitation of probabilities for the interfacing systems loss of coolant accident LOCA (ISL) in PWRs is given as an example of this elicitation process. Some lessons learned from this study are presented. (DG)

A Proven Methodology for Developing Secure Software and Applying It to Ground Systems

Science.gov (United States)

Bailey, Brandon

2016-01-01

Part Two expands upon Part One in an attempt to translate the methodology for ground system personnel. The goal is to build upon the methodology presented in Part One by showing examples and details on how to implement the methodology. Section 1: Ground Systems Overview; Section 2: Secure Software Development; Section 3: Defense in Depth for Ground Systems; Section 4: What Now?

The economics of climate change mitigation in developing countries - methodological and empirical results

Energy Technology Data Exchange (ETDEWEB)

Halsnaes, K.

1997-12-01

This thesis presents a methodological and empirical discussion of the costs associated with implementing greenhouse gas reduction strategies in developing countries. It presents a methodological framework for national costing studies and evaluates a number of associated valuation methods. The methodological framework has been applied in several developing countries as part of a UNEP project in which the author has participated, and reference is made to the results of these country studies. Some of the theoretical issues associated with the determination of the costs of emission reductions are discussed with reference to a number of World Bank and UN guidelines for project analysis in developing countries. The use of several accounting prices is recommended for mitigation projects, with a distinction being made between internationally and domestically traded goods. The consequences of using different accounting prices are discussed with respect to the methodology applied in the UNEP country studies. In conclusion the thesis reviews the results of some of the most important international studies of greenhouse gas emissions in developing countries. The review, which encompasses a total of 27 country studies, was undertaken by the author for the Intergovernmental Panel of Climate Change, the IPCC. Its conclusion is that the UNEP methodological framework and associated country study results are consistent with the recommendations and conclusions of the IPCC. (EG) 23 refs.

The economics of climate change mitigation in developing countries -methodological and empirical results

International Nuclear Information System (INIS)

Halsnaes, K.

1997-12-01

This thesis presents a methodological and empirical discussion of the costs associated with implementing greenhouse gas reduction strategies in developing countries. It presents a methodological framework for national costing studies and evaluates a number of associated valuation methods. The methodological framework has been applied in several developing countries as part of a UNEP project in which the author has participated, and reference is made to the results of these country studies. Some of the theoretical issues associated with the determination of the costs of emission reductions are discussed with reference to a number of World Bank and UN guidelines for project analysis in developing countries. The use of several accounting prices is recommended for mitigation projects, with a distinction being made between internationally and domestically traded goods. The consequences of using different accounting prices are discussed with respect to the methodology applied in the UNEP country studies. In conclusion the thesis reviews the results of some of the most important international studies of greenhouse gas emissions in developing countries. The review, which encompasses a total of 27 country studies, was undertaken by the author for the Intergovernmental Panel of Climate Change, the IPCC. Its conclusion is that the UNEP methodological framework and associated country study results are consistent with the recommendations and conclusions of the IPCC. (EG) 23 refs

A formal theory of the selfish gene.

Science.gov (United States)

Gardner, A; Welch, J J

2011-08-01

Adaptation is conventionally regarded as occurring at the level of the individual organism. In contrast, the theory of the selfish gene proposes that it is more correct to view adaptation as occurring at the level of the gene. This view has received much popular attention, yet has enjoyed only limited uptake in the primary research literature. Indeed, the idea of ascribing goals and strategies to genes has been highly controversial. Here, we develop a formal theory of the selfish gene, using optimization theory to capture the analogy of 'gene as fitness-maximizing agent' in mathematical terms. We provide formal justification for this view of adaptation by deriving mathematical correspondences that translate the optimization formalism into dynamical population genetics. We show that in the context of social interactions between genes, it is the gene's inclusive fitness that provides the appropriate maximand. Hence, genic selection can drive the evolution of altruistic genes. Finally, we use the formalism to assess the various criticisms that have been levelled at the theory of the selfish gene, dispelling some and strengthening others. © 2011 The Authors. Journal of Evolutionary Biology © 2011 European Society For Evolutionary Biology.

European methodology for qualification of NDT as developed by ENIQ

International Nuclear Information System (INIS)

Champigny, F.; Sandberg, U.; Engl, G.; Crutzen, S.; Lemaitre, P.

1997-01-01

The European Network for Inspection Qualification (ENIQ) groups the major part of the nuclear power plant operators in the European Union (and Switzerland). The main objective of ENIQ is to co-ordinate and manage at European level expertise and resources for the qualification of NDE inspection systems, primarily for nuclear components. In the framework of ENIQ the European methodology for qualification of NDT has been developed. In this paper the main principles of the European methodology are given besides the main activities and organisation of ENIQ. (orig.)

The influence of formal institutions on the internationalization of companies in an emerging country

Directory of Open Access Journals (Sweden)

Jefferson Marlon Monticelli

2017-07-01

Full Text Available Purpose – The goal of this study is to use the institution-based view as the background for an investigation of how formal institutions influence the internationalization processes of firms from an emerging economy. Design/methodology/approach – Our case study is based on semistructured interviews with twenty-one representatives of formal institutions and firms in the Brazilian wine industry. Findings – It was noted that formal institutions have positive influences on the internationalization of Brazilian wineries by providing learning, relationship networks, intelligence about foreign markets, costs reduction, internationalization of business processes, and by promoting the home country’s image as a wine producer in foreign markets, and as a recognized supplier to the domestic market. They also have negative influences, as excessive bureaucracy, strikes, erection of legal barriers to trade with other countries, insufficient technical knowledge, high taxes, and favoritism benefiting the largest wine producers in the industry. Originality/value – The paper closes with suggestions for future research on how phenomena such as the relationship strategies established by the wineries impact upon internationalization and how decisions of a political nature made by formal institutions influence the wine industry, providing a new outlook on the internationalization of these firms.

Nonextensive formalism and continuous Hamiltonian systems

International Nuclear Information System (INIS)

Boon, Jean Pierre; Lutsko, James F.

2011-01-01

A recurring question in nonequilibrium statistical mechanics is what deviation from standard statistical mechanics gives rise to non-Boltzmann behavior and to nonlinear response, which amounts to identifying the emergence of 'statistics from dynamics' in systems out of equilibrium. Among several possible analytical developments which have been proposed, the idea of nonextensive statistics introduced by Tsallis about 20 years ago was to develop a statistical mechanical theory for systems out of equilibrium where the Boltzmann distribution no longer holds, and to generalize the Boltzmann entropy by a more general function S q while maintaining the formalism of thermodynamics. From a phenomenological viewpoint, nonextensive statistics appeared to be of interest because maximization of the generalized entropy S q yields the q-exponential distribution which has been successfully used to describe distributions observed in a large class of phenomena, in particular power law distributions for q>1. Here we re-examine the validity of the nonextensive formalism for continuous Hamiltonian systems. In particular we consider the q-ideal gas, a model system of quasi-particles where the effect of the interactions are included in the particle properties. On the basis of exact results for the q-ideal gas, we find that the theory is restricted to the range q<1, which raises the question of its formal validity range for continuous Hamiltonian systems.

29 CFR 1690.306 - Formal submission in absence of consultation.

Science.gov (United States)

2010-07-01

... 29 Labor 4 2010-07-01 2010-07-01 false Formal submission in absence of consultation. 1690.306... § 1690.306 Formal submission in absence of consultation. If an initiating agency has an issuance which was already under development on or before July 1, 1978, when Executive Order 12067 became effective...

Development and delivery of a workshop methodology: planning for biomass power plant projects

Energy Technology Data Exchange (ETDEWEB)

Gray, A.J.; Delbridge, P.; Trevorrow, E.; Pile, C.

2001-07-01

This report gives details of the approach used to develop a workshop methodology to help planners and stakeholders address key issues that may arise when submitting a planning application for a biomass power plant in the light of the UK government's energy and climate change targets. The results of interviews with stakeholders (central government, regulatory authorities, developers, planners, non-governmental organisations, local community, resident groups) are summarised, and the NIMBY (not in my back yard) syndrome, the lack of trust in the developer, and lack of awareness of the use of biomass are discussed. Details are given of the design and testing of the workshop methodology and the resulting workshop methodology and workbook guide aimed at understanding the stakeholder issues and concerns through stakeholder discussions.

Agile Project Management for e-Learning Developments

Science.gov (United States)

Doherty, Iain

2010-01-01

We outline the project management tactics that we developed in praxis in order to manage elearning projects and show how our tactics were enhanced through implementing project management techniques from a formal project management methodology. Two key factors have contributed to our project management success. The first is maintaining a clear…

Development of a statistically based access delay timeline methodology.

Energy Technology Data Exchange (ETDEWEB)

Rivera, W. Gary; Robinson, David Gerald; Wyss, Gregory Dane; Hendrickson, Stacey M. Langfitt

2013-02-01

The charter for adversarial delay is to hinder access to critical resources through the use of physical systems increasing an adversarys task time. The traditional method for characterizing access delay has been a simple model focused on accumulating times required to complete each task with little regard to uncertainty, complexity, or decreased efficiency associated with multiple sequential tasks or stress. The delay associated with any given barrier or path is further discounted to worst-case, and often unrealistic, times based on a high-level adversary, resulting in a highly conservative calculation of total delay. This leads to delay systems that require significant funding and personnel resources in order to defend against the assumed threat, which for many sites and applications becomes cost prohibitive. A new methodology has been developed that considers the uncertainties inherent in the problem to develop a realistic timeline distribution for a given adversary path. This new methodology incorporates advanced Bayesian statistical theory and methodologies, taking into account small sample size, expert judgment, human factors and threat uncertainty. The result is an algorithm that can calculate a probability distribution function of delay times directly related to system risk. Through further analysis, the access delay analyst or end user can use the results in making informed decisions while weighing benefits against risks, ultimately resulting in greater system effectiveness with lower cost.

Formal Vulnerability Assessment of a maritime transportation system

International Nuclear Information System (INIS)

Berle, Oyvind; Asbjornslett, Bjorn Egil; Rice, James B.

2011-01-01

World trade increasingly relies on longer, larger and more complex supply chains, where maritime transportation is a vital backbone of such operations. Long and complex supply chain systems are more prone to being vulnerable, though through reviews, no specific methods have been found to assess vulnerabilities of a maritime transportation system. Most existing supply chain risk assessment frameworks require risks to be foreseen to be mitigated, rather than giving transportation systems the ability to cope with unforeseen threats and hazards. In assessing cost-efficiency, societal vulnerability versus industrial cost of measures should be included. This conceptual paper presents a structured Formal Vulnerability Assessment (FVA) methodology, seeking to transfer the safety-oriented Formal Safety Assessment (FSA) framework into the domain of maritime supply chain vulnerability. To do so, the following two alterations are made: (1) The focus of the assessment is defined to ensure the ability of the transportation to serve as a throughput mechanism of goods, and to survive and recover from disruptive events. (2) To cope with low-frequency high-impact disruptive scenarios that were not necessarily foreseen, two parallel tracks of risk assessments need to be pursued-the cause-focused risk assessment as in the FSA, and a consequence-focused failure mode approach.

Formal Methods: Practice and Experience

DEFF Research Database (Denmark)

Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan

2009-01-01

. Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate...... the repository, and describe the challenges they address. © 2009 ACM. (146 refs.)...

A Collaborative Diagonal Learning Network: The role of formal and informal professional development in elementary science reform

Science.gov (United States)

Cooke-Nieves, Natasha Anika

Science education research has consistently shown that elementary teachers have a low self-efficacy and background knowledge to teach science. When they teach science, there is a lack of field experiences and inquiry-based instruction at the elementary level due to limited resources, both material and pedagogical. This study focused on an analysis of a professional development (PD) model designed by the author known as the Collaborative Diagonal Learning Network (CDLN). The purpose of this study was to examine elementary school teacher participants pedagogical content knowledge related to their experiences in a CDLN model. The CDLN model taught formal and informal instruction using a science coach and an informal educational institution. Another purpose for this research included a theoretical analysis of the CDLN model to see if its design enabled teachers to expand their resource knowledge of available science education materials. The four-month-long study used qualitative data obtained during an in-service professional development program facilitated by a science coach and educators from a large natural history museum. Using case study as the research design, four elementary school teachers were asked to evaluate the effectiveness of their science coach and museum educator workshop sessions. During the duration of this study, semi-structured individual/group interviews and open-ended pre/post PD questionnaires were used. Other data sources included researcher field notes from lesson observations, museum field trips, audio-recorded workshop sessions, email correspondence, and teacher-created artifacts. The data were analyzed using a constructivist grounded theory approach. Themes that emerged included increased self-efficacy; increased pedagogical content knowledge; increased knowledge of museum education resources and access; creation of a professional learning community; and increased knowledge of science notebooking. Implications for formal and informal

The development of a checklist to enhance methodological quality in intervention programs

Directory of Open Access Journals (Sweden)

Salvador Chacón-Moscoso

2016-11-01

Full Text Available The methodological quality of primary studies is an important issue when performing meta-analyses or systematic reviews. Nevertheless, there are no clear criteria for how methodological quality should be analyzed. Controversies emerge when considering the various theoretical and empirical definitions, especially in relation to three interrelated problems: the lack of representativeness, utility, and feasibility. In this article, we (a systematize and summarize the available literature about methodological quality in primary studies; (b propose a specific, parsimonious, 12-item checklist to empirically define the methodological quality of primary studies based on a content validity study; and (c present an inter-coder reliability study for the resulting 12 items. This paper provides a precise and rigorous description of the development of this checklist, highlighting the clearly specified criteria for the inclusion of items and a substantial inter-coder agreement in the different items. Rather than simply proposing another checklist, however, it then argues that the list constitutes an assessment tool with respect to the representativeness, utility, and feasibility of the most frequent methodological quality items in the literature, one that provides practitioners and researchers with clear criteria for choosing items that may be adequate to their needs. We propose individual methodological features as indicators of quality, arguing that these need to be taken into account when designing, implementing, or evaluating an intervention program. This enhances methodological quality of intervention programs and fosters the cumulative knowledge based on meta-analyses of these interventions. Future development of the checklist is discussed.

Development of a reference biospheres methodology for radioactive waste disposal. Final report

International Nuclear Information System (INIS)

Dorp, F. van

1996-09-01

The BIOMOVS II Working Group on Reference Biospheres has focused on the definition and testing of a methodology for developing models to analyse radionuclide behaviour in the biosphere and associated radiological exposure pathways (a Reference Biospheres Methodology). The Working Group limited the scope to the assessment of the long-term implications of solid radioactive waste disposal. Nevertheless, it is considered that many of the basic principles would be equally applicable to other areas of biosphere assessment. The recommended methodology has been chosen to be relevant to different types of radioactive waste and disposal concepts. It includes the justification, arguments and documentation for all the steps in the recommended methodology. The previous experience of members of the Reference Biospheres Working Group was that the underlying premises of a biosphere assessment have often been taken for granted at the early stages of model development, and can therefore fail to be recognized later on when questions of model sufficiency arise, for example, because of changing regulatory requirements. The intention has been to define a generic approach for the formation of an 'audit trail' and hence provide demonstration that a biosphere model is fit for its intended purpose. The starting point for the methodology has three. The Assessment Context sets out what the assessment has to achieve, eg. in terms of assessment purpose and related regulatory criteria, as well as information about the repository system and types of release from the geosphere. The Basic System Description includes the fundamental premises about future climate conditions and human behaviour which, to a significant degree, are beyond prediction. The International FEP List is a generically relevant list of Features, Events and Processes potentially important for biosphere model development. The International FEP List includes FEPs to do with the assessment context. The context examined in detail by

Formalized Informal Learning

DEFF Research Database (Denmark)

Levinsen, Karin Tweddell; Sørensen, Birgitte Holm

2013-01-01

are examined and the relation between network society competences, learners’ informal learning strategies and ICT in formalized school settings over time is studied. The authors find that aspects of ICT like multimodality, intuitive interaction design and instant feedback invites an informal bricoleur approach....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....

The formal specification of abstract data types and their implementation in Fortran 90: implementation issues concerning the use of pointers

Science.gov (United States)

Maley, D.; Kilpatrick, P. L.; Schreiner, E. W.; Scott, N. S.; Diercksen, G. H. F.

1996-10-01

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

Towards a Formal Treatment of Implicit Invocation

National Research Council Canada - National Science Library

Dingel, J

1997-01-01

.... A formal computational model for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concurrent systems Jon83,St(phi)91...

Formal Mentoring Relationships and Attachment Theory: Implications for Human Resource Development

Science.gov (United States)

Germain, Marie-Line

2011-01-01

An attachment theory perspective of mentoring is presented to explain the degree of functionality of a mentor-protege formal match in an organizational setting. By focusing on Bowlby's (1969/1982) behavioral system of attachment and its triarchic taxonomy of secure, avoidant, and anxious-ambivalent attachment, previous conceptualizations are…

Methodology for Developing the REScheckTM Software through Version 4.2

Energy Technology Data Exchange (ETDEWEB)

Bartlett, Rosemarie [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Connell, Linda M. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Gowri, Krishnan [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Lucas, R. G. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Schultz, Robert W. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Taylor, Zachary T. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Wiberg, John D. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States)

2009-08-01

This report explains the methodology used to develop Version 4.2 of the REScheck software developed for the 1992, 1993, and 1995 editions of the MEC, and the 1998, 2000, 2003, and 2006 editions of the IECC, and the 2006 edition of the International Residential Code (IRC). Although some requirements contained in these codes have changed, the methodology used to develop the REScheck software for these five editions is similar. REScheck assists builders in meeting the most complicated part of the code-the building envelope Uo-, U-, and R-value requirements in Section 502 of the code. This document details the calculations and assumptions underlying the treatment of the code requirements in REScheck, with a major emphasis on the building envelope requirements.

L.I.M.E. A recommendation model for informal and formal learning, engaged

Directory of Open Access Journals (Sweden)

Daniel Burgos

2013-06-01

Full Text Available In current eLearning models and implementations (e.g. Learning Management Systems-LMS there is a lack of engagement between formal and informal activities. Furthermore, the online methodology focuses on a standard set of units of learning and learning objects, along with pre-defined tests, and collateral resources like, i.e. discussion fora and message wall. They miss the huge potential of learning via the interlacement of social networks, LMS and external sources. Thanks to user behaviour, user interaction, and personalised counselling by a tutor, learning performance can be improved. We design and develop an adaptation eLearning model for restricted social networks, which supports this approach. In addition, we build an eLearning module that implements this conceptual model in a real application case, and present the preliminary analysis and positive results.

Development of a methodology for conducting an integrated HRA/PRA --

International Nuclear Information System (INIS)

Luckas, W.J.; Barriere, M.T.; Brown, W.S.; Wreathall, J.; Cooper, S.E.

1993-01-01

During Low Power and Shutdown (LP ampersand S) conditions in a nuclear power plant (i.e., when the reactor is subcritical or at less than 10--15% power), human interactions with the plant's systems will be more frequent and more direct. Control is typically not mediated by automation, and there are fewer protective systems available. Therefore, an assessment of LP ampersand S related risk should include a greater emphasis on human reliability than such an assessment made for power operation conditions. In order to properly account for the increase in human interaction and thus be able to perform a probabilistic risk assessment (PRA) applicable to operations during LP ampersand S, it is important that a comprehensive human reliability assessment (HRA) methodology be developed and integrated into the LP ampersand S PRA. The tasks comprising the comprehensive HRA methodology development are as follows: (1) identification of the human reliability related influences and associated human actions during LP ampersand S, (2) identification of potentially important LP ampersand S related human actions and appropriate HRA framework and quantification methods, and (3) incorporation and coordination of methodology development with other integrated PRA/HRA efforts. This paper describes the first task, i.e., the assessment of human reliability influences and any associated human actions during LP ampersand S conditions for a pressurized water reactor (PWR)

The base of the iceberg: informal learning and its impact on formal and non-formal learning

OpenAIRE

Rogers, Alan

2014-01-01

The author looks at learning (formal, non-formal and informal) and examines the hidden world of informal (unconscious, unplanned) learning. He points out the importance of informal learning for creating tacit attitudes and values, knowledge and skills which influence (conscious, planned) learning - formal and non-formal. Moreover, he explores the implications of informal learning for educational planners and teachers in the context of lifelong learning. While mainly aimed at adult educators, ...

Load shape development for Swedish commercial and public buildings - methodologies and results

Energy Technology Data Exchange (ETDEWEB)

Noren, C.

1999-06-01

The knowledge concerning electricity consumption, and especially load demand, in Swedish commercial buildings is very limited. The current study deals with methods for electricity consumption indicator development and application of the different methodologies on measured data. Typical load shapes and consumption indicators are developed for four different types of commercial buildings: schools, hotels, grocery stores and department stores. Two different methodologies for consumption indicator development are presented and discussed. The influence on load demand from different factors such as, installations, outdoor temperature and building activities is studied. It is suggested that building floor area is not an accurate determinant of building electricity consumption and it is necessary to consider other factors as those just mentioned to understand commercial building electricity consumption. The application of the two methodologies on measured data shows that typical load shapes can be developed with reasonable accuracy. For most of the categories it is possible to use the typical load shapes for approximation of whole-building load shapes with error rates about 10-25% depending on day-type and building type. Comparisons of the developed load shapes with measured data show good agreement 49 refs, 22 figs, 3 tabs

Formal psychological assessment in evaluating depression: a new methodology to build exhaustive and irredundant adaptive questionnaires.

Science.gov (United States)

Serra, Francesca; Spoto, Andrea; Ghisi, Marta; Vidotto, Giulio

2015-01-01

Psychological Assessment can be defined as a complex procedure of information collection, analysis and processing. Formal Psychological Assessment (FPA) tries to improve this procedure by providing a formal framework to build assessment tools. In this paper, FPA is applied to depression. Seven questionnaires widely used for the self-evaluation of depression were selected. Diagnostic criteria for major depressive disorder were derived from the DSM-5, literature and Seligman's and Beck's theories. A Boolean matrix was built, including 266 items from the questionnaires in the rows and 20 selected attributes, obtained through diagnostic criteria decomposition, in the columns. In the matrix, a 1 in a cell meant that the corresponding item investigated the specific attribute. It was thus possible to analyze the relationships between items and attributes and among items. While none of the considered questionnaires could alone cover all the criteria for the evaluation of depressive symptoms, we observed that a set of 30 items contained the same information that was obtained redundantly with 266 items. Another result highlighted by the matrix regards the relations among items. FPA allows in-depth analysis of currently used questionnaires based on the presence/absence of clinical elements. FPA allows for going beyond the mere score by differentiating the patients according to symptomatology. Furthermore, it allows for computerized-adaptive assessment.

Development Risk Methodology for Whole Systems Trade Analysis

Science.gov (United States)

2016-08-01

WSTAT). In the early stages of the V&V for development risk, it was discovered that the original risk rating and methodology did not actually...4932 Standard Form 298 (Rev. 8-98) Prescribed by ANSI Std. Z39.18 ii THIS PAGE INTENTIONALLY LEFT ...WSTA has opened trade space exploration by allowing the tool to evaluate trillions of potential system configurations to then return a handful of

Development of methodology for separation and recovery of uranium from nuclear wastewater

International Nuclear Information System (INIS)

Satpati, S.K.; Roy, S.B.; Pal, Sangita; Tewari, P.K.

2015-01-01

Uranium plays a key role in nuclear power supply, demand of which is growing up with time because of its prospective features. Persistent increase in different nuclear activities leads to increase generation of nuclear wastewater containing uranium. Separation and recovery of the uranium from its unconventional source like nuclear wastewater is worth to explore for addressing the reutilisation of the uranium source. It is also necessary to improve remediation technology of nuclear industries for environmental protection. Development of a suitable process methodology is essential for the purpose to supersede the conventional methodology. In the article, recent developments in several possible methodologies for separation of uranium from dilute solution have been discussed with their merits and demerits. Sorption technique as solid phase extraction methodology has been chosen with suitable polymer matrix and functional moiety based on wastewater characteristics. Polyhydroxamic Acid, PHOA sorbent synthesized following eco-friendly procedure is a promising polymeric chelating sorbents for remediation of nuclear wastewaters and recovery of uranium. Sorption and elution characteristics of the PHOA have been evaluated and illustrated for separation and recovery of uranium from a sample nuclear wastewater. For the remediation of nuclear wastewater SPE technique applying the PHOA, a polymeric sorbent is found to be a potentially suitable methodology. (author)

PRACTICE OF DRAFTING AND IMPLEMENTING OF FINANCING PROJECTS IN NON-FORMAL EDUCATION

Directory of Open Access Journals (Sweden)

BUZOIANU Daniela Angela

2015-06-01

Full Text Available In Petroleum and Gas University, besides teaching and research activities, a priority is non-formal education area. In the academic center of Ploiesti, the activities of non-formal education take place through Center for Porjects, Programs and Cultural - Artistic events (CPPECA and Student’s Culture House, located in the University campus (CCS. The mission of the Center for Projects, Programs and Cultural - Artistic events and Student’s Culture House is: - To offer a big diversity of activities in non-formal education area for students and teachers; - To become an essential and defining pillar in continous formation of young people. The purpose is to promote excellence also in non-formal education fied , starting from the value and tradition of university education in Romanian oil area The Center for Project, Programs and Cultural - Artistic events (CPPECA and Student’s House of Culture have: • An educational function; • A real multidirectional cultural vocation through: - initiating,implementing and developing cultural projects and programs; - organizing and developing specific events like shows, festivals, national and international contests. The paper presents practical aspects in development and implementation of financing projects in non-formal education field.

Designing and Implementing INTREPID, an Intensive Program in Translational Research Methodologies for New Investigators

Science.gov (United States)

Aphinyanaphongs, Yindalon; Shao, Yongzhao; Micoli, Keith J.; Fang, Yixin; Goldberg, Judith D.; Galeano, Claudia R.; Stangel, Jessica H.; Chavis‐Keeling, Deborah; Hochman, Judith S.; Cronstein, Bruce N.; Pillinger, Michael H.

2014-01-01

Abstract Senior housestaff and junior faculty are often expected to perform clinical research, yet may not always have the requisite knowledge and skills to do so successfully. Formal degree programs provide such knowledge, but require a significant commitment of time and money. Short‐term training programs (days to weeks) provide alternative ways to accrue essential information and acquire fundamental methodological skills. Unfortunately, published information about short‐term programs is sparse. To encourage discussion and exchange of ideas regarding such programs, we here share our experience developing and implementing INtensive Training in Research Statistics, Ethics, and Protocol Informatics and Design (INTREPID), a 24‐day immersion training program in clinical research methodologies. Designing, planning, and offering INTREPID was feasible, and required significant faculty commitment, support personnel and infrastructure, as well as committed trainees. PMID:25066862

Developing Foucault's Discourse Analytic Methodology

Directory of Open Access Journals (Sweden)

Rainer Diaz-Bone

2006-01-01

Full Text Available A methodological position for a FOUCAULTian discourse analysis is presented. A sequence of analytical steps is introduced and an illustrating example is offered. It is emphasized that discourse analysis has to discover the system-level of discursive rules and the deeper structure of the discursive formation. Otherwise the analysis will be unfinished. Michel FOUCAULTs work is theoretically grounded in French structuralism and (the so called post-structuralism. In this paper, post-structuralism is not conceived as a means for overcoming of structuralism, but as a way of critically continuing the structural perspective. In this way, discursive structures can be related to discursive practices and the concept of structure can be disclosed (e. g. to inter-discourse or DERRIDAs concept of structurality. In this way, the structural methodology is continued and radicalized, but not given up. In this paper, FOUCAULTs theory is combined with the works of Michel PÊCHEUX and (especially for the sociology of knowledge and the sociology of culture Pierre BOURDIEU. The practice of discourse analysis is theoretically grounded. This practice can be conceived as a reflexive coupling of deconstruction and reconstruction in the material to be analyzed. This methodology therefore can be characterized as a reconstructive qualitative methodology. At the end of the article, forms of discourse analysis are criticized that do not intend to recover the system level of discursive rules and that do not intend to discover the deeper structure of the discursive formation (i. e. episteme, socio-episteme. These forms merely are commentaries of discourses (not their analyses, they remain phenomenological and are therefore: pre-structuralist. URN: urn:nbn:de:0114-fqs060168

Relationships between Actualizing Concrete and Formal Science Teaching Intentions and the Levels of Cognitive Development among Some Prospective Teachers in Nigeria.

Science.gov (United States)

Ehindero, Olusola J.

1980-01-01

Determines relationships between prospective secondary school science teachers' (N=60) level of cognitive development (i.e., Piaget's concrete operational or formal operational stage) and success in stating and actualizing teaching intentions. (CS)

Development of the methodology and approaches to validate safety and accident management

International Nuclear Information System (INIS)

Asmolov, V.G.

1997-01-01

The article compares the development of the methodology and approaches to validate the nuclear power plant safety and accident management in Russia and advanced industrial countries. It demonstrates that the development of methods of safety validation is dialectically related to the accumulation of the knowledge base on processes and events during NPP normal operation, transients and emergencies, including severe accidents. The article describes the Russian severe accident research program (1987-1996), the implementation of which allowed Russia to reach the world level of the safety validation efforts, presents future high-priority study areas. Problems related to possible approaches to the methodological accident management development are discussed. (orig.)

Institutions and development in Mexico. Are formal economic reforms enough?

OpenAIRE

Manuel Palma-Rangel

2006-01-01

This paper examines whether the current political arrangements framing the Mexican politics help in consolidating and advancing those economic reforms that have been implemented in Mexico since the 1982 severe economic crises. I will argue that these arrangements create impediments to the co-ordination required to sustain and advance those policy changes that are needed under the new economic model. Formal and informal institutional environments that do not provide for the adequate enforcemen...

How important are human immunodeficiency virus (HIV) clinical markers to the long-term formal employment among people living with HIV in developing countries? A study in South Africa.

Science.gov (United States)

Odek, W O; Glendinning, A; Charalambous, S

2014-01-01

To examine the relationship of Human Immunodeficiency Virus (HIV) clinical markers and socio-demographic characteristics with long-term formal employment among people living with HIV (PLHIV). 554 adults, 55% females, on HIV treatment for at least two years at two public hospitals in Johannesburg, South Africa. A retrospective cohort design, tracing changes in study participants' formal employment status since the first HIV-positive diagnosis. Data collection included historical medical records review and interviewer-administered questionnaires. 44% of all study participants (39% and 49% among males and females, respectively) were formally employed at the time of the study, primarily in low-skilled jobs in the private sector. The majority (83%) of males and 60% of females remained in formal employment since being diagnosed as HIV-positive. Female gender, education to grade 12 or higher, a smaller household size and being married were significantly associated with current formal employment. Formal employment was unrelated to HIV treatment indicators (CD4 count, viral load and duration since diagnosis). Of those in formal employment, 68 (28%) were aware of HIV policies at their workplaces, which was also positively associated with the duration in their current employment. PLHIV in developing country contexts can enter into and maintain formal employment, especially when treatment and workplace support are available. Thus, employer organisations should implement effective workplace HIV policies to enhance employment experiences of their workforce living with HIV. Care and support services for people on HIV treatment should also address their career development needs.

Development of Testing Methodologies for the Mechanical Properties of MEMS

Science.gov (United States)

Ekwaro-Osire, Stephen

2003-01-01

This effort is to investigate and design testing strategies to determine the mechanical properties of MicroElectroMechanical Systems (MEMS) as well as investigate the development of a MEMS Probabilistic Design Methodology (PDM). One item of potential interest is the design of a test for the Weibull size effect in pressure membranes. The Weibull size effect is a consequence of a stochastic strength response predicted from the Weibull distribution. Confirming that MEMS strength is controlled by the Weibull distribution will enable the development of a probabilistic design methodology for MEMS - similar to the GRC developed CARES/Life program for bulk ceramics. However, the primary area of investigation will most likely be analysis and modeling of material interfaces for strength as well as developing a strategy to handle stress singularities at sharp corners, filets, and material interfaces. This will be a continuation of the previous years work. The ultimate objective of this effort is to further develop and verify the ability of the Ceramics Analysis and Reliability Evaluation of Structures Life (CARES/Life) code to predict the time-dependent reliability of MEMS structures subjected to multiple transient loads.

A Formal Model of Identity Mixer

DEFF Research Database (Denmark)

Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter

2010-01-01

Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity...

Formalization of the engineering science discipline - knowledge engineering

Science.gov (United States)

Peng, Xiao

Knowledge is the most precious ingredient facilitating aerospace engineering research and product development activities. Currently, the most common knowledge retention methods are paper-based documents, such as reports, books and journals. However, those media have innate weaknesses. For example, four generations of flying wing aircraft (Horten, Northrop XB-35/YB-49, Boeing BWB and many others) were mostly developed in isolation. The subsequent engineers were not aware of the previous developments, because these projects were documented such which prevented the next generation of engineers to benefit from the previous lessons learned. In this manner, inefficient knowledge retention methods have become a primary obstacle for knowledge transfer from the experienced to the next generation of engineers. In addition, the quality of knowledge itself is a vital criterion; thus, an accurate measure of the quality of 'knowledge' is required. Although qualitative knowledge evaluation criteria have been researched in other disciplines, such as the AAA criterion by Ernest Sosa stemming from the field of philosophy, a quantitative knowledge evaluation criterion needs to be developed which is capable to numerically determine the qualities of knowledge for aerospace engineering research and product development activities. To provide engineers with a high-quality knowledge management tool, the engineering science discipline Knowledge Engineering has been formalized to systematically address knowledge retention issues. This research undertaking formalizes Knowledge Engineering as follows: 1. Categorize knowledge according to its formats and representations for the first time, which serves as the foundation for the subsequent knowledge management function development. 2. Develop an efficiency evaluation criterion for knowledge management by analyzing the characteristics of both knowledge and the parties involved in the knowledge management processes. 3. Propose and develop an

Linguistic Models at the Crossroads of Agents, Learning and Formal Languages

Directory of Open Access Journals (Sweden)

Leonor BECERRA-BONACHE

2014-12-01

Full Text Available This paper aims at reviewing the most relevant linguistic applications developed in the intersection between three different fields: machine learning, formal language theory and agent technologies. On the one hand, we present some of the main linguistic contributions of the intersection between machine learning and formal languages, which constitutes a well-established research area known as Grammatical Inference. On the other hand, we present an overview of the main linguistic applications of models developed in the intersection between agent technologies and formal languages, such as colonies, grammar systems and eco-grammar systems. Our goal is to show how interdisciplinary research between these three fields can contribute to better understand how natural language is acquired and processed.

A model-based software development methodology for high-end automotive components

NARCIS (Netherlands)

Ravanan, Mahmoud

2014-01-01

This report provides a model-based software development methodology for high-end automotive components. The V-model is used as a process model throughout the development of the software platform. It offers a framework that simplifies the relation between requirements, design, implementation,

Formalized Epistemology, Logic, and Grammar

Science.gov (United States)

Bitbol, Michel

The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

Development of a design methodology for hydraulic pipelines carrying rectangular capsules

International Nuclear Information System (INIS)

Asim, Taimoor; Mishra, Rakesh; Abushaala, Sufyan; Jain, Anuj

2016-01-01

The scarcity of fossil fuels is affecting the efficiency of established modes of cargo transport within the transportation industry. Efforts have been made to develop innovative modes of transport that can be adopted for economic and environmental friendly operating systems. Solid material, for instance, can be packed in rectangular containers (commonly known as capsules), which can then be transported in different concentrations very effectively using the fluid energy in pipelines. For economical and efficient design of such systems, both the local flow characteristics and the global performance parameters need to be carefully investigated. Published literature is severely limited in establishing the effects of local flow features on system characteristics of Hydraulic Capsule Pipelines (HCPs). The present study focuses on using a well validated Computational Fluid Dynamics (CFD) tool to numerically simulate the solid-liquid mixture flow in both on-shore and off-shore HCPs applications including bends. Discrete Phase Modelling (DPM) has been employed to calculate the velocity of the rectangular capsules. Numerical predictions have been used to develop novel semi-empirical prediction models for pressure drop in HCPs, which have then been embedded into a robust and user-friendly pipeline optimisation methodology based on Least-Cost Principle. - Highlights: • Local flow characteristics in a pipeline transporting rectangular capsules. • Development of prediction models for the pressure drop contribution of capsules. • Methodology developed for sizing of Hydraulic Capsule Pipelines. • Implementation of the developed methodology to obtain optimal pipeline diameter.

Models of Transformative Learning for Social Justice: Comparative Case Studies of Non-Formal Development Education in Britain and Spain

Science.gov (United States)

Brown, Eleanor J.

2015-01-01

This paper presents comparative case studies of non-formal development education by non-profit organisations in two European countries. The study aimed to explore the extent to which such activities provide opportunities for transformative learning. The research was qualitative and began with interviews with educators across 14 organisations in…

Embracing Agile methodology during DevOps Developer Internship Program

OpenAIRE

Patwardhan, Amol; Kidd, Jon; Urena, Tiffany; Rajgopalan, Aishwarya

2016-01-01

The DevOps team adopted agile methodologies during the summer internship program as an initiative to move away from waterfall. The DevOps team implemented the Scrum software development strategy to create an internal data dictionary web application. This article reports on the transition process and lessons learned from the pilot program.

Automated Methodologies for the Design of Flow Diagrams for Development and Maintenance Activities

Science.gov (United States)

Shivanand M., Handigund; Shweta, Bhat

The Software Requirements Specification (SRS) of the organization is a text document prepared by strategic management incorporating the requirements of the organization. These requirements of ongoing business/ project development process involve the software tools, the hardware devices, the manual procedures, the application programs and the communication commands. These components are appropriately ordered for achieving the mission of the concerned process both in the project development and the ongoing business processes, in different flow diagrams viz. activity chart, workflow diagram, activity diagram, component diagram and deployment diagram. This paper proposes two generic, automatic methodologies for the design of various flow diagrams of (i) project development activities, (ii) ongoing business process. The methodologies also resolve the ensuing deadlocks in the flow diagrams and determine the critical paths for the activity chart. Though both methodologies are independent, each complements other in authenticating its correctness and completeness.

LexGram - a practical categorial grammar formalism -

OpenAIRE

Koenig, Esther

1995-01-01

We present the LexGram system, an amalgam of (Lambek) categorial grammar and Head Driven Phrase Structure Grammar (HPSG), and show that the grammar formalism it implements is a well-structured and useful tool for actual grammar development.

Development of an Automated Security Risk Assessment Methodology Tool for Critical Infrastructures.

Energy Technology Data Exchange (ETDEWEB)

Jaeger, Calvin Dell; Roehrig, Nathaniel S.; Torres, Teresa M.

2008-12-01

This document presents the security automated Risk Assessment Methodology (RAM) prototype tool developed by Sandia National Laboratories (SNL). This work leverages SNL's capabilities and skills in security risk analysis and the development of vulnerability assessment/risk assessment methodologies to develop an automated prototype security RAM tool for critical infrastructures (RAM-CITM). The prototype automated RAM tool provides a user-friendly, systematic, and comprehensive risk-based tool to assist CI sector and security professionals in assessing and managing security risk from malevolent threats. The current tool is structured on the basic RAM framework developed by SNL. It is envisioned that this prototype tool will be adapted to meet the requirements of different CI sectors and thereby provide additional capabilities.

Response to formal comment on Myhrvold (2016) submitted by Griebeler and Werner (2017).

Science.gov (United States)

Myhrvold, Nathan P

2018-01-01

Griebeler and Werner offer a formal comment on Myhrvold, 2016 defending the conclusions of Werner and Griebeler, 2014. Although the comment criticizes several aspects of methodology in Myhrvold, 2016, all three papers concur on a key conclusion: the metabolism of extant endotherms and ectotherms cannot be reliably classified using growth-rate allometry, because the growth rates of extant endotherms and ectotherms overlap. A key point of disagreement is that the 2014 paper concluded that despite this general case, one can nevertheless classify dinosaurs as ectotherms from their growth rate allometry. The 2014 conclusion is based on two factors: the assertion (made without any supporting arguments) that the comparison with dinosaurs must be restricted only to extant sauropsids, ignoring other vertebrate groups, and that extant sauropsid endotherm and ectotherm growth rates in a data set studied in the 2014 work do not overlap. The Griebeler and Werner formal comment presents their first arguments in support of the restriction proposition. In this response I show that this restriction is unsupported by established principles of phylogenetic comparison. In addition, I show that the data set studied in their 2014 work does show overlap, and that this is visible in one of its figures. I explain how either point effectively invalidates the conclusion of their 2014 paper. I also address the other methodological criticisms of Myhrvold 2016, and find them unsupported.

Formal specification and animation of a water level monitoring system

International Nuclear Information System (INIS)

Jackson, P.S.; Stokes, P.A.

1993-03-01

This report describes the Vienna Development Method (VDM), which is a formal method for software specification and development. VDM evolved out of attempts to use mathematics in programming language specifications in order to avoid ambiguities in specifications written in natural language. This report also describes the use of VDM for a real-time application, where it is used to formally specify the requirements of a water level monitoring system. The procedures and techniques used to produce an executable form (animation) of the specification are covered. (Author)

Guidance on the Technology Performance Level (TPL) Assessment Methodology

Energy Technology Data Exchange (ETDEWEB)

Weber, Jochem [National Renewable Energy Lab. (NREL), Golden, CO (United States); Roberts, Jesse D. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Babarit, Aurelien [Ecole Centrale de Nantes (France). Lab. of Research in Hydrodynamics, Energetics and Atmospheric Environment (LHEEA); Costello, Ronan [Wave Venture, Penstraze (United Kingdom); Bull, Diana L. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Neilson, Kim [Ramboll, Copenhagen (Denmark); Bittencourt, Claudio [DNV GL, London (United Kingdom); Kennedy, Ben [Wave Venture, Penstraze (United Kingdom); Malins, Robert Joseph [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Dykes, Katherine [National Renewable Energy Lab. (NREL), Golden, CO (United States)

2016-09-01

This document presents the revised Technology Performance Level (TPL) assessment methodology. There are three parts to this revised methodology 1) the Stakeholder Needs and Assessment Guidance (this document), 2) the Technical Submission form, 3) the TPL scoring spreadsheet. The TPL assessment is designed to give a technology neutral or agnostic assessment of any wave energy converter technology. The focus of the TPL is on the performance of the technology in meeting the customer’s needs. The original TPL is described in [1, 2] and those references also detail the critical differences in the nature of the TPL when compared to the more widely used technology readiness level (TRL). (Wave energy TRL is described in [3]). The revised TPL is particularly intended to be useful to investors and also to assist technology developers to conduct comprehensive assessments in a way that is meaningful and attractive to investors. The revised TPL assessment methodology has been derived through a structured Systems Engineering approach. This was a formal process which involved analyzing customer and stakeholder needs through the discipline of Systems Engineering. The results of the process confirmed the high level of completeness of the original methodology presented in [1] (as used in the Wave Energy Prize judging) and now add a significantly increased level of detail in the assessment and an improved more investment focused structure. The revised TPL also incorporates the feedback of the Wave Energy Prize judges.

Matching biomedical ontologies based on formal concept analysis.

Science.gov (United States)

Zhao, Mengyi; Zhang, Songmao; Li, Weizhuo; Chen, Guowei

2018-03-19

The goal of ontology matching is to identify correspondences between entities from different yet overlapping ontologies so as to facilitate semantic integration, reuse and interoperability. As a well developed mathematical model for analyzing individuals and structuring concepts, Formal Concept Analysis (FCA) has been applied to ontology matching (OM) tasks since the beginning of OM research, whereas ontological knowledge exploited in FCA-based methods is limited. This motivates the study in this paper, i.e., to empower FCA with as much as ontological knowledge as possible for identifying mappings across ontologies. We propose a method based on Formal Concept Analysis to identify and validate mappings across ontologies, including one-to-one mappings, complex mappings and correspondences between object properties. Our method, called FCA-Map, incrementally generates a total of five types of formal contexts and extracts mappings from the lattices derived. First, the token-based formal context describes how class names, labels and synonyms share lexical tokens, leading to lexical mappings (anchors) across ontologies. Second, the relation-based formal context describes how classes are in taxonomic, partonomic and disjoint relationships with the anchors, leading to positive and negative structural evidence for validating the lexical matching. Third, the positive relation-based context can be used to discover structural mappings. Afterwards, the property-based formal context describes how object properties are used in axioms to connect anchor classes across ontologies, leading to property mappings. Last, the restriction-based formal context describes co-occurrence of classes across ontologies in anonymous ancestors of anchors, from which extended structural mappings and complex mappings can be identified. Evaluation on the Anatomy, the Large Biomedical Ontologies, and the Disease and Phenotype track of the 2016 Ontology Alignment Evaluation Initiative campaign

Indigenous Knowledge and Education from the Quechua Community to School: Beyond the Formal/Non-Formal Dichotomy

Science.gov (United States)

Sumida Huaman, Elizabeth; Valdiviezo, Laura Alicia

2014-01-01

In this article, we propose to approach Indigenous education beyond the formal/non-formal dichotomy. We argue that there is a critical need to conscientiously include Indigenous knowledge in education processes from the school to the community; particularly, when formal systems exclude Indigenous cultures and languages. Based on ethnographic…

New procedure for departure formalities

CERN Multimedia

HR & GS Departments

2011-01-01

As part of the process of simplifying procedures and rationalising administrative processes, the HR and GS Departments have introduced new personalised departure formalities on EDH. These new formalities have applied to students leaving CERN since last year and from 17 October 2011 this procedure will be extended to the following categories of CERN personnel: Staff members, Fellows and Associates. It is planned to extend this electronic procedure to the users in due course. What purpose do departure formalities serve? The departure formalities are designed to ensure that members of the personnel contact all the relevant services in order to return any necessary items (equipment, cards, keys, dosimeter, electronic equipment, books, etc.) and are aware of all the benefits to which they are entitled on termination of their contract. The new departure formalities on EDH have the advantage of tailoring the list of services that each member of the personnel must visit to suit his individual contractual and p...

What is the method in applying formal methods to PLC applications?

NARCIS (Netherlands)

Mader, Angelika H.; Engel, S.; Wupper, Hanno; Kowalewski, S.; Zaytoon, J.

2000-01-01

The question we investigate is how to obtain PLC applications with confidence in their proper functioning. Especially, we are interested in the contribution that formal methods can provide for their development. Our maxim is that the place of a particular formal method in the total picture of system

Photon scattering from a system of multilevel quantum emitters. I. Formalism

Science.gov (United States)

Das, Sumanta; Elfving, Vincent E.; Reiter, Florentin; Sørensen, Anders S.

2018-04-01

We introduce a formalism to solve the problem of photon scattering from a system of multilevel quantum emitters. Our approach provides a direct solution of the scattering dynamics. As such the formalism gives the scattered fields' amplitudes in the limit of a weak incident intensity. Our formalism is equipped to treat both multiemitter and multilevel emitter systems, and is applicable to a plethora of photon-scattering problems, including conditional state preparation by photodetection. In this paper, we develop the general formalism for an arbitrary geometry. In the following paper (part II) S. Das et al. [Phys. Rev. A 97, 043838 (2018), 10.1103/PhysRevA.97.043838], we reduce the general photon-scattering formalism to a form that is applicable to one-dimensional waveguides and show its applicability by considering explicit examples with various emitter configurations.

Dominant partition method. [based on a wave function formalism

Science.gov (United States)

Dixon, R. M.; Redish, E. F.

1979-01-01

By use of the L'Huillier, Redish, and Tandy (LRT) wave function formalism, a partially connected method, the dominant partition method (DPM) is developed for obtaining few body reductions of the many body problem in the LRT and Bencze, Redish, and Sloan (BRS) formalisms. The DPM maps the many body problem to a fewer body one by using the criterion that the truncated formalism must be such that consistency with the full Schroedinger equation is preserved. The DPM is based on a class of new forms for the irreducible cluster potential, which is introduced in the LRT formalism. Connectivity is maintained with respect to all partitions containing a given partition, which is referred to as the dominant partition. Degrees of freedom corresponding to the breakup of one or more of the clusters of the dominant partition are treated in a disconnected manner. This approach for simplifying the complicated BRS equations is appropriate for physical problems where a few body reaction mechanism prevails.

Project based learning in organizations: towards a methodology for learning in groups

NARCIS (Netherlands)

Poell, R.F.; Krogt, F.J. van der

2003-01-01

This article introduces a methodology for employees in organizations to set up and carry out their own group learning projects. It is argued that employees can use project-based learning to make their everyday learning more systematic at times, without necessarily formalizing it. The article

Project-based learning in organizations : Towards a methodology for learning in groups

NARCIS (Netherlands)

Poell, R.F.; van der Krogt, F.J.

2003-01-01

This article introduces a methodology for employees in organizations to set up and carry out their own group learning projects. It is argued that employees can use project-based learning to make their everyday learning more systematic at times, without necessarily formalizing it. The article

Recrafting in/formality, leveraging public market trade in Baguio, Philippines

Directory of Open Access Journals (Sweden)

B. Lynne Milgram

2017-12-01

Full Text Available With growing urbanization, Southern governments often privilege large-scale developments that frustrate urbanites’ livelihood needs. In Baguio, Philippines public marketers counter such top-down disenfranchisement by operationalizing formal “advocacy” and informal “everyday” politics. That authorities negotiate agreements to accept payments for marketers’ infractions, I argue, materializes complex and complicit intersections of formal/informal and legal/illegal practices.

External Service Providers to the National Security Technology Incubator: Formalization of Relationships

Energy Technology Data Exchange (ETDEWEB)

None

2008-04-30

This report documents the formalization of relationships with external service providers in the development of the National Security Technology Incubator (NSTI). The technology incubator is being developed as part of the National Security Preparedness Project (NSPP), funded by a Department of Energy (DOE)/National Nuclear Security Administration (NNSA) grant. This report summarizes the process in developing and formalizing relationships with those service providers and includes a sample letter of cooperation executed with each provider.

Development of a Seismic Setpoint Calculation Methodology Using a Safety System Approach

International Nuclear Information System (INIS)

Lee, Chang Jae; Baik, Kwang Il; Lee, Sang Jeong

2013-01-01

The Automatic Seismic Trip System (ASTS) automatically actuates reactor trip when it detects seismic activities whose magnitudes are comparable to a Safe Shutdown Earthquake (SSE), which is the maximum hypothetical earthquake at the nuclear power plant site. To ensure that the reactor is tripped before the magnitude of earthquake exceeds the SSE, it is crucial to reasonably determine the seismic setpoint. The trip setpoint and allowable value for the ASTS for Advanced Power Reactor (APR) 1400 Nuclear Power Plants (NPPs) were determined by the methodology presented in this paper. The ASTS that trips the reactor when a large earthquake occurs is categorized as a non safety system because the system is not required by design basis event criteria. This means ASTS has neither specific analytical limit nor dedicated setpoint calculation methodology. Therefore, we developed the ASTS setpoint calculation methodology by conservatively considering that of PPS. By incorporating the developed methodology into the ASTS for APR1400, the more conservative trip setpoint and allowable value were determined. In addition, the ZPA from the Operating Basis Earthquake (OBE) FRS of the floor where the sensor module is located is 0.1g. Thus, the allowance of 0.17g between OBE of 0.1 g and ASTS trip setpoint of 0.27 g is sufficient to prevent the reactor trip before the magnitude of the earthquake exceeds the OBE. In result, the developed ASTS setpoint calculation methodology is evaluated as reasonable in both aspects of the safety and performance of the NPPs. This will be used to determine the ASTS trip setpoint and allowable for newly constructed plants

Development of 3D pseudo pin-by-pin calculation methodology in ANC

International Nuclear Information System (INIS)

Zhang, B.; Mayhue, L.; Huria, H.; Ivanov, B.

2012-01-01

Advanced cores and fuel assembly designs have been developed to improve operational flexibility, economic performance and further enhance safety features of nuclear power plants. The simulation of these new designs, along with strong heterogeneous fuel loading, have brought new challenges to the reactor physics methodologies currently employed in the industrial codes for core analyses. Control rod insertion during normal operation is one operational feature in the AP1000 R plant of Westinghouse next generation Pressurized Water Reactor (PWR) design. This design improves its operational flexibility and efficiency but significantly challenges the conventional reactor physics methods, especially in pin power calculations. The mixture loading of fuel assemblies with significant neutron spectrums causes a strong interaction between different fuel assembly types that is not fully captured with the current core design codes. To overcome the weaknesses of the conventional methods, Westinghouse has developed a state-of-the-art 3D Pin-by-Pin Calculation Methodology (P3C) and successfully implemented in the Westinghouse core design code ANC. The new methodology has been qualified and licensed for pin power prediction. The 3D P3C methodology along with its application and validation will be discussed in the paper. (authors)

Can formal collaborative methodologies improve quality in primary health care in New Zealand? Insights from the EQUIPPED Auckland Collaborative.

Science.gov (United States)

Palmer, Celia; Bycroft, Janine; Healey, Kate; Field, Adrian; Ghafel, Mazin

2012-12-01

Auckland District Health Board was one of four District Health Boards to trial the Breakthrough Series (BTS) methodology to improve the management of long-term conditions in New Zealand, with support from the Ministry of Health. To improve clinical outcomes, facilitate planned care and promote quality improvement within participating practices in Auckland. Implementation of the Collaborative followed the improvement model / Institute for Healthcare Improvement methodology. Three topic areas were selected: system redesign, cardio-vascular disease/diabetes, and self-management support. An expert advisory group and the Improvement Foundation Australia helped guide project development and implementation. Primary Health Organisation facilitators were trained in the methodology and 15 practice teams participated in the three learning workshops and action periods over 12 months. An independent evaluation study using both quantitative and qualitative methods was conducted. Improvements were recorded in cardiovascular disease risk assessment, practice-level systems of care, self-management systems and follow-up and coordination for patients. Qualitative research found improvements in coordination and teamwork, knowledge of practice populations and understanding of managing long-term conditions. The Collaborative process delivered some real improvements in the systems of care for people with long-term conditions and a change in culture among participating practices. The findings suggest that by strengthening facilitation processes, improving access to comprehensive population audit tools and lengthening the time frame, the process has the potential to make significant improvements in practice. Other organisations should consider this approach when investigating quality improvement programmes.

Y-formalism and b ghost in the non-minimal pure spinor formalism of superstrings

International Nuclear Information System (INIS)

Oda, Ichiro; Tonin, Mario

2007-01-01

We present the Y-formalism for the non-minimal pure spinor quantization of superstrings. In the framework of this formalism we compute, at the quantum level, the explicit form of the compound operators involved in the construction of the b ghost, their normal-ordering contributions and the relevant relations among them. We use these results to construct the quantum-mechanical b ghost in the non-minimal pure spinor formalism. Moreover we show that this non-minimal b ghost is cohomologically equivalent to the non-covariant b ghost

Geometry and Formal Linguistics.

Science.gov (United States)

Huff, George A.

This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

Summarizing systematic reviews: methodological development, conduct and reporting of an umbrella review approach.

Science.gov (United States)

Aromataris, Edoardo; Fernandez, Ritin; Godfrey, Christina M; Holly, Cheryl; Khalil, Hanan; Tungpunkom, Patraporn

2015-09-01

With the increase in the number of systematic reviews available, a logical next step to provide decision makers in healthcare with the evidence they require has been the conduct of reviews of existing systematic reviews. Syntheses of existing systematic reviews are referred to by many different names, one of which is an umbrella review. An umbrella review allows the findings of reviews relevant to a review question to be compared and contrasted. An umbrella review's most characteristic feature is that this type of evidence synthesis only considers for inclusion the highest level of evidence, namely other systematic reviews and meta-analyses. A methodology working group was formed by the Joanna Briggs Institute to develop methodological guidance for the conduct of an umbrella review, including diverse types of evidence, both quantitative and qualitative. The aim of this study is to describe the development and guidance for the conduct of an umbrella review. Discussion and testing of the elements of methods for the conduct of an umbrella review were held over a 6-month period by members of a methodology working group. The working group comprised six participants who corresponded via teleconference, e-mail and face-to-face meeting during this development period. In October 2013, the methodology was presented in a workshop at the Joanna Briggs Institute Convention. Workshop participants, review authors and methodologists provided further testing, critique and feedback on the proposed methodology. This study describes the methodology and methods developed for the conduct of an umbrella review that includes published systematic reviews and meta-analyses as the analytical unit of the review. Details are provided regarding the essential elements of an umbrella review, including presentation of the review question in a Population, Intervention, Comparator, Outcome format, nuances of the inclusion criteria and search strategy. A critical appraisal tool with 10 questions to

Non-formal learning and tacit knowledge in professional work.

Science.gov (United States)

Eraut, M

2000-03-01

This paper explores the conceptual and methodological problems arising from several empirical investigations of professional education and learning in the workplace. 1. To clarify the multiple meanings accorded to terms such as 'non-formal learning', 'implicit learning' and 'tacit knowledge', their theoretical assumptions and the range of phenomena to which they refer. 2. To discuss their implications for professional practice. A largely theoretical analysis of issues and phenomena arising from empirical investigations. The author's typology of non-formal learning distinguishes between implicit learning, reactive on-the-spot learning and deliberative learning. The significance of the last is commonly overemphasized. The problematic nature of tacit knowledge is discussed with respect to both detecting it and representing it. Three types of tacit knowledge are discussed: tacit understanding of people and situations, routinized actions and the tacit rules that underpin intuitive decision-making. They come together when professional performance involves sequences of routinized action punctuated by rapid intuitive decisions based on tacit understanding of the situation. Four types of process are involved--reading the situation, making decisions, overt activity and metacognition--and three modes of cognition--intuitive, analytic and deliberative. The balance between these modes depends on time, experience and complexity. Where rapid action dominates, periods of deliberation are needed to maintain critical control. Finally the role of both formal and informal social knowledge is discussed; and it is argued that situated learning often leads not to local conformity but to greater individual variation as people's careers take them through a series of different contexts. This abstract necessarily simplifies a more complex analysis in the paper itself.

24 CFR 3282.309 - Formal and informal presentations of views held by SAAs.

Science.gov (United States)

2010-04-01

... 24 Housing and Urban Development 5 2010-04-01 2010-04-01 false Formal and informal presentations of views held by SAAs. 3282.309 Section 3282.309 Housing and Urban Development Regulations Relating... held by SAAs. (a) When an SAA is the appropriate agency to hold a Formal or Informal Presentation of...

Status of Methodology Development for the Evaluation of Proliferation Resistance

International Nuclear Information System (INIS)

Lee, Yong Deok; Ko, Won Il; Lee, Jung Won

2010-01-01

Concerning the increasing energy demand and green house effect, nuclear energy is now the most feasible option. Therefore, recently, oil countries even have a plan to build the nuclear power plant for energy production. If nuclear systems are to make a major and sustainable contribution to the worlds energy supply, future nuclear energy systems must meet specific requirements. One of the requirements is to satisfy the proliferation resistance condition in an entire nuclear system. Therefore, from the beginning of future nuclear energy system development, it is important to consider a proliferation resistance to prevent the diversion of nuclear materials. The misuse of a nuclear system must be considered as well. Moreover, in the import and export of nuclear system, the evaluation of the proliferation resistance on the nuclear system becomes a key factor The INPRO (International Project on Innovative Nuclear Reactors and Fuel Cycles) program initiated by the IAEA proposed proliferation resistance (PR) as a key component of a future innovative nuclear system (INS) with a sustainability, economics, safety of nuclear installation and waste management. The technical goal for Generation IV (Gen IV) nuclear energy systems (NESs) highlights a Proliferation Resistance and Physical Protection (PR and PP), sustainability, safety, reliability and economics as well. Based on INPRO and Gen IV study, the methodology development for the evaluation of proliferation resistance has been carried out in KAERI. Finally, the systematic procedure for methodology was setup and the indicators for the procedure were decided. The methodology involves the evaluation from total nuclear system to individual process. Therefore, in this study, the detailed procedure for the evaluation of proliferation resistance and the newly proposed additional indicators are described and several conditions are proposed to increase the proliferation resistance in the future nuclear system. The assessment of PR

An Implicit Model Development Process for Bounding External, Seemingly Intangible/Non-Quantifiable Factors

Science.gov (United States)

2017-06-01

This research expands the modeling and simulation (M and S) body of knowledge through the development of an Implicit Model Development Process (IMDP...When augmented to traditional Model Development Processes (MDP), the IMDP enables the development of models that can address a broader array of...potential impacts on operational effectiveness. Specifically, the IMDP provides a formalized methodology for developing an improved model definition

Comparing Two Tests of Formal Reasoning in a College Chemistry Context

Science.gov (United States)

Jiang, Bo; Xu, Xiaoying; Garcia, Alicia; Lewis, Jennifer E.

2010-01-01

The Test of Logical Thinking (TOLT) and the Group Assessment of Logical Thinking (GALT) are two of the instruments most widely used by science educators and researchers to measure students' formal reasoning abilities. Based on Piaget's cognitive development theory, formal thinking ability has been shown to be essential for student achievement in…

Development of a simplified statistical methodology for nuclear fuel rod internal pressure calculation

International Nuclear Information System (INIS)

Kim, Kyu Tae; Kim, Oh Hwan

1999-01-01

A simplified statistical methodology is developed in order to both reduce over-conservatism of deterministic methodologies employed for PWR fuel rod internal pressure (RIP) calculation and simplify the complicated calculation procedure of the widely used statistical methodology which employs the response surface method and Monte Carlo simulation. The simplified statistical methodology employs the system moment method with a deterministic statistical methodology employs the system moment method with a deterministic approach in determining the maximum variance of RIP. The maximum RIP variance is determined with the square sum of each maximum value of a mean RIP value times a RIP sensitivity factor for all input variables considered. This approach makes this simplified statistical methodology much more efficient in the routine reload core design analysis since it eliminates the numerous calculations required for the power history-dependent RIP variance determination. This simplified statistical methodology is shown to be more conservative in generating RIP distribution than the widely used statistical methodology. Comparison of the significances of each input variable to RIP indicates that fission gas release model is the most significant input variable. (author). 11 refs., 6 figs., 2 tabs

Development of a reference biospheres methodology for radioactive waste disposal. Final report

Energy Technology Data Exchange (ETDEWEB)

Dorp, F van [NAGRA (Switzerland); and others

1996-09-01

The BIOMOVS II Working Group on Reference Biospheres has focused on the definition and testing of a methodology for developing models to analyse radionuclide behaviour in the biosphere and associated radiological exposure pathways(a Reference Biospheres Methodology). The Working Group limited the scope to the assessment of the long-term implications of solid radioactive waste disposal. Nevertheless, it is considered that many of the basic principles would be equally applicable to other areas of biosphere assessment. The recommended methodology has been chosen to be relevant to different types of radioactive waste and disposal concepts. It includes the justification, arguments and documentation for all the steps in the recommended methodology. The previous experience of members of the Reference Biospheres Working Group was that the underlying premises of a biosphere assessment have often been taken for granted at the early stages of model development, and can therefore fail to be recognized later on when questions of model sufficiency arise, for example, because of changing regulatory requirements. The intention has been to define a generic approach for the formation of an 'audit trail' and hence provide demonstration that a biosphere model is fit for its intended purpose. The starting point for the methodology has three. The Assessment Context sets out what the assessment has to achieve, eg. in terms of assessment purpose and related regulatory criteria, as well as information about the repository system and types of release from the geosphere. The Basic System Description includes the fundamental premises about future climate conditions and human behaviour which, to a significant degree, are beyond prediction. The International FEP List is a generically relevant list of Features, Events and Processes potentially important for biosphere model development. The International FEP List includes FEPs to do with the assessment context. The context examined in detail by

Development of a reference biospheres methodology for radioactive waste disposal. Final report

Energy Technology Data Exchange (ETDEWEB)

Dorp, F. van [NAGRA (Switzerland)] [and others

1996-09-01

The BIOMOVS II Working Group on Reference Biospheres has focused on the definition and testing of a methodology for developing models to analyse radionuclide behaviour in the biosphere and associated radiological exposure pathways(a Reference Biospheres Methodology). The Working Group limited the scope to the assessment of the long-term implications of solid radioactive waste disposal. Nevertheless, it is considered that many of the basic principles would be equally applicable to other areas of biosphere assessment. The recommended methodology has been chosen to be relevant to different types of radioactive waste and disposal concepts. It includes the justification, arguments and documentation for all the steps in the recommended methodology. The previous experience of members of the Reference Biospheres Working Group was that the underlying premises of a biosphere assessment have often been taken for granted at the early stages of model development, and can therefore fail to be recognized later on when questions of model sufficiency arise, for example, because of changing regulatory requirements. The intention has been to define a generic approach for the formation of an 'audit trail' and hence provide demonstration that a biosphere model is fit for its intended purpose. The starting point for the methodology has three. The Assessment Context sets out what the assessment has to achieve, eg. in terms of assessment purpose and related regulatory criteria, as well as information about the repository system and types of release from the geosphere. The Basic System Description includes the fundamental premises about future climate conditions and human behaviour which, to a significant degree, are beyond prediction. The International FEP List is a generically relevant list of Features, Events and Processes potentially important for biosphere model development. The International FEP List includes FEPs to do with the assessment context. The context examined in

Setting priorities for space research: An experiment in methodology

Science.gov (United States)

1995-01-01

In 1989, the Space Studies Board created the Task Group on Priorities in Space Research to determine whether scientists should take a role in recommending priorities for long-term space research initiatives and, if so, to analyze the priority-setting problem in this context and develop a method by which such priorities could be established. After answering the first question in the affirmative in a previous report, the task group set out to accomplish the second task. The basic assumption in developing a priority-setting process is that a reasoned and structured approach for ordering competing initiatives will yield better results than other ways of proceeding. The task group proceeded from the principle that the central criterion for evaluating a research initiative must be its scientific merit -- the value of the initiative to the proposing discipline and to science generally. The group developed a two-stage methodology for priority setting and constructed a procedure and format to support the methodology. The first of two instruments developed was a standard format for structuring proposals for space research initiatives. The second instrument was a formal, semiquantitative appraisal procedure for evaluating competing proposals. This report makes available complete templates for the methodology, including the advocacy statement and evaluation forms, as well as an 11-step schema for a priority-setting process. From the beginning of its work, the task group was mindful that the issue of priority setting increasingly pervades all of federally supported science and that its work would have implications extending beyond space research. Thus, although the present report makes no recommendations for action by NASA or other government agencies, it provides the results of the task group's work for the use of others who may study priority-setting procedures or take up the challenge of implementing them in the future.

Older adults' preferences for formal social support of autonomy and dependence in pain: development and validation of a scale.

Science.gov (United States)

Bernardes, Sónia F; Matos, Marta; Goubert, Liesbet

2017-09-01

Chronic pain among older adults is common and often disabling. Pain-related formal social support (e.g., provided by staff at day-care centers, nursing homes), and the extent to which it promotes functional autonomy or dependence, plays a significant role in the promotion of older adults' ability to engage in their daily activities. Assessing older adults' preferences for pain-related social support for functional autonomy or dependence could contribute to increase formal social support responsiveness to individuals' needs. Therefore, this study aimed at developing and validating the preferences for formal social support of autonomy and dependence in pain inventory (PFSSADI). One hundred and sixty-five older adults with chronic musculoskeletal pain ( M age  = 79.1, 67.3% women), attending day-care centers, completed the PFSSADI, the revised formal social support for autonomy and dependence in pain inventory, and a measure of desire for (in)dependence; the PFSSADI was filled out again 6 weeks later. Confirmatory factor analyses showed a structure of two correlated factors ( r  = .56): (a) preferences for autonomy support ( α  = .99) and (b) preferences for dependence support ( α  = .98). The scale showed good test-retest reliability, sensitivity and discriminant and concurrent validity; the higher the preferences for dependence support, the higher the desire for dependence ( r  = .33) and the lower the desire for independence ( r  = -.41). The PFSSADI is an innovative tool, which may contribute to explore the role of pain-related social support responsiveness on the promotion of older adults' functional autonomy when in pain.

Development of an Improved Methodology to Assess Potential Unconventional Gas Resources

International Nuclear Information System (INIS)

Salazar, Jesus; McVay, Duane A.; Lee, W. John

2010-01-01

Considering the important role played today by unconventional gas resources in North America and their enormous potential for the future around the world, it is vital to both policy makers and industry that the volumes of these resources and the impact of technology on these resources be assessed. To provide for optimal decision making regarding energy policy, research funding, and resource development, it is necessary to reliably quantify the uncertainty in these resource assessments. Since the 1970s, studies to assess potential unconventional gas resources have been conducted by various private and governmental agencies, the most rigorous of which was by the United States Geological Survey (USGS). The USGS employed a cell-based, probabilistic methodology which used analytical equations to calculate distributions of the resources assessed. USGS assessments have generally produced distributions for potential unconventional gas resources that, in our judgment, are unrealistically narrow for what are essentially undiscovered, untested resources. In this article, we present an improved methodology to assess potential unconventional gas resources. Our methodology is a stochastic approach that includes Monte Carlo simulation and correlation between input variables. Application of the improved methodology to the Uinta-Piceance province of Utah and Colorado with USGS data validates the means and standard deviations of resource distributions produced by the USGS methodology, but reveals that these distributions are not right skewed, as expected for a natural resource. Our investigation indicates that the unrealistic shape and width of the gas resource distributions are caused by the use of narrow triangular input parameter distributions. The stochastic methodology proposed here is more versatile and robust than the USGS analytic methodology. Adoption of the methodology, along with a careful examination and revision of input distributions, should allow a more realistic

Lagrangian-Hamiltonian unified formalism for autonomous higher order dynamical systems

International Nuclear Information System (INIS)

Prieto-Martinez, Pedro Daniel; Roman-Roy, Narciso

2011-01-01

The Lagrangian-Hamiltonian unified formalism of Skinner and Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, as well as for first-order and higher order field theories. However, a complete generalization to higher order mechanical systems is yet to be described. In this work, after reviewing the natural geometrical setting and the Lagrangian and Hamiltonian formalisms for higher order autonomous mechanical systems, we develop a complete generalization of the Lagrangian-Hamiltonian unified formalism for these kinds of systems, and we use it to analyze some physical models from this new point of view. (paper)

Development of Non-LOCA Safety Analysis Methodology with RETRAN-3D and VIPRE-01/K

International Nuclear Information System (INIS)

Kim, Yo-Han; Cheong, Ae-Ju; Yang, Chang-Keun

2004-01-01

Korea Electric Power Research Institute has launched a project to develop an in-house non-loss-of-coolant-accident analysis methodology to overcome the hardships caused by the narrow analytical scopes of existing methodologies. Prior to the development, some safety analysis codes were reviewed, and RETRAN-3D and VIPRE-01 were chosen as the base codes. The codes have been modified to improve the analytical capabilities required to analyze the nuclear power plants in Korea. The methodologies of the vendors and the Electric Power Research Institute have been reviewed, and some documents of foreign utilities have been used to compensate for the insufficiencies. For the next step, a draft methodology for pressurized water reactors has been developed and modified to apply to Westinghouse-type plants in Korea. To verify the feasibility of the methodology, some events of Yonggwang Units 1 and 2 have been analyzed from the standpoints of reactor coolant system pressure and the departure from nucleate boiling ratio. The results of the analyses show trends similar to those of the Final Safety Analysis Report

Development of a Methodology for Predicting Forest Area for Large-Area Resource Monitoring

Science.gov (United States)

William H. Cooke

2001-01-01

The U.S. Department of Agriculture, Forest Service, Southcm Research Station, appointed a remote-sensing team to develop an image-processing methodology for mapping forest lands over large geographic areds. The team has presented a repeatable methodology, which is based on regression modeling of Advanced Very High Resolution Radiometer (AVHRR) and Landsat Thematic...

Measuring the effect of formalization

International Nuclear Information System (INIS)

Stoelen, K.; Mohn, P.

1998-01-01

We present an ongoing research activity concerned with measuring the effect of an increased level of formalization in software development. We summarize the experiences from a first experimental development. Based on these experiences, we discuss a number of technical issues; in particular, problems connected to metrics based on fault reports. First of all, what is a fault? Secondly, how should the fault counting be integrated in the development process? Thirdly, any reasonable definition of fault depends on a notion of satisfaction. Hence, we must address the question: What does it mean for a specification or an implementation to satisfy a requirement imposed by a more high-level specification? (author)

Development of a methodology of evaluation of financial stability of commercial banks

Directory of Open Access Journals (Sweden)

Brauers Willem Karel M.

2014-01-01

Full Text Available The field of evaluation of financial stability of commercial banks, which emanates from persistent existence of financial crisis, induces interest of researchers for over a century. The span of prevailing methodologies stretches from over-simplified risk-return approaches to ones comprising large number of economic variables on the micro- and/or macro-economic level. Methodologies of rating agencies and current methodologies reviewed and applied by the ECB are not intended for reducing information asymmetry in the market of commercial banks. In the paper it is shown that the Lithuanian financial system is bankbased with deposits of households being its primary sources, and its stability is primarily depending on behavior of depositors. A methodology of evaluation of commercial banks with features of decreasing information asymmetry in the market of commercial banks is being developed by comparing different MCDA methods.

METHODOLOGICAL BASES OF PUBLIC ADMINISTRATION OF PUBLIC DEVELOPMENT IN UKRAINE

Directory of Open Access Journals (Sweden)

Kyrylo Ohdanskyi

2016-11-01

Full Text Available An author in the article examines theoretical bases in the question of dynamics of community development. According to classic canons a dynamic process on any of levels of management hierarchy can be presented as a complex of changes of its ecological, economic and social components. For today, national politics in the field of realization of conception of community development does not take into account most theoretical works, which testify that in our country the mechanism of its effective adjusting is not yet created. In connection to this the author of the article accents the attention on the necessity of the use in modern Ukraine realities of the effective approaches to government control of community development. As the subject of research of the article the author chose the analysis of process of community development and methodological bases for the choice of variants for a management by this process. System approach is chosen by author as a research methodology. The aim. Analysis of theoretical bases and developing of the new approaches to the government administration of community development. An author divides the process of community development by constituents: social, economic and ecological components. From the indicated warning it is necessary to take into account the objective necessity of developing of the new conceptual approaches to the elaboration of tool of adjusting of community development. For the decision of this task the author of the article it is suggested to use the category “dynamics”. An author in the article does the analysis of different interpretations of term “dynamics”and offers his own interpretation in the context of community development. Our researches confirm that, mainly, it is methodologically possible to form the blocks of quantitative and quality factors of specific different information of ecological, economic and social character. Author’s researches confirm that it is methodologically

The status of proliferation resistance evaluation methodology development in GEN IV international forum

International Nuclear Information System (INIS)

Inoue, Naoko; Kawakubo, Yoko; Seya, Michio; Suzuki, Mitsutoshi; Kuno, Yusuke; Senzaki, Masao

2010-01-01

The Generation IV Nuclear Energy Systems International Forum (GIF) Proliferation Resistance and Physical Protection Working Group (PR and PP WG) was established in December 2002 in order to develop the PR and PP evaluation methodology for GEN IV nuclear energy systems. The methodology has been studied and established by international consensus. The PR and PP WG activities include development of the measures and metrics; establishment of the framework of PR and PP evaluation, the demonstration study using Example Sodium Fast Reactor (ESFR), which included the development of three evaluation approaches; the Case Study using ESFR and four kinds of threat scenarios; the joint study with GIF System Steering Committees (SSCs) of the six reactor design concepts; and the harmonization study with the IAEA's International Project on Innovative Nuclear Reactors and Fuel Cycles (INPRO). This paper reviews the status of GIF PR and PP studies and identifies the challenges and directions for applying the methodology to evaluate future nuclear energy systems in Japan. (author)

Development of the fire PSA methodology and the fire analysis computer code system

International Nuclear Information System (INIS)

Katsunori, Ogura; Tomomichi, Ito; Tsuyoshi, Uchida; Yusuke, Kasagawa

2009-01-01

Fire PSA methodology has been developed and was applied to NPPs in Japan for power operation and LPSD states. CDFs of preliminary fire PSA for power operation were the higher than that of internal events. Fire propagation analysis code system (CFAST/FDS Network) was being developed and verified thru OECD-PRISME Project. Extension of the scope for LPSD state is planned to figure out the risk level. In order to figure out the fire risk level precisely, the enhancement of the methodology is planned. Verification and validation of phenomenological fire propagation analysis code (CFAST/FDS Network) in the context of Fire PSA. Enhancement of the methodology such as an application of 'Electric Circuit Analysis' in NUREG/CR-6850 and related tests in order to quantify the hot-short effect precisely. Development of seismic-induced fire PSA method being integration of existing seismic PSA and fire PSA methods is ongoing. Fire PSA will be applied to review the validity of fire prevention and mitigation measures

The Methodology of the Process of Formation of Innovation Management of Enterprises’ Development

Directory of Open Access Journals (Sweden)

Prokhorova Viktoriia V.

2017-12-01

Full Text Available The article is aimed at forming the methodology of process of innovation management of enterprises’ development in modern conditions. A study on formation of the essence of methodology was carried out, the stages of development of methods and means of scientific cognition were analyzed. The basic components of formation of methodology of innovation management of development of enterprises have been defined, i.e.: methods, types, principles, components, systematized aggregate. The relations of empirical and theoretical methods of scientific cognition were considered and defined. It has been determined that the increase of the volume and scope of scientific views, as well as the deepening of scientific knowledge in the disclosure of laws and regularities of functioning of real natural and social world, lead to the objective fact that is the desire of scientists to analyze methods and means by which modern innovative knowledge and views in the enterprise management system can be acquired and formed.

Non-linear mixed effects modeling - from methodology and software development to driving implementation in drug development science.

Science.gov (United States)

Pillai, Goonaseelan Colin; Mentré, France; Steimer, Jean-Louis

2005-04-01

Few scientific contributions have made significant impact unless there was a champion who had the vision to see the potential for its use in seemingly disparate areas-and who then drove active implementation. In this paper, we present a historical summary of the development of non-linear mixed effects (NLME) modeling up to the more recent extensions of this statistical methodology. The paper places strong emphasis on the pivotal role played by Lewis B. Sheiner (1940-2004), who used this statistical methodology to elucidate solutions to real problems identified in clinical practice and in medical research and on how he drove implementation of the proposed solutions. A succinct overview of the evolution of the NLME modeling methodology is presented as well as ideas on how its expansion helped to provide guidance for a more scientific view of (model-based) drug development that reduces empiricism in favor of critical quantitative thinking and decision making.

Developing new methodology for nuclear power plants vulnerability assessment

International Nuclear Information System (INIS)

Kostadinov, Venceslav

2011-01-01

new methodology and solution methods for vulnerability assessment can help the overall national energy sector to identify and understand the terrorist threats to and vulnerabilities of its critical infrastructure. Moreover, adopted methodology could help national regulators and agencies to develop and implement a vulnerability awareness and education programs for their critical assets to enhance the security and a safe operation of the entire energy infrastructure. New methods can also assist nuclear power plants to develop, validate, and disseminate assessment and surveys of new efficient countermeasures. Consequently, concise description of developed new quantitative method and adapted new methodology for nuclear regulatory vulnerability assessment of nuclear power plants are presented.

Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures

OpenAIRE

Kofroň, Jan; Tumova, Jana

2017-01-01

These are the proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 22, 2017 in Uppsala (Sweden) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'17). The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling ...

Non-formal vocational education in Uganda : Practical empowerment through a workable alternative

NARCIS (Netherlands)

Blaak, Marit; Openjuru, George L.; Zeelen, Jacques

This article reflects on the potential of non-formal vocational education in Uganda to improve the quality of life of those excluded from formal education. Based on an exploration of humanizing development theorists Sen. Freire and Nyerere, together with two case studies, practical empowerment is

Formalizing the concept of sound.

Energy Technology Data Exchange (ETDEWEB)

Kaper, H. G.; Tipei, S.

1999-08-03

The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

Formal Analysis of Domain Models

National Research Council Canada - National Science Library

Bharadwaj, Ramesh

2002-01-01

Recently, there has been a great deal of interest in the application of formal methods, in particular, precise formal notations and automatic analysis tools for the creation and analysis of requirements specifications (i.e...

Study on formalism of Griffin-Wheeler-Hartree-Fock equations and a propose for its variational discretization

International Nuclear Information System (INIS)

Barbosa, Rugles Cesar

2002-01-01

The present thesis is divided into two parts. The first part describes the many kind of the formalisms of the Generator Coordinate Hartree-Fock method (GCHFM) and second part describes the computational aspect applied to the GCHFM formalism in its discreet form. The major aim of this work is the development of an alternative method to non-linear parameters optimization (basis set) and later uses these optimized parameters to adjust the weight function into GCHFM method. The study of the weight function when N → ∞ (or for large N), where N represents the number of mesh, is important since the GCHFM theory in its continuous form depend on understanding of such behavior. In this thesis, a detailed study is carried out about the methodologies of the self-consistent solution of the GCHFM and some methodology aspects of non-linear parameters optimization. This work shows that the Generator Coordinate Hartree-Fock method is general and it has as particular case the Hartree-Fock Roothaan method. Some possible variations or combinations around of the characteristics of the GCHFM and a comparison with conventional SCF procedure are reported in this thesis. The piecewise weight function method developed in this work shows to be very good for collective parameter optimizations of the Generator Coordinate (GC). The GCHFM calculations are necessary restrict (GCM-RHF), especially when the calculated value energies approach of its numerical values or Hartree-Fock limit. In the optimization methods of state functions for atomic electronic systems is very common the application of the gradient method and its efficacy is not contested. However, the method describes above allow us to obtain results as good as the gradient method. The basis set generated using the piecewise weight function method for Gaussian type function were used in the Restrict Hartree-Fock (RHF) calculations to obtain the total energies for some atomic electronic systems, such as neutron atoms and ions in

Project Management Effectiveness: the choice - formal or informal controls

Directory of Open Access Journals (Sweden)

Jon Heales

2007-12-01

Full Text Available Development failures and runaway projects in the information systems (IS area can result in substantial losses to organizations, either financially or to a company’s reputation. One important strategy in mitigating risk is the use of effective controls over IS projects. This research investigates the effectiveness of control mechanisms in IS projects, i.e., how they have been established, applied, and how they have evolved throughout the project. We conducted an in-depth study of six information systems projects with six different project managers. We found that formal controls were adopted on project elements with clearly defined project outcomes and informal controls were adopted mainly on project elements that were unclear and often related to people. Furthermore, formal controls were dominant at project initiation and in most cases these controls became less dominant over the project duration. These formal controls were more rigorously applied in external IS projects while informal controls increased in importance throughout the project duration in internally developed projects. We found the existence of informal controls to be very important in helping ensure successful project outcomes.

Development of probabilistic assessment methodology for geologic disposal of radioactive wastes

International Nuclear Information System (INIS)

Kimura, H.; Takahashi, T.

1998-01-01

The probabilistic assessment methodology is essential to evaluate uncertainties of long-term radiological consequences associated with geologic disposal of radioactive wastes. We have developed a probabilistic assessment methodology to estimate the influences of parameter uncertainties/variabilities. An exposure scenario considered here is based on a groundwater migration scenario. A computer code system GSRW-PSA thus developed is based on a non site-specific model, and consists of a set of sub modules for sampling of model parameters, calculating the release of radionuclides from engineered barriers, calculating the transport of radionuclides through the geosphere, calculating radiation exposures of the public, and calculating the statistical values relating the uncertainties and sensitivities. The results of uncertainty analyses for α-nuclides quantitatively indicate that natural uranium ( 238 U) concentration is suitable for an alternative safety indicator of long-lived radioactive waste disposal, because the estimated range of individual dose equivalent due to 238 U decay chain is narrower that that due to other decay chain ( 237 Np decay chain). It is internationally necessary to have detailed discussion on the PDF of model parameters and the PSA methodology to evaluated the uncertainties due to conceptual models and scenarios. (author)

Progress in the development of methodology for fusion safety systems studies

International Nuclear Information System (INIS)

Ho, S.K.; Cambi, G.; Ciattaglia, S.; Fujii-e, Y.; Seki, Y.

1994-01-01

The development of fusion safety systems-study methodology, including the aspects of schematic classification of overall fusion safety system, qualitative assessment of fusion system for identification of critical accident scenarios, quantitative analysis of accident consequences and risk for safety design evaluation, and system-level analysis of accident consequences and risk for design optimization, by a consortium of international efforts is presented. The potential application of this methodology into reactor design studies will facilitate the systematic assessment of safety performance of reactor designs and enhance the impacts of safety considerations on the selection of design configurations

Formal definition of coherency and computation of minimal cut sequences for binary dynamic and repairable systems

International Nuclear Information System (INIS)

Chaux, Pierre-Yves

2013-01-01

Preventive risk assessment of a complex system rely on a dynamic models which describe the link between the system failure and the scenarios of failure and repair events from its components. The qualitative analyses of a binary dynamic and repairable system is aiming at computing and analyse the scenarios that lead to the system failure. Since such systems describe a large set of those, only the most representative ones, called Minimal Cut Sequences (MCS), are of interest for the safety engineer. The lack of a formal definition for the MCS has generated multiple definitions either specific to a given model (and thus not generic) or informal. This work proposes i) a formal framework and definition for the MCS while staying independent of the reliability model used, ii) the methodology to compute them using property extracted from their formal definition, iii) an extension of the formal framework for multi-states components in order to perform the qualitative analyses of Boolean logic Driven Markov Processes (BDMP) models. Under the hypothesis that the scenarios implicitly described by any reliability model can always be represented by a finite automaton, this work is defining the coherency for dynamic and repairable systems as the way to give a minimal representation of all scenarios that are leading to the system failure. (author)

Effectiveness of Non-Formal Education Programs in Nigeria: How Competent Are the Learners in Life Skills?

Science.gov (United States)

Adewale, J. Gbenga

2009-01-01

In order to achieve the Millennium Development Goals (MDGs), Nigeria adopts both formal and non-formal approaches to provide basic education for its citizenry. Thus, to determine the effectiveness of the non-formal approach in providing basic education in Nigeria, this study examines the competency level of Nigerian non-formal education learners…

Applying of component system development in object methodology

Directory of Open Access Journals (Sweden)

Milan Mišovič

2013-01-01

software system and referred to as software alliance.In both of these mentioned publications there is delivered ​​deep philosophy of relevant issues relating to SWC / SWA as creating copies of components (cloning, the establishment and destruction of components at software run-time (dynamic reconfiguration, cooperation of autonomous components, programmable management of components interface in depending on internal components functionality and customer requirements (functionality, security, versioning.Nevertheless, even today we can meet numerous cases of SWC / SWA existence, with a highly developed architecture that is accepting vast majority of these requests. On the other hand, in the development practice of component-based systems with a dynamic architecture (i.e. architecture with dynamic reconfiguration, and finally with a mobile architecture (i.e. architecture with dynamic component mobility confirms the inadequacy of the design methods contained in UML 2.0. It proves especially the dissertation thesis (Rych, Weis, 2008. Software Engineering currently has two different approaches to systems SWC / SWA. The first approach is known as component-oriented software development CBD (Component based Development. According to (Szyper, 2002 that is a collection of CBD methodologies that are heavily focused on the setting up and software components re-usability within the architecture. Although CBD does not show high theoretical approach, nevertheless, it is classified under the general evolution of SDP (Software Development Process, see (Sommer, 2010 as one of its two dominant directions.From a structural point of view, a software system consists of self-contained, interoperable architectural units – components based on well-defined interfaces. Classical procedural object-oriented methodologies significantly do not use the component meta-models, based on which the target component systems are formed, then. Component meta-models describe the syntax, semantics of

General relativistic variation formalism for a probe particle with momenta

Energy Technology Data Exchange (ETDEWEB)

Minkevich, A V; Sokol' skii, A A [Belorusskij Gosudarstvennyj Univ., Minsk

1975-01-01

On the basis of a model of an oriental particle a variational formalism was developed for a rotating test particle having momenta and moving in inhomogeneous space-time: the Lagrange equations for translational and rotational motion were obtained, and a metric pulse energy tensor was found. The formalism applies to a charged rotating particle with an electrical and a magnetic moment and a rotating particle in space with curvature and torsion.

Contracting Selection for the Development of the Range Rule Risk Methodology

National Research Council Canada - National Science Library

1997-01-01

...-Effectiveness Risk Tool and contractor selection for the development of the Range Rule Risk Methodology. The audit objective was to determine whether the Government appropriately used the Ordnance and Explosives Cost-Effectiveness Risk Tool...

An automated methodology development. [software design for combat simulation

Science.gov (United States)

Hawley, L. R.

1985-01-01

The design methodology employed in testing the applicability of Ada in large-scale combat simulations is described. Ada was considered as a substitute for FORTRAN to lower life cycle costs and ease the program development efforts. An object-oriented approach was taken, which featured definitions of military targets, the capability of manipulating their condition in real-time, and one-to-one correlation between the object states and real world states. The simulation design process was automated by the problem statement language (PSL)/problem statement analyzer (PSA). The PSL/PSA system accessed the problem data base directly to enhance the code efficiency by, e.g., eliminating non-used subroutines, and provided for automated report generation, besides allowing for functional and interface descriptions. The ways in which the methodology satisfied the responsiveness, reliability, transportability, modifiability, timeliness and efficiency goals are discussed.

Environmental restoration risk-based prioritization work package planning and risk ranking methodology. Revision 2

International Nuclear Information System (INIS)

Dail, J.L.; Nanstad, L.D.; White, R.K.

1995-06-01

This document presents the risk-based prioritization methodology developed to evaluate and rank Environmental Restoration (ER) work packages at the five US Department of Energy, Oak Ridge Field Office (DOE-ORO) sites [i.e., Oak Ridge K-25 Site (K-25), Portsmouth Gaseous Diffusion Plant (PORTS), Paducah Gaseous Diffusion Plant (PGDP), Oak Ridge National Laboratory (ORNL), and the Oak Ridge Y-12 Plant (Y-12)], the ER Off-site Program, and Central ER. This prioritization methodology was developed to support the increased rigor and formality of work planning in the overall conduct of operations within the DOE-ORO ER Program. Prioritization is conducted as an integral component of the fiscal ER funding cycle to establish program budget priorities. The purpose of the ER risk-based prioritization methodology is to provide ER management with the tools and processes needed to evaluate, compare, prioritize, and justify fiscal budget decisions for a diverse set of remedial action, decontamination and decommissioning, and waste management activities. The methodology provides the ER Program with a framework for (1) organizing information about identified DOE-ORO environmental problems, (2) generating qualitative assessments of the long- and short-term risks posed by DOE-ORO environmental problems, and (3) evaluating the benefits associated with candidate work packages designed to reduce those risks. Prioritization is conducted to rank ER work packages on the basis of the overall value (e.g., risk reduction, stakeholder confidence) each package provides to the ER Program. Application of the methodology yields individual work package ''scores'' and rankings that are used to develop fiscal budget requests. This document presents the technical basis for the decision support tools and process

49 CFR 1109.4 - Mandatory mediation in rate cases to be considered under the stand-alone cost methodology.

Science.gov (United States)

2010-10-01

... 49 Transportation 8 2010-10-01 2010-10-01 false Mandatory mediation in rate cases to be considered... § 1109.4 Mandatory mediation in rate cases to be considered under the stand-alone cost methodology. (a) A... methodology must engage in non-binding mediation of its dispute with the railroad upon filing a formal...

Development of a new methodology for quantifying nuclear safety culture

International Nuclear Information System (INIS)

Han, Kiyoon; Jae, Moosung

2017-01-01

The present study developed a Safety Culture Impact Assessment Model (SCIAM) which consists of a safety culture assessment methodology and a safety culture impact quantification methodology. The SCIAM uses a safety culture impact index (SCII) to monitor the status of safety culture of NPPs periodically and it uses relative core damage frequency (RCDF) to present the impact of safety culture on the safety of NPPs. As a result of applying the SCIAM to the reference plant (Kori 3), the standard for the healthy safety culture of the reference plant is suggested. SCIAM might contribute to improve the safety of NPPs (Nuclear Power Plants) by monitoring the status of safety culture periodically and presenting the standard of healthy safety culture.

Development of a new methodology for quantifying nuclear safety culture