• Speech Sciences
• /
• v.15 no.2
• /
• pp.55-65
• /
• 2008

Recently, the multi-model based speech recognizer has been used quite successfully for noisy speech recognition. For the selection of the reference HMM (hidden Markov model) which best matches the noise type and SNR (signal to noise ratio) of the input testing speech, the estimation of the SNR value using the VAD (voice activity detection) algorithm and the classification of the noise type based on the GMM (Gaussian mixture model) have been done separately in the multi-model framework. As the SNR estimation process is vulnerable to errors, we propose an efficient method which can classify simultaneously the SNR values and noise types. The KL (Kullback-Leibler) distance between the single Gaussian distributions for the noise signal during the training and testing is utilized for the classification. The recognition experiments have been done on the Aurora 2 database showing the usefulness of the model compensation method in the multi-model based speech recognizer. We could also see that further performance improvement was achievable by combining the probability density function of the MCT (multi-condition training) with that of the reference HMM compensated by the D-JA (data-driven Jacobian adaptation) in the multi-model based speech recognizer.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.3
• /
• pp.127-141
• /
• 1996

In this paper, we propose a 7-phase life cycle model which applies to Computer Integrated Manufacturing systems. The model emphasizes product design and manufacturing design activities of CIM to secure the critical success factors of CIM systems such as high quality, adaptability, productivity, and flexibility. It is argued that the product design aspect would be divided into three phases-conceptual design, embodiment design, and detialed design. The conceptual design phase is to build a conceptual model of the product based on requirements and specifications which reflect "the voice of the customer". THe embodiment design phase utilizes specific design tools such as DFM, CAE, and CAD, and results in a concrete model of the product and parts. The detailed design phase is to crete a working prototype of the product and design tools such as DFA. CAD and CAM are employed in this phase. The output of the product design activity is to be the input for the manufacturing design activity. Using the proposed model, one can effectively and efficiently manufacture a high-quality, low-cost product with short delivery time, and above all achieve customer'ssatisfaction.isfaction.

• International Journal of Highway Engineering
• /
• v.14 no.4
• /
• pp.163-173
• /
• 2012

PURPOSES : The purpose of this study is to check the possibilities of traffic pattern analysis using MatSIM for urban road network operation in incident case. METHODS : One of the stochastic dynamic models is MatSIM. MatSIM is a transportation simulation tool based on stochastic dynamic model and activity based model. It is an open source software developed by IVT, ETH zurich, Switzerland. In MatSIM, various scenario comparison analyses are possible and analyses results are expressed using the visualizer which shows individual vehicle movements and traffic patterns. In this study, trip distribution in 24-hour, traffic volume, and travel speed using MatSIM are similar to those of measured values. Therefore, results of MatSIM are reasonable comparing with measured values. Traffic patterns are changed according to incident from change of individual behavior. RESULTS : The simulation results and the actual measured values are similar. The simulation results show reasonable ranges which can be used for traffic pattern analysis. CONCLUSIONS : The change of traffic pattern including trip distribution, traffic volumes and speeds according to various incident scenarios can be used for traffic control policy decision to provide effective operation of urban road network.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.8
• /
• pp.3328-3349
• /
• 2020

With rapid development of ubiquitous computing and location-based services (LBSs), human trajectory data and associated activities are increasingly easily recorded. Inappropriately publishing trajectory data may leak users' privacy. Therefore, we study publishing trajectory data while preserving privacy, denoted privacy-preserving activity trajectories publishing (PPATP). We propose S-PPATP to solve this problem. S-PPATP comprises three steps: modeling, algorithm design and algorithm adjustment. During modeling, two user models describe users' behaviors: one based on a Markov chain and the other based on the hidden Markov model. We assume a potential adversary who intends to infer users' privacy, defined as a set of sensitive information. An adversary model is then proposed to define the adversary's background knowledge and inference method. Additionally, privacy requirements and a data quality metric are defined for assessment. During algorithm design, we propose two publishing algorithms corresponding to the user models and prove that both algorithms satisfy the privacy requirement. Then, we perform a comparative analysis on utility, efficiency and speedup techniques. Finally, we evaluate our algorithms through experiments on several datasets. The experiment results verify that our proposed algorithms preserve users' privay. We also test utility and discuss the privacy-utility tradeoff that real-world data publishers may face.

