• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권1_2호
• /
• pp.103-116
• /
• 2003

정형기법을 사용하여 실시간 시스템을 명세할 때. 상태 기반 정형 기법이 가지는 큰 문제 중의 하나는 시간 값. 자료 값, 위치 값을 통한 상대 표현으로 발생하는 상태 폭발이다. 본 논문에서는 상태 폭발 문제를 접근하기 위해, 시스템의 명세에 적용하는 추상화와, 명세된 시스템의 실행에 적용하는 추상화 기법을 정의하였다. 명세 구문에 정의한 추상화를 추문 추상화라 정의하고 명세 구문이 가진 패턴(연산 정보, 구조)을 정의하여 추상화한다. 실행에 적용되는 추상화는 의미 추상화라 정의하고 실행 시 생성되는 시간, 자료, 위치 상태 값이 파진 실행 의미의 패턴을 추상화한다. 추상화를 통하여 명세 모델과 실행 모델에 계층을 생성하여 상위 계층에서는 복잡도가 낮은 단계에서 시스템의 개략적인 정보를 분석할 수 있다. 하위 계층에서는 정확도가 높은 분석을 수행할 수 있는 반면에 많은 상태를 살펴야되기 때문에 높은 복잡도를 가진다. 본 논문에서는 추상화의 정의와 더불어, 적용 사례를 통하여 상태 감소와 계층성 생성, 복잡도 감소를 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제37권3호
• /
• pp.127-137
• /
• 2010

다양한 과학 분야에서 대규모의 계산집중적인 어플리케이션들이 많은 그리드 자원을 활용해감에 따라 그 실행 관리와 제어의 어려움도 증가하였다. 어플리케이션의 반복되는 실행으로 축적된 작업 이력을 참조하여 어플리케이션의 특성을 파악하고 그리드 자원 선택 정책을 결정하였다. 본 논문은 그리드 컴퓨팅 환경과 이를 활용한 어플리케이션의 이력을 분석하기 위해 통계적 기법인 PBDF(Plackett-Burman with Fold-Over)계획법을 적용하였다. PBDF는 그리드 환경과 어플리케이션에서 주요한 요인들을 파악하고, 그것들이 얼마만큼 영향을 미치는 가를 수치화한다. 영향력 큰 요인은 작업 이력에서 참조 프로파일을 찾고 적절한 자원을 선택하는데 사용하였다. 응용의 수행 결과를 다시 작업 이력에 포함시키고 인자의 신뢰도를 조정하였다. 본 연구는 항공우주 연구 그리드의 작업 이력을 분석하여 적응형 자원 선택 알고리즘을 제안하였다. 주요한 요인들의 영향력을 계산하고 자원 선택 정책에 반영하는 실험을 하였다. 또한, 수행이 끝난 후 인자의 신뢰도를 평가해 그리드 환경 변화에 적응하는 알고리즘의 유효성을 검증하였다. 오류가 빈번한 그리드 환경에서 자원 선택 기법을 평가하기 위해 다양한 시나리오에서 그 적응력을 실험하였다.

• 한국컴퓨터정보학회논문지
• /
• 제26권2호
• /
• pp.1-9
• /
• 2021

본문에서는 순수 함수형 언어인 하스켈로 작성된 심볼릭 실행의 병렬화를 위한 상태 모나드 기반의 라이브러리에 결정적 병렬화를 적용하기 편리한 API를 설계/구현하고 멀티코어 컴퓨터에서 벤치마크를 통해 실제 성능을 향상을 확인해 본다. 일반적으로 순수 함수형 프로그램은 병렬화가 쉽다고 알려져 있으나 실제 구현에서 핵심 알고리듬 외적인 부분에서 의도치 않은 순차적 데이터 의존성의 발생으로 병렬화가 어려워질 수 있다. 심볼릭 실행 구현에서는 지금껏 사용했던 변수와 겹치지 않는 새 이름을 생성함으로써 서로 다른 범위의 이름이 같은 변수끼리 혼동하는 착오를 피하는 방식을 종종 활용한다. 그런데 이를 순차적 상태 관리로 구현한 경우가 많아 병렬화에 걸림돌이 된다. 이 논문에서는 하스켈의 범용적 이름 관리 라이브러리인 unbound-generics의 새 이름 생성 기능에 순차적 의존성을 회피할 수 있는 확장 기능을 제공함으로써 병렬적 심볼릭 실행 구현을 간소화하는 데 기여하였다. 우리가 구현한 병렬화 확장의 특징은 기존 unbound-generics 라이브러리의 내부 구현을 그대로 유지한 상태의 확장이라는 점으로, 기존에 unbound-generics로 작성된 순차적 심볼릭 실행기의 성능 저하 우려가 전혀 없다는 점이다. 따라서 병렬화가 필요한 부분에만 확장 기능을 적용하는 방식으로 활용하여 성능을 개선할 수 있다.

