• Journal of Software Assessment and Valuation
• /
• v.17 no.2
• /
• pp.11-17
• /
• 2021

In this study, problems of software completeness appraisal are pointed out and their solutions are presented by analyzing appraisal cases and judicial precedents. Completeness appraisal, ready-made appraisal, defect appraisal, and cost appraisal have been classified as and have been evaluated with extant software completeness appraisals. From a legal point of view, and in judicial precedents, however, there is a big difference between the definition of completeness and the completion rate. This is because the degree of completeness is evaluated under the premise that the software's development is complete, whereas the ready-made appraisal inspects the development progress of unfinished software. Often, in cases involving software completion rate, the total completion level is calculated by weighting each step of the software development process. However, completeness evaluations use the software's realization-operation as its sole criterion. In addition, another issue not addressed in existing software completeness appraisal cases is that there is no mention of who is responsible for software defects, whereas in case law, the responsible party is determined by finding who caused the dispute. In this paper, we systematically classify these problems, and present a novel evaluation method that separates software completeness evaluations from software completion evaluations.

• Journal of Korean Elementary Science Education
• /
• v.42 no.1
• /
• pp.194-209
• /
• 2023

This study aims to present implications for the appropriate establishment and development of a science-authorized textbook system through an understanding of the process of selecting science-authorized textbooks and analyzing the perception of teachers. Toward this end, this study conducted interviews with five elementary school teachers who participated in the science textbook selection process, surveys on 32 teachers, and analysis on the authors of the textbooks. The result demonstrated, first, that the "opinion gathering" stage was the most important one, and a council was formed in consideration of career and major. Moreover, the evaluation standard was reorganized and used according to the situation of the school. Second, in the process of opinion gathering, the teachers used a method for reviewing the entire textbook for each teacher. Inquiry activities and textbook composition (readability) were crucially considered as internal factors, and teaching and learning materials, such as videos, were deemed extremely important as external factors. The variable of the author, which is an indicator of the reliability and expertise of textbooks, was also recognized as vital. Third, the deliberation by the School Committee and the report by the principal were recognized as the administrative final step after selection. Finally, selecting the most suitable textbooks for each grade group was recognized as more important than arbitrarily unifying textbooks for the third and fourth grades and for the fifth and sixth grades.

• Journal of the Society of Disaster Information
• /
• v.19 no.2
• /
• pp.334-343
• /
• 2023

Purpose: In this study, the cavity data found through ground cavity exploration was combined with underground facilities to derive a correlation, and the ground subsidence prediction map was verified based on the AI algorithm. Method: The study was conducted in three stages. The stage of data investigation and big data collection related to risk assessment. Data pre-processing steps for AI analysis. And it is the step of verifying the ground subsidence risk prediction map using the AI algorithm. Result: By analyzing the ground subsidence risk prediction map prepared, it was possible to confirm the distribution of risk grades in three stages of emergency, priority, and general for Busanjin-gu and Saha-gu. In addition, by arranging the predicted ground subsidence risk ratings for each section of the road route, it was confirmed that 3 out of 61 sections in Busanjin-gu and 7 out of 68 sections in Sahagu included roads with emergency ratings. Conclusion: Based on the verified ground subsidence risk prediction map, it is possible to provide citizens with a safe road environment by setting the exploration section according to the risk level and conducting investigation.

• Journal of Advanced Information Technology and Convergence
• /
• v.9 no.1
• /
• pp.115-125
• /
• 2019

In this paper, the image is received from the camera and the lane is sensed. There are various ways to detect lanes. Generally, the method of detecting edges uses a lot of the Sobel edge detection and the Canny edge detection. The minimum use of multiplication and division is used when designing for the hardware configuration. The images are tested using a black box image mounted on the vehicle. Because the top of the image of the used the black box is mostly background, the calculation process is excluded. Also, to speed up, YCbCr is calculated from the image and only the data for the desired color, white and yellow lane, is obtained to detect the lane. The median filter is used to remove noise from images. Intermediate filters excel at noise rejection, but they generally take a long time to compare all values. In this paper, by using addition, the time can be shortened by obtaining and using the result value of the median filter. In case of the Sobel edge detection, the speed is faster and noise sensitive compared to the Canny edge detection. These shortcomings are constructed using complementary algorithms. It also organizes and processes data into parallel processing pipelines. To reduce the size of memory, the system does not use memory to store all data at each step, but stores it using four line buffers. Three line buffers perform mask operations, and one line buffer stores new data at the same time as the operation. Through this work, memory can use six times faster the processing speed and about 33% greater quantity than other methods presented in this paper. The target operating frequency is designed so that the system operates at 50MHz. It is possible to use 2157fps for the images of 640by360 size based on the target operating frequency, 540fps for the HD images and 240fps for the Full HD images, which can be used for most images with 30fps as well as 60fps for the images with 60fps. The maximum operating frequency can be used for larger amounts of the frame processing.

