• Title/Summary/Keyword: Formal Methods

Search Result 522, Processing Time 0.022 seconds

Singular Representation and Finite Element Methods

  • 김석찬
    • Proceedings of the Korean Society of Computational and Applied Mathematics Conference
    • /
    • 2003.09a
    • /
    • pp.9-9
    • /
    • 2003
  • Let $\Omega$ be a bounded, open, and polygonal domain in $R^2$ with re-entrant corners. We consider the following Partial Differential Equations: $$(I-\nabla\nabla\cdot+\nabla^{\bot}\nabla\times)u\;=\;f\;in\;\Omega$$, $$n\cdotu\;0\;0\;on\;{\Gamma}_{N}$$, $${\nabla}{\times}u\;=\;0\;on\;{\Gamma}_{N}$$, $$\tau{\cdot}u\;=\;0\;on\;{\Gamma}_{D}$$, $$\nabla{\cdot}u\;=\;0\;on\;{\Gamma}_{D}$$ where the symbol $\nabla\cdot$ and $\nabla$ stand for the divergence and gradient operators, respectively; $f{\in}L^2(\Omega)^2$ is a given vector function, $\partial\Omega=\Gamma_{D}\cup\Gamma_{N}$ is the partition of the boundary of $\Omega$; nis the outward unit vector normal to the boundary and $\tau$represents the unit vector tangent to the boundary oriented counterclockwise. For simplicity, assume that both $\Gamma_{D}$ and $\Gamma_{N}$ are nonempty. Denote the curl operator in $R^2$ by $$\nabla\times\;=\;(-{\partial}_2,{\partial}_1$$ and its formal adjoint by $${\nabla}^{\bot}\;=\;({-{\partial}_1}^{{\partial}_2}$$ Consider a weak formulation(WF): Find $u\;\in\;V$ such that $$a(u,v):=(u,v)+(\nabla{\cdot}u,\nabla{\cdot}v)+(\nabla{\times}u,\nabla{\times}V)=(f,v),\;A\;v{\in}V$$. (2) We assume there is only one singular corner. There are many methods to deal with the domain singularities. We introduce them shortly and we suggest a new Finite Element Methods by using Singular representation for the solution.

  • PDF

Survey Study of Current Status of and Need for Mental Health Education Enhancing Protective Factors in the Elementary Schools (보건교사와 초등학교 고학년 학생을 대상으로 한 정신건강교육 실태 및 보호요인 강화 교육 요구도 조사)

  • Lee, Ji-Hyun;Park, Hyeoun-Ae
    • Research in Community and Public Health Nursing
    • /
    • v.27 no.1
    • /
    • pp.9-20
    • /
    • 2016
  • Purpose: The purpose of this study was to survey the current status of mental health education and need for mental health education enhancing protective factors in the elementary schools. Methods: We surveyed 10 school health teachers and 328 fifth- and sixth-grade students using 19- and 20-item questionnaires, respectively. Results: All of the teachers and 65.2% of the students replied that they were either teaching or being taught mental health in school. Topics covered suicide, depression, school violence, and Internet addiction. All of the teachers and 84.1% of the students expressed the need for mental health education enhancing protective factors in school. Both groups replied that two sessions are enough. The teachers preferred role play and discussion as teaching methods, and audiovisual materials and computer as instructional media. The students preferred lecture and role play as teaching methods, and audiovisual materials and smartphone as instructional media. Both groups ranked self-esteem, parent-child relationship, peer relationship, and emotional regulation as the most important topics to be covered in the education. Conclusion: There is a high demand for mental health education enhancing protective factors. Therefore, it is recommended to develop educational programs enhancing protective factors by enabling formal and informal learning using smartphone.

Estimation of Energetic and Charge Transfer Properties of Iridium(III) Bis(2-phenylpyridinato-N,C2')acetylacetonate by Electrochemical Methods

  • Cha, Joeun;Ko, Eun-Song;Shin, Ik-Soo
    • Journal of Electrochemical Science and Technology
    • /
    • v.8 no.2
    • /
    • pp.96-100
    • /
    • 2017
  • Iridium(III) bis(2-phenylpyridinato-$N,C^{2^{\prime}}$)acetylacetonate ($(ppy)_2Ir(acac)$), a green dopant used in organic light-emitting devices (OLEDs), was subjected to electrochemical characterization to estimate its formal oxidation potential ($E^{o^{\prime}}$), HOMO energy level ($E_{HOMO}$), electron transfer rate constant ($k^{o^{\prime}}$), and diffusion coefficient ($D_o$). The employed combination of voltammetric methods, i.e., cyclic voltammetry (CV), chronocoulometry (CC), and the Nicholson method, provided meaningful insights into the electron transfer kinetics of $(ppy)_2Ir(acac)$, allowing the determination of $k^{o^{\prime}}$ and $D_o$. The quasi-reversible oxidation of $(ppy)_2Ir(acac)$ furnished information on $E^{o^{\prime}}$ and $E_{HOMO}$, allowing the latter parameter to be easily estimated by electrochemical methods without relying on expensive and complex ultraviolet photoemission spectroscopic (UPS) measurements.

Freedom of contract in the digital age and its implementation in modern technologies: theory and practice

  • Davydova, Iryna;Bernaz-Lukavetska, Olena;Tokareva, Vira;Andriienko, Iryna;Tserkovna, Olena
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.12spc
    • /
    • pp.544-548
    • /
    • 2021
  • Scientific and technical development, as well as the emergence of new types of contracts, which do not have their expression in current legislation, force us to explore the issues of contract law to adapt to change. In this context, the principle of freedom of contract is fundamental, which states that each person has the right to enter into a contractual relationship at his discretion. However, such freedom is not absolute, because the freedom of one person should not violate the freedom of another. Together with the conflict of private and public interests, these phenomena are a field for the study of topical issues of theory and application of the principle of freedom of contract in practice. Research methods are philosophical, general scientific, and special scientific methods, in particular, system-structural, formal-legal, hermeneutic; methods of analysis, synthesis, etc. As a result of the research, the main characteristics of the principle of freedom of contract, its role for private law regulation of contract law are given; approaches to understanding the restriction of contract freedom are analyzed; typical examples and means of such restrictions are identified; demonstrated how contract freedom is embodied in the use of IT tools, which types of contracts are most common in the digital environment.

ENHANCING UTILIZATION OF BUILDINGS THROUGH INTEGRATED ANALYSIS OF SPACE, USER, AND USER ACTIVITY

  • Tae Wan Kim;Martin Fischer
    • International conference on construction engineering and project management
    • /
    • 2013.01a
    • /
    • pp.570-575
    • /
    • 2013
  • Enhancing utilization of buildings is gaining in importance in response to a challenging economy; thus, there is a need for a method that analyzes space, user, and user activity in an integrated way to provide project stakeholders with utilization information to support their decision-making about buildings. Conventional methods, such as architectural programming and post-occupancy evaluation, lack a formal relationship between user activity and other information, and therefore, are coarse-grained. This relationship has been formalized by two relatively new methods that provide fine-grained utilization information: workplace planning and space-use analysis. We characterize these two methods with focuses on their usage in different phases (i.e., planning, design, occupancy), required information that needs to be gathered, and the achievement and limitations in terms of three criteria, i.e., consistency, efficiency, and transparency. This characterization would not only help project stakeholders select and use a method that best meets their purposes for enhancing utilization of their buildings, but also provide researchers with promising research topics regarding enhancing utilization of buildings.

  • PDF

Methods of Merging a 3D Replica and Ease Distribution for Woman's Pant Patterns (여성용 바지 패턴 설계를 위한 3차원 밀착 패턴 여유량 부가와 레플리카 조합 방법)

  • Wu, Yanjun;Hong, Kyung-Hi
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.36 no.4
    • /
    • pp.443-455
    • /
    • 2012
  • In this research, a woman matched to the average Korean standard size specification of 21-24 years of age was scanned using Cyberware. Rapidform 2004 was used to separate the body zone into fit zone, action zone and design zone, depending on the function of the lower body. Each divided body zone expanded radially using 'offset' by 1.60mm at the cross section of the waist, and 6.36mm at the hip level. Resultant ease values were 1cm and 4cm along the waistline and hipline (respectively), as recommended in previous research. 2C-AN program and Yuka CAD was used to develop a pant pattern from the enlarged 3D body surface blocks. A total of five pants were constructed using conventional fabrics for light weight formal pants. The appearance of the experimental pants were evaluated by five clothing-major evaluators using a questionnaire that consisted of 21 questions. In addition, functional aspects of the experimental pants were also evaluated by wearer while performing five postures for the measurement of ease of movement. It was found that, the method of regional offset and suggested 3D to 2D pattern development generate reasonably good pant patterns. Among the pattern block arrangements, the method B was evaluated as the best way to generate formal pants from the tight-fit pattern, which fit smoothly over the lower body for maintaining ease of movement.

Verification of Human Error Factors for Access Control of Bodyguards through Multiple Risk Case Analysis

  • Kim, Jin-Hwan;Kim, Sang-Jin
    • Journal of the Korea Society of Computer and Information
    • /
    • v.25 no.9
    • /
    • pp.143-150
    • /
    • 2020
  • The purpose of this study is to investigate the human error of bodyguards caused in the process of performing access control activities between security missions, focusing on multiple risk cases, and to suggest countermeasures accordingly. To verify this, after arranging the sequence of events in a time series, the VTA technique and Why-Why analysis technique that can easily identify the problem centered on the variable node were used. In addition, environmental factors and personal factors that cause human errors were extracted through M-SHEL Metrix. As a result of analyzing multiple risk cases through such a method, the security environment factors that cause access control accidents include lack of time (impatience), prejudice against visitors, intensive work methods, lack of security management, unattended travel, and familiar atmosphere. (Relaxation), formal work activities, convenience provision, and underestimation were surveyed. In addition, human errors caused by personal security guards were investigated as low alertness, formal work, negligence of inspection, and comfortable coping.

Individual-level Associations Between Indicators of Social Capital and Alcohol Use Disorders Identification Test Scores in Communities With High Mortality in Korea

  • Kim, Jang-Rak;Jeong, Baekgeun;Park, Ki-Soo;Kang, Yune-Sik
    • Journal of Preventive Medicine and Public Health
    • /
    • v.53 no.4
    • /
    • pp.245-255
    • /
    • 2020
  • Objectives: This study examined associations among social capital indicators (social participation and generalized trust) at the individual level and alcohol use, which was quantified using Alcohol Use Disorders Identification Test (AUDIT) scores. Methods: In total, there were 8800 participants in community health interviews, including 220 adults sampled systematically from a resident registration database of each of 40 sub-municipal administrative units of local (city or county) governments. Adjusted odds ratios (aORs) and 95% confidence intervals (CIs) were calculated using polychotomous logistic regression. Results: The aORs for abstainers versus people with AUDIT scores of 0-7, based on 3 questions on generalized trust, in comparison to those with no positive responses, were 1.15 (95% CI, 0.99 to 1.34) for 1 positive response, 1.16 (95% CI, 0.98 to 1.37) for 2 positive responses; and 1.39 (95% CI, 1.20 to 1.61) for 3 positive responses. The aORs for abstainers versus people with AUDIT scores of 0-7, in comparison to participation in no organizations, were 0.61 (95% CI, 0.54 to 0.69) for participation only in informal organizations; 2.16 (95% CI, 1.57 to 2.99) for participation only in religious organizations; 2.41 (95% CI, 1.10 to 5.29) for participation only in volunteer organizations; and 0.65 (95% CI, 0.57 to 0.74) for participation in formal organizations. Participants in formal social organizations, regardless of their participation in informal organizations, were more likely to have AUDIT scores of 8-15 (aOR, 1.29; 95% CI, 1.04 to 1.60) or ≥16 (aOR, 1.65; 95% CI, 1.22 to 2.23) than to have scores of 0-7. Conclusions: Our findings may have implications for health policy to reduce alcohol problems.

The Effect of Fashion Collage Program on Self-Identity and Creativity of College Students (패션콜라주 프로그램이 대학생의 자아정체감과 창의성에 미치는 영향)

  • Lee, Kyoung Hee;Lee, Seunghyun
    • Fashion & Textile Research Journal
    • /
    • v.21 no.6
    • /
    • pp.754-765
    • /
    • 2019
  • The purpose of this study is to find out about the impact on self-identity and creativity of college students through the fashion collage program. The methods of research were content analysis and statistical analysis. The research subjects consisted of six fashion major college students experiment group and six control group students attending P university in Busan. The period of investigation was conducted once a week in the 9th session (2019. 04. 25. - 06. 18). The analysis criteria of fashion collage were divided into formality and contents, and the analysis criteria consisted of number of collage pieces, margin, overlapping, cut method, text position, color, space layout, and location of fashion design drawing. Collage maps were analyzed based on formal analysis, and fashion design drawings were analyzed based on formal and contents analysis. In order to verify the effectiveness of the fashion collage program, a pre-post test of self-identity and creativity was conducted. Statistical analysis was conducted by using the SPSS WIN 25.0 program, U-test of Mann-Whitney, Wilcoxon signed-rank test. In pre-post test of self-identity and creativity, there were significant differences. In conclusion, it has been shown that fashion collage programs are effective in improving self-identity and creativity for college students majoring in fashion. This study has a limitation of collage programs focused on self-discovery, so it should be carefully analyzed.

A Study on High-level FSA for Korean-flagged General Cargo Ships (국적일반화물선 초기안전성평가(High-level FSA) 연구(2))

  • Lee, Jong-Kap;Na, Seong;Kim, Hong-Tae;Park, Jae-Hong
    • Journal of Navigation and Port Research
    • /
    • v.35 no.1
    • /
    • pp.23-30
    • /
    • 2011
  • This study was carried out in order to verity the usefulness of FSA(Formal Safety Assessment) methods as a tool to conduct a safety assessment of general cargo ships flying the Korean flag, and to provide useful information on 'the Safety of General Cargo Ships' for IMO committee's discussion on the matter at a future session. In the previous paper, "A Study on High-level FSA for Korean-flagged General Cargo Ships(1)", the concepts of the FSA methodology and its five steps were described and the results of Hazard Identification(Step 1) and Risk Analysis(Step 2) from the FSA study for the Korean-flagged general cargo ships were discussed. Subsequent to the Steps 1 & 2, the identification of Risk Control Options(RCOs-Step 3) for eliminating or reducing either the frequency or the severity of the risks identified and their Cost-Benefit Assessment(CBA-Step 4) were undertaken. In this paper, the results of the Steps 3 & 4 are discussed, and some recommendations are made.