• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• Journal of Power System Engineering
• /
• v.11 no.2
• /
• pp.51-57
• /
• 2007

As a shot sleeve in die casting plays a critical role in delivering molten metal to a die cavity, any disruption to its function in the injection stage results in deterioration of the quality of final castings. To guarantee a smooth operation of a shot sleeve, its structural stability should be maintained. Despite the simple geometry, design of shot sleeve is based on individual engineer's experience and no agreement on the design is present. In this study, we newly propose a systematic methodology to determine a minimum wall thickness of a shot sleeve to prevent yielding or plastic deformation. Analytical calculations incorporating numerical analysis produce a rational design rule for minimum thickness of a shot sleeve subject to metal intensification pressure and geometric die constraint. To validate the proposed design guideline, authors present real data on a collection of actual shot sleeves. Upon checking their conformity to the new design rule, we discovered a strong correlation between the design of wall thickness and premature failures.

• The Journal of the Korea Contents Association
• /
• v.16 no.11
• /
• pp.434-443
• /
• 2016

Users can set manually Android phone to do particular tasks on some situations. This type of setting is inconvenient, and also provide with unnecessary services, which don't consider users' situation. In this research, we design and implement a context-aware automatic task setting application. Users can get context-aware service by setting desired tasks based on contexts using this system. We design a language for describing context-action rules, and statically check validity of context-action rules by performing syntax and semantic check.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.6
• /
• pp.2735-2751
• /
• 2020

The emergence of Software Defined Networking (SDN) overcomes the limitations of traditional networking architectures. There are some advantages in SDN which are centralized global network view, programmability, and separation of the data plane and control plane. Due to the limitation of data plane storage capacity in SDN, it is necessary to process the redundancy rules of switch. In this paper, we propose a method for active detection and processing of redundant rules. We use the result generated by the customized probe package to detect redundant rules. And by checking the forwarding behavior of probe packets in the data plane, the redundancy rules are further processed. Furthermore, in order to quickly check the dynamic networks, we propose an incremental algorithms for rapidly evolve the network strategies. We conduct simulation experiments on Matlab to verify the feasibility of the algorithm. The influence of some parameters on the result are discussed.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.2
• /
• pp.137-144
• /
• 2017

The business process of global third party logistics company is defined as a network of logistics activities which involves the products that are manufactured in the developing countries, such as Vietnam, China and so on, and delivered to North or South American countries via intermediate stopover sites. The third party logistics company usually uses proprietary logistics information system to support the related logistics activities. However, each consignor sometimes may require different business process based on the customer type or characteristics of their products. Therefore, the third party logistics company need to modify their business process to reflect customer's requirements, resulting in the modification of logistic information systems and additional costs. Therefore, a flexible mechanism is required to efficiently support the various types of requirements by the owners of the products. In this paper, first, we figured out various business rules related to third party global logistics activities. Second, we grouped the identified business rules into business processes, objects, relations, dependency, policy, representations, execution, and resources and further into precondition, postcondition, and invariant based on checking point in time. Furthermore, the categorized rules are classified into inter-activity and intra-activity rules based on the execution range. Third, we proposed a rule syntax to describe the defined rules into scripts which are understood by user and information system together. When each activity is executed, the rule manager checks whether there are rules related with the activity execution. Finally, we developed a prototype rule management system to show the feasibility of our proposed methodology and to validate it with an example.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.22 no.2
• /
• pp.444-450
• /
• 1998

In the present investigation, it is attempted to derive a yield function and associated flow rules of loose metal powders to predict plastic deformation and density change during compaction. The loose metal powders yield by shear stress as well as hydrostatic stress and the yield strength is much smaller in tension than compression. Therefore, a yield function for the powders is expressed as a shifted ellipse toward the negative direction in the hydrostatic stress axis in the space defined by the two stresses. Each of parameters A, B and .delta. used in the yield function is expressed as a function of relative density and it is determined by uniaxial strain and hydrostatic compressions using Cu powder. Flow rules obtained by imposing the normality rule to the yield function are applied to the analyses of unidirectional, bidirectional and hydrostatic compressions, resulting in an excellent agreement with experiments. The yield function is further examined by checking volume changes in plane stain, uniaxial strain and shear deformations.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.852-855
• /
• 1995

