• Journal of Astronomy and Space Sciences
• /
• 제38권3호
• /
• pp.185-192
• /
• 2021

This technical paper deals the practical transformation algorithms between several lunar reference frames which will be used for Korea pathfinder lunar orbiter (KPLO) flight operation. Despite of various lunar reference frame definitions already exist, use of a common transformation algorithm while establishing lunar reference frame is very important for all members related to KPLO mission. This is because use of slight different parameters during frame transformation may result significant misleading while reprocessing data based on KPLO flight dynamics. Therefore, details of practical transformation algorithms for the KPLO mission specific lunar reference frames is presented with step by step implementation procedures. Examples of transformation results are also presented to support KPLO flight dynamics data user community which is expected to give practical guidelines while post processing the data as their needs. With this technical paper, common understandings of reference frames that will be used throughout not only the KPLO flight operation but also science data reprocessing can be established. It is expected to eliminate, or at least minimize, unnecessary confusion among all of the KPLO mission members including: Korea Aerospace Research Institute (KARI), National Aeronautics and Space Administration (NASA) as well as other organizations participating in KPLO payload development and operation, or further lunar science community world-wide who are interested in KPLO science data post processing.

• 한국IT서비스학회지
• /
• 제5권1호
• /
• pp.17-34
• /
• 2006

As insurers have undergone changing customer expectations, increased cross-industry competition and restructured distribution channels, they need to enhance customer relationships, cut costs, increase agility and streamline operations while differentiating the core competency. As such, the importance of e-business transformation has increased where organizational core processes are restructured around customers and interned-based technology is adopted for flexible and adaptive information systems. This paper presents a case study of process innovation for e-business transformation in a Korea-based leading property & casualty insurance company. The company initiated three years-long e-business transformation program to remain competitive and to keep sustainable growth under risky and down economy. The program, which covered enterprise-wide business processes such as product, marketing & sales, customer, claim, investment & loan, accountings, etc., included redesigning processes from customers' viewpoint and then implementing process-aligned information systems. Leadership, sponsorship, change management, performance measurement, business and IT alignment, empowerment, and customized methodology, were emphasized throughout the program. As a result, the company could expect not only improvements in customer-centricity, sales productivity, and operational excellence but also increased revenues and profits in the next three years. The presented case addresses a feasible approach for enterprise-wide e-business transformation. Although the strategies, actions, and business and IT models are not described in detail due to confidentiality, the methodology and the success factors would be applicable to other insurers and possibly organizations in different industries.

• The Journal of Asian Finance, Economics and Business
• /
• 제8권5호
• /
• pp.241-251
• /
• 2021

This research explores and develops digital transformation factors influencing the logistics service-provider sector in Thailand while also examining the impact sustainability factors associated with digital transformation. Divided into two parts, Part one of the theoretical study framework covers 21 factors relating to logistics, including drivers, objectives, implications, and success factors. The second part concerns 23 factors associated with logistics sustainability, including economic, environmental, and social aspects. This quantitative empirical research was conducted using an online questionnaire instrument, and a structural equation modeling (SEM) technique was used to test the proposed model. The findings from 545 samples collected between August and November 2020 from respondents working in logistics service-provider companies in Thailand show that digital transformation drivers and objectives seem likely to impact success factors and implications in digital transformation positively. Digital transformation success factors also positively impact logistics sustainability. In comparison, logistics sustainability has a significant impact on Thailand's logistics service-provider sector's economic, environmental, and social aspects. Lastly, this research highlights the significance of digital transformation success factors and extends the current knowledge about digital transformation factors and their potential impact on logistics sustainability.

• 조명전기설비학회논문지
• /
• 제22권2호
• /
• pp.19-25
• /
• 2008

본 논문에서는 시장전환 메커니즘을 활용하여 심야전력제도의 개선 방안을 새롭게 제안하였다. 심야전력 창출을 위해 도입된 심야전력제도는 현재 국가적으로 경제적 손실의 가중과 에너지 시장의 왜곡을 확대하는 결과를 가져오고 있다. 이에 따라 본 논문에서는 심야전력제도와 관련된 모든 이해당사자의 경제적 비용편익 분석을 통해 국가적으로 가장 비용 효과적이며 효율적인 시장전환 방안을 제시하였으며, 이를 위해 요금제도의 정상화를 위해 수년간 요금인상 후 심야전력제도를 폐지하는 방안을 제시하였으며, 심야전력 소비자와 사업자의 보호를 위해 복수의 수명방안에 대한 보상방안을 분석하였다.

• 한국수학사학회지
• /
• 제11권2호
• /
• pp.63-76
• /
• 1998

