• Journal of the Korean Society of Clothing and Textiles
• /
• v.26 no.8
• /
• pp.1205-1215
• /
• 2002

The purpose of this study was to develop a production line using simulation method, which could improve work allocation, labor utility and productivity. Using simulation software AIM, a simulation model of functional sports wear assembly line was developed. A functional sports wear production factory were analysed to gather data necessary for this research. Factory layouts, production facilities, work time of each unit jobs were investigated. The data obtained were used as to build a base simulation model. Then, the base simulation model was verified using the obtained data, such as daily productivity. Using simulation method, low alternative production plans were suggested, which were to enhance productivity, and work efficiency and to reduce queue length and throughput time.

• Journal of the Korean Society for Library and Information Science
• /
• v.37 no.2
• /
• pp.319-342
• /
• 2003

Catalog serves a dual purposes. One is finding function(or identifying function) that is identified and located specific items and the other is collocating function which is displayed specific author's all works and all related editions. This study is re-examined the functions of catalog. For catalog's effective serving this study is provided and overviewed the FRBR(Functional Requirements for Bibliographic Record) models as reference conceptual model for functions of catalog.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

• Journal of Digital Convergence
• /
• v.19 no.8
• /
• pp.241-247
• /
• 2021

As a way to solve the side effects of urban development, a smart city with information and communication technology converges in the city is being built. For this, a smart city platform should support the development and integration of smart city services. Therefore, the underlying technology and the functional and non-functional requirements that the smart platform must support were analyzed. As a result of this, we classified the Internet of Things, cloud computing, big data and cyber-physical systems into four categories as the underlying technologies supported by the smart city platform, and derived the functional and non-functional requirements that can be implemented and the reference model of the smart city platform. The reference model of the smart city platform is used for decision-making on investment in infrastructure technology and the development scope of services according to functional or non-functional requirements to solve specific city problems for city managers. It provides platform developers with guidelines to identify and determine the functional and non-functional requirements and implementation technologies of software platforms for building smart cities.

• Journal of Information Technology Services
• /
• v.20 no.6
• /
• pp.1-16
• /
• 2021

The health functional food market continues to grow, and according to that trend, the subdivision sales of personalized health functional foods, which have been legally prohibited, will be operated as a special regulatory pilot project. Personalized health functional food recommendations have a variety of personalized indicators to consider, and it is believed that algorithmic methods will be needed to proceed in a customized manner considering all of them. This study aims to contribute to the development of the AI-based health functional food recommendation service by studying factors that affect the use of the AI-based health functional food recommendation service. This paper analyzed the intention of use for AI-based health functional food recommendation service based on the information system success model and Technology Acceptance Model. This study considered information quality factors, service quality factor, and system quality factor as independent variables influencing perceived usefulness, perceived ease of use and trust. For empirical analysis, 406 questionnaires were used and the collected data were performed using AMOS 22.0 and SPSS 22.0. Research has shown that the accuracy, timeliness, empathy and availability have a positive effect on usefulness. Understandability and availability has been shown to have a positive effect on ease of use. The accuracy, understandability, empathy and availibility has been shown to have a positive impact on Trust. Usefulness, ease of use and trust all have been shown to have a positive influence on intention of use.

• Environmental Engineering Research
• /
• v.19 no.3
• /
• pp.247-253
• /
• 2014

The aim of this study was to characterize quintinite in fluoride removal from aqueous solutions, using batch experiments. Experimental results showed that the maximum adsorption capacity of fluoride to quintinite was 7.71 mg/g. The adsorption of fluoride to quintinite was not changed at pH 5-9, but decreased considerably in highly acidic (pH < 3) and alkaline (pH > 11) solution conditions. Kinetic model analysis showed that among the three models (pseudo-first-order, pseudo-second-order, and Elovich), the pseudo-second-order model was the most suitable for describing the kinetic data. From the nonlinear regression analysis, the pseudo-second-order parameter values were determined to be $q_e=0.18mg/g$ and $k_2=28.80g/mg/hr$. Equilibrium isotherm model analysis demonstrated that among the three models (Langmuir, Freundlich, and Redlich-Peterson), both the Freundlich and Redlich-Peterson models were suitable for describing the equilibrium data. The model analysis superimposed the Redlich-Peterson model fit on the Freundlich fit. The Freundlich model parameter values were determined from the nonlinear regression to be $K_F=0.20L/g$ and 1/n=0.51. This study demonstrated that quintinite could be used as an adsorbent for the removal of fluoride from aqueous solutions.

• International Journal of Highway Engineering
• /
• v.14 no.5
• /
• pp.189-199
• /
• 2012

PURPOSES: The purpose of this study is to propose a new methodology for developing statistical collision models and to show the validation results of the methodology. METHODS: A new modeling method of introducing variables into the model one by one in a multiplicative form is suggested. A method for choosing explanatory variables to be introduced into the model is explained. A method for determining functional forms for each explanatory variable is introduced as well as a parameter estimating procedure. A model selection method is also dealt with. Finally, the validation results is provided to demonstrate the efficacy of the final models developed using the method suggested in this study. RESULTS: According to the results of the validation for the total and injury collisions, the predictive powers of the models developed using the method suggested in this study were better than those of generalized linear models for the same data. CONCLUSIONS: Using the methodology suggested in this study, we could develop better statistical collision models having better predictive powers. This was because the methodology enabled us to find the relationships between dependant variable and each explanatory variable individually and to find the functional forms for the relationships which can be more likely non-linear.

• Journal of Information Technology Applications and Management
• /
• v.19 no.2
• /
• pp.181-196
• /
• 2012

The cost of software maintenance occupies about two thirds in the software lifecycle. However, it is not easy to estimate the cost of software maintenance because of various viewpoints about software maintenance, unclear estimation methods, and complex procedures. Until now, the cost estimation model has used compensation factors for software characteristic and environment on the basis of program size. Especially, most of existing models use maintenance rate of total software cost as a main variable. This paper suggests the software maintenance cost estimation model that uses the result of calculating real maintenance efforts. In this paper, we classify functional maintenance and non-functional maintenance as software maintenance activity type. For functional maintenance, present function point of target software is needed to evaluate. The suggested maintenance cost evaluation model is applied to a software case in public sector. This paper discusses some differences between our model and other modes.

• Journal of Information Technology Applications and Management
• /
• v.14 no.4
• /
• pp.61-74
• /
• 2007

In this paper we consider the Digital Multimedia Broadcasting (DMB) Service that starts recently in Korea and gains popularity. DMB makes it possible to watch high quality TV programs while we are in motion. The service provider or the service researcher are interested in the factors that influence the user's choice of new service such as DMB. Understanding the factors make them create the powerful marketing strategies and develop the new service or product that is attractive for users. We therefore find the factors influencing the user's choice of DMB service, and propose a model for analyzing the relationship between the factors and the intention of buying. The model is based on the Technology Acceptance Model (TAM). We extend the TAM by adding factors including functional attributes of DMB service. We survey the significant functional attributes influencing the intention of buying by using the proposed model.