• Journal of Information Processing Systems
• /
• 제3권1호
• /
• pp.26-32
• /
• 2007

Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadvantages, a bytecode analysis and optimization must be performed. The control flow of the bytecode should be analyzed; next, information is required regarding where the variables are defined and used to conduct a dataflow analysis and optimization. There may be cases where variables with an identical name contain different values at different locations during execution, according to the value assigned to a given variable in each location. Therefore, in order to statically determine the value and type, the variables must be separated according to allocation. In order to achieve this, variables can be expressed using a static single assignment form. After transformation into a static single assignment form, the type information of each node expressed by each variable and expression must be configured to perform a static analysis and optimization. Based on the basic type information, this paper proposes a method for finding the related equivalent nodes, setting nodes with strong connection components, and efficiently assigning each node type.

• 한국컴퓨터정보학회논문지
• /
• 제28권12호
• /
• pp.137-145
• /
• 2023

본 논문에서는 보안성과 안정성을 유지하면서 함정 전투관리체계의 생존성을 향상시키는 체계접근통제 소프트웨어를 제안한다. 함정 전투관리체계를 구성하는 체계접근통제 소프트웨어의 운용 환경 구성 및 사용자 인증 프로세스 개선, 함정 전투관리체계 운용 환경 분류 정의, 부하율을 고려한 소프트웨어 병렬 실행 프로세스를 적용하여 체계접근통제 소프트웨어를 개선하였다. 이를 통해, 환경 구성에 필요한 대기시간을 단축하여 운용자에게 신속한 운용을 제공하고, 긴급한 상황 속에서도 환경 구성이 완료되지 않으면 함정 전투관리체계를 운용할 수 없는 점을 개선하고자 한다. 그리고 성능을 시험하기 위해 기존 함정전투관리체계를 모의하여 시험환경을 구성하였으며, 운용 분류 별 실행시간을 측정하여 비교하였다. 기존 함정 전투관리체계 대비 기본 전투관리체계 실행시간은 약 69.3% 감소하였으며, 교전 전투관리체계 실행시간은 약 54.9% 감소하였으며, 통합 전투관리체계 실행시간은 약 8.4% 감소하였음을 확인하였다.

• 전자공학회논문지CI
• /
• 제41권4호
• /
• pp.31-39
• /
• 2004

현재 ARM7 TDMI 마이크로프로세서는 소프트웨어 루틴들의 반복 알고리듬을 사용하여 정수 나눗셈 연산을 처리하고 있어 많은 명령어 수와 긴 수행 시간을 갖는다. 본 논문은 ARM7 TDMI 마이크로프로세서의 연산기능 중 구현되지 않은 정수 나눗셈 연산 기능을 제안하였다. 이를 위해 부호 없는 정수 나눗셈 명령어인 ‘UDIV’명령어와 부호 있는 정수 나눗셈 명령어인 ‘SDIV’ 명령어를 새로 정의하였으며, 명령어들의 수행하기 위해 ARM7 TDMI 마이크로프로세서의 데이터 패스에 나눗셈 알고리듬을 적용하였다. 적용한 나눗셈 알고리듬은 비복원 알고리듬이며, 기존의 데이터 패스를 최대한 이용하여 추가되는 하드웨어 유닛을 최대한 줄였다. 제안된 방법을 검증하기 위하여 HDL(Hardware Description Language)을 이용하여 RTL(Register Transfer Level)에서 설계하여 시뮬레이션 하였으며, 현재 ARM7 TDMI 마이크로프로세서의 정수 나눗셈 연산 처리 방법과 제안된 구조에서의 정수 나눗셈 연산 처리 방법을 수행 시간과 수행 명령어 수 측면에서 비교하였으며, 기존의 논문에서 제안한 정수 나눗셈기와 수행 시간과 추가되는 하드웨어 면적을 비교하였다.

