• Title/Summary/Keyword: goal-oriented

Search Result 494, Processing Time 0.026 seconds

Deadline Handling in Real-Time Distributed Object Oriented Programming of TMO

  • Kim, Hee-Chul;Na, Sang-Dong
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.6 no.6
    • /
    • pp.863-872
    • /
    • 2002
  • Real-time(RT) object-oriented(00) distributed computing is a form of RT distributed computing realized with a distributed computer system structured in the form of an object network. Several approached proposed in recent years for extending the conventional object structuring scheme to suit RT applications, are briefly reviewed. Then the approach named the TMO(Time-triggered Message-triggered Object) structuring scheme was formulated with the goal of instigating a quantum productivity jump in the design of distributed time triggered simulation. The TMO scheme is intended to facilitate the pursuit of a new paradigm in designing distributed time triggered simulation which is to realize real-time computing with a common and general design style that does not alienate the main-stream computing industry and yet to allow system engineers to confidently produce certifiable distributed time triggered simulation for safety-critical applications. The TMO structuring scheme is a syntactically simple but semantically powerful extension of the conventional object structuring approached and as such, its support tools can be based on various well-established 00 programming languages such as C++ and on ubiquitous commercial RT operating system kernels. The Scheme enables a great reduction of the designers efforts in guaranteeing timely service capabilities of application systems.

Methods for a target-oriented travel demand management (목표지향 기종점 교통수요 관리모형연구)

  • Im, Yong-Taek
    • Journal of Korean Society of Transportation
    • /
    • v.27 no.6
    • /
    • pp.167-176
    • /
    • 2009
  • Several travel demand management schemes have been used for controlling overloaded traffics on urban area. To maximize efficiency of the travel management, traffic manager has to set target level that we try to arrive in advance, and then to find optimal variable to attain this goal. In this regard, this paper presents two travel demand management models, expressed by mathematical program, and also presents their solution algorithms. The first is to find optimal travel demand for origin-destination (OD) pair, based on average travel time between the OD pair, and the second is based on the ratio of volume over capacity on congested area. An example is given to test the models.

The study about apparel shopping behavior types of internet shopper (인터넷 쇼핑몰 이용자의 의류상품 쇼핑행동 유형 연구)

  • 김선숙;이은영
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.27 no.9_10
    • /
    • pp.1036-1047
    • /
    • 2003
  • This study was carried out in the purpose of proposing internet marketing strategy which can make conversion rate higher through analysis of internet shopping behavior types. This study was executed in two stages; qualitative study, quantitative study. In the qualitative study, internet shopping behavior types were investigated through the In-depth interview and direct observation, and then in the quantitative study, differences of internet shopping behavior types according to consumer characteristics, product properties and shopping-mall types were examined. For qualitative study, 30 samples by focus sampling were inquired and for quantitative study, 334 data were collected through web survey. The results of this study are as follows: First, 7 Internet shopping behavior types of apparel were found through the qualitative study: cautious purchase by price comparison, searching purchase, special low price purchase, impulse purchase, prepurchase deliberation, information accumulation, recreation-oriented. Second, in relation to consumer characteristics, consumers that have many internet purchase experiences showed goal-directed behavior more and female did more special low price purchase behavior and impulse purchase behavior than male. Third, according to product properties, high price product led more cautious purchase by price comparison & prepurchase deliberation behavior and fashionable product led more information-searching behavior. In the case of low price and fashionable products, impulse purchase behaviors were showed more. Forth, according to Internet shopping mall types, category killer shopping mall visitors showed information search behavior, recreation-oriented behavior more.

A Goal-oriented Test Data Generation for Programs with Pointers based on SAT (SAT에 기반한 포인터가 있는 프로그램을 위한 목적 지향 테스트 데이터 생성)

  • Chung, In-Sang
    • Journal of Internet Computing and Services
    • /
    • v.9 no.2
    • /
    • pp.89-105
    • /
    • 2008
  • So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

  • PDF

