• 한국임상수의학회지
• /
• 제24권1호
• /
• pp.38-41
• /
• 2007

12년령의 중성화되지 않은 암컷 요크셔 테리어가 점진적인 복부 팽만을 주증상으로 내원하였다. 종괴는 방사선 검사, 초음파 검사를 통해 우측 상복부에 위치한 여러 분엽으로 나뉘어진 무에코성의 낭성 구조물로 확인되었다 이 환축은 난소자궁적출술을 받았고 절제된 검체는 조직학적으로 평가되어졌다. 종괴는 육안 및 조직학적 소견을 토대로 악성 과립층세포종양 (malignant granulosa cell tumor)로 확진 되었다. 개는 1년이 지난 지금까지 특이한 합병증 없이 성공적으로 관리되어져 오고 있다.

• 한국시뮬레이션학회논문지
• /
• 제29권2호
• /
• pp.63-72
• /
• 2020

다양한 무기체계 중 대표적인 지상 무기체계인 전차는 각국의 핵심 전력 중 하나로, 전차의 운용 개념과 효과도 분석을 통해 과학적 분석 기반의 비용 효과적인 연구개발을 할 수 있다. 이를 위하여 교전 시뮬레이션 기술이 활용될 수 있는데, 전차 무기체계를 모델링함에 있어 전차의 기동, 통신 등과 같은 물리적인 요소뿐만 아니라, 운용교리를 반영한 효과분석을 위하여 전차장 등의 의사결정을 모델링하는 논리 모델도 중요하다. 이 논문에서는 무기체계 통합시뮬레이션 소프트웨어(AddSIM)에서 제공하는 무기체계 모델의 표준 아키텍처인 기본체계모델(Base System Model, BSM)에 맞추어 전차 교전 시뮬레이션에 필요한 전차 BSM 설계방법에 대하여 논한다. 특히 논리 모델을 인간 의사결정 모델에 근거하여 세분화하였으며, DEVS 형식론이라는 수학적 형식론에 기반한 정형적인 모델링 방법으로 모델링하였다. 그 결과 전차 BSM을 계층적이고 모듈화된 형태로 제안하였다. 제안하는 방법은 향후 우리 군의 전차 운용 개념 연구와 전차의 효과분석 등에 활용될 것으로 기대된다.

• 전자공학회논문지CI
• /
• 제45권1호
• /
• pp.78-85
• /
• 2008

대부분의 전력 관리 기법에 대한 연구는 동작 주파수나 동작 전압을 변화 시켜 시스템의 가용성을 증가시키는데 집중되었다. 이 방법은 전력소모를 줄이기 위해 구동 주파수를 수시로 변경하므로 실 시스템의 성능을 저하 시킨다. 소비 전력을 줄이기 위한 다른 방법은 구동 주파수의 개수를 제한하거나 실행 시간 동안 전체 주파수를 완만하게 관리하여 시스템의 성능을 높이는 것이다. 허나 기존 연구는 실시간 응용 프로그램에는 적합하지 않다. 본 논문에서는 실시간 시스템에서 소비 전력의 손실을 줄이고 시스템의 성능을 향상시키기 위해 구동 주파수 레벨의 할당 방법과 주파수 평활화 기법을 이용한 전력 관리 기법을 제안한다. 이 기법은 연속적인 주파수 간격에서 알고리즘이 예측한 주파수를 양자화된 주파수로 매핑한다. 이러한 주파수 평활화 기법은 좁은 주파수 대역에서 잦은 주파수 변경으로 발생한 시스템의 오버헤드를 줄일 수 있다. 매핑된 주파수는 넓은 주파수 간격에서 주파수 불일치로 발생하는 전력소모를 줄일 수 있다. 모의실험을 통하여 제안한 알고리즘이 기존의 CC RT-DVS 기법에 비해 최대 40%, 평균 15% 정도 소비 전력을 줄일 수 있었다.

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.516-572
• /
• 2001

