• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권10호
• /
• pp.4703-4723
• /
• 2018

In recent years, dense small cell network has been deployed to address the challenge that has resulted from the unprecendented growth of mobile data traffic and users. It has proven to be a cost efficeient solution to offload traffic from macro-cells. Software defined heterogeneous wireless network can decouple the control plane from the data plane. The control signal goes through the macro-cell while the data traffic can be offloaded by small cells. In this paper, we propose a framework for cell virtualization and user association in order to satisfy versatile requirements of multiple tenants. In the proposed framework, we propose an interference graph partioning based virtual-cell association and customized physical-cell association for multi-homed users in a software defined small cell network. The proposed user association scheme includes 3 steps: initialization, virtual-cell association and physical-cell association. Simulation results show that the proposed virtual-cell association outperforms the other schemes. For physical-cell association, the results on resource utilization and user fairness are examined for mobile users and infrastructure providers.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.999-1010
• /
• 2003

프로그램 슬라이싱은 프로그램의 특정 지점에 나타난 변수의 값에 영향을 미치는 문장들을 프로그램으로부터 추출하는 방법이다. 프로그램 슬라이싱은 프로그램 디버깅, 프로그램 테스팅, 프로그램 통합, 병렬 프로그램 실행, 소프트웨어 메트릭스, 역공학, 유지보수 등 여러 응용 분야에 적용할 수 있다. 본 논문에서는 포인터 변수, 포인터 변수가 참조하는 객체, 배열, 구조체가 같은 복잡한 자료구조가 나타나는 프로그램에서 정확한 슬라이스를 추가하기 위한 알고리즘을 제안한다. 복잡한 자료구조가 나타나는 프로그램 상에서 객체의 보다 더 정확한 정적 분석 정보를 생성하기 위해 객체 참조상태 그래프를 제안하고, 그 효율성을 보였다.

• Journal of Information Processing Systems
• /
• 제20권2호
• /
• pp.200-214
• /
• 2024

Amid the flood of data, social network analysis is beneficial in searching for its hidden context and verifying several pieces of information. This can be used for detecting the spread model of infectious diseases, methods of preventing infectious diseases, mining of small groups and so forth. In addition, community detection is the most studied topic in social network analysis using graph analysis methods. The objective of this study is to examine signed attributed social networks and identify the maximal balanced cliques that are both absolute and fair. In the same vein, the purpose is to ensure fairness in complex networks, overcome the "information cocoon" bottleneck, and reduce the occurrence of "group polarization" in social networks. Meanwhile, an empirical study is presented in the experimental section, which uses the personal information of 77 employees of a research company and the trust relationships at the professional level between employees to mine some small groups with the possibility of "group polarization." Finally, the study provides suggestions for managers of the company to align and group new work teams in an organization.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.461-470
• /
• 2013

소프트웨어 시스템 각 개발단계에서 만들어지는 다양한 산출물들의 연관 관계를 추적하는 능력은 소프트웨어의 품질 관리에 필수적인 요소이다. 소프트웨어 릴리스는 신규 또는 변경된 산출물들의 집합(실행 프로그램 포함)을 고객에게 인도하는 것이다. 소프트웨어 릴리스를 구성하는 산출물들의 연관 관계를 정확하게 추적할 수 있어야 고객의 변경 요구나 기능 개선을 위한 효율적인 작업을 수행할 수 있으며, 릴리스 관리는 형상 관리와 변경 관리를 통합할 때 효율적으로 이루어질 수 있다. 본 논문은 개인 작업 공간과 형상 관리 시스템을 통합한 환경을 통해 산출물들의 변경 관리를 지원하고 릴리스를 구성하는 산출물들의 연관 관계를 효율적으로 추적할 수 있는 방법을 제시한다. 제시된 환경에서 산출물의 연관 관계를 추적하기 위해 시각화된 버전 그래프와 자동화된 태깅(tagging) 기능을 사용한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
• /
• pp.338-342
• /
• 1988

Recently, in sequence control systems, high flexibility and maintenance of control software are required. This is because product life cycles become shorter and control specification must be changed frequently. The authors extend the concept of Safe Petri Net to develop the design and analysis tool for sequence control systems taking the safeness and notation of input/output functions into consideration. Extended Safe Petri Net (S-Net) is proposed as such a new graph model and real time scanning algorithm based on S-Net is developed.

• 대한전자공학회논문지
• /
• 제21권6호
• /
• pp.70-77
• /
• 1984

This paper represents a fast computational algorithm for the discrete sine transform defined by Kekre and Solanki. Techniques are developed to factor the discrete sine trans form matrix into M=log2 2N matrices, where the number(N) of sampled data points is a power of two. Each factorial matrix contains not more than two non-zero real elem tints in any row or column. As a result of this method, the exact a배orithm for the fast discrete sine transform is accomplished. The algorithm is illustiated by a signal flow graph, which may be readily translated to hardware or software implementation.

• 산업공학
• /
• 제7권3호
• /
• pp.227-237
• /
• 1994

In this study, graphic environment for system monitoring is designed that can efficiently manage monitoring data. And also system informations are inplemented to database for reliability and a utility management software is developed to monitor systems on graphic environment and RDBMS (Relational DataBase Management System). Specially, system status informations are presented in the forms of animation, graph, value, icon, and voice message. Status data and general basic informations of system can be all the times updated and indexly reported on database.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 공동추계학술대회 경제위기 극복을 위한 정보기술의 효율적 활용
• /
• pp.655-662
• /
• 1998

This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL , and analyzed through the reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• pp.753-756
• /
• 2003

The paper presents the results of the project GISMO, which aimed on generating and interactively visualising a 3D urban landscape model of the city of Stuttgart, Germany. With respect to the desired flexibility to support walkthrough and flyover applications, a combined approach using continuous level of detail, the impostor technique and a method for generalizing 3D building models was used to speed up the visualization. To reduce the costs of the project, the data collection tools and the visualization environment was built solely with open-source software.

• 디지털콘텐츠학회 논문지
• /
• 제11권2호
• /
• pp.277-282
• /
• 2010

본 연구에서는 생체 계측 모듈에서 획득된 혈중 산소 포화도(SpO2) 신호를 PC에 무선으로 전송할 수 있는 무선통신 모듈을 개발하였다. 개발된 무선통신 모듈은 개인의 의료정보 보안을 고려하여 지그비 또는 블루투스 등과 같은 개방형 프로토콜 대신 비개방형 프로토콜로 설계되었다. 또한 응급이송 시 전송된 혈중 산소 포화도 신호를 의료진에게 정보 손실 없이 다양한 형태의 데이터 및 그래프로 정보를 제공할 수 있도록 하는 디스플레이 프로그램을 개발하였다.