An Analysis of Demand Elasticity to Facilitate the Use of Public Transportation in the Administrative City (행정중심복합도시 대중교통 이용활성화를 위한 수요탄력성 분석)

  • Kim, Tae-Gyun;Park, Ji-Eun;Lee, Yun-Sang
    • Land and Housing Review
    • /
    • v.9 no.3
    • /
    • pp.9-18
    • /
    • 2018
  • Administrative city has been developed step by step aiming to being a public transport-oriented new city. In spite of its primary goal, administrative city is dominated by car-oriented tansportaion system because the supply of public transportation has not been adequately and timely performed. In this study, we investigate the current situation related to (public) transportation use in administrative city. Also, we examine the issues of traffic system through a survey on residents' consciousness about public transportation use. Additionally, the analysis of demand elasticity according to the change of the conditions of using public transportation and passenger car is conducted for passenger car users. As a result, it is analyzed that as the neighborhood is more stabilized after the completion of development the resistance to the abandonment of passenger car is higher when the tide demand control method is introduced. Therefore, it is concluded that pre-emptive public transportation supply and the management of car demand management are necessary for the activation of public transportation in Administrative city.

Real-Time Communication using TMO(Time-Triggered and Message-Triggered Object) in Distributed Computing Systems

  • Kim, Gwang-Jun;Kim, Chun-Suk;Kim, Yong-Gin;Yoon, Chan-Ho;Kim, Moon-Hwan
    • Journal of information and communication convergence engineering
    • /
    • v.1 no.1
    • /
    • pp.12-22
    • /
    • 2003
  • Real-time(RT) object-oriented(OO) distributed computing is a form of RT distributed computing realized with a distributed computer system structured in the form of an object network. Several approached proposed in recent years for extending the conventional object structuring scheme to suit RT applications, are briefly reviewed. Then the approach named the TMO (Time-triggered Message-triggered Object) structuring scheme was formulated with the goal of instigating a quantum productivity jump in the design of distributed time triggered simulation. The TMO scheme is intended to facilitate the pursuit of a new paradigm in designing distributed time triggered simulation which is to realize real-time computing with a common and general design style that does not alienate the main-stream computing industry and yet to allow system engineers to confidently produce certifiable distributed time triggered simulation for safety-critical applications. The TMO structuring scheme is a syntactically simple but semantically powerful extension of the conventional object structuring approached and as such, its support tools can be based on various well-established OO programming languages such as C++ and on ubiquitous commercial RT operating system kernels. The Scheme enables a great reduction of the designers efforts in guaranteeing timely service capabilities of application systems

Smart Senior Job Search: The Elderly-oriented Services for Job Searching with the Spatial Information (공간정보를 활용한 스마트 고령자일자리 맞춤형 검색서비스)

  • Kim, Miyun;Seo, Dongjo
    • Journal of Korea Multimedia Society
    • /
    • v.19 no.8
    • /
    • pp.1433-1443
    • /
    • 2016
  • In the cases of the major cities, high poverty rate of the elderly, immature pension policies, and insufficient market conditions, policies and services for the employment of the elderly decrease the desire for the job participation. It is time to prevent the problems of the elderly, and induce the reachable seniors to participate in social activities. This research provides the location-based, customized job-search service for the elderly in order to actively support the participation in the economic activities of the elderly. The goal of SSJS(Smart Senior Job Search) is to provide the individual elderly with the customized position. It prints the appropriate positions near user location based on the residential area, job classification, and the physical condition, and provides the mash-up of the selectable job range in the unit distance based on the map. This customized service, which enables the seniors to select the type of the jobs based on their physical, mental and life conditions of the seniors, supports the participation in economic activities of the elderly people, and contribute to the expansion of the social job positions for the elderly and the equalization of the local development.

