• 한국실내디자인학회논문집
• /
• 제19권1호
• /
• pp.226-235
• /
• 2010

As marine leisure is getting popular around the world, people's interest in cruise ship is increasing rapidly. Now it became possible to make cruise ship with Korean technology, as a result of continuous research and development. However, as cruise ships are getting bigger and more popular, new cruise interior design is required to satisfy various clients' aesthetic and functional demands. Therefore, more researches for cruise interior design are needed. The purpose of this study is to analyze the characteristics of planning and design of passenger's cabins in cruise ship. The scope of this research is limited to the types in the 2004-2010 in Large Cruise Ships. Method of this study are document study and case study, in particularly, case study is conducted for the specific design methods through case analysis. The results of this study are as follow : One of the transitions in the cruise cabin designs is that cabins with balconies occupy a large portion of the entire cabins. As the functions of these balconies are diversifying, more distinctive forms of balcony are showing up. In particular, the cabins which are connected to public space differentiate themselves from those with the same rates; it meets the demands of the clients who require high quality services. In terms of cabin design, a futuristic, distinctive cabin that has incorporated will be a very important function in determining the value of the cruise ship. Based on the results of this research, application of the rapid changes in cabin design and studies about more diversified and advanced design are required.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2477-2484
• /
• 1997

$A^{\ast}$와 같은 Best-first 휴리스틱 탐색 알고리즘들은 인공지능 분야에서 많은 문제를 해결하는데 가장 중요한 기법들 중의 하나이다. 휴리스틱 탐색의 공통적 특성은 계산의 복잡도가 매우 높다는 것이며, 이는 수많은 노드를 가진 지도에서 경로를 찾는 것과 같은 실질적인 문제 영역에 적용되기 어렵다는 것을 나타낸다. 본 논문에서는, 몇몇 휴리스틱 탐색 알고리즘이 언급되고, path-sensitive heuristic이라 불리는 새로운 동적 가중치 휴리스틱 방법이 제안되었다. 이 방법은 동적 가중치 휴리스틱에 기초하였고, 동적 휴리스틱은 admissible heuristic을 허용하지 않거나 휴리스틱의 정확도가 떨어지는 실제 문제 영역에서 탐색 노력을 줄이는데 사용될 수 있다. 탐색 과정 동안 ${\omega}$(가중치)가 동적으로 조정된다는 점에서, 다른 동적 가중치 휴리스틱 알고리즘과 구분된다.

• 터널과지하공간
• /
• 제26권6호
• /
• pp.508-515
• /
• 2016

본 연구에서는 필라의 강성도와 필라의 중첩률이 다른 4가지 모형에 대한 축소모형실험을 통하여 주방식 채광 광주의 안정성을 비교하였다. 실험모델은 석고 모델 2개(필라 중첩률이 0%, 100%)와 시멘트 모델 2개(필라 중첩률이 0%, 100%)이다. 필라의 강성도는 석고 모델은 연암, 시멘트 모델은 경암을 모델링하였다. 본 연구에서 실시한 실험은 계산된 축소율이 반영된 강도 값을 갖는 모형재료를 사용하지 않았기 때문에 현장상태를 그대로 실험실에서 재현한 진정한 의미의 축소모형실험은 아니다. 실험을 통해 주방식 채광법을 적용한 광산에서 편간 불일치 필라가 광산의 안정성에 어느 정도 영향을 줄 수 있는 인자 중의 하나임을 확인하였다.

• 설비공학논문집
• /
• 제28권8호
• /
• pp.305-310
• /
• 2016