When teaching the linear regression analysis in the class, the power transformation must be introduced to fit the linear regression model for nonlinear data. Box and Cox (1964) proposed the attractive power transformation technique which is so called Box-Cox transformation. In this paper, an effective algorithm selecting an appropriate value for Box-Cox transformation is developed which is considered to find a value minimizing error sum of squares. When the proposed algorithm is used to find a value for transformation, the number of iterations needs to be considered. Thus, the number of iterations is examined through simulation study. Since SAS is one of most widely used packages and does not provide the procedure that performs iterative Box-Cox transformation, a SAS program automatically choosing the value for transformation is developed. Hence, the students could learn how the Box-Cox transformation works, moreover, researchers can use this for analysis of data.

• 대한조선학회논문집
• /
• 제31권2호
• /
• pp.7-14
• /
• 1994

본 연구에서는 사용자가 편리하게 사용할 수 있는 대화식 선형변환 기법을 이용한 선형설계 프로그램을 개발하였다. 선형변환 기능은 기존의 선형 Variation 기능을 가진 선박 계산 Package의 CB, LCB변환 이외에 Deadrise 생성 및 제거, 중앙 횡단면 형상 변환, 선수미부 형상변환, 단면형상 특성 변환 등 다양한 기능을 가지고 있다. 프로그램 수행시 사용자의 편의와 대화식 입출력작업을 위해 X-Window를 근간으로 하는 OSF/Motif를 이용한 그래픽 사용자 인터페이스(Graphical User Interface: GUI)를 구현하였고, 2,3차원 그래픽 라이브러리인 X-PLOT과 GLBAX를 이용하여 변환결과를 가시화하였다. 또한 선박 기본계산 프로그램과 내항 및 조종 프로그램과의 접속을 위한 interface 모듈도 개발하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권1호
• /
• pp.62-66
• /
• 2009

많은 컴파일러는 속도를 높이기 위해서 최적화를 수행한다. 최적화의 결과로 프로그램의 구문이 변경된다. 단일 스레드 소프트웨어에서는 변경된 구문이 영향을 받지 않지만 멀티스레드 소프트웨어에서는 변경된 구문 때문에 예상하지 못한 실행 결과가 발생할 수 있다. 멀티 스레드자바 소프트웨어는 스레드들 간에 메모리를 통한 상호작용을 자바 메모리 모델을 통해서 명세 한다. 자바 메모리 모델은 자바언어의 표준 메모리 모델이다. 하지만 현재까지 나와 있는 어떠한 자바 모델 체킹 도구도 자바 메모리 모델을 지원하지 않는다. 본 논문에서는 자바 메모리 모델을 지원하는 모델 체킹 도구를 개발하기 위해서 자바 메모리 모델을 지원하는 시물레이터를 많은 모델 체킹 도구에서 사용되는 SMT 기반으로 구현했다. SMT 기반 메모리 모델 시뮬레이터는 기존의 메모리 모델 시뮬레이터에서 몇분이 걸리는 계산 결과를 1초 이내에 계산하였다. 또한 이를 통해 기존 소프트웨어 모델 체킹에서 표현할 수 없는 실행 결과를 빠르게 표현할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제16권6호
• /
• pp.41-50
• /
• 2011

악의적인 소프트웨어 역공학으로부터 프로그램이 가지는 코드를 보호하기 위해서 코드 난독화가 제안되었다. 이것은 기존에 존재하는 프로그램 코드를 어렵게 변환시키는 것으로 프로그램 코드에 대한 악의적인 정적 분석을 어렵게 만든다. 코드 난독화는 난독화 목적에 따라 레이아웃, 데이터, 제어 난독화로 분류되어진다. 이 중 제어 난독화는 프로그램이 가지는 제어 흐름에 대한 추상적인 정보를 보호하는 것으로 다양한 종류의 개별 제어 흐름 난독화 변환이 제안되었지만, 이를 효과적으로 적용할 수 있는 방법은 제안되지 않았다. 본 논문에서는 제어 흐름 난독화 변환을 프로그램에 효과적으로 적용할 수 있는 난독화 전략을 제안하고, 실험을 통해서 제안한 난독화 전략의 효용을 보였다.

• 전기저널
• /
• 8호통권116호
• /
• pp.14-17
• /
• 1986

• 한국실천공학교육학회논문지
• /
• 제2권2호
• /
• pp.36-41
• /
• 2010

푸리에 변환과 관련하여 많은 참고할 수 있는 문헌이 존재하지만, 수식의 복잡성과 차이로 인해, 초보자가 푸리에 변환을 이해하고 활용하는 데에는 어려움이 따른다. 본 논문에서는 관련된 수식을 정리하고 수치 결과의 비교를 통하여 푸리에 변화을 이해하고자 하였다. 대표적인 입력신호에 대하여 푸리에 변환 결과를 도시하였고 푸리에 변환의 특성을 정리하였다.