A Study on the Use of Process Drama to Improve Korean Speaking Ability: Focusing on a Unit Design of Sejong Intermediate Korean Conversation Coursebook (한국어 말하기 능력 향상을 위한 과정극(process drama) 활용에 대한 고찰 -'세종한국어 회화 중급' 교재의 과제 단원 개발을 중심으로-)

  • Lee, Junghee;Park, Hae-ok
    • Journal of Korean language education
    • /
    • v.29 no.1
    • /
    • pp.199-222
    • /
    • 2018
  • This study attempts to apply process drama in teaching Korean speaking. For that goal, the first part of the study introduces the main features of process drama exploring the possible use of teaching Korean speaking, and the second part presents a concrete example of developing a unit of the Sejong intermediate Korean conversation coursebook which was designed using a process drama method. Process drama is a process-oriented drama activity which progresses only with the teacher and students' spontaneous participation. With its unique meaning-oriented interaction paradigm, it has been suggested as an effective way of teaching and learning a foreign language. Since it emphasizes students' spontaneity, cooperation, and authentic communication, it commonly provides plenty of opportunities for students to interact in a meaningful context. Despite its effectiveness in teaching speaking, it has rarely been used in KFL contexts. Considering the limited opportunities to practice speaking in KFL classrooms, using a communication-rich activity such as process drama would be an optimal solution. This study, therefore, examines possible application of process drama in teaching Korean speaking, and introduces sample speaking materials designed for KFL intermediate learners.

Analysis of Inheritance Anomaly due to Integrated of Inheritance and Concurrency (상속성과 병행성 통합에서 오는 상속 변칙 분석)

  • 오승재
    • Journal of the Korea Society of Computer and Information
    • /
    • v.6 no.4
    • /
    • pp.38-44
    • /
    • 2001
  • The integration of concurrency and object-oriented programming paradigm has been a goal of researchers for over a decade. The concurrent object-oriented programming languages used for various concurrent applications development. However, concurrency and inheritance have conflicting characteristics, thereby inhibiting their simultaneous use without heavy breakage of encapsulation. This conflicting phenomenon is known as inheritance anomalies, have been limited in applicability and have not addressed all the issues that synchronization raises. In this paper, the behavior description equation is introduced for the solution for the conflicting phenomenon, between inheritance and object-based concurrency. As a result, it can solve the several inheritance anomalies and is not necessary to redefine method. Therefor, it offers flexible concurrency model with an emphasis on the reuse of both synchronization and function code.

  • PDF

A Study on How to Operate the Curriculum·Comparative Division for Animation Majors in the Era of Image-generating AI: Focusing on the AI Technology Convergence Process (이미지생성AI시대 애니메이션학과의 교과·비교과 운영 안 연구: AI기술융합 과정을 중심으로)

  • Sung Won Park;You Jin Gong
    • Journal of Information Technology Applications and Management
    • /
    • v.31 no.4
    • /
    • pp.99-119
    • /
    • 2024
  • Focusing on the rapid progress of image generation AI, this study examines the changes in talent required according to changes in the production process of the content industry, and proposes an educational management plan for the subject and comparative department of the university's animation major. First, through environmental analysis, the trend of the animation content industry is analyzed in three stages, and the necessity of producing AI-adapted content talent is derived by re-establishing the talent image of the university's animation major and introducing it into rapid education. Next, we present a case designed by applying teaching methods to improve technology convergence capabilities and project-oriented capabilities by presenting subject and non-curricular cases operated in the animation department of the researcher's university. Through this, we propose the necessity of education to cultivate animation content talent who can play technical and administrative roles by utilizing various AI systems in the future. The goal of this study is to establish a cornerstone study by presenting application cases and having the status of a university as a talent supplier that can lead the content industry beyond the era of AI content production that breaks the boundaries of genres between contents. In conclusion, it is intended to propose the application of education to create value through technology convergence capabilities and project-oriented capabilities to cultivate AI-adapted content talents.