• Title/Summary/Keyword: fact-check

검색결과 140건 처리시간 0.019초

AN ALTERNATIVE PROOF FOR THE MINIMALITY OF STRONGLY QUASI-POSITIVE FIBERED KNOTS IN THE RIBBON CONCORDANCE POSET

  • Keiji Tagami
    • 대한수학회보
    • /
    • 제61권3호
    • /
    • pp.779-784
    • /
    • 2024
  • Baker proved that any strongly quasi-positive fibered knot is minimal with respect to the ribbon concordance among fibered knots in the three-sphere. By applying Rapaport's conjecture, which has been solved by Kochloukova, we can check that any strongly quasi-positive fibered knot is minimal with respect to the ribbon concordance among all knots in the three-sphere. In this short note, we give an alternative proof for the fact by utilizing the knot Floer homology.

조선초기 공기록물(公記錄物) 관리제(管理制)의 개편 (The Reformation of the Public Record Management System in Early Chosǒn Dynasty)

  • 윤훈표
    • 기록학연구
    • /
    • 제2호
    • /
    • pp.129-168
    • /
    • 2000
  • $Chos{\check{o}}n$ Dynasty was governed by the words of king, however, if they were not announced by the form of public document, they were useless. Therefore, the form of public document was the symbol of governing activity, and it was very important to manage the public record in operating the nation affairs. However, the point we should consider is that $Chos{\check{o}}n$ Dynasty, in the case of managing the public record, edited 'the original' instead of preserving them. And so, the preservation of the public record was deeply related to the editing of history. In Late Korea dynasty, the management of the public record got into utter confusion and so many troubles were occurred. In order to resolve these problems, the movements which innovated the public record managements system was gradually extended. This movements were continued in $Chos{\check{o}}n$ Dynasty. Finally, through the several modification procedures, the rules of public record management were legislated by 'Kyong Kuk Dae Jeon'(經國大典). Especially, by laws of 'Kyong Kuk Dae Jeon', not only the daily records of Secretary Department(承政院) but also the important documents which was related to the government branch should be booked in the last decade of the year and the number of the books had to be reported to the king. This rule made certification of the fact that the king was the last confirmer of the public record management. In addition, through the procedure of printing the record of the national affairs, and the diplomatic once in three years, and then preserving that public record in the National Department(議政府), other departments responsible and the archives, the National Department practically took part in the public record management. The management system was also changed in order that the public record was virtually used and consulted before taking the procedure of immortal preservation. All public documents were classified by the definite rule and filed in a same volume. After classifying and filing, certainly, for making convenience of reference and application of public record, records were indicated by the paper card. It may be that, after the step of reference, application and indicating, the public documents were gradually transferred to the next step. In these procedures, Early $Chos{\check{o}}n$ public documents system was confirmed.

An Integrated System of Quality, Food Safety, Environment, Health, and Safety for Small Agricultural Companies

  • Lee, Kwan-Suk
    • 대한인간공학회지
    • /
    • 제31권2호
    • /
    • pp.363-370
    • /
    • 2012
  • Objective: The objective of this study is to analyze standards of ISO 9001, ISO 14001, KOSHA 18001, GAP and ISO 22000 to make an integrated system and check whether an integrated system can be used at small size companies. Background: There are many certification criteria for quality, safety and health such as ISO 9001, ISO 14001, KOSHA 18001, GAP and ISO 22000. However, these criteria are difficult and complicated to be used at a small size company. Thus. it is not easy for small size companies to obtain certifications using these criteria. But customers and workers of small size companies want the key points of these systems to be implemented. Method: ISO 9001, ISO 14001, KOSHA 18001, GAP and ISO 22000 were analyzed to find the commonality and duplications as well as the importance of the items in these standards. And a survey was conducted to check whether certain aspects of the anticipated integrated system can be implemented at small size companies. Results: Items were classified into categories based upon the importance to food safety, quality, safety, environment, and health. Items which are common among standards were also identified and thus give ideas to make the new standards simpler than the currently available standards. Items which were important but may not be easily implemented at the small size companies were also identified. Conclusion: By considering the fact that the currently used accreditation standards have many similar aspects, these systems can be integrated into one new system which small size companies can use relatively easily.

