• 척추신경추나의학회지
• /
• 제16권1호
• /
• pp.91-105
• /
• 2021

Objectives A case report is a detailed medical description of previously unreported observations or complications of medical conditions, unique use cases of tests, or new side effects. The purpose of this study was to evaluate the quality of case reports published in the Journal of Korea CHUNA Manual Medicine for Spine & Nerves (JKCMSN). Methods Case reports published in the JKCMSN from January 2013 to December 2020 were selected using the Oriental Medicine Advanced Searching Integrated System (OASIS). The quality of the reports was assessed based on the Consensus-based Clinical Case Reporting Guideline Development (CARE) guidelines. Results Sixty case reports that met the inclusion criteria were included in the assessment. Our analysis revealed that 71.42% of the case reports included all the necessary information and their level of reporting was good. However, their scores in the qualitative subdivisions of the reporting level parameters showed that the quality level was uneven. More than 65% of the papers did not report in the following categories: "Keywords," "Patient information," "Timeline," "Diagnostic assessment," "Therapeutic interventions," "Follow-up and outcomes," "Patient perspective," and "Informed consent." Conclusions Our analysis shows that CARE guidelines need to be followed more rigorously to improve the quality of reporting in the JKCMSN. Further efforts are necessary to develop reporting guidelines and evaluation tools relevant to the Korean clinical context.

• Structural Engineering and Mechanics
• /
• 제7권4호
• /
• pp.345-360
• /
• 1999

A general framework for the nonlinear geometric analysis of elastic space trusses is presented. Both total Lagrangian and finite incremental formulations are derived from the three key ingredients of statics, kinematics and constitutive law. Particular features of the general methodology include the preservation of static-kinematic duality through the concept of fictitious forces and deformations, and an exact description for arbitrarily large displacements, albeit small strain, that can be specialized to any order of geometrical nonlinearity. As for the numerical algorithm, we consider specifically the finite incremental case and suggest the use of a conventional, simple and flexible arc-length based method. Numerical examples are presented to illustrate and validate the accuracy of the approach.

• 제어로봇시스템학회논문지
• /
• 제9권5호
• /
• pp.354-360
• /
• 2003

For the convenient use of high performance microprocessor in motor control, peripheral devices are needed for converting its control signals to compatible ones for motor drive. Customized devices are not plentiful far these purposes and their functions do not usually satisfied designers specification. The designers used to implement these functions on FPGA or CPLD using hardware description language. Then, in this case unessential programs are needed for control the peripherals. In this paper, a unified device model that links peripheral devices, including especially the pulse width modulation controller and the quadrature encoder interface device, to an interrupt controller is proposed. Advanced functions of peripherals could be achieved by this model and unessential programs can be simplified. Block diagrams and flowcharts are presented to illustrate the advanced functions. This unified device was designed using VHDL. The simulation results were presented to demonstrate the effectiveness of the proposed scheme.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1983년도 제25회 수공학 연구발표회 논문초록집
• /
• pp.78-79
• /
• 1983

It is well known that small amplitude wave theory, a first approximation to the complete theoretical description of wave behavior, yields a maximum investment in mathematical endeavor. But, if the wave amplitude is large, the small amplitude considerations are not valid, and finite amplitude wave theory which retains higher-order terms to obtain an accurate representation of the wave motion is numercal theory. The Stream function wave theory, one of the numerical methods, was developed by Dean for use with asymmetric measured wave profiles and with symmetric theoretical wave profiles. Dalrymple later improved the comjputational procedure by adding two Lagrangian constraints so that more efficient convergence of the iterative numerical method to a specified wave heigh and to a zero mean free surface displacement resulted. This paper introduces in details the Dean and Darlymple Stream Function Method in case of the symmetric theoretical wave, because in design purposes, wave height and wave period are given.

• 기술사
• /
• 제19권2호
• /
• pp.34-42
• /
• 1986

These brief studies and reports of the use of exposed aggrigate precast concrete in practice are combined with a description of some notable co-ordination such as shop drawing, manufacturing and erection in the field construction. Above mentioned exposed aggrigate P. C. means architectural P. C. which was used to the VOTRAKON site in Riyadh, Saudi Arabia. Fabricated P. C. on the site without autoclaving and steam curing plant had been successfully carried out on this project-core building, conference room and others. The project designed by HOPE/VTN international INC. which is located in San Diego, California U.S.A. stands for vocational training and related support facilities contract. We had to submit shop drawings showing complete information for fabrication and installation of P. C. unit reinforcement. Also we should be indicated member dimension and cross section, location size and type of necessary for erection. We can delineate the following characteristic results. One of the most important things how to handle exposed aggrigate P.C. unit as specified was quality assurance and co-ordination for shop drawing, manufacturing and erection.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2017년도 추계학술대회
• /
• pp.98-100
• /
• 2017

IoT 및 웨어러블 환경에서의 미디어 서비스를 위한 MPEG IoMT(Internet of Media Thing) 표준에서는 헬스케어 미디어 서비스도 주요 유스 케이스(use case)로 고려되고 있다. 본 논문에서는 효율적인 헬스케어 미디어 소비를 위한 IoMT 메타데이터 스키마를 제시한다. 제안하는 Pseudo-DICOM 스키마(schema)는 의료미디어 표준인 DICOM(Digital Imaging and Communication in Medical) 데이터의 헤더에 포함되는 의료기기, 환자, 미디어 등에 대한 정보를 기술하기 위한 것이다. 본 논문의 유스 케이스에서는 제안된 스키마에 따라 기술된 이들 정보를 스마트 글래스로 획득한 구조현장 비디오와 함께 병원으로 제공함으로써 이 비디오를 쉽게 DICOM 데이터로 변환하게 하여 효율적인 재생 및 저장 관리를 지원한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1999년도 제14차 학술회의논문집
• /
• pp.292-297
• /
• 1999

Evolving in artificial agent is an extremely difficult problem, but on the other hand, a challenging task. At present the studies mainly centered on single agent learning problem. In our case, we use simulated soccer to investigate multi-agent cooperative learning. Consider the fundamental differences in learning mechanism, existing reinforcement learning algorithms can be roughly classified into two types-that based on evaluation functions and that of searching policy space directly. Genetic Programming developed from Genetic Algorithms is one of the most well known approaches belonging to the latter. In this paper, we give detailed algorithm description as well as data construction that are necessary for learning single agent strategies at first. In following step moreover, we will extend developed methods into multiple robot domains. game. We investigate and contrast two different methods-simple team learning and sub-group loaming and conclude the paper with some experimental results.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• Nuclear Engineering and Technology
• /
• 제32권6호
• /
• pp.537-548
• /
• 2000

The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

• Journal of Information Science Theory and Practice
• /
• 제4권2호
• /
• pp.21-33
• /
• 2016

A sustainable development in science, innovation, and technology requires a balanced distribution of scientific wealth in sub-country regions. This paper addresses the issue of geographical distribution of scientific wealth and its goal is to offer a framework to describe and measure the share of provinces in national scientific wealth. Our proposed model divides the indicators of scientific wealth into two groups, production and the use of scientific wealth. To evaluate this model, the scientific wealth of Iran was studied using recorded data on IRANDOC databases. Rich, average, and poor provinces were identified and the results showed that 70% of the scientific wealth belongs to 20% of the provinces. The findings can facilitate planning for a sustainable science and technology policy.