지리정보시스템은 다양한 분야에서 응용할 수 있는 자료를 다루고 있다. 각 용용 분야를 위한 필요한 정보는 지리정보의 설계 단계에서 지리영역의 응용관점에 따라 다르게 표현될 수 있다. 그러므로 지리정보시스템은 지리현상에서 발생하는 각 객체의 독립성과 동질성 여부에 따라 표현해야 한다. 이 논문은 지리-객체, 지리-필드와 비지리-객체 상에서 속성과 관계 역할에 대한 정의와 정리를 통한 형식화에 대해 연구되었다. 이를 위해 지리-객체는 지리-필드와 비지리-객체의 관계역할에 대한 형식화 관점에서 재구성되었다. 이 연구 결과 이 논문은 공간 클래스의 정적상태 특성인 속성-영역 관계를 공간 관계 역할로 표현하고, 형식화함으로써 기하 속성과 공간 관계 역할에 기반한 지리정보시스템의 효율적 설계의 방법을 제시하였다.

• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.375-388
• /
• 2012

PVSS stands for publicly verifiable secret sharing. In PVSS, a dealer shares a secret among multiple share holders. He encrypts the shares using the shareholders' encryption algorithms and publicly proves that the encrypted shares are valid. Most of the existing PVSS schemes do not employ an ElGamal encryption to encrypt the shares. Instead, they usually employ other encryption algorithms like a RSA encryption and Paillier encryption. Those encryption algorithms do not support the shareholders' encryption algorithms to employ the same decryption modulus. As a result, PVSS based on those encryption algorithms must employ additional range proofs to guarantee the validity of the shares obtained by the shareholders. Although the shareholders can employ ElGamal encryptions with the same decryption modulus in PVSS such that the range proof can be avoided, there are only two PVSS schemes based on ElGamal encryption. Moreover, the two schemes have their drawbacks. One of them employs a costly repeating-proof mechanism, which needs to repeat the dealer's proof at least scores of times to achieve satisfactory soundness. The other requires that the dealer must know the discrete logarithm of the secret to share and thus weakens the generality and it cannot be employed in many applications. A new PVSS scheme based on an ElGamal encryption is proposed in this paper. It employs the same decryption modulus for all the shareholders' ElGamal encryption algorithms, so it does not need any range proof. Moreover, it is a general PVSS technique without any special limitation. Finally, an encryption-improving technique is proposed to achieve very high efficiency in the new PVSS scheme. It only needs a number of exponentiations in large cyclic groups that are linear in the number of the shareholders, while all the existing PVSS schemes need at least a number of exponentiations in large cyclic groups that are linear in the square of the number of the shareholders.

• Smart Structures and Systems
• /
• 제15권3호
• /
• pp.627-643
• /
• 2015

Negative stiffness, previously emulated by active or semi-active control for cable vibration mitigation, is realized passively using a self-contained highly compressed spring, the negative stiffness device (NSD).The NSD installed in parallel with a viscous damper (VD) in the vicinity of cable anchorage, enables increment of damper deformation during cable vibrations and hence increases the attainable cable damping. Considering the small cable displacement at the damper location, even with the weakening device, the force provided by the NSD-VD assembly is approximately linear. Complex frequency analysis has thus been conducted to evaluate the damping effect of the assembly on the cable; the displacement-dependent negative stiffness is further accounted by numerical analysis, validating the accuracy of the linear approximation for practical ranges of cable and NSD configurations. The NSD is confirmed to be a practical and cost-effective solution to improve the modal damping of a cable provided by an external damper, especially for super-long cables where the damper location is particularly limited. Moreover, mathematically, a linear negative stiffness and viscous damping assembly has proven capability to represent active or semi-active control for simplified cable vibration analysis as reported in the literature, while in these studies only the assembly located near cable anchorage has been addressed. It is of considerable interest to understand the general characteristics of a cable with the assembly relieving the location restriction, since it is quite practical to have an active controller installed at arbitrary location along the cable span such as by hanging an active tuned mass damper. In this paper the cable frequency variations and damping evolutions with respect to the arbitrary assembly location are then evaluated and compared to those of a taut cable with a viscous damper at arbitrary location, and novel frequency shifts are observed. The characterized complex frequencies presented in this paper can be used for preliminary damping effect evaluation of an adaptive passive or semi-active or active device for cable vibration control.

• Steel and Composite Structures
• /
• 제34권1호
• /
• pp.107-122
• /
• 2020