• Korea Trade Review
• /
• v.48 no.1
• /
• pp.215-241
• /
• 2023

As competition between ports intensifies, port efficiency has always been a hot topic in the port and shipping economy. Boosting regional and national economies by improving port efficiency and promoting sustainable development of ports is also a concern for port operators and local and national governments. In this situation, this study has the following objectives. First, using panel data from 2010 to 2017, the efficiency of 14 major inland ports along the Yangtze River was analyzed, and changes in port efficiency over time were examined. Second, 14 inland ports are divided into the middle, upper, and lower Yangtze River port groups to compare and review differences in efficiency levels of ports by basin. For the study, we applied a three-step DEA analysis method, which evaluated the pure relative efficiency of the port itself by removing the effects of environmental factors and statistical noise that could affect the efficiency evaluation and presented the results. As a result, it was confirmed that there was a clear difference in the efficiency value of the port between the first-stage and the third-stage efficiency evaluation result. In addition, the downstream ports showed relatively high efficiency compared to the middle and upstream ports.

• Journal of Soil and Groundwater Environment
• /
• v.12 no.5
• /
• pp.19-32
• /
• 2007

In Korea, there have been various methods of estimating groundwater recharge which generally can be subdivided into three types: baseflow separation method by means of groundwater recession curve, water budget analysis based on lumped conceptual model in watershed, and water table fluctuation method (WTF) by using the data from groundwater monitoring wells. However, groundwater recharge rate shows the spatial-temporal variability due to climatic condition, land use and hydrogeological heterogeneity, so these methods have various limits to deal with these characteristics. To overcome these limitations, we present a new method of estimating recharge based on water balance components from the SWAT-MODFLOW which is an integrated surface-ground water model. Groundwater levels in the interest area close to the stream have dynamics similar to stream flow, whereas levels further upslope respond to precipitation with a delay. As these behaviours are related to the physical process of recharge, it is needed to account for the time delay in aquifer recharge once the water exits the soil profile to represent these features. In SWAT, a single linear reservoir storage module with an exponential decay weighting function is used to compute the recharge from soil to aquifer on a given day. However, this module has some limitations expressing recharge variation when the delay time is too long and transient recharge trend does not match to the groundwater table time series, the multi-reservoir storage routing module which represents more realistic time delay through vadose zone is newly suggested in this study. In this module, the parameter related to the delay time should be optimized by checking the correlation between simulated recharge and observed groundwater levels. The final step of this procedure is to compare simulated groundwater table with observed one as well as to compare simulated watershed runoff with observed one. This method is applied to Mihocheon watershed in Korea for the purpose of testing the procedure of proper estimation of spatio-temporal groundwater recharge distribution. As the newly suggested method of estimating recharge has the advantages of effectiveness of watershed model as well as the accuracy of WTF method, the estimated daily recharge rate would be an advanced quantity reflecting the heterogeneity of hydrogeology, climatic condition, land use as well as physical behaviour of water in soil layers and aquifers.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.975-976
• /
• 1993