A thermal storage systems was designed to correspond to the temporal or quantitative variation in the thermal energy demand, and most of its heat is stored using the latent and sensible heat of the heat storage material. The heat storage method using latent heat has a very complex phenomenon for heat transfer and thermal behavior because it is accompanied by a phase change in the course of heating/cooling of the heat storage material. Therefore, many studies have been conducted to produce an experimentally accessible as well as numerical approach to confirm the heat transfer and thermal behavior of phase change materials. The purpose of this study was to investigate the problems encountered during the actual heat transfer from an internal storage tank through simulation of the process of storing and utilizing thermal energy from the thermal storage tank containing charged PCM. This study used analysis methods to investigate the heat transfer characteristics of the PCM with simultaneous heating/cooling conditions in the rectangular space simulating the thermal storage tank. A numerical analysis was carried out in a state considering natural convection using the ANSYS FLUENT(R) program. The result indicates that the slope of the liquid-solid interface in the analysis field changed according to the temperature difference between the heating surface and cooling surface.

• 한국자기학회지
• /
• 제16권5호
• /
• pp.245-248
• /
• 2006

Sol-gel법을 이용하여 단일상을 갖는 $Tb_{3-x}Bi_xFe_5O_{12}$ 분말 시료를 제조하였으며, 그 결정학적 및 자기적 특성을 x-선 회절법(XRD), 진동 시료 자화율 측정법(VSM), $M\"{o}ssbauer$ 분광법으로 연구하였다. XRD 분석 결과 결정구조는 Ia3d의 공간그룹을 갖는 cubic 구조임을 알 수 있었고, Bismuth의 치환량이 x=0.5, 0.75, 1.0 및 1.25로 증가할수록 격자상수가 각각 $a_0=12.466{\AA},\;12.487{\AA},\;12.499{\AA},\;12.518{\AA}$으로 선형적으로 증가함을 확인할 수 있었다. VSM을 이용한 온도에 따른 자기모멘트 측정 결과 Bismuth의 치환량이 증가하면 $N\'{e}el$ 온도는 증가하며 compensation 온도는 감소함을 확인할 수 있었다. 또한 field cooled 조건에서 비정상적인 음의 자화값이 관측되었다. $M\"{o}ssbauer$ 스펙트럼은 4.2 K에서부터 $N\'{e}el$ 온도까지 측정하였으며, 분석 결과 상온에서 모든 시료의 이성질체 이동치의 값은 평균적으로 0.27mm/s로 철의 이온상태가 +3가 임을 확인할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제23권11호
• /
• pp.111-122
• /
• 2018

The purpose of this study was to investigate the bodice prototype method suitable for the upper body shape of old-old aged women using the 3D anthropometric data. And it was to provide the basic data for the upper body garments of old-old aged women. In the overall appearance evaluation, the B pattern was rated as 4.00, and it was evaluated as the most suitable for the bodice prototype of the old-old aged woman. The E pattern was rated lower than normal, and the L pattern and the S pattern were found to be inadequate for older female bodice prototypes. As a result of the measurement of the waist and bust air gap of bodice prototype, the air gap of the bust was not significantly different between the patterns. But the waist air gap showed the largest difference between the L pattern and the S pattern. As a result of evaluating the appearance, the amount of space in the state of 3D simulation, and the air gap, the pattern B appeared to be the most appropriate prototype for the old-old aged women's body shape. However, there is a tendency that the shoulder end point is biased toward the back, so it is necessary to set the inclination of the back shoulder line to be more gentle. Conversely, the front shoulder should be more inclined. In the case of the 3D simulation, the B pattern showed that the other parts generally fit well. In the case of the 3D simulation program used in this study, it was evaluated that it is suitable only for the normal body shape because it is impossible to set the isometric angle which is one of the characteristics of the older female body shape. A study on the bodice prototype suitable for the bent body shape should be carried out through experiments on the actual body shape of various elderly women. In order to cope with the increase of elderly people who are familiar with digital, I think it is necessary to develop an avatar that reflects the old female body shape.

• 한국산학기술학회논문지
• /
• 제22권2호
• /
• pp.644-650
• /
• 2021

