• Journal of the Korea Society of Computer and Information
• /
• v.14 no.2
• /
• pp.139-147
• /
• 2009

BLAST (Basic Local Alignment Search Tool) is a best well-known tool in a bioinformatics area. BLAST quickly compares input sequences with annotated huge sequence databases and predicts their functions. It helps biologists to make it easy to annotate newly found sequences with reduced experimental time, scope, and cost. However, as the amount of sequences is increasing remarkably with the advance of sequencing machines, performance of BLAST has been a critical issue and tried to solve it with several alternatives. In this paper, we propose a new PC-Based Cluster system (E-Cluster), a new physical data design methodology (logical partitioning technique) and a query routing technique (intra-query routing). To verify our system, we measure response time, speedup, and efficiency for various sizes of sequences in NR (Non-Redundancy) database. Experimental result shows that proposed system has better speedup and efficiency (maximum 600%) than those o( conventional approaches such as SMF machines, clusters, and grids.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.29 no.2D
• /
• pp.175-181
• /
• 2009

Korean government has developed the 1st version of the National ITS Architecture in 1999 and utilized it as the framework for ITS planning, design, and standardization. The National Architecture now needs to be revised to accommodate environmental changes in ITS market and advancement of ITS core technologies. This study evaluates the current version of the architecture and suggests the directions for revision for a new national ITS architecture. The two most popular methodologies for architecture development-the process-oriented approach and the object-oriented approach-were reviewed, and the process-oriented approach was selected for new architecture development. The concept of the national architecture was then newly defined based on evaluation of the existing architecture. The new National ITS Architecture is suggested to be composed of ITS user services, logical architecture, physical architecture, and project architecture. This study must be followed by actual architecture development efforts and supporting policy actions for successful deployment of the new National ITS Architecture.

• Journal of The Korean Association For Science Education
• /
• v.26 no.3
• /
• pp.307-316
• /
• 2006

The purpose of this study was to analyze intellectual characteristics of elementary students in science-gifted education. For this, 72 science-gifted students were selected. Multiple intelligences, creativity, and the science process skills of these students were tested. To compare these traits with those of general students, 78 general students were also tested. The results of this study indicated that science-gifted students significantly surpassed general students in the areas of logical-mathematics, intra-person, and naturalist. Especially, the intelligences of logical-mathematics and intra-person were strong point of the science-gifted students. But music intelligence among the 8 intelligence was weak point. Creativity and the science process skills of the students in science-gifted education excelled those of general students. Therefore, to enhance the efficiency of the science-gifted education program in elementary school, it is necessary to consider the intellectual characteristics of the students.

• The Mathematical Education
• /
• v.24 no.2
• /
• pp.105-116
• /
• 1986

For any thought and knowledge, its growth and development has close relation with the society where it is developed and grow. As Feuerbach says, the birth of spirit needs an existence of two human beings, i. e. the social background, as well as the birth of body does. But, at the educational viewpoint, the spread and the growth of such a thought or knowledge that influence favorably the development of a society must be also considered. We would discuss the goal and the function of mathematics education in relation with the prosperity of a technological civilization. But, the goal and the function are not unrelated with the spiritual culture which is basis of the technological civilization. Most societies of today can be called open democratic societies or societies which are at least standing such. The concept of rationality in such societies is a methodological principle which completes the democratic society. At the same time, it is asserted as an educational value concept which explains comprehensively the standpoint and the attitude of one who is educated in such a society. Especially, we can considered the cultivation of a mathematical thinking or a logical thinking in the goal of mathematics education as a concept which is included in such an educational value concept. The use of the concept of rationality depends on various viewpoints and criterions. We can analyze the concept of rationality at two aspects, one is the aspect of human behavior and the other is that of human belief or knowledge. Generally speaking, the rationality in human behavior means a problem solving power or a reasoning power as an instrument, i. e. the human economical cast of mind. But, the conceptual condition like this cannot include value concept. On the other hand, the rationality in human knowledge is related with the problem of rationality in human belief. For any statement which represents a certain sort of knowledge, its universal validity cannot be assured. The statements of value judgment which represent the philosophical knowledge cannot but relate to the argument on the rationality in human belief, because their finality do not easily turn out to be true or false. The positive statements in science also relate to the argument on the rationality in human belief, because there are no necessary relations between the proposition which states the all-pervasive rule and the proposition which is induced from the results of observation. Especially, the logical statement in logic or mathematics resolves itself into a question of the rationality in human belief after all, because all the logical proposition have their logical propriety in a certain deductive system which must start from some axioms, and the selection and construction of an axiomatic system cannot but depend on the belief of a man himself. Thus, we can conclude that a question of the rationality in knowledge or belief is a question of the rationality both in the content of belief or knowledge and in the process where one holds his own belief. And the rationality of both the content and the process is namely an deal form of a human ability and attitude in one's rational behavior. Considering the advancement of mathematical knowledge, we can say that mathematics is a good example which reflects such a human rationality, i. e. the human ability and attitude. By this property of mathematics itself, mathematics is deeply rooted as a good. subject which as needed in moulding the ability and attitude of a rational person who contributes to the development of the open democratic society he belongs to. But, it is needed to analyze the practicing and pursuing the rationality especially in mathematics education. Mathematics teacher must aim the rationality of process where the mathematical belief is maintained. In fact, there is no problem in the rationality of content as long the mathematics teacher does not draw mathematical conclusions without bases. But, in the mathematical activities he presents in his class, mathematics teacher must be able to show hem together with what even his own belief on the efficiency and propriety of mathematical activites can be altered and advanced by a new thinking or new experiences.

• Journal of The Korean Association For Science Education
• /
• v.22 no.4
• /
• pp.872-881
• /
• 2002

Student questioning is included in the priority of science literacy, to enable students to solve problems by exploring questions, communicating and constructing knowledge(AAAS, 1989). Also, the essence of student questioning in science lies in its function as a link between thinking and learning. But educators did not pay much attention to students' questioning in Korea. The purpose of this study was to investigate the effects of science question enhancement instruction on students' science questioning level and achievement. Also, this study showed the effects of other variables(logical thinking, science achievement, interest, and gender) on students' science questioning level. The pretest-posttest control group design group design was used. The sample was consisted of 80 second grade middle school students in experimental group(Science question enhancement instruction) and 74 students in control group(Traditional learning). Students in both groups were received identical content instruction on the unit 'Structures and functions of plant'. These groups were treated for 15 hours during 6 weeks. Students' questions were rated using the four levels described by the Middle School Students' Science Question Rating Scale(r= .96,)(Cuccio-Schirripa & Steinner, 2000). Science achievement data were collected using a 17 item multiple choice test(Cronbach ${\alpha}$= .84). To investigate students' logical thinking ability, a abridged GALT(Cronbach ${\alpha}$= .69) was used. Five-way ANOVA, ANCOVA, and multiple regression analysis were used to analyze the results. The results indicated that students who received instruction on researchable questioning outperformed those students who were not instructed on high-order questioning(p< .01). Results of correlations indicated that instruction(r= .640), science achievement(r= .311) and logical thinking ability(r= .212) was significantly and positively related with students' questioning level. But, interest and gender did not show any significant correlation with students' questioning level. Science question enhancement instruction was more effective on science achievement than the traditional instruction(p< .01).

• Journal of Distribution Science
• /
• v.10 no.5
• /
• pp.45-55
• /
• 2012

In Korea, the parcel delivery service was launched officially in 1992, and the market has grown to 13.2 billion units, or 3.5 trillion won, as of 2011. The service companies accept small packages under 30 kg and deliver them on the next day in most domestic areas. This service plays an important role in business and personal activities. The parcel service companies have themselves designed the tariff for the delivery service based on two criteria: weight and the sum of three side lengths. Further, the tariff is graded in steps of three or four rate structures based on size (small, medium, large, and extra-small). However, the basic freight rate is generally decided according to the cargo's weight or measurement size, and an extra rate is added according to some factors (handling, stowability, liability, and so on). The parcel service tariff adopted by the companies is illogically designed, and this study was carried out to assess the need for redesigning the tariff structure. The cargo volume cannot be logically reflected by three side lengths. For example, two parcels measuring 160 cm based on three side lengths may have different volumes, one measuring 0.152 cbm (53.33 cm × 53.33 cm × 53.34 cm) and the other 0.05 cbm (100 cm × 50 cm × 10 cm). A small package of less than120 cm (sum of three side lengths) may have a volume of as much as 0.064 cbm (40 cm × 40 cm × 40 cm). Sample comparison showed that 17% of medium-size parcels (based on the sum of three side lengths) are small-volume packages, 24% of large-size parcels are small- or medium-volume packages, and 40% of extra-big-size parcels are big- or under-size packages. Therefore, if parcel service companies rate their services for volume cargo based on the three side lengths standard, users may have to pay higher than normal rates, particularly because a large percentage of parcels are volume cargo. According to this study, the average weight per 1 cbm is less than 300 kg. Therefore, users face an increasing risk of paying higher than logical freight charges. Generally, transportation companies are called "public interest enterprises," and parcel service companies operate as postal services. Public interest enterprises must provide the delivery service to all customers without discrimination at a reasonable service level and logical service charges. Therefore, parcels service tariffs must be designed and adopted logically. In this study, freight theories and prior research findings were used to consider the importance of freight rates, and distortion of parcel service rates based on the three side lengths system was verified through regression analysis of a parcel sample and sample comparison. In conclusion, volume sizes based on three side lengths have a higher correlation to the rate level than does the sum of three side lengths. Further, compared to the sum of three side lengths, volume size has a higher correlation to cargo weight, which is the most basic factor determining transportation cost. Therefore, the existing parcel service tariff should be changed to weight- and volume-based rates, and the tariff must be graded in steps of 8 to 10 higher rate structures for a logical freight schedule based on service cost.

• Journal of Korean Philosophical Society
• /
• v.148
• /
• pp.213-238
• /
• 2018

The purpose of this paper is to study logical status and meaning of '$l{\grave{e}}i$[類]' in integrated concept system of 'míng[名]'. The subordinate relationships and integrated systems between genus and species are made up 'míng[名]' in pre-Chin's logical arguments. And '$l{\grave{e}}i$[類]' is a concept that designate what kind of category in all names of sorts and kinds in early China. The logical argumentations of early Chinese philosophers reflect subordinate relationship and integrated system of 'míng[名]'. And then early Chinese philosophers use the 'míng[名]' in other to denote a general concept that totally indicate meanings of genus and species like as Confucius' '$zh{\grave{e}}ng$ míng[正名]'. However early Chinese philosophers make philosophical issues of correspondence between míng[名] and shí[實], not subordinate relationships between genus and species. And then they use the 'míng[名]' in other to denotes not a general concept but a kind of category. Therefore the concept of 'míng[名]' used as a meaning of general concept and sorted out integrated concept system of 'míng[名]' as two categories of míng[名] and shí[實] at the same time in logical argumentations of early Chinese philosophers. The '$l{\grave{e}}i$[類]' of pre-Chin difference from genus of Aristotle spontaneously and conceptually. It is not a concept that in other to compose subordinate relationships and integrated systems. It is not a kind of genus. It divide a kind of denotation that means some kind of aggregations into existence and nonexistence. And it divide a kind of connotation that means some kind of attributes into same and difference. When early Chinese philosophers make distinction and demonstration the correspondence between míng[名] and shí[實], so to speak distinction mean to divide and classify into correspondence or non-correspondence, and demonstration mean to argue about the division and classification. Therefore the concept of '$l{\grave{e}}i$[類]' is a criteria that is to divide and classify the correspondence between míng[名] and shí[實] in integrated concept system of 'míng[名]'.

• ETRI Journal
• /
• v.26 no.6
• /
• pp.513-519
• /
• 2004

This paper presents a low power 16-bit adiabatic reduced instruction set computer (RISC) microprocessor with efficient charge recovery logic (ECRL) registers. The processor consists of registers, a control block, a register file, a program counter, and an arithmetic and logical unit (ALU). Adiabatic circuits based on ECRL are designed using a $0.35{\mu}m$ CMOS technology. An adiabatic latch based on ECRL is proposed for signal interfaces for the first time, and an efficient four-phase supply clock generator is designed to provide power for the adiabatic processor. A static CMOS processor with the same architecture is designed to compare the energy consumption of adiabatic and non-adiabatic microprocessors. Simulation results show that the power consumption of the adiabatic microprocessor is about 1/3 compared to that of the static CMOS microprocessor.

• Korean Journal of Oriental Medicine
• /
• v.1 no.1
• /
• pp.101-125
• /
• 1995

The terminology used for oriental medicine has not yet been standardized so far and this might cause the problems in developing theories and clinical research of oriental medicine. To establish scientific backgroupd of oriental medicine, it is required that all the terminology used for oriental medicine should be standardized and unified. For more efficient oriental medical practice, the standardization, unification of the terms and conditions used for diagnosis in oriental medicine should be achieved. The aim of this study are as follows; 1. To provide clear and logical systems for the diagnosis of symptoms and diseases. 2. To provide the theoritical clearmess of oriental medicine and to promote the public facilities for study. 3. To provide ways of idea exchange and understanding between oriental medicine and various biological sciences. 4. To provide practical basis for hospital administration for oriental medicine.

• Korean Institute of Interior Design Journal
• /
• no.40
• /
• pp.109-116
• /
• 2003

The space planning and interior layout of recovery unit should be determined carefully for patient's nursing and observation which is considered to prevent infection and to cope quickly with emergency situation after surgical operation. Recently, the recovery unit in medical facilities is planned and managed without consideration of operating system, sanitary facilities and prior condition of space. Therefore, there is required to the logical criterion of architectural planning for patient's recovery unit which is concerned about opinion of medical team, anesthetist, sanitarian, architect and patient as a user. As the result, this study would apply to design guideline for the architectural planning of patient's recovery unit.