This talk presents the overview of the author's research and development activities on fuzzy inference hardware. We involved it with two distinct approaches. The first approach is to use application specific integrated circuits (ASIC) technology. The fuzzy inference method is directly implemented in silicon. The second approach, which is in its preliminary stage, is to use more conventional microprocessor architecture. Here, we use a quantitative technique used by designer of reduced instruction set computer (RISC) to modify an architecture of a microprocessor. In the ASIC approach, we implemented the most widely used fuzzy inference mechanism directly on silicon. The mechanism is beaded on a max-min compositional rule of inference, and Mandami's method of fuzzy implication. The two VLSI fuzzy inference chips are designed, fabricated, and fully tested. Both used a full-custom CMOS technology. The second and more claborate chip was designed at the University of North Carolina(U C) in cooperation with MCNC. Both VLSI chips had muliple datapaths for rule digital fuzzy inference chips had multiple datapaths for rule evaluation, and they executed multiple fuzzy if-then rules in parallel. The AT & T chip is the first digital fuzzy inference chip in the world. It ran with a 20 MHz clock cycle and achieved an approximately 80.000 Fuzzy Logical inferences Per Second (FLIPS). It stored and executed 16 fuzzy if-then rules. Since it was designed as a proof of concept prototype chip, it had minimal amount of peripheral logic for system integration. UNC/MCNC chip consists of 688,131 transistors of which 476,160 are used for RAM memory. It ran with a 10 MHz clock cycle. The chip has a 3-staged pipeline and initiates a computation of new inference every 64 cycle. This chip achieved an approximately 160,000 FLIPS. The new architecture have the following important improvements from the AT & T chip: Programmable rule set memory (RAM). On-chip fuzzification operation by a table lookup method. On-chip defuzzification operation by a centroid method. Reconfigurable architecture for processing two rule formats. RAM/datapath redundancy for higher yield It can store and execute 51 if-then rule of the following format: IF A and B and C and D Then Do E, and Then Do F. With this format, the chip takes four inputs and produces two outputs. By software reconfiguration, it can store and execute 102 if-then rules of the following simpler format using the same datapath: IF A and B Then Do E. With this format the chip takes two inputs and produces one outputs. We have built two VME-bus board systems based on this chip for Oak Ridge National Laboratory (ORNL). The board is now installed in a robot at ORNL. Researchers uses this board for experiment in autonomous robot navigation. The Fuzzy Logic system board places the Fuzzy chip into a VMEbus environment. High level C language functions hide the operational details of the board from the applications programme . The programmer treats rule memories and fuzzification function memories as local structures passed as parameters to the C functions. ASIC fuzzy inference hardware is extremely fast, but they are limited in generality. Many aspects of the design are limited or fixed. We have proposed to designing a are limited or fixed. We have proposed to designing a fuzzy information processor as an application specific processor using a quantitative approach. The quantitative approach was developed by RISC designers. In effect, we are interested in evaluating the effectiveness of a specialized RISC processor for fuzzy information processing. As the first step, we measured the possible speed-up of a fuzzy inference program based on if-then rules by an introduction of specialized instructions, i.e., min and max instructions. The minimum and maximum operations are heavily used in fuzzy logic applications as fuzzy intersection and union. We performed measurements using a MIPS R3000 as a base micropro essor. The initial result is encouraging. We can achieve as high as a 2.5 increase in inference speed if the R3000 had min and max instructions. Also, they are useful for speeding up other fuzzy operations such as bounded product and bounded sum. The embedded processor's main task is to control some device or process. It usually runs a single or a embedded processer to create an embedded processor for fuzzy control is very effective. Table I shows the measured speed of the inference by a MIPS R3000 microprocessor, a fictitious MIPS R3000 microprocessor with min and max instructions, and a UNC/MCNC ASIC fuzzy inference chip. The software that used on microprocessors is a simulator of the ASIC chip. The first row is the computation time in seconds of 6000 inferences using 51 rules where each fuzzy set is represented by an array of 64 elements. The second row is the time required to perform a single inference. The last row is the fuzzy logical inferences per second (FLIPS) measured for ach device. There is a large gap in run time between the ASIC and software approaches even if we resort to a specialized fuzzy microprocessor. As for design time and cost, these two approaches represent two extremes. An ASIC approach is extremely expensive. It is, therefore, an important research topic to design a specialized computing architecture for fuzzy applications that falls between these two extremes both in run time and design time/cost. TABLEI INFERENCE TIME BY 51 RULES {{{{Time }}{{MIPS R3000 }}{{ASIC }}{{Regular }}{{With min/mix }}{{6000 inference 1 inference FLIPS }}{{125s 20.8ms 48 }}{{49s 8.2ms 122 }}{{0.0038s 6.4㎲ 156,250 }} }}

• Korean Chemical Engineering Research
• /
• v.49 no.5
• /
• pp.605-610
• /
• 2011