• 한국멀티미디어학회논문지
• /
• 제24권7호
• /
• pp.903-912
• /
• 2021

Eye tracking research for upper limb disabilities is showing an effect in the aspect of device control. However, the reality is that it is not enough to perform web interaction with only eye tracking technology. In the Eye-Voice interface, a previous study, in order to solve the problem that the existing gaze tracking interfaces cause a malfunction of pointer execution, a gaze tracking interface supplemented with a voice command was proposed. In addition, the reduction of the malfunction rate of the pointer was confirmed through a comparison experiment with the existing interface. In this process, the difficulty of pointing due to the small size of the execution object in the web environment was identified as another important problem of malfunction. In this study, we propose an auto-magnification interface of objects so that people with upper extremities can freely click web contents by improving the problem that it was difficult to point and execute due to the high density of execution objects and their arrangements in web pages.

• 한국정보통신학회논문지
• /
• 제15권11호
• /
• pp.2313-2320
• /
• 2011

조선소에서 판넬블록 생산공정은 가장 많은 물량을 처리해야 하는 중요하고 복잡한 공정이 고, 모든 선박 및 해양구조물의 하부는 반드시 판넬블록 생산 공정을 거쳐야 하기 때문에 판넬블록 생산공정은 병목공정으로 평가된다. 공정의 생산성을 극대화하기 위해 본 논문에서는 디지털 선박생산에서 가장 중요한 기술 중의 하나인 시뮬레이션과 최적화기법을 활용하여 조선생산실행시스템(SPEXS)을 개발하였고, 판넬블록조립장 적용사례로 SPEXSPanel을 구축하여 향상된 일정계획을 수립하는 효과를 보였다. 더불어 SPEXS-Panel은 지속적인 개선을 통해 야드 생산성 향상에 도움을 줄 수 있을 것으로 기대된다.

• International Journal of Computer Science & Network Security
• /
• 제24권1호
• /
• pp.140-150
• /
• 2024

Database-as-a-Service is one of the prime services provided by Cloud Computing. It provides data storage and management services to individuals, enterprises and organizations on pay and uses basis. In which any enterprise or organization can outsource its databases to the Cloud Service Provider (CSP) and query the data whenever and wherever required through any devices connected to the internet. The advantage of this service is that enterprises or organizations can reduce the cost of establishing and maintaining infrastructure locally. However, there exist some database security, privacychallenges and query performance issues to access data, to overcome these issues, in our recent research, developed a database security model using a deterministic encryption scheme, which improved query execution performance and database security level.As this model is implemented using a deterministic encryption scheme, it may suffer from chosen plain text attack, to overcome this issue. In this paper, we proposed a new model for cloud database security using nondeterministic encryption, order preserving encryption, homomorphic encryptionand database distribution schemes, andour proposed model supports execution of queries with equality check, range condition and aggregate operations on encrypted cloud database without decryption. This model is more secure with optimal query execution performance.

• International Journal of Quality Innovation
• /
• 제8권3호
• /
• pp.46-70
• /
• 2007

Customer Support Knowledge of Customer Support Organization is one of the important assets of enterprises and "Customer Support Knowledge Management" is also the critical aspect of Business Knowledge Management; however, the attributes of Customer Support Knowledge are complicated, diverse, renewed rapidly and difficult to be managed. Thus, in order to design a successful Customer Support Knowledge Management System, apart from the consideration of "human" and "information technology" aspects, the concerns of attributes and Customer Support Knowledge and industry characteristics should be involved for meeting the requirements of Customer Support Organization and allowing the organization to acquire the competitive advantage of "Differentiation Service". This research used the "Customer Support Knowledge Management System" in a high-tech industry as an example and treated the end users of medical instruments in different types of hospitals in Taiwan which have received the support service of our company in recent six months as the population. The end users were mostly the nursing executives or ultrasonic wave technical personnel in intensive care unit and they had similar educational background and incomes and adopted the medical instruments such as physical supervision system, ultrasonic wave system, heart start or ECG machine produced by our company; the research method was to randomly treat the investigation results of the telephone customers' satisfaction from respective 30 end users in the population three months before and after this system execution as the samples and use hypotheses to validate if the end users' customer satisfaction significantly improved in terms of "Remote Support," "On-site Support," "Service Turn Around time," "Technical Competence" and "Manner" in order to understand the influence and managerial significance of execution of "Customer Support Knowledge Management System" on Customer Support Organization.