• Journal of the Korean Orthopaedic Association
• /
• v.54 no.1
• /
• pp.18-23
• /
• 2019

As the population grows older and medical treatments are advancing, the number of spine surgeries in elderly patients has been increasing. To obtain a successful outcomes of spine surgery in elderly patients, surgeons should prepare meticulously because elderly patients can have osteoporosis and surgery can be more extensive than in younger patients. Therefore, this study reviewed the perioperative medical treatment, particularly for osteoporosis, to improve the surgical outcomes in elderly patients.

• Journal of Digital Convergence
• /
• v.11 no.6
• /
• pp.103-112
• /
• 2013

Traditional method of establishing prediction model is usually using formal data stored in Data Base. However, nowadays advent of "smart" era brought by ground-breaking development of communication system makes informal data to dominate overall data, such 80% in total. Therefore, conventional method using formal data as establishing predicting model would be untrustworthy means in present. In other words, it is indispensible to make prediction model credible including informal data(SNS, image, video) and semi-formal data(log data). In this study, we increase credibility of predicting model adapting Bigdata method and comparing reliability of conventional measurement to real-data.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.76-79
• /
• 2009

최근 계획되고 있는 초고층 건축물은 높이에 따른 기술경쟁력의 과시와 함께 비정형의 자유로운 건축적 형상을 통한 디자인 형태의 상징성을 강조하는 경향을 보이고 있다. 이러한 비정형 건축물의 구조시스템은 기술적, 경제적 문제로 인해 한정된 수의 가능성 있는 대안만이 고려되어 왔으나, 첨단 디지털 기술의 발전에 따라 비정형 건축물의 구조시스템에 대해 이전에는 적용이 불가능하였던 다수의 구조시스템 대안을 생성하고 동일한 컨셉을 가진 다양한 구조시스템 대안의 비교평가를 통해 검토안의 수를 최소화하는 것이 가능해졌다. 본 연구에서는 비정형 건축물 구조시스템 설계를 위한 디지털 요소기술에 대해 현재까지의 연구현황을 분석하고 앞으로의 연구방향과 과제를 제시하고자 한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.750-759
• /
• 2004

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase therefore making it a trusted method for increasing safety. In this paper, we discuss the NuSCR, which is a qualified formal specification method for specifying nuclear power plant digital control system software requirements. To investigate the application of NuSCR, we introduce the experience of using NuSCR in formally specifying the plant protection system's software requirements, which is presently being developed at KNICS. Case study that shows that the formal specification approach NuSCR is very much qualified and specialized for the nuclear domain is also shown.

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.3
• /
• pp.266-271
• /
• 2021

Osteoporosis associated with pregnancy and lactation is a rare disease that can cause osteoporotic vertebral compression fracture (OVCF). Patients usually complain of severe back pain, which is easily mistaken for pain due to pregnancy, childbirth, and lactation, making a rapid diagnosis and treatment difficult. The authors diagnosed OVCF related to pregnancy and lactation through a physical examination, simple radiography, whole-body bone scan, magnetic resonance image, bone marrow density, and blood tests in a 29-year-old female patient and a 31-year-old female patient who presented with low back pain. This paper reports two cases of symptom improvement through a teriparatide injection, wearing thoracic lumbar sacral orthosis and taking calcium and vitamin D with a review of the literature.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.4
• /
• pp.84-96
• /
• 2013

Recently, architectural design has been changing from formal design to freeform design due to the digitalization of construction industry. Especially, the formal design has been accepted as a design trend recently and applied many times as a design concept in the architectural design competitions such as turn-key. However, various deflects such as water leak and cracks have been occurred because the traditional construction methods had been applied without any revision or adaptation of the formal construction method for the freeform building construction. Design and construction of freeform building has been developed as an new method in order to solve the problems and minimize the construction duration and cost for the freeform building. Therefore this research deduced the positive implications for developing freefrom envelope by analyzing the domestic and abroad cases and proposed the considerations during design and construction of the freeform envelope as follows. First, the freeform design should consider the constructability for the freeform envelope. Second, manufacturing technology for the two-way curvature of the unit panel should be developed. Third, exposed concrete form method should be developed for the freeform envelope of concrete. Forth, material characteristics, construction method and facility management should be considered in order to manage precipitation and keep water-proof according to the classification of the freeform envelope area.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.5
• /
• pp.35-43
• /
• 2013