Phase holdup characteristics of relatively large and small bubbles were investigated in a three-phase(gasliquid-solid) fluidized bed of which diameter was 0.105 m(ID) and 2.5 m in height, respectively. Effects of gas(0.01~0.07 m/s) and liquid velocities(0.01~0.07 m/s) and particle size($0.5{\sim}3.0{\times}10^{-3}m$) on the holdups of relatively large and small bubbles were determined. The holdups of two kinds of bubbles in three phase fluidized beds were estimated by means of static pressure drop method with the knowledge of pressure drops corresponding to each kind of bubble, respectively, which were obtained by dynamic gas disengagement method. Dried and filtered air which was regulated by gas regulator, tap water and glass bead of which density was $2500kg/m^3$ were served as a gas, a liquid and a fluidized solid phase, respectively. The two kinds of bubbles in three-phase fluidized beds, relatively large and small bubbles, were effectively detected and distinguished by measuring the pressure drop variation after stopping the gas and liquid flow into the column as a step function: The increase slope of pressure drop with a variation of elapsed time was quite different from each other. It was found that the holdup of relatively large bubbles increased with increasing gas velocity but decreased with liquid velocity. However, the holdup showed a local minimum with a variation of size of fluidized solid particles. The holdup of relatively small bubbles increased with an increase in the gas velocity or solid particle size, while it decreased slightly with an increase in the liquid velocity. The holdups of two kinds of bubbles were well correlated in terms of operating variables within this experimental conditions, respectively.

• Korean Journal of Animal Reproduction
• /
• v.25 no.1
• /
• pp.1-7
• /
• 2001

This study was to test whether in vitro matured Hanwoo oocytes can be successfully cryopreserved by a new vitrification procedure using MVC method. For the vitrification, oocytes were pretreated in 10% ethylene glycol (EG10) for 5~10 min, exposed in EG30 for 30 sec, each oocyte was individually put on the inner wall of 0.25 $m\ell$ straw, and then straws were directly plunged into L$N_2$. Thawing was taken by 4-step procedures 〔1.0 M sucrose (MS), 0.5 MS, 0.25 MS, and 0.125 MS〕 at 37$^{\circ}C$. In vitro developmental capacity (survival, cleavage ($\geq$2-cell) and blastocyst rates) in vitrified group was no significant difference compared to that in other treatment groups (exposed; 100.0, 74.4, 32.3% and control; 100.0, 78.3, 36.3%): high mean percentage of oocytes (91.2%) was survived, 69.4% of them were cleaved and 27.9% of cleaved embryos were developed to blastocyst. Especially, after transfer of in vitro developed embryos in vitrified group, four of six recipient animals were pregnant and three of them were ongoing-pregnant by manual palpation at 250 days after transfer. This result demonstrates that MVC method is very appropriate freezing method for the Hanwoo in vitro matured oocytes and that ovum bank can be maintained efficiently by MVC cryopreservation method.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.32 no.3B
• /
• pp.175-183
• /
• 2012

In this study, Galerkin scheme and SU/PG scheme of Petrov-Galerkin family were applied to the shallow water equations and a finite element model for shallow water flow was developed. Numerical simulations were conducted in several flumes with convection-dominated flow condition. Flow simulation of channel with slender structure in the water course revealed that Galerkin and SU/PG schemes showed similar results under very low Fr number and Re number condition. However, when the Fr number increased up to 1.58, Galerkin scheme did not converge while SU/PG scheme produced stable solutions after 5 iterations by Newton-Raphson method. For the transcritical flow simulation in diverging channel, the present model predicted the hydraulic jump accurately in terms of the jump location, the depth slope, and the flow depth after jump, and the numerical results showed good agreements with the hydraulic experiments carried out by Khalifa(1980). In the oblique hydraulic jump simulation, in which convection-dominated supercritical flow (Fr=2.74) evolves, Galerkin scheme blew up just after the first iteration of the initial time step. However, SU/PG scheme captured the boundary of oblique hydraulic jump accurately without numerical oscillation. The maximum errors quantified with exact solutions were less than 0.2% in water depth and velocity calculations, and thereby SU/PG scheme predicted the oblique hydraulic jump phenomena more accurately compared with the previous studies (Levin et al., 2006; Ricchiuto et al., 2007).