• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 컴퓨터소사이어티 추계학술대회논문집
• /
• pp.61-64
• /
• 2003

Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. These sensors can be deeply embedded in the physical world and spread throughout sensor network environment like smart dust. So ubiquitous computing will be come true. SmartDust project is the one of ubiquitous computing approach. It produces TinyOS, mote(mica, mica2, rene2, mica2dot, etc.), NesC, TinyDB, etc. We constructs sensor network test bed and tests to approach sensor network and ubiquitous computing.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.741-746
• /
• 2006

Future space is currently getting a great deal of attention to apply ubiquitous computing technology. At the same time, various ubiquitous technology-based products are being developed with service scenarios in the views of diverse user groups predicted. Since these service models and scenarios need to be tested to verify effectiveness, it requires researchers to predict spatial shapes and service scenarios for future domestic environment that fulfills diverse future spatial requirements including ecological and user-oriented spaces, extended amenity getting maximum benefits from technology, etc. To support these developments, the need to make a physical test-bed, a real building model, is essential. However building a physical test-bed generally is economically expensive and even if the test-bed could be settled, it must be carefully designed before it is built In this paper, we suggest a virtual smart test-bed, called "V-PlaceLab", using virtual reality techniques. This system allows not only to inspect a scenario with the aid of computer simulation on a virtual environment, but also to design a virtual test-bed mentioned above.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2008년도 학술대회 2부
• /
• pp.436-441
• /
• 2008

오늘날의 오피스 공간은 오피스 초창기에 보여지 듯 거대한 공간 안에서 동시다발적으로 일어났던 공간 구조와는 달리 개인의 업무, 공동의 업무와 상호 독립적인 업무, 그룹의 업무방법과 그룹문화, 그룹과 사람에 따라서 다르게 구성하고 있다. 이는 산업과 기술의 발달로 하여금 사용자의 오피스 공간 의식변화 및 공간 형태에서 큰 변화가 이루어짐을 의미한다. 하지만 유비쿼터스 기술의 빠른 성장은 건물 전체의 기능이나 성능, 효율과 더불어 사용자 중심의 공간의 서비스를 제공하는 지능형오피스의 기술적 공간변화로 진화되고 있다. 본 논문에서는 지능형오피스의 개념을 구체화와 사용자요구 중심의 오피스환경 연구의 일환으로 지능형오피스 서비스시나리오 구성에 대한 연구를 진행하였다.

• 지능정보연구
• /
• 제14권4호
• /
• pp.161-178
• /
• 2008

실제 물리적 공간에 유비쿼터스 서비스를 개발하여 실현하는 작업이 유비쿼터스 지능 공간 구축을 위해 진행 중에 있다. 또한 이와 같은 유비쿼터스 지능 공간 개발은 전 세계적으로 다양한 분야에서 이루어지고 있다. 이러한 유비쿼터스 지능 공간을 개발하기 위한 방법론 중에서 먼저 시나리오를 제작 분석하고 이에 따라 요구분석과 설계를 하기도 하며 역으로 개발에 고려하고 있는 유비쿼터스 기술로 먼저 설계나 요구분석을 실시하고 이후에 시나리오를 통하여 실현 가능성을 보이기도 한다. 그러나 시나리오 제작과 요구분석이 상호 유사한 내용을 공유하고 있음에도 불구하고 별도로 제작하는 과정에서 불일치와 많은 노력이 소모된다. 따라서 본 논문의 목적은 시나리오 제작과 요구분석 문서를 생성하는 시스템을 제안하는 것이다.

• 서비스연구
• /
• 제13권4호
• /
• pp.97-112
• /
• 2023

연구 배경: 현대 사회에서 공공디자인의 중요성은 도시 기능과 시민의 삶의 질 향상에 기여하는 데 크게 자리 잡고 있다. 공공시설물은 사용자의 접근성을 높이고, 편리함과 안전성을 제공함으로써 사용자 경험을 풍부하게 하며, 도시의 가치를 높이는 중추적 역할을 해왔다. 이 연구는 공공시설물의 중요성을 인식하고, 도시가 직면한 문제들을 해결하고 지속 가능하며 포용적인 도시로 나아가는 데 있어서 스마트 공공시설물의 발전 가능성을 탐구한 것이다. 연구 방법: 문헌 연구는 스마트 공공시설물에 대한 기존 이론과 연구 결과를 종합적으로 검토한다. 사례 연구는 국내외 도시에서 구현된 스마트 공공시설물의 실제 사례를 분석해 효과, 사용자 만족도, 개선점 등을 도출한다. 분석 및 논의를 통해 사례 연구의 결과를 분석하고, 스마트 공공시설물 발전 가능성에 대해 논의한다. 연구 결과: 스마트 공공시설물이 도시 관리, 에너지 효율성, 안전, 정보 접근성 등 여러 면에서 긍정적인 변화를 불러오고 있음을 확인했다. 또한, 도시 관리 측면에서는 최적화되고, 사회적 포용성, 환경 보호, 시민 참여 촉진, 그리고 기술적 혁신을 촉진하는 중요한 역할을 하고 있다. 이러한 변화는 도시의 물리적 공간과 디지털 기술이 결합한 새로운 도시 형태를 창출하며, 도시의 삶의 질을 향상한다. 결론: 이 연구는 스마트 공공시설물의 서비스 및 디자인 측면의 시사점, 현황과 기능, 그리고 도시환경 및 시민의 삶에 미치는 영향을 탐구했다. 결론적으로, 스마트 공공시설물은 도시 관리의 최적화, 에너지 효율성 향상, 정보 접근성 증진, 사용자 중심의 디자인, 상호작용 증대 및 사회적 포용의 긍정적인 변화를 불러왔다. 기술혁신과 공공시설물의 통합으로 도시를 효율적이고 능동적으로 만들며, 데이터 기반 의사결정과 최적화된 서비스 제공을 가능케 했다. 이러한 발전은 도시의 물리적 공간과 디지털 기술의 결합을 통해 새로운 형태의 도시환경 창출을 가능케 한다. 스마트 공공시설물의 발전은 도시 개발의 방향을 제시하며, 미래의 도시는 더 지능화되고 능동적이며, 사용자 친화적인 공간으로 변화를 꾀할 수 있다. 따라서 공공디자인에서 중추적 역할을 담당할 것이다. 또한, 도시환경과 시민의 삶의 질을 개선하는 데 크게 기여할 수 있다.

