• School Mathematics
• /
• v.16 no.2
• /
• pp.355-386
• /
• 2014

Algebraic generalization of patterns is based on the capability of grasping a structure inherent in several objects with awareness that this structure applies to general cases and ability to use it to provide an algebraic expression. The purpose of this study is to investigate how students generalize patterns using an algebraic object such as parameters and what are difficulties in geometric-arithmetic pattern tasks related to algebraic generalization and to determine whether the students can use parameters meaningfully through pattern generalization tasks that this researcher designed. During performing tasks of pattern generalization we designed, students differentiated parameters from letter 'n' that is used to denote a variable. Also, the students understood the relations between numbers used in several linear equations and algebraically expressed the generalized relation using a letter that was functions as a parameter. Some difficulties have been identified such that the students could not distinguish parameters from variables and could not transfer from arithmetical procedure to algebra in this process. While trying to resolve these difficulties, generic examples helped the students to meaningfully use parameters in pattern generalization.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.39 no.7
• /
• pp.30-37
• /
• 2002

In this paper, we propose a new adaptive slot assignment algorithm called In-VDSA in order to guarantee the QoS(Quality of Service) of VBR(Variable Bit Rate) traffics in wireless ATM and maximize efficiency in use of wireless channels. In the proposed algorithm, the status of terminal buffers is encoded in signed number on the GFC(Generic Flow Control) field of an ATM cell header and piggybacked. And also, the number of slots to be assigned to the next frame is adjusted effectively, which is different to methods in the conventional slot assignment algorithms. As a result, we can guarantee QoS such as CLR(Cell Loss Rate) and cell delay and achieve the higher utilization of channels. The validity of the proposed algorithm has been justified in performance by analysis through simulation results using the BONeS tool and comparison with conventional methods.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.4C
• /
• pp.308-315
• /
• 2002

Guaranteed frame rate (GFR) service has been defied to provide minimum cell rate (MCR) guarantees for virtual connections (VCs) carrying Internet traffic in ATM networks and allow them to fairly share residual bandwidth. The simplest switch implementation mechanism to support the GFR service in ATM networks consists of the frame-based generic cell rate algorithm (F-GCRA) frame classifier and the early packet discard (EPD)-like buffer acceptance algorithm in a single FIFO buffer. This mechanism is simple, but has foiled to guarantee the same bandwidth as an MCR to a VC that has reserved a relatively large MCR. This paper applies the packet spacing scheme to TCP traffic to alleviate its burstness, so as to guarantee a larger MCR to a VC. In addition, the random early detection (RED) scheme is added to the buffer acceptance algorithm in order to improve fairness in use of residual bandwidth. Simulation results show that the applied two schemes improve a quality of service (QoS) in the GFR service for the TCP traffic.

• The Journal of the Korea Contents Association
• /
• v.15 no.2
• /
• pp.58-73
• /
• 2015

In the IoT environment, context information is important to provide context service to the user. For this, collected data from devices such as sensors or actuators, converts to context information using the ontology. Because the existing ontologies designed for target service, if the user wants to change the service requirements, service condition, service environment or another service, overall ontology will be redesigned to the changed service. To overcome this difficulty, we propose the cross-vertical ontology model called the Generic Ontology Models(GOMs). It can define the user's desired services without regarding to place and situation. Also, we propose IoT service concept model that represents data flow of the IoT service and IoT service environment. Moreover, as the use case, we show that the proposed GOMs are able to provide the IoT service well.

• YAKHAK HOEJI
• /
• v.51 no.6
• /
• pp.440-446
• /
• 2007

