• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.172-175
• /
• 2000

In this paper, we address the requirement of VHDL parser for design rule checker, and the structure and implementing method of design rule checker which checks if IP design is valuable to reuse. This checker builds the grammar trees from the design rules, and the internal graphs representation from IP design data. It maps the nodes of the grammar trees and the internal graphs to check if it violates the design rules. The design rule checker can do the cross reference between source codes and error messages to find error position easy.

• Journal of applied mathematics & informatics
• /
• 제13권1_2호
• /
• pp.365-372
• /
• 2003

We show that if ${\gamma}$ $\leq$ 2, the average error of the composite Trapezoidal rule on two consecutive intervals is proportional to h$\^$2h+3/ where h is the length of each subinterval of the interval [0, 1]. As a result, we show that the Trapezoidal rule with equally spaced points is optimal in the average case setting when ${\gamma}$ $\leq$ 2.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.1096-1101
• /
• 1992

In order tominimize fixing error of workpieces, circle, prismatic, sphere, cylindrical and sculptures types. Modification Rule by Indexing Table and Modification Rule by NC Program are developed for machining centers by using touch trigger probes. The Modification Rule by Indexing Table meas the alignment of workpiece to NC program through degree of freedoms of indexing table. The Modification Rule by NC Program is the alognment of NC program to workpiece ste-tp condition via the generation of NC progarm. A postprocessing module is alos developed for generating NC-part program(User Macro) to compensate for machining errors in end milling and boring processes. Developed method are verified by experiments.

• International Journal of Reliability and Applications
• /
• 제3권2호
• /
• pp.81-90
• /
• 2002

The importance of the reliability of software is growing more and more as more complicated digital computer systems are used for real-time control applications. To provide more reliable software, the testing period should be long enough, but not unnecessarily too long. In this study, we suggest a simple but effective stopping rule which can provide just proper amount of testing time. We take unique features of software into consideration and adopt non-homogeneous Poisson process model and Bayesian approach. A numerical example is given to demonstrate the validity of our stopping rule.

• 대한전자공학회논문지
• /
• 제27권1호
• /
• pp.143-150
• /
• 1990

In this paper, a rule-based method for improving the intelligibility of synthetic speech is proposed. A 12-pole linear prediction coding method is used to model syllable speech signals. A syllable concatenation rule for pause and frame rejection between syllables is developed to improve the naturalness of the synthetic speech. In addition, phonoligical structure transform rule and prosody rule are applied to the synthetic speech by LPC. The illustrative results demonstrate that the synthetic speech obtained by applying these rules has better naturalness than the synthetic speech by LPC.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(1)
• /
• pp.113-116
• /
• 2002

It is required to network to make more intelligent packet processing and forwarding for increasing bandwidth and various services. Classification provides these intelligent to network which is acquired by increasing number of rules in classification rule set. In this Paper, we propose a classification algorithm efficient to scalable rule set ahead as well as Present small rule set. This algorithm has competition to existing methods by performance and advantage that it is mixed with another algorithm because il does not change original shape of rule set.

• Journal of the Korean Statistical Society
• /
• 제16권1호
• /
• pp.26-36
• /
• 1987

In this paper, we study on a subset selection procedure based on Hodges-Lehmann estimators derived from the Wilcoxon test. To estimate the standard error of the Hodges-Lehmann estimators, the biweight A-estimator of scale is used. The Pitman efficiency of the proposed rule is compared with the Gupta's rule and the trimmed-means rule through a small-sample Monte Carlo study. The results show that the proposed rule satisfies the $P^*$-condition and is very efficient in various heavy-tailed distributions.

• 대한수학회논문집
• /
• 제13권4호
• /
• pp.903-911
• /
• 1998

We show that if r $\leq$ 2, the average error of the Trapezoidal rule is proportional to $n^{-min{r＋l, 3}}$ where n is the number of mesh points on the interval [D, 1]. As a result, we show that the Trapezoidal rule with equally spaced points is optimal in the average case setting when r $\leq$ 2.

• 한국시뮬레이션학회논문지
• /
• 제7권1호
• /
• pp.39-51
• /
• 1998

In this paper, MVED (Minimum Vehicle's Empty Distance), a new dispatching rule for a Single Loop-Single Vehicle AGV system, is developed. Single Loop-Single Vehicle AGV system consists of segmented bi-directional single loops, in which only one AGV is assigned. The MVED rule is focused on minimizing vehicles empty travel distance. Using simulation, the performance of the MVED is compared with that of existing dispatching rules such as STT/D and MEVTT. The results show MVED rule's better performance than others. ARENA is used as a simulation language.

• 농업과학연구
• /
• 제38권1호
• /
• pp.163-172
• /
• 2011

To provide the operation rule curve for suppling instream flow to urban stream from reservoir, the Soho reservoir with watershed area of 7.4 $km^2$ and total water storage of 2.58 $Mm^3$ was planned at the headwaters of the Daejeoncheon. Daily streamflow was simulated and using the simulated streamflow and desired instream flow, the operation rule curve by Senga method was drawn and evaluated through reservoir operation. Senga method is derived by accumulating the differences between streamflow and desired instream flow adversely. Water storages were simulated on a daily basis to supply urban instream flow from Soho reservoir, but the amount of supplying instream flow to urban stream was not nearly increased comparing with that of normal operation that does not used the rule curve. Thereafter the new simulation-based operation rule curve was derived and applied to supply instream flow from Soho reservoir. In normal operation, the amount of instream flow was shown to 15,000 $m^3$/d, but it was increased to 27,700 $m^3$/d in withdrawal limited operation using the new derived rule curve, in which the applicability of this rule curve was proved. Also comparing with the flow duration curves at station just before urban Daejeoncheon stream without and with upstream Soho reservoir, the 95th flow was decreased from 1.64 mm/d to 1.51 mm/d, and the 355th flow was increased from 0.17 mm/d to 0.30 mm/d. Monthly streamflows during October to March were increased from 10.6~24.1 mm to 24.1~34.0 mm with the increasing rate of 141~227%.