Nowadays the widely used media in architecture include visualizations, animations and three-dimensional models. 3D digital methods using active CAM(Computer Aided Manufacturing) and CNC(Computerized Numerical Control) imaging have been developed for accurate shape and 3D measurements in freeform buildings. In contrast to a conventional building using auto CAD system and others, the proposed digital optimization method is based on a combination of 3D numerical data and parametric 3D model for design and construction. The objective of this paper is therefore to present digital optimization process for constructability of freeform building. The method can be useful in the effective implementation of an error-proofing process of freeform building during design and construction phase. 3D digital coordinate data can be used effectively to identify correct size of structural and finish members and installation location of each members in construction field. In addition, architects, engineers and contractors can evaluate design, materials, constructability and identify error-proofing opportunities. Other project participants can also include representatives from all levels of management, departments as well as workers and key subcontractors' personnel, if necessary. The 3D digital optimization process is therefore appropriate to serious variations in freeform shape. For future study, the developed digital optimization method is necessary to be carried out to verify the robustness and accuracy for constructability in construction field.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.865-867
• /
• 2003

최근 보안성의 취약점을 이용한 보안 사고들이 증가하고 있다. 이러한 보안적 취약점을 극복할 수 있는 방법으로 정형적 설계 및 검증이 있으며 그 필요성은 국외뿐만 아니라 국내에서도 점차적으로 늘어나고 있다. 고등급의 보안 시스템을 개발하기 위해서는 정형화된 설계 및 검증 방법론을 사용해야 하지만 국내에서는 아직 정형적 설계 및 검증 방법에 대한 이해가 부족할 뿐만 아니라 개발자 수준에서 보안성을 보다 쉽게 설계하고 안전성을 검증, 평가 할 수 있는 자동화 도구도 갖추어지지 않은 실정이다. 본 논문에서는 기존의 보안성을 정형적으로 설계하고 검증한 사례를 조사, 분류하여 국내 보안 시스템 개발자들이 활용할 수 있는 가이드를 만드는데 근간을 두고자 한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1435-1442
• /
• 2006

The ideal method of safety evaluation is to verify results of execution against all possible operations within operating system, but it is impossible. However, the formal method can theoretically prove the safety on actual logic of operating system. Therefore we explain the contents of the art of the safety verification of security kernel, and make a comparative study of various standardized formal verification tools. And then we assigned PVS(Prototype Verification system) of SRI(Stanford Research Institute) to verify the safety of a modified BLP(Bell & LaPadula) model, the core access control model of multi-lavel based security kernel. Finally, we describe formal specification of the revised BLP model using the PVS, and evaluate the safety of the model by inspecting the specification of the PVS.

• Journal of the Korean Orthopaedic Association
• /
• v.55 no.4
• /
• pp.338-342
• /
• 2020

Periosteal chondroma is a rare, slow-growing, benign cartilaginous tumor that develops between the periosteum and cortex, but there are no reports of multiple periosteal chondroma of the toes. A 19-year-old male presented with a palpable mass of the right fourth toe with tenderness for one year. A radiology examination revealed multiple, radio-lucent lesions with mild cortical irregularity. The magnetic resonance imaging findings were chondrogenic tumors with multiple, well-defined T1-low and T2-high signal enhanced lesions involved in the fourth proximal, middle, and distal phalanges. The tumors were removed by a surgical resection and curettage. Histologically, the tumors were proven to be periosteal chondroma.