Arcabose is a competitive inhibitor of the intestinal ${\alpha}$-glucosidases and reduces the postprandial digestion and absorption of carbohydrate and disaccharides. Due to its negligible oral absorption, measuring drug concentration in the plasma is impractical. Thus, the common pharmacokinetic study is not available to determine the bioequivalence of the generic acarbose preparations. The aim of this study is the establishment of pharmacodynamic assessment method for the bioequivalence test of the generic acarbose preparations. Placebo-controlled cross-over ($3{\times}3$) clinical study was conducted in 23 healthy volunteers. Volunteers received a single oral dose of placebo, reference drug ($Glucoby^{(R)}$ 100 mg, Lot # D043) or test drug ($Glucoby^{(R)}$ 100 mg, Lot # E005) just before breakfast, then blood samples for evaluation of serum glucose and insulin levels were taken during for 4 hours. $C_{max},\;AUC_{0-2},\;AUC_{0-4},\;{\Delta}C_{max},\;{\Delta}AUC_{0-2}\;and\;{\Delta}AUC_{0-4}$ of the postprandial plasma glucose level significantly decreased when a single dose of acarbose 100 mg preparations was administered. However, any significant difference was not detected between the groups taken the reference drug and the test drug. These results proposed that the pharmacodynamic protocols of this study is suitable to use for bioequivalence test of acarbose preparations. On the basis of the results of this study and the data of literature on this subject, the standard protocols of bioequivalence study of acarbose preparation are proposed.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.5
• /
• pp.1039-1055
• /
• 2014

The distribution of a test statistic under a null hypothesis depends on the unknown distribution of the data and thus is unknown as well. Conditional tests replace the unknown null distribution by the conditional null distribution, that is, the distribution of the test statistic given the observed data. This approach is known as permutation tests and was developed by Fisher (Fisher, 1935). Theoretical framework for permutation tests was given by Strasser and Weber(1999). The coin package developed by Hothon et al. (2006, 2008) implements a unified approach for conditional inference via the generic independence test. Because convenient functions for the most prominent problems are available, users will not have to use the extremely flexible procedure. In this article we briefly review the underlying theory from Strasser and Weber (1999) and explain how to transform the data to perform the generic function independence test. Finally it was illustrated with a few real data sets.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.1
• /
• pp.58-73
• /
• 2021

Cloud Service Providers (CSPs) enable their users to access Cloud computing and storage services from anywhere in quick and flexible manners through the Internet. With the basis of 'pay-as-you-go' model, it makes the interactions between CSPs and the users play a vital role in shaping the Cloud computing market. A pool of virtualized and dynamically scalable Cloud services that delivered on demand to the users is associated with guaranteed performance and cost-provisioning. It needed a costing scheme for determining suitable charges in order to secure lease pricing of the Cloud services. However, it is hard to meet the satisfied prices for both CSPs and users due to their conflicting needs. Furthermore, there is lack of Service Level Agreements (SLAs) that allowing the users to take part into price negotiating process. The users may lose their interest to use Cloud services while reducing CSPs profit. Therefore, this paper proposes a generic costing scheme for Cloud services using General Equilibrium Theory (GET). GET helps to formulate the price function for various services' factors to match with various demands from the users. It is initially determined by identifying the market circumstances that a general equilibrium will be hold and reached. Specifically, there are two procedures of agreement made in response to (i) established equilibrium supply and demand, and (ii) service price formed and constructed in a price range. The SLAs in our costing scheme is integrated to satisfy both CSPs and users' needs while minimizing their conflicts. The price ranging strategy is deliberated to provide prices' options to the users with respect their budget limit. Meanwhile, the CSPs can adaptively charge based on users' preferences without losing their profit. The costing scheme is testable and analyzed in multi-tenant computing environments. The results from our simulation experiments demonstrate that the proposed costing scheme provides better users' satisfaction while fostering fairness pricing in the Cloud market.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.253-259
• /
• 2008

RFID is a generic term for technologies which use RF waves to identify, track, or categorize any object. A radio frequency identification (RFID) reader recognizes objects through wireless communications with RFID tags. Tag collision arbitration for passive tags is a significant issue for fast tag identification due to communication over a shared wireless channel. One of the research areas in RFID system is a tag anti-collision protocol. In this paper, various anti-collision protocols are discussed. The pros and cons of different anti-collision protocols are compared with each other and their performance is analyzed and the better performance anti-collision protocol is suggested.

• Journal of the Korean housing association
• /
• v.20 no.1
• /
• pp.45-58
• /
• 2009

This research starts from the questioning of current housing development on the hilly site in Korea. It aims to investigate various design techniques of low-rise housing as an alternative housing plan on hilly sites. Several generic solutions of the combination of building type and road pattern are tested for a simulation process, and evaluated in terms of crucial design issues; development density, parking space and open space. As a result, four reasonable models are selected for making full use of geographical features of hilly site, two models each land slope of $18^{\circ}$ and $26^{\circ}$. Several design techniques for each model are also suggested, in ensuring the development feasibility by considering land slope, vehicular access and parking, common open space, and community facilities.

• Genomics & Informatics
• /
• v.18 no.2
• /
• pp.24.1-24.7
• /
• 2020

Despite a growing number of natural language processing shared-tasks dedicated to the use of Twitter data, there is currently no ad-hoc annotation tool for the purpose. During the 6th edition of Biomedical Linked Annotation Hackathon (BLAH), after a short review of 19 generic annotation tools, we adapted GATE and TextAE for annotating Twitter timelines. Although none of the tools reviewed allow the annotation of all information inherent of Twitter timelines, a few may be suitable provided the willingness by annotators to compromise on some functionality.