• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.792-802
• /
• 2003

Earlier program plagiarism check systems are performed by using simple text, attribute or token string base on match techniques. They have difficulties in checking program styles which have nothing to do with program syntax such as indentation, spacing and comments. This paper introduces a plagiarism check model which compares syntax-trees for the given programs. By using syntax-trees, this system can overcome the weekness of filtering program styles and have advantage of comparing the structure of programs by syntax and semantic analysis. Our study introduces syntactic tree creation, unparsing and similarity check algorithms about C/C++ program plagiarism checking for internet cyber education and estimate plagiarism pattern.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2072-2087
• /
• 1999

As software size ever increases and user's requirements become more and more sophisticated., the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.

• Journal of the Korean Society for information Management
• /
• v.27 no.4
• /
• pp.109-130
• /
• 2010

The purpose of this study is to identify th patterns in the news reporters' information seeking behaviors by observing their web activities. For this purpose, transaction logs collected from 23 news reporters were analyzed. Web tracking software was installed to collect the data from their PCs, and a total of 39,860 web logs were collected in two weeks. Start and end pattern of sessions, transitional pattern by step, sequence rule model was analyzed and the pattern of Internet use was compared with the general public. the analysis of pattern derived a web information seeking behavior modes that consists of four types of behaviors: fact-checking browsing, fact-checking search, investigative browsing and investigative search.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.18 no.1
• /
• pp.19-24
• /
• 2023

In traditional fish farming way, the workers have to observe all of the pools every time and every day to feed at the right timing. This method causes tremendous stress on workers and wastes time. To solve this problem, we implemented an automatic detection system for feeding time using deep neural network. The detection system consists of two steps: classification of the presence or absence of feed and checking DO (Dissolved Oxygen) of the pool. For the classification, the pretrained ResNet18 model and transfer learning with custom dataset are used. DO is obtained from the DO sensor in the pool through HTTP in real time. For better accuracy, the next step, checking DO proceeds when the result of the classification is absence of feed several times in a row. DO is checked if it is higher than a DO reference value that is set by the workers. These actions are performed automatically in the UI programs developed with LabVIEW.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.2
• /
• pp.1-10
• /
• 1999

Direct extraction of FET's small signal model parameters needs predetermined parasitic elements usually obtained under forward cold FET conditionl This paper derives analytic intrinsic model for cold FET's and shows that normal cold FET condition can replace forward cold FET condition for extracting parasitic elements. Then, we track the error of hot FET's small signal model bounded by the cold FET condition and examine the validness of cold parasitic resistances by checking the existence of the error minimum.

• Journal of the Korean Statistical Society
• /
• v.23 no.2
• /
• pp.379-402
• /
• 1994

Graphical and numerical methods for checking the assumption of proportional hazards of Cox model for censored survival data are discussed. The strenths and weaknessess of several goodness of fit tests for the propotional hazards for the two-sample problem are evaluated with Monte Carlo simulations, and the tests of Schoenfeld (1980), Andersen (1982), Wei (1984), and Gill and Schumacher (1987) are considered. The goodness of fit methods are illustrated with the survival data of patients who had chronic liver disease and had been treated with the endoscopy injection sclerotheraphy. Two other examples of data known to have nonpropotional hazards are also used in the illustration.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.10a
• /
• pp.369-374
• /
• 2001

Gear is general mechanical elements that used for power transmission between two shafts that interval is comparatively short. and it delivers big power as accurate ratio of speed. The profile of Spur gear which is the most basic factor is divided into Trochoidal fillet curve and Involute curve. Involute curve is used a lot of a shaped curve of machine parts such as a gear, a scroll compressor and a collar of centrifugal pump. However, it is poor to study the modeling of Trochoidal fillet curve and the three dimensions model shaped mathematical curve. This paper describes a mathematical model of profile shifted involute gear. and this model is based on Camus's theory. We draw three dimensions gear have accurate mathematical function using ADS, VisualLISP. and To check accuracy and perfection, we make a program of checking Interference. and use for this study.

• The Journal of Society for e-Business Studies
• /
• v.2 no.1
• /
• pp.79-94
• /
• 1997

Commerce activities which are free form space and time constraint using a communication network are called Electronic Commerce(EC). Because of sending a commercial information using open network such as Internet in EC, they need the security of commerce information (payment information and purchase information), checking the integrity of transferring data and certifying all parts participated in commerce for a secure commerce. Recently Visa and MasterCard Co. released the Secure Electronic Transaction (SET) Protocol for secure payment card transaction on Internet. This paper proposes a Secure Electronic Commerce Transaction Model(SECTM) using SET in order to support the secure commerce on Internet. The proposed transaction model prevents merchant from abusing the cardholder's payment information (credit-card number etc.) and enables cardholder to shop securely in Electronic Shopping Mall.

• Geotechnical Engineering
• /
• v.13 no.2
• /
• pp.169-184
• /
• 1997

A semi -analytical solution is derived to solve the elastic-plastic behavior of the axisymmetric tunnels in Drucker-Prager medium. Based on this analytical solution, a computer program FDAXP. is developed. Parametric studies are carried out to verify the FDAXP program, and the results were found to be satisfactory. This simple solution could be incorporated into the preliminary design, analysis of deep underground tunnel as well as tunnels with unfavourable geotechnical conditions. The program provided a useful means of checking the Drucker-Eraser model and iris associated computational algorithms in other tunnel programs.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.1008-1012
• /
• 1997

This study is on a mathematical model of profile shifted involute gear, and this model is based on Camus's theory. Gear is general mechanical elements that used for power transmission between two shafts that interval is comparatively short. and it delivers bit power as accurate ratio of speed. The profile of Spur gear which is the most basic factor is divided into Trochoidal fillet curve and Involute curve. Involute curve is used a lot of a shape curve of machine parts such as a gear, a scroll compressor and a collar of centrifugal pump. However, It is poor to study the modeling of Trochoidal fillet curve and the three dimensions model shaped mathematical curve. So we draw three dimensions gear have accurate mathematical function using ADS(Automatic Drawing system), VisualLISP. To check accuracy and perfection, we make a program of checking Interference. and use for this study.