|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
The Czech Republic as a signatory of the Convention on the Rights of the Child has vested the practice of state administration in the field of care for minor children to municipalities with extended powers, where the protection of the rights and legitimate interests of minor children is safeguarded by state authorities of social and legal protection of children (ASLPC hereinafter). These authorities are incorporated to the extent laid down by the Act on Social and Legal Protection of Children (Act No 359/1999 Coll., as amended). The position and roles of ASLPC and their competence and jurisdiction are also regulated by the same act. The position of workers of these authorities and its legal embodiment is equally important. Regarding professionality, there are high demands on these workers. In the Czech Republic, significant changes in legislature have been made over the past three years. These amendments have led to the strengthening of the rights of minor children and to the establishing of new tools for their protection. In connection with the adoption of new substantive regulation of family law, which is now exhaustively dealt with by the Act No 89/2012 Coll., the Civil Code, new procedural rules have been established regarding protection of rights of minor children. Such procedural legislation includes (apart from the long-existent Act No. 99/1963, the Code of Civil Procedure) the Act No 292/2013 Coll., on Special Civil Proceedings. The decision-making regarding minor children has been vested mainly by the state into the competence of courts. The courts appoint the locally relevant ASLPC as a guardian who then represents the interests of minor children. The purpose, interwoven with and derived from the first one, was to explore the opinions of selected social workers of ASLPC and of district court judges regarding the defined problems occurring during the work of ASLPCs and courts while protecting the interests of minor children. These particularly include: the use of the tool of precautionary measure; problems of different territorial jurisdiction of courts and ASLPCs; processing of complaints regarding bias in various phases of the proceedings; professional training of workers of ASLPC It is evident from the proposals of both judges and ASLPC workers that it is necessary to unify territorial jurisdiction. The courts are suggesting the priority criterion of the address where the child mainly resides. ASLPC workers suggest the official permanent residence as the prime criterion. Bias causes problems in all phases of proceedings. It is obvious that courts take differing approaches towards the solution of this problem (some courts solve the problem of bias complaints filed by the parties while other courts do not) and for ASLPC workers it is difficult to assess how to act when such complaint is raised against them. The training of ASLPC workers - workers are obliged to educate themselves and their employer is obliged to finance such training. Not all ASLPCs are able to provide training in the required extent - due to financial reasons (the average costs of education of one employee pose from 9,169 to 13,400 CZK annually and they cover approximately 6 days of training). The heavy work-load caused by insufficient numbers of ASLPC employees prevents them from completing such compulsory training. As part of the examination of the "participation of a collision guardian in court proceedings" it has been found out that irregular participation of the worker in the proceedings (absence from participation in appeals proceedings); incomplete reports (directed to courts) from surveys in families. Based on comprehensive examination of the problems of territorial jurisdiction, it was recommended that requests are independently recorded and financial compensation is provided for ASLPCs who are requested to represent minors in front of courts, to draft proposals for precautionary measures.
|
|
Online Subject Searching of Dissertations
Bratková, Eva
This paper evaluates searching for doctoral dissertations by topic in various online systems. The situation in the Czech Republic is introduced, including the problems involved in completing successful topical searches for dissertations – is it possible to find all relevant materials, or is it sufficient just to find something? The Czech situation is then compared with how systems abroad, particularly in the United States, are being implemented with new access routes for dissertations in the form of linked open data, in which controlled vocabularies of subject terms figure prominently. The paper also discusses how selected European systems whose dissertations are already presented in the WorldCat database will cope with a challenge: “... Over time, these references [for topic entities] will be replaced with persistent URIs to... Linked Data resources”?
Fulltext: idr-1034_3 -  PDF; idr-1034_4 - PDF
Slides: idr-1034_1 - PDF; idr-1034_2 - PDF
Video: idr-1034_5 -  MP4
|
|
Improving labour productivity: How to determine standard time for performing specific tasks in the selected organization
BARTOŠKOVÁ, Martina
This bachelor thesis focuses on the standard time needed for specific tasks in the selected organization, as well as on the appropriate methods for its determination. The findings serve as a basis for the formulation of measures which should be taken to improve labour productivity. The methods include the standardization of tasks, time study and computer-based data analysis (Microsoft Excel spreadsheets). The theoretical part of the paper discusses the nature of job production, the methods appropriate for the calculation of standard production time and the ways to ensure efficient work and time management in the given factory. Apart from these, a complete description (history, facility layout, pre-production and production stages, machines and materials) of the selected organization is provided to serve as a background for the case study presented in the practical part. This includes the list of production tasks, production time tables and time standards along with materials necessary to facilitate production. The aim of the thesis is to help the organization improve its labour productivity and provide it with the algorithm which can be used to determine production time for similar orders.
|
|
Business Plan of a Small Enterprise Providing Services
BOČANOVÁ, Eliška
This bachelor thesis is dedicated to develop a business plan for the establishment and the development of small enterprise providing services in the fashion industry. The thesis is divided into two parts the theoretical part and the practical part. The theoretical part involves the basic terminology about business. It defines structure, contents and the principles of building development a business plan too. The practical part is completely prepared business plan for enterprise start-up. It is focused on the market analysis dealing with internal and external environment of the company, such as Porter five forces analysis and analysis of strenghts and weaknesses. Then a financial plan with initial costs, anticipated revenues and from the default operating result follows. The practical part includes opening balance sheet of corporate assets and liabilities. This business plan can eventually serve as a basic for real setting up a business.
|
|
Work in social integration process of adults with intellectual disability.
SVITÁKOVÁ, Iveta
In my bachelor thesis, I dealt with the use of work activities in the process of social integration of adults with mental disabilities, the aim was to create, implement and evaluate regular work activities intended to a specific group of adults with mental disability and focused primarily on the development of social integration. The thesis is structured into six chapters. The first of them is focused on the definition of mental disability, characteristic of adulthood as an important developmental period in human life, and on adulthood of individuals with mental disabilities with a goal to find and identify the specifics that were needed to be taken into account when working with this target group of people. The following section is devoted to the social integration, its determinants and the environment in which it operates. I continued with the outputs in the third chapter, where I focused on key competencies, which them are the necessary basis for social integration, especially social and personal skills and communication skills, necessary basis. Targeted professional development can be realized through educational activities, but has to respect the specificities of the participants and voluntary participation. Both of these assumptions can be fulfilled within the leisure education using adequate pedagogical methods. For this reason, I decided to focus my attention on these areas at the end of the chapter. The fourth chapter is devoted to work and work activities, namely the definition of concepts, their characteristics and importance and role of work activities in human life, or a person with mental disability. Based on all acquired theoretical knowledge and using previous experience with the target group in the fifth chapter, I designed a specific training program based on the work and activities focused on the development of selected key competences. The educational program volunteered four participants, but I have decided to follow the development of competencies of three participants because one participant attended the program very irregularly. The program has been implemented three times a week, two and a half hours for seven months (from October 2015 to May 2016) in the premises of the training centre Mo-zai-ka. At the beginning of the realisation of the created educational program, the participants agreed that we will adhere and develop good habits necessary for good relations within the group and the results of the work. On a basis of the individual characteristics of the participants, I prepared the work, which should also contribute to the development of social and personal and interpersonal skills. I have continuously monitored and recorded them. During the implementation of the program, I put emphasis on repetition, patient negotiations with participants and creating a friendly atmosphere. After completing the training program, I evaluated the development of competencies in three selected participants. On that basis, I concluded that the biggest change was in the communicative competence. I also experienced a change in social and personal competencies, however, results varied widely among individual participants. Yet, I believe that the goal of the thesis was achieved. These results show that education in leisure time, based on work activities may lead to the development of social and personal and interpersonal skills that are for adults with mental disabilities necessary in the process of social integration. This thesis can be an interesting source of inspiration for the realisation of similar programs aimed at social integration of persons with mental disabilities.
|
|
Role of the nurse in screening for depression in the elderly.
VRZALOVÁ, Monika
The diploma thesis deals with problems of depression in older people. Mainly the work is focused on identifying and analyzing the role of nurses in screening for depression in older people in primary care, acute care, long-term care and home care. This thesis was focused on theoretical direction and was used the method of design and demonstration. In this thesis was set one main goals with five research questions. The main goal was to identify and analyze the role of nurses in screening for depression in the elderly. RQ 1: What is the role of the nurse in screening for depression in the elderly? RQ 2: What is the role of the nurse in the primary care in screening for depression in the elderly? RQ 3: What is the role of the nurse in screening for depression in hospitalized patients in acute care? RQ 4: What is the role of the nurse in screening for depression in seniors in long-term and home care? RQ 5: What rating scales and methods are used in screening for depression in the elderly? The thesis introduce the concept of depression. The following are specified the causes of and the important factors that affect depression in the elderly. It also deals the differences in the clinical symptomatology of depression in old age. It explains possibilities and various barriers in the diagnosis of depression. Another chapter introduces complete geriatric examination, diagnostic classification systems, possible screening methods and scales for detection of depression in the elderly population. It also deals methods of pharmacological and non-pharmacological treatment and its possible complications associated with older age. By reason of increased suicide rate caused by depressive disorder the issue of suicidal behavior in the elderly is introduced. The next chapter deals with the nursing process, which is used by nurses in practice. It consists of the evaluation of the patient's health condition, making nursing diagnosis, creating nursing plan and subsequent implementation and evaluation. The nursing process is also needy for providing quality care. The nursing process in the stage of nursing diagnosis, introduces possible nursing diagnosis for a patient suffering from depression, which are based on the latest classification. Finally is described the role of nurses in screening for depression in the elderly in different health facilities and their contribution to the timely evaluation of depression in the elderly. This chapter introduces the role of nurses, nursing screening and collaboration with a physician. The role of nurses in screening for depression in different medical facilities is based on the first phase of the nursing process of assessment. On the basis of objective and subjective information, the nurse will assess the overall health and mental condition of the patient. Primarily, it was investigated what is the role of the nurse in screening for depression. On the basis of content analysis and synthesis it was necessary to used and processed domestic and foreign literature. A number of relevant sources are the results of various studies and Meta-analyzes, mostly from abroad, but also from the Czech Republic. The thesis can serve as a basis for nurses. The result of this thesis is to create e-learning material available for students in the Faculty of Health and Social Sciences of South Bohemia in Ceske Budejovice in the tutorial called Moodle.
|
|
The role of nurses and their impact on the care of patients with total hip arthroplasty.
SLABÁKOVÁ, Květoslava
Total hip replacement is one of the most extensively and highly effective operating methods in orthopaedics. The patients are brought back the self-sufficiency, life without the pain and noticeably motion restriction. Irreplaceable function here is a role of the nurse, who helps the patient to return back to his common life...The aim of this work was to find out, how the patients feel the role of the nurse and its influence to given nursing care before and after the total hip replacement as the less fulfilled. There were following research questions set: How the patients feel the role of the nurse before and after the total hip replacement? How the patients before and after the total hip replacement feel the interpretation of the nurse roles? How the patients before and after the total hip replacement feel the role of the nurse and its influence to given nursing care. Which of the nurse roles are felt by the patient as the unsatisfactory in postoperative care? The patients before and after the total hip replacement feel through the everyday nurse activities the nurse in her role of the caregiver and education giving person, following the nurse vindicator and the nurse bearer of changes. The patients feel the care thanks these roles as a quality, holistic and continual. Nevertheless was the role of the education giving named as the least fulfilled. In connection with these research results was created a manual, a Guide book for the patients before and after the total hip replacement. This Guide book was given to testing purposes. This Guide book was appreciated by the patients very positive despite a large amount of information, which were surprising for many of them. We gained some data, which gave the impulse to complete the information in the Guide.The created Guide book can´t replace the effective communication of the patient with the medical staff, which could be always the most suitable "source" of information.
|
|
The need for security and safety in connection with a planned surgery with the patient's perspective and nurses
BOHDALOVÁ, Jaroslava
A planned operation performance always affects patient´s needs for assurance and safety. It is important to provide necessary information connected with the planned operation performance itself so that the patient can feel assure and safe. The key role for the patient and her/his needs for assurance and safety is in general nurse´s hands because she is the closest person to the patient and can help to inspire her/his needs for assurance and safety with konfidence best through the aid of her knowledge and skills that she should have as well as through the aid of her attitudes. The target of the thesis was to find out how a planned operation performance affects patient´s needs for assurance and safety and how a general nurse inspires patient´s needs for assurance and safety connected with a planned operation performance with confidence. The following research questions were stated: How does a planned operation performance affect patient´s needs for assurance and safety? How does a general nurse affect patient´s needs for assurance and safety connected with a planned operation performance to inspire her/him with confidence? What is insufficient in filling patient´s needs for assurance and safety before a planned operation performance? How can a general nurse help a patient control her/his fear and state of anxiety related to a planned operation performance? The method qualitative research with the use of depth interview was used to figure out the investigation. The respondents were willing to record the interview which were verbally rewritten and then subjected to the contents analysis by the method paper and pencil. From the research it is clear that a planned operation performance affects patient´s needs for assurance and safety in a negative way disregarding to her/his previous experience. Patient´s worries and negative feelings can be eliminated by a general nurse who treats her/him as equal, taking up an individual approach, informing her/him about all performances and proceedings, having a calming and welcoming way of communication, using empathy and listening as well as trying to meet patient´s wishes according to her possibilities. The research reveals the advantage of patients´ readiness for planned operation performances. Patients can learn it in the framework of educational proceeding in the out-patients´ department at the same time when they learn that they are going to be operated. The research also shows that general nurses do not have enough knowledge in the sphere of therapeutical communication. The results indicate that it would be suitable to start educating patients as soon as it is known how their disease will be solved and treated in order to reduce the negative impact of surgical treatment to patients´ needs for assurance and safety. General nurses should complete their knowledge and skills to be able to help patients to cope with their difficult life-situation. On the basis of the research investigation and after the consultation with the senior nursing officer, the training course will be organized. The topic of the training course will concentrate on communication with patients before planned operation performances with a view to therapeutical communications and therapeutical interviews. Other discovered facts, for example, the lack of information provided to patients and possibilities regarding better patients´ readiness for planned operation performances will surely be solved by the hospital management.
|
guest ::