SaaS 도입 시 예산추정을 위한 통합점검프레임워크 개발에 관한 연구 (A Study on the Integration Check Framework Development of SaaS Adoption for the Cost Estimation)

  • 윤승정;김인환;김민용
    • 한국IT서비스학회지
    • /
    • 제12권3호
    • /
    • pp.345-377
    • /
    • 2013
  • Government agencies have many difficulties for the information system development and operation. One of the difficulties is a budget estimation. Each government agency suggests individually different estimation for the personnel expenses and IT infrastructure adoption costs in the same field of informatization promotions. The other one is the operation costs are increased exponentially in every year[42, 51]. Those difficulties make government agencies can not help adopting SaaS. In fact, most of IT consulting company and government agencies already recognized a variety of SaaS advantages. The most typical SaaS's advantages are cost reduction, Software rapid development and deployment. However, once government agencies decide to adopt SaaS, they can not avoid many problems and difficulties. There is no information in a detailed item in a budget. In those kinds of situation, there is no choice whether government agencies accept SaaS provider's suggesting adoption costs or not. Thus, we provide a sheet of SaaS adoption cost estimation to government agencies. To know the cost factors, this study uses TCO(Total Cost of Ownership)'s criteria. To give a management point, this study uses Gartner's Application development Life Cycle. In this study, the integration check framework which is SaaS adoption cost estimation makes government agencies possible to establish a adequate budget.

Difference of Risk-relievers between High Risk and Low Risk in Online Purchasing

  • Fang, Hua-Long;Kwon, Sun-Dong;Bae, Kee-Su
    • Journal of Information Technology Applications and Management
    • /
    • 제21권3호
    • /
    • pp.135-156
    • /
    • 2014
  • The Online business model for purchasing agent service is getting more popular. However, consumers perceive more risk when buying products from foreign online purchasing agents (FOPA) than from common online sellers (COS). This study focuses on finding out how consumers manage risk when they perceive risk and what different risk-reliever strategies they use when buying from high-risk FOPA and low-risk COS. This study has proved the following two. First, when consumers perceive risk at online purchasing, they tend to select risk-reliever strategies, such as the use of communication media, online assurance mark, seller's record, and secure payment to mitigate risk. With the application of those risk-reliever strategies, they built trust with the seller. Second, risk-perception of FOPA influences usage of communication media and check of online assurance mark more strongly than that of COS. On the contrary, risk-perception of COS influences the check of seller record more strongly than that of FOPA. This study helps to explain why FOPA is proliferating, despite its inherent high risk due to the fact that buyers and sellers are separated in time and space and that buyers and sellers have different social and cultural backgrounds. This study also helps managers of E-commerce to relieve consumer's risk-perception and to build trust.

비계지지브라켓 유형별 구조기준 설정에 관한 실험적 연구 (Establishing the Structural Criteria to install Scaffolding-Use Brackets)

  • 손기상;갈원모
    • 한국안전학회지
    • /
    • 제10권4호
    • /
    • pp.87-96
    • /
    • 1995
  • It is only three(3) years since we applied brackets for scaffolding in the construction area. Unfortunately, there is no structural criteria on how to install those in the site so far, despite the fact that those brackets have been applied into the site by the firms already. It is shown that resistant capacity of each bracket type has been investigated, analyzed from this experimental study. Accident-concerning data on construction site analyzed by the Ministry of Labor, show temporary structure involves 18.6% of the total industrial accident, which the accidents from scafold-supporting brackets have rate of 42.5% of the ones occurred from the temporary structures. There are two main aspects to be observed : one is how much resistant capacity the brackets have themselves, the other is how exactly to install those without eccentricity. But practically, nobody does check of this bolt-installing conditions in the site and no check of tightening level of nut because there is no available tool to check torque amount for this kind of nut. We just have to rely on scaffolders experience of this tightening. This experiment involves just this variable of tightness at site. Eventually this insufficient tightness causes to collapse those scaffolding structures. The bracket might have less the one than its original capacity due to this insufficient tightness. Three(3) times of PIVOT tests show that fractured condition of two(2) row brackets has occurred mostly at lower bolt due to shear force. Therefore, tightness of bracket-installing bolt, tensile strength of the bolt, shear strength of the bolt, loading condition with equal two point or inequal two point loads, are mainly investigated as variables in this study.

  • PDF