Moment resisting stub columns (MRSCs) have increasingly adopted in special moment-resisting frame (SMF) systems in steel building structures, especially in Asian countries. The MRSCs typically provide a lower deformation capacity compared to shear-panel stub columns, a limited post-yield stiffness, and severe strength degradation as adopting slender webs. A new MRSC design with cored configuration, consisting of a core-segment and two side-segments using different steel grades, has been proposed in the study to improve the demerits mentioned above. Several full-scale components of the cored MRSC were experimentally investigated focusing on the hysteretic performance of plastic hinges at the ends. The effects of the depths of the core-segment and the adopted reduced column section details on the hysteretic behavior of the components were examined. The measured hysteretic responses verified that the cored MRSC enabled to provide early yielding, great ductility and energy dissipation, enhanced post-yield stiffness and limited strength degradation due to local buckling of flanges. A parametric study upon the dimensions of the cored MRSC was then conducted using numerical discrete model validated by the measured responses. Finally, a set of model equations were established based on the results of the parametric analysis to accurately estimate strength backbone curves of the cored MRSCs under increasing-amplitude cyclic loadings.

• 한국광학회지
• /
• 제18권2호
• /
• pp.162-166
• /
• 2007

본 논문에서는 여러 개의 DFB LD로 구성된 다파장 광원을 이용하여 선형 위상 배열 안테나(Phased Array Antenna; PAA)를 위한 WDM 광 실시간 지연선로(Optical True Time-Delay; OTTD) 빔 성형기를 제안하였다. X-밴드용 3-비트 선형 PAA 구동을 위해, 4개의 DFB LD로 이루어진 다파장 광원과 단위 시간 지연이 12 ps인 광섬유 지연선로 행렬로 구성된 WDM-OTTD를 구현하여 모든 방사각에서 시간 지연을 측정하였다. 최대 시간지연 오차는 인접 안테나 소자간 시간지연이 36 ps인 경우에 -1.74 ps와 +1.14 ps로 나타나, 방사각 오차는 주 빔의 방향이 $46.05^{\circ}$일 때 $-2.87^{\circ}\sim+1.88^{\circ}$이내가 될 것으로 예상된다. 5-GHz부터 10-GHz까지 6개의 서로 다른 RF 주파수에 대하여 시간지연 특성을 조사한 결과, 모든 주파수에서 동일한 시간 지연이 발생되는 것을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.37-44
• /
• 2018

복잡한 이산 사건 동적 시스템을 분석하기 위해 모델링 및 시뮬레이션(M&S) 기법을 적용함에 있어서, 기존에는 사용자 수준에 따라 각기 다른 시뮬레이션 환경을 사용해야 했다. 그에 따른 불편함을 해결하기 위하여 본 논문에서는 사용자 수준에 따라 M&S를 수행할 수 있는 통합된 개발 환경 및 개발 환경에서 모델을 효율적으로 관리하기 위해 정형화된 인터페이스를 제안한다. 인터페이스는 확장된 DEVS 형식론 및 모델 제작 규칙으로 구성되어있다. 개발 환경은 모델링 환경과 시뮬레이션 환경으로 나뉘고, 모델링 환경에서는 사용자의 수준별로 다른 모델링 방식을 제공한다. 모델링 작업의 결과로 생성된 모델을 활용하여 시뮬레이션 환경에서 여러 파라미터를 입력해서 시뮬레이션 함으로써 다양한 경우에 대해서 실험을 할 수 있다. 사례 연구에서는 제안한 M&S 환경을 구현한 내용에 대해 소개하고, 환경을 활용해서 복잡한 국방 전투 시스템을 모델링하고, 만들어진 모델을 바탕으로 시뮬레이션 하는 과정을 소개한다.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2002년도 추계학술대회 논문집
• /
• pp.142-148
• /
• 2002

Autonomous underwater vehicles (AUVs) are unmanned underwater vessels to investigate sea environments, oceanography and deep-sea resources autonomously. Docking systems are required to increase the capability of the AUVs to recharge the batteries and to transmit data in real time for specific underwater works, such as repeated jobs at sea bed. This paper presents a visual servo control system for an AUV to dock into an underwater station with a camera mounted at the nose center of the AUV. To make the visual servo control system, this paper derives an optical flow model of a camera, where the projected motions of the image plane are described with the rotational and translational velocities of the AUV. This paper combines the optical flow equation of the camera with the AUVs equation of motion, and derives a state equation for the visual servoing AUV. This paper proposes a discrete-time MIMO controller minimizing a cost function. The control inputs of the AUV are automatically generated with the projected target position on the CCD plane of the camera and with the AUVs motion. To demonstrate the effectiveness of the modeling and the control law of the visual servoing AUV, simulations on docking the AUV to a target station are performed with the 6-dof nonlinear equations of REMUS AUV and a CCD camera.