• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• Korean journal of communication and information
• /
• v.35
• /
• pp.7-35
• /
• 2006

As neoliberal Globalization is reinforced, the debating of international stage about cultural market is heated up. People who insist market opening claim that cultural product has to be handled in condition such as other goods. However, the dissenter of cultural market-opening assert 'cultural exception' in goods trade because culture affects in individual and community consciousness and identity. The dispute encompassing cultural market raise the concept of Global Governance which presents theoretical frame about international society's decision-making and administration. Thus, this article explore international norms which encompass cultural market and its stakeholder through Global Governance frame. Specifically, first, this article review the theory of Global Governance. Second, this article examine international norms such as WTO, GATT, GATS, and also study its opponent who advocate 'cultural diversity'. Consequently, this article argue that the debating and conflict about cultural market should be resolved, not by hegemony state, by Global Governance frame which all stakeholder take part in.

• Journal of the Korean Society for information Management
• /
• v.41 no.3
• /
• pp.359-380
• /
• 2024

This study discusses the current state and challenges of global scholarly communication and the internationalization of scholarly journals. This study defines journal internationalization from the viewpoint of global scholarly communication and examines how the pursuit of knowledge universality, inclusiveness, and bibliodiversity, as well as scholar-led global scholarly communication, are being impeded. It proposes no-fee OA and repository-based OA journal publishing models and the development of multilingual scholarly information systems as a means to foster healthy global scholarly communication. Additionally, the study discusses the significance of international and national support and policy development, the roles of university libraries and library consortia, and the awareness of researchers, universities, and learned societies in promoting global scholarly communication.

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 2008.09a
• /
• pp.196-199
• /
• 2008

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.350-354
• /
• 2004

□ Many specification language has been developed for workflow modeling, but their emphasis on the process semantics make it difficult for use on the business process modeling. □ Also their lack of understanding of global view of Business process adds another problem to model workflow in a seamless and accurate and timely fashion(omitted)

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 2008.09b
• /
• pp.196-199
• /
• 2008

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.2
• /
• pp.635-656
• /
• 2019

In this paper, we investigate the degrees of freedom (DoF) of a multi-cell multi-user multiple-input multiple-output (MIMO) interference broadcast channel (IBC) with non-cooperation distributed base stations (BS), where each BS serves users of its corresponding cell. When all BSs simultaneously transmit their own signals over the same frequency band in the MIMO IBC, the edge users in each cell will suffer the inter-cell interference (ICI) and inter-user interference (IUI) signals. In order to eliminate the ICI and IUI signals, a distributed space time interference alignment (DSTIA) approach is proposed where each BS has only limited access to distributed moderately-delay channel state information at the transmitter (CSIT). It is shown that the DSTIA scheme can obtain the appreciate DoF gains. In addition, the DoF upper bound is asymptotically achievable as the number of antenna at each BS increases. It is shown that the DSTIA method can get DoF gains over other interference alignment schemes with delayed CSIT in literature. Moreover, the DSTIA method can attain higher DoFs than the IA schemes with global CSIT for certain antenna configurations.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.3
• /
• pp.337-346
• /
• 2022

This study explores the impact of the COVID-19 pandemic on the stock prices of state-owned enterprises listed on the Indonesia Stock exchange. The impact of the pandemic is analyzed based on different pandemic phases and the corresponding government pandemic interventions to curb the disease. This study analyzes 6 pandemic event dates, covering the time period from January 2020 to February 2021. A total of 20 state-owned enterprises are included as the sample of this study. Test of difference is employed to compare the stock prices of the state-owned enterprises before and after each pandemic event date. In general, this study confirms the adverse impact of the COVID-19 pandemic on the stock prices, especially the event in 2020, although some variations do exist. The results of the study reveal a significant decrease in the stock prices of the state-owned enterprises after the announcement of the first confirmed COVID-19 cases, the announcement of COVID-19 as a global pandemic, the imposing of Large Scale Social Restriction (PSBB I and PSBB II). In contrast, the stock prices increase after the imposing of a new normal policy and the imposing of Public Activity Restriction (PPKM). This study also documents that the effect of the pandemic may vary based on the pandemic phase.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1901-1904
• /
• 2003

MPC or model predictive control is representative of control methods which are able to handle physical constraints. Closed-loop stability can therefore be ensured only locally in the presence of constraints of this type. However, if the system is neutrally stable, and if the constraints are imposed only on the input, global aymptotic stability can be obtained; until recently, use of infinite horizons was thought to be inevitable in this case. A globally stabilizing finite-horizon MPC has lately been suggested for neutrally stable continuous-time systems using a non-quadratic terminal cost which consists of cubic as well as quadratic functions of the state. The idea originates from the so-called small gain control, where the global stability is proven using a non-quadratic Lyapunov function. The newly developed finite-horizon MPC employs the same form of Lyapunov function as the terminal cost, thereby leading to global asymptotic stability. A discrete-time version of this finite-horizon MPC is presented here. The proposed MPC algorithm is also coded using an SQP (Sequential Quadratic Programming) algorithm, and simulation results are given to show the effectiveness of the method.

• International Journal of Automotive Technology
• /
• v.8 no.4
• /
• pp.493-504
• /
• 2007

This paper proposes a stereo vision-based forward obstacle detection and distance measurement method. In general, stereo vision-based obstacle detection methods in automotive applications can be classified into two categories: IPM (Inverse Perspective Mapping)-based and disparity histogram-based. The existing disparity histogram-based method was developed for stop-and-go applications. The proposed method extends the scope of the disparity histogram-based method to highway applications by 1) replacing the fixed rectangular ROI (Region Of Interest) with the traveling lane-based ROI, and 2) replacing the peak detection with a constant threshold with peak detection using the threshold-line and peakness evaluation. In order to increase the true positive rate while decreasing the false positive rate, multiple candidate peaks were generated and then verified by the edge feature correlation method. By testing the proposed method with images captured on the highway, it was shown that the proposed method was able to overcome problems in previous implementations while being applied successfully to highway collision warning/avoidance conditions, In addition, comparisons with laser radar showed that vision sensors with a wider FOV (Field Of View) provided faster responses to cutting-in vehicles. Finally, we integrated the proposed method into a longitudinal collision avoidance system. Experimental results showed that activated braking by risk assessment using the state of the ego-vehicle and measuring the distance to upcoming obstacles could successfully prevent collisions.