반도체 생산 라인에서의 이탈 처리 추적 전문가 시스템의 지식베이스 구축 (Construction of Knowledge Base for Fault Tracking Expert System in Semiconductor Production Line)

  • 김형종;조대호;이칠기;김훈모;노용한
    • 제어로봇시스템학회논문지
    • /
    • 제5권1호
    • /
    • pp.54-61
    • /
    • 1999
  • Objective of the research is to put the vast and complex fault tracking knowledge of human experts in semiconductor production line into the knowledge base of computer system. We mined the fault tracking knowledge of domain experts(engineers of production line) for the construction of knowledge base of the expert system. Object oriented fact models which increase the extensibility and reusability have been built. The rules are designed to perform the fault diagnosis of the items in production device. We have exploited the evidence accumulation method to assign check priority in rules. The major contribution is in the overall design and implementation of the nile base and related facts of the expert system in object oriented paradigm for the application of the system in fault diagnosis in semiconductor production line.

  • PDF

Basis Translation Matrix between Two Isomorphic Extension Fields via Optimal Normal Basis

  • Nogami, Yasuyuki;Namba, Ryo;Morikawa, Yoshitaka
    • ETRI Journal
    • /
    • 제30권2호
    • /
    • pp.326-334
    • /
    • 2008
  • This paper proposes a method for generating a basis translation matrix between isomorphic extension fields. To generate a basis translation matrix, we need the equality correspondence of a basis between the isomorphic extension fields. Consider an extension field $F_{p^m}$ where p is characteristic. As a brute force method, when $p^m$ is small, we can check the equality correspondence by using the minimal polynomial of a basis element; however, when $p^m$ is large, it becomes too difficult. The proposed methods are based on the fact that Type I and Type II optimal normal bases (ONBs) can be easily identified in each isomorphic extension field. The proposed methods efficiently use Type I and Type II ONBs and can generate a pair of basis translation matrices within 15 ms on Pentium 4 (3.6 GHz) when $mlog_2p$ = 160.

  • PDF

합성 알고리즘을 이용한 안전한 문서화상 전송체계에 관한 연구 (A study on secure transmission system for document image using mixing algorithm)

  • 박일남;이대영
    • 한국통신학회논문지
    • /
    • 제22권11호
    • /
    • pp.2552-2562
    • /
    • 1997
  • 본 논문에서는 문서 화상에 대한 합성에 의한 안전한 전송 체계를 제안한다. 이를 위해 앞서 제안한 바 있는 DM 및 RDM 알고리즘을 적용한다. 문서화상의 보안 체계는 문서 자체의 보안 뿐 아니라 문서의 무결성과 사용자의 정당성을 인증하기 위한 디지털 서명 체계가 포함된다. 디지털 서명된 보안 문서는 비보안 문서에 합성되고, 이는 합성 여부의 시각적 구분이 어려워 제 3자에게는 통상의 문서 교환으로 인식될 것이다.

  • PDF

체표면적 산출식에 관한 연구 -40대 여성을 중심으로- (A Study of Body Surface Area Calculation -Centering around 40 Ages-)

  • 임순
    • 복식문화연구
    • /
    • 제2권2호
    • /
    • pp.385-394
    • /
    • 1994
  • Data of the body surface is a necessary unit for the measuring of metabolism energy and activity energy. And also, these data are referring to check the degree of retaining warmth of clothes, to find the effect of heat insulation according to body surface, to calculate an average temperature of skin, and to study the several fields of clothing. In measuring of body surface, it si actually impossible to measure a subject's body surface in each experiment. As the experimental method, both gypsum method, by which the shape of body an be copied as it is, and the weighting method from which planed body surface area can be measured with consistent thickness of polyprophylene film as used. In fact, every female subject feels uncomfortable to measure her body surface as a naked body. There, it is providing a simple, accurate regressive equation with weight & height as variable factors in this study. This equation is as=117.02W+77.31H-3344.94 with average error : 0.1%, absolute average error : 2.07%.

  • PDF