• 한국실내디자인학회논문집
• /
• 제21권5호
• /
• pp.57-64
• /
• 2012

The ideologie of modern society as per something to phenomenology problem is to show various different looks. The community space is spring from Greek and Roman of community place by agora and forum is make a active communicate to interpersonally. Subject to centrically In the context, this paper is study on the Sustainable development for community space about interactive space. and focusing is Response to human of interact in each other intelligent space. And this paper suggestion is composition method of community space in technology advanced, Interactive interface form for human, sustainable to community space direction elements. First, I'll rearrange the distinctive features of modern society through references of various scholars. This is to understand how interactivity affects the whole society and what is the importance of this interactive wave. Second, I'll analyze several trends of modern community space and figure the change of methodology of design based on the advancement of design technology. This is to understand the interactive relation of the subjects. Third, I'll seek how community space design has changed in modern society and under which process design is made. This is to clarify the fact that the portion of interaction will increase in future design according to the intervention of equipment, which is one of the objects of interaction space.

• Spatial Information Research
• /
• 제23권1호
• /
• pp.69-77
• /
• 2015

본 연구는 1998년부터 2013년까지 지리공간정보와 관련된 연구 논문에 대해 키워드 네트워크 분석 기법을 적용하여 분석하고 글로벌 차원에서 지리공간정보 연구의 흐름을 도출하는데 목적이 있다. 이를 위해 Web of Science 학술 자료 검색 엔진을 이용하여 지리공간정보와 관련된 논문과 주요 키워드를 추출하였다. 그리고 추출된 키워드를 이용해 키워드 네트워크 자료를 구축하고 시기별 키워드의 연결중심성과 매개중심성, 근접중심성을 분석하였다. 그 결과 다양한 분야에서 지리공간정보가 활용되어 왔음을 확인할 수 있었고 관련된 기술의 연구 동향을 계량적으로 파악할 수 있었다. 이러한 연구 결과는 지리공간정보에 대한 정책과 연구 개발 계획을 과학적으로 수립하는데 활용될 수 있을 것으로 판단된다.

• 한국유체기계학회 논문집
• /
• 제17권6호
• /
• pp.77-83
• /
• 2014

The vessel of integral reactor contains its major primary components such as the fuel and core, pumps, steam generators, and a pressurizer, so its size is proportional to the required space for the installation of each component. The steam generators take up the largest volume of internal space of reactor vessel and their volumes is substantial for the overall size of reactor vessel. Reduction of installation space for steam generators can lead to much smaller reactor vessel with resultant decrease of overall cost for the components and related facilities. A printed circuit heat exchanger is one of the compact types of heat exchangers available as an alternative to conventional shell and tube heat exchangers. Its name is derived from the procedure used to manufacture the flat metal plates that form the core of the heat exchanger, which is done by chemical milling. These plates are then stacked and diffusion bonded, converting the plates into a solid metal block containing precisely engineered fluid flow passages. The overall heat transfer area and pressure drops are evaluated for the steam generator based on the concept of the printed circuit heat exchanger in this study. As the printed circuit heat exchanger is known to have much larger heat transfer area density per unit volume, we can expect significantly reduced steam generator compared to former shell and tube type of steam generator. For the introduction of new steam generator, two design requirements are considered: flow area ratio between primary and secondary flow paths, and secondary side parallel channel flow oscillation. The results show that the overall volume of the steam generator can be significantly reduced with printed circuit type of steam generator.

• 한국전자거래학회지
• /
• 제14권3호
• /
• pp.131-151
• /
• 2009

u-공장이나 u-물류와 같은 유비쿼터스 지능공간에서의 서비스 선택 및 제공을 위해서는 자연스러운 인터페이스가 중요하다. 자연스러운 인터페이스의 실현을 위한 유력한 방법으로 증강현실 기술이 주목받고 있다. 증강현실은 가상현실과 다르게 실제 환경 위에 가상객체를 증강시켜 제공해주는 기술이다. 증강현실을 이용하면 사용자에게 정보를 직관적이고 협력적으로 제공해 줄 수 있는 이점이 있다. 하지만 현재 유비쿼터스 지능공간에서 구동될 전자상거래 도메인에서 활용되는 증강현실 기술은 거의 존재하지 않으며, 있더라도 등록된 마커에 해당하는 사전 정의된 정보와 서비스를 정적으로 제공하는 한계점을 가지고 있다. 따라서 본 연구의 목적은 사용자의 동적 상황을 고려한 증강현실형 전자상거래 방법론을 제안하는 것이다. 이를 실현하기 위해 인지심리학 모형인 Rescorla-Wagner Model과 Galton 자유연상 실험을 기반으로 한 연상 알고리즘을 개발하였으며 개인의 상황에 따라 연상된 서비스와 이미지가 증강현실을 통해 동적으로 제공되도록 하였다.