In modern plant lndustry, dignosis system is an essential implement because a human operator cannot check the state of system all the time. The recent facility needs a computer system which is able to replace and extense the function of the human expert. Checking the state of the plant system, the computer system uses signals form sensors attached to the plant systems. But, It is difficult to predict the cause of the failure from the sensing signals. Because the relationship among the signals cannot be easily represented by mathematical models. So expert system based on a fuzzy rule and Neural network method is sugguested. Expert system decide whether aa state of the system is ordinary of failure by the evaluation of the signals. If the state of the system is unstable, expert system preprocess the signals. When fault is occurred in the machine, the expert system dignoses the state of the system and find the cause as a primary tool. If the expert system dose not find the adequate cause successfully, neural network system uses the preprocessed signals as an input and propose a cause of the failure.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.691-700
• /
• 1994

Voronoi diagram of a set of geometric entities on a plane such as points, line segments, or arcs is a collection of Voronoi polygons associated with each entity, where Voronoi polygon of an entity is a locus of point which is closer to the associated entity than any other entity. Voronoi diagram is one of the most fundamental geometrical construct and well-known for its theoretical elegance and the wealth of applications. Various geometric problems can be solved with the aid of Voronoi diagram. For example, the maximum tool diameter of a milling cutter for rough cutting in a pocket can be easily found, and the pocketing tool path can be efficiently generated from Voronoi diagram. In PCB design, the design rule checking can be easily done via Voronoi diagram, too. This paper discusses an algorithm to construct Voronoi diagram of a simple polygon which consists of simple curves such as line segments as well as arcs in a plane with O(nlogn) time complexity by employing the divide and conquer scheme.

• Proceedings of the KIEE Conference
• /
• 1988.07a
• /
• pp.506-509
• /
• 1988

This paper describes an effective knowledge acquisition method in the fault diagnosis expert system for the electronic switching system TDX-1A. The knowledge acquisition procedure consists of the knowledge collection, the fault diagnosis modeling and the knowledge representation. Furthermore, to improve the performance of the knowledge bases with rule and frame representation, we showed the knowledge base checking methodlogy by using redundancy and inconsistency check algorithm.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.82-85
• /
• 2024

코딩 규칙 준수는 대규모 프로젝트에서 프로그램의 버그를 줄이기 위해, 또 효과적인 유지보수를 위해 필수적이나 코딩 규칙을 학습하기 위한 초보자용 도구는 거의 없는 실정이다. 본 논문에서는 Python 프로그래밍 수업에서 코딩 규칙을 학습할 수 있도록 도와주는 시스템을 제안한다. 제안된 시스템은 학습자를 위해 별도의 설치 없이 Python 코딩 규칙 검사 결과를 영어와 한글을 병행하여 출력하는 규칙 검사 뷰어를 통해 학습자의 편의성을 제공한다. 또한, 품질 점수를 계산하여 학습자의 코딩 규칙 학습의 동기를 부여한다. 제안 시스템의 성능을 평가하기 위해 SonarQube와 검출 기능을 비교하였다. 2023년도 1학기 Python 프로그래밍 수업의 제출 코드를 검사한 결과, 제안 시스템이 SonarQube보다 247% 더 많은 종류의 규칙을, 또 235% 더 많은 개수의 규칙을 검사하는 것으로 나타났다. 이러한 비교 연구 결과를 고려할 때, 제안 시스템은 학습자에게 더 나은 코딩 규칙 학습 기회를 제공할 수 있을 것으로 기대된다.