• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.653-656
• /
• 2000

We consider, in this paper, a UML-based design support system for real-time systems. However, the UML does not include any notion for verification of timing constraints. We presents transformation algorithms, as a function of the support system, of UML descriptions into Petri nets and Interval Temporal Logic models, which are very powerful for the verification. This paper shows also transformation example for simple elevator system.

• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.2
• /
• pp.80-86
• /
• 2001

Information technology has been used many areas not only computer communications but also manufacturing managements. This paper is about the parts code and utility of 3d image maker that is needed in parts management of manufacturing system. This images can be viewed by internet network, that makes it possible to teach and train new workers. Other application area would be e-commerce, cyber show and e-trade.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.2
• /
• pp.88-101
• /
• 1999

The main objective of this study is to contribute to a better understanding of the antecedents of acceptance of information technology by agricultural managers. Questionnaires were administered to potential adopters and users of PC-based communications. Results indicate that potential adopters base their adoption decisions on a sparser set of innovation characteristics than suggested by innovation diffusion literature and users and potential adopters differ on their determinants of behavioral intention and attitude.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.2
• /
• pp.39-46
• /
• 2000

Recent]y van Es (1992) and Correa (1995) proposed an estimator of entropy. In this paper, we proposed the goodness of fit test statistics for exponentiality based on Vasicek's estimator and Correa's estimator of Kullback-Leibier Information. And we compare the power of the proposed test statistics with Kolmogorov-Sminov, Kuiper, Cramer von Mises, Watson, Andersen-Darling and Finkelstein and Schefer statistics.

• Asia pacific journal of information systems
• /
• v.15 no.3
• /
• pp.111-132
• /
• 2005

Company-wide initiatives mandate understanding the benefits of adopting e-Business. A benefits evaluation may ensure that the company's Web site in integral, rather than supplemental, to its business and revenue goals. Our research is motivated by the goal of extracting anticipated benefits factors of e-Business in Small and Medium-sized Enterprises(SMEs) in Korea. And we examined the impacts of anticipated benefits factors on the extent of assimilation in SMEs. Eight benefits factors emerged from this study: productivity, competitiveness, management, customer relationship, information quality, interorganization, cost down, and marketing. And competitiveness, customer relationship, interorganization, and marketing were influenced assimilation of e-Business in SMEs. But productivity, management, information quality, cost down did not.

• Journal of Information Technology Services
• /
• v.4 no.2
• /
• pp.61-69
• /
• 2005

RFID is used for tracking systems in various business fields these days and these systems brought considerable efficiencies and cost savings to companies. Real-time based information acquired through RFID devices could be a valuable source of information for making decisions if it is combined with decision support tools like OLAP of a data warehouse that has originally been designed for analyzing static and historical data. As an effort of extending the data source of a data warehouse, RFID is combined with a data warehouse in this research. And OLAP is designed to analyze the dynamic real-time based information gathered through RFID devices. The implemented prototype shows that ubiquitous computing technology such as RFID could be a valuable data source for a data warehouse and is very useful for making decisions when it is combined with online analysis. The system architecture of such system is suggested.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.488-491
• /
• 2014

Based on a complete understanding research in Information and Communication Technologies (ICT), the Intelligent Transport Systems rapidly build up innovative applications to ensure real time attainment as well remote management of driven information, provide a huge range of services and involve many actors in automotive ecosystem. In this paper, we present an intelligent cloud computing for handling data received from traffic sensing technologies. Transportations technologies applied in ITS have played a great role in collecting data from devices deployed in vehicles and highway infrastructures utilizing broadband wireless technologies to the Cloud. In order to facilitate the interested in automotive industry to use data collected and afford services to the car's owner, a scalable acquisition, access to computing resources and offered services are the primary goal of the proposed cloud computing.

• Journal of Information Processing Systems
• /
• v.15 no.4
• /
• pp.1017-1028
• /
• 2019

Pedestrian tracking is a particular object tracking problem and an important component in various vision-based applications, such as autonomous cars and surveillance systems. Following several years of development, pedestrian tracking in videos remains challenging, owing to the diversity of object appearances and surrounding environments. In this research, we proposed a tracking-by-detection system for pedestrian tracking, which incorporates a convolutional neural network (CNN) and color information. Pedestrians in video frames are localized using a CNN-based algorithm, and then detected pedestrians are assigned to their corresponding tracklets based on similarities between color distributions. The experimental results show that our system is able to overcome various difficulties to produce highly accurate tracking results.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.22 no.6
• /
• pp.1337-1344
• /
• 2012

This paper analyzed electronic transaction systems of social commerce service which have rapidly grown recent days, and as a result found that most of the electronic transaction systems of social commerce service had payment amount modification issue. This paper proposes a method for solving the payment amount modification issue. The proposed method adds an authentication process between servers of social commerce service provider and payment-gateway company. The added authentication process prohibits user getting involved in payment procedure, and thus prevents payment amount modification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.3
• /
• pp.1156-1173
• /
• 2021

In this paper, we propose a new joint precoder and postcoder design strategy to support multiple streams per user in multiuser multiple-input multiple-output (MIMO) systems. We propose two step precoding strategies using equal channel gain decomposition and block diagonalization at the transmitter. With the proposed precoder, the multiuser MIMO channel can be decomposed into multiple parallel channels with equal channel gain per user. After applying receive postcoder which is generated and sent by the transmitter, we can use ML based decoder per stream to achieve full receive diversity. Achievable sum rate bound and diversity performance of the proposed algorithm are presented with feedback signaling design and quantitative complexity analysis. Simulation results show that the proposed algorithm asymptotically approaches to the sum rate capacity of the MIMO broadcast channel while maintaining full diversity order.