• Journal of Information Technology Services
• /
• v.16 no.2
• /
• pp.45-60
• /
• 2017

The study suggests a contract model of application operation through case study of A bank's IT outsourcing application contract based on workload. The IT outsourcing order form has a problem in that the scope of work is ambiguous due to the integration of operation and maintenance. In this study, application operation and maintenance were separated by referring to application operation history provided in ISO/IEC15504-5 standard. The scope of the IT outsourcing service was clarified by organizing the definition and detail activities of the application operation business. Application operation contract method has generally applied estimation method by the number of input manpower and period by agreement between buyer and client. As there is no activity to calculate the number of input manpower based on the operational work history and based on the standard workload per activity. In this case is not guaranteed due to the simple agreement between the contractors. In this paper, we propose an application operating cost estimation model that measures the size of the operating software using function point analysis that is the basis of application operation tasks. In order to verify the validity of the application operation cost model, we verified the correlation between the application size and the labor cost through regression analysis using SPSS.

• Proceedings of the KOR-KST Conference
• /
• 1998.09a
• /
• pp.160-167
• /
• 1998

Recent world-wide interest in activity-based travel behavior modeling has generated an entirely new perspective on how the profession views the travel demand process. This paper seeks to further promote the case of activity-based travel behavior models by providing some empirical evidence of relationship between travel time and activity duration decision for worker with transportation panel data. The travel time from home to work and from work to home, without activity involvement, is estimated by the Ordinary Least Squares (OLS) method. And, the travel time to and from the selected activity and the activity duration are modeled simultaneously by the Three Stage Least Squares (3SLS) method due to the endogenous relationship between travel time and activity duration. Two kinds of models, OLS and 3SLS, include selectivity bias corrections in a discrete/continuous framework, because of the inter-relationship between the choice of activity type/travel mode (discrete) and the travel time/activity duration (continuous). Estimation is undertaken using a sample of over 1300 household two-day trip diaries collected from the same travelers in the Seattle area in 1989. The behavioral consequences of these models provide interesting and provocative findings that should be of value to transportation policy formulation and analysis.

• The KIPS Transactions:PartD
• /
• v.10D no.3
• /
• pp.471-488
• /
• 2003

A web-based information system, that is a dominant type of information systems, suffers from the “web crisis” in development and maintenance of the system. To cope with the problem, a technology of reengineering to web-based business process, which is one of web engineering, is strongly needed. In this paper, we propose a BPN(Business Process Net) model and reengineering guides along with an application example, which are used for modeling web-based business processes and migrating to web-based information system. BPN model is a type of not only a Beta-distributed stochastics Petri net, but also an executable Activity diagram. BPN is modeled by using the Use Case analysis method and the Beta-distribution. The later is used for the purpose of modeling the uncertainty of execution time and cost of a business process. BPN model and reengineering heuristics might be used as a formal common model for business process specification languages, and analysis and design method for Web-based Information system, respectively.

• Communications of Mathematical Education
• /
• v.36 no.1
• /
• pp.59-72
• /
• 2022

The purpose of this study is to understand the characteristics of the mathematical modeling tasks and lesson designs developed by pre-service teachers based on the inherent awareness of mathematical modeling, considering the importance of creating a task to perform mathematical modeling activity and designing a lesson. As a result, the mathematical modeling tasks developed by pre-service teachers mainly presents an appropriate amount of information using real life contexts for the purpose of learning using concepts, and it showed a tendency to develop to the level of cognitive demand that required procedures with connections to understanding, meaning, or concepts. And most of the developed modeling task-based lessons showed a tendency to design warm-up activity, model-eliciting activity, and model-exploration activity. This result is due to the lack of experience of pre-service teachers in creating mathematical modeling tasks. Therefore, it is necessary to continuously provide opportunities for pre-service teachers to learn concepts or create mathematical modeling tasks intended for exploration according to various mathematical contents, thereby actively cultivating their ability to create modeling tasks in the course of training pre-service teachers. Furthermore, it is necessary to strengthen the expertise in mathematical modeling teaching and learning by providing opportunities to actually perform the mathematical modeling-based classes designed by pre-service teachers and to experience the process of reflecting on the lessons.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.157-157
• /
• 1995

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.