913 resultados para DoS-resistant Protocol, SSL and HIP Model in CPN, CPN Simulation and Verification
Resumo:
In 2013-15 there was a new type of post graduate training elaborated and piloted in Hungary at the Institute of Executive Training and Continuing Education (VTKI) within the National University of Public Service (NKE). Although the pilot financed by the State Administration Reform Operative Program (ÁROP) had not lacked the previously established attempts to include interactivity in the training, it was the first to observe and apply the actual principles of the European Union 2020 expressed in the threefold criteria of economic growth: smartness, sustainability and inclusiveness. All of them are represented by a pillar of the program like e-learning, class training and field training with the inclusion of local society. According to the objectives of the program there were at least 10 thousand attendees from the civil service sphere set as project indicators, so it has been a large scale training program that took place in 2014 in Hungary. The following article shows the innovations included in this new approach model of post graduate training civil servants.
Resumo:
This study examined Kirkpatrick’s training evaluation model (Kirkpatrick & Kirkpatrick, 2006) by assessing a sales training program conducted at an organization in the hospitality industry. The study assessed the employees’ training outcomes of knowledge and skills, job performance, and the impact of the training upon the organization. By assessing these training outcomes and their relationships, the study demonstrated whether Kirkpatrick’s theories are supported and the lower evaluation levels can be used to predict organizational impact. The population for this study was a group of reservations sales agents from a leading luxury hotel chain’s reservations center. During the study period from January 2005 to May 2007, there were 335 reservations sales agents employed in this Global Reservations Center (GRC). The number of reservations sales agents who had completed a sales training program/intervention during this period and had data available for at least two months pre and post training composed the sample for this study. The number of agents was 69 ( N = 69). Four hypotheses were tested through paired-samples t tests, correlation, and hierarchical regression analytic procedures. Results from the analyses supported the hypotheses in this study. The significant improvement in the call score supported hypothesis one that the reservations sales agents who completed the training improved their knowledge of content and required skills in handling calls (Level 2). Hypothesis two was accepted in part as there was significant improvement in call conversion, but there was no significant improvement of time usage. The significant improvement in the sales per call supported hypothesis three that the reservations agents who completed the training contributed to increased organizational impact (Level 4), i.e., made significantly more sales. Last, findings supported hypothesis four that Level 2 and Level 3 variables can be used for predicting Level 4 organizational impact. The findings supported the theory of Kirkpatrick’s evaluation model that in order to expect organizational results, a positive change in behavior (job performance) and learning must occur. The examinations of Levels 2 and 3 helped to partially explain and predict Level 4 results.
Resumo:
The purpose of this paper is to describe and discuss the current bankruptcy prediction models. This is done in the context of pros and cons of proposed models to determine the appropriate factors of failure phenomenon in cases involving restaurants that have filed for bankruptcy under Chapter 11. A sample of 11 restaurant companies that filed for bankruptcy between 1993 and 2003 were identified from the Form 8-K reported to the Securities and Exchange Commission (SEC). By applying financial ratios retrieved from the annual reports which contain, income statements, balance sheets, statements of cash flows, and statements of stockholders’ equity (or deficit) to the Atlman’s mode, Springate model, and Fulmer’s model. The study found that Atlman’s model for the non-manufacturing industry provided the most accurate bankruptcy predictions.
Resumo:
Discussion moderated by CRI visiting scholar Noram Gamez Torres discussing the future of Cuban hip-hop, its racial politics, and the impact that the cultural exchange policy has had on these rappers and their music. Includes performances and discussion by artists Aldo Baquero (Los Aldeanos), Raudel Collazo (Escuadr6n Patriota), David Escalona (Omni Zona Franca), and Silvio Rodriguez (Silvito "EI Libre").
Resumo:
The business model of an organization is an important strategic tool for its success, and should therefore be understood by business professionals and information technology professionals. By this context and considering the importance of information technology in contemporary business models, this article aims to verify the use of the business model components in the information technology (IT) projects management process in enterprises. To achieve this goal, this exploratory research has investigated the use of the Business Model concept in the information technology projects management, by a survey applied to 327 professionals from February to April 2012. It was observed that the business model concept, as well as its practices or its blocks, are not so well explored in its whole potential, possibly because it is relatively new. One of the benefits of this conceptual tool is to provide an understanding in terms of the core business for different areas, enabling a higher level of knowledge in terms of the essential activities of the enterprise IT professionals and the business area.
Resumo:
Since 2000, a problem-solving model has been taught to the Society for Protecting the Rights of the Child, and teachers and students of social work in two universities in Iran. Since 2006, with the initiation of UNICEF, social workers, psychologists and even some psychiatrists in Iran have been learning this model. In 2008, a group of researchers created an empowerment-oriented psycho-social group and private intervention project to assess whether a group of Iranian single mothers could use this model, which was traditionally used by professionals only, to effectively and independently meet challenges in their own lives. Our results show that all women used the model effectively and, consequently, made more deliberate decisions to improve their life situations. Some of the women succeeded in finding a job and many improved their family relationships. This study suggests that empowerment-oriented social work can help many clients to achieve their goals, and that this psycho-social intervention project can be a useful model for social work in Iran and many other societies.
Resumo:
Background: Disseminate Basic Life Support (BLS) skills, through a peer-training programme, to high education health students (ESTeSL) and determine its effectiveness.
Resumo:
The percentage of elderly population is increasing and it is estimated that by 2050 30% of the population in developed countries will be over 65. Elderly often have multiple chronic diseases that require multiple medications.
Resumo:
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out which of these simulation techniques is the best one for modelling human reactive behaviour in the retail sector. In order to study the output accuracy in both models, we have carried out a validation experiment in which we compared the results from our simulation models to the performance of a real system. Our experiment was carried out using a large UK department store as a case study. We had to determine an efficient implementation of management policy in the store’s fitting room using DES and ABS. Overall, we have found that both simulation models were a good representation of the real system when modelling human reactive behaviour.
Resumo:
Conventional vehicles are creating pollution problems, global warming and the extinction of high density fuels. To address these problems, automotive companies and universities are researching on hybrid electric vehicles where two different power devices are used to propel a vehicle. This research studies the development and testing of a dynamic model for Prius 2010 Hybrid Synergy Drive (HSD), a power-split device. The device was modeled and integrated with a hybrid vehicle model. To add an electric only mode for vehicle propulsion, the hybrid synergy drive was modified by adding a clutch to carrier 1. The performance of the integrated vehicle model was tested with UDDS drive cycle using rule-based control strategy. The dSPACE Hardware-In-the-Loop (HIL) simulator was used for HIL simulation test. The HIL simulation result shows that the integration of developed HSD dynamic model with a hybrid vehicle model was successful. The HSD model was able to split power and isolate engine speed from vehicle speed in hybrid mode.
MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH
Resumo:
Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.
Resumo:
This work aims to provide a theoretical examination of three recently created bodies of the United Nations mandated to investigate the alleged international crimes committed in Syria (IIIM), Iraq (UNITAD) and Myanmar (IIMM). Established as a compromise solution in the paralysis of international criminal jurisdictions, these essentially overlapping entities have been depicted as a ‘new generation’ of UN investigative mechanisms. While non-judicial in nature, they depart indeed from traditional commissions of inquiry in several respects due to their increased criminal or ‘quasi-prosecutorial’ character. After clarifying their legal basis and different mandating authorities, a comparative institutional analysis is thus carried out in order to ascertain whether these ‘mechanisms’ can be said to effectively represent a new institutional model. Through an in-depth assessment of their mandates, the thesis is also intended to outline both the strengths and the criticalities of these organs. Given their aim to facilitate criminal proceedings by sharing information and case files, it is suggested that more attention shall be paid to the position of the person under investigation. To this end, some proposals are made in order to enhance the mechanisms’ frameworks, especially from the angle of procedural safeguards. As a third aspect, the cooperation with judicial authorities is explored, in order to shed light on the actors involved, the relevant legal instruments and the possible obstacles, in particular from a human rights perspective. Ultimately, drawing from the detected issues, the thesis seeks to identify some lessons learned which could be taken into account in case of creation of new ad hoc investigative mechanisms or of a permanent institution of this kind.
Resumo:
Context. Fossil systems are defined to be X- ray bright galaxy groups ( or clusters) with a two- magnitude difference between their two brightest galaxies within half the projected virial radius, and represent an interesting extreme of the population of galaxy agglomerations. However, the physical conditions and processes leading to their formation are still poorly constrained. Aims. We compare the outskirts of fossil systems with that of normal groups to understand whether environmental conditions play a significant role in their formation. We study the groups of galaxies in both, numerical simulations and observations. Methods. We use a variety of statistical tools including the spatial cross- correlation function and the local density parameter Delta(5) to probe differences in the density and structure of the environments of "" normal"" and "" fossil"" systems in the Millennium simulation. Results. We find that the number density of galaxies surrounding fossil systems evolves from greater than that observed around normal systems at z = 0.69, to lower than the normal systems by z = 0. Both fossil and normal systems exhibit an increment in their otherwise radially declining local density measure (Delta(5)) at distances of order 2.5 r(vir) from the system centre. We show that this increment is more noticeable for fossil systems than normal systems and demonstrate that this difference is linked to the earlier formation epoch of fossil groups. Despite the importance of the assembly time, we show that the environment is different for fossil and non- fossil systems with similar masses and formation times along their evolution. We also confirm that the physical characteristics identified in the Millennium simulation can also be detected in SDSS observations. Conclusions. Our results confirm the commonly held belief that fossil systems assembled earlier than normal systems but also show that the surroundings of fossil groups could be responsible for the formation of their large magnitude gap.