본 연구는 지구 온난화의 주요 원인인 이산화탄소를 이용하여 메탄의 개질반응 특성을 수행하였다. 이산화탄소와의 메탄 분해 반응을 전이금속 촉매인 주석을 사용하여 수행되었으며, 주석의 분해 반응성은 니켈, 철과 같은 전이 금속보다 낮으며, 대부분의 분해 반응은 고체 상태 촉매하에 수행된다. 반면에 주석의 녹는점은 505.03K로 액상 촉매하에서 분해가 발생된다. 주석을 사용하는 경우 액상으로 반응하며 메탄이 분해되어 생성되는 고체상 탄소가 촉매에 침적되어 비활성화되는 것을 것을 방지하는 장점이 있다. 이산화탄소를 사용하여 메탄을 분해하는 경우 일산화탄소와 수소를 생성한다. 촉매의 활성과 수명을 높이기 위해 Ni를 사용한 경우 촉매 활성이 향상되었다. 본 연구에서는 과잉습식함침법을 이용하여 촉매를 합성하였으며, 반응 온도, 공간 속도에 따른 활성과 촉매 재생 가능성을 타진하였다. 탄소가 침적된 주석의 촉매 재생 온도는 1023 K로 나타났으며, 니켈을 조촉매로 사용하고 물을 공급하므로써 반응성이 향상되는 것으로 나타났다.

• 한국정보통신학회논문지
• /
• 제24권7호
• /
• pp.935-941
• /
• 2020

사람 수 추정 기술은 IoT 서비스를 제공하기 위해 중요하다. 대부분의 사람 수 추정 기술은 카메라 또는 센서 데이터를 활용한다. 하지만 기존 기술들은 사생활 침해 문제가 발생 가능하며 추가로 인프라를 구축해야한다는 단점이 있다. 본 논문은 Wi-Fi AP를 활용하여 사람 수를 추정하는 방법을 제안한다. 사람 수 추정을 위해서 Wi-Fi의 채널 상태 정보를 딥러닝 기술을 활용하여 분석한다. Wi-Fi AP 기반 사람 수 추정 기술은 사생활 침해 우려가 없으며, 기존 Wi-Fi AP 인프라를 활용하면 되기 때문에 추가 비용이 발생하지 않는다. 제안하는 알고리즘은 k-바인딩 데이터 전처리 과정과 1D-CNN 학습 모델을 사용한다. AP 2대를 설치하여 6명의 사람 수 추정 결과를 실험을 통해 분석하였다. 정확한 사람 수 판별에 관한 결과는 64.8%로 낮은 결과를 보였지만, 사람의 수를 클래스로 분류한 결과는 84.5%의 높은 결과를 보였다. 해당 알고리즘은 제한된 공간에 사람의 밀집도를 파악하는데 응용 가능할 것으로 기대된다.

• 대한금속재료학회지
• /
• 제48권3호
• /
• pp.262-267
• /
• 2010

$LiNi_{1-x}Mg_xO_2$(x=0, 0.025, 0.05, 0.075, 0.1) samples were synthesized by the solid-state reaction method. The crystal structure was analyzed by X-ray powder diffraction and Rietveld refinement. $LiNi_{1-x}Mg_xO_2$samples give single phases of hexagonal layered structures with a space group of R-3m. The calculated cation-anion distances and angles from the Rietveld refinement were changed with Mg contents in $LiNi_{1-x}Mg_xO_2$. The thicknesses of $NiO_2$ slabs were increased and the distances between the $NiO_2$ slabs were decreased with the increase in Mg contents in the samples. The electrical conductivities of sintered $LiNi_{1-x}Mg_xO_2$ samples were around $10^{-2}$ S/cm at room temperature. The electrochemical performances of $LiNi_{1-x}Mg_xO_2$were evaluated by coin cell test. Compared to $LiNiO_2$, $LiNi_{0.95}Mg_{0.05}O_2$ exhibited improved high-rate capability and cyclability due to the well-ordered layered structure by doping of Mg ion.