• Journal of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.643-702
• /
• 2021

Fix ℤ/2 is the prime field of two elements and write 𝒜₂ for the mod 2 Steenrod algebra. Denote by GL_d := GL(d, ℤ/2) the general linear group of rank d over ℤ/2 and by ${\mathfrak{P}}_d$ the polynomial algebra ℤ/2[x₁, x₂, …, x_d] as a connected unstable 𝒜₂-module on d generators of degree one. We study the Peterson "hit problem" of finding the minimal set of 𝒜₂-generators for ${\mathfrak{P}}_d$. Equivalently, we need to determine a basis for the ℤ/2-vector space $$Q{\mathfrak{P}}_d:={\mathbb{Z}}/2{\otimes}_{\mathcal{A}_2}\;{\mathfrak{P}}_d{\sim_=}{\mathfrak{P}}_d/{\mathcal{A}}^+_2{\mathfrak{P}}_d$$ in each degree n ≥ 1. Note that this space is a representation of GL_d over ℤ/2. The problem for d = 5 is not yet completely solved, and unknown in general. In this work, we give an explicit solution to the hit problem of five variables in the generic degree n = r(2^t - 1) + 2^ts with r = d = 5, s = 8 and t an arbitrary non-negative integer. An application of this study to the cases t = 0 and t = 1 shows that the Singer algebraic transfer of rank 5 is an isomorphism in the bidegrees (5, 5 + (13.2⁰ - 5)) and (5, 5 + (13.2¹ - 5)). Moreover, the result when t ≥ 2 was also discussed. Here, the Singer transfer of rank d is a ℤ/2-algebra homomorphism from GL_d-coinvariants of certain subspaces of $Q{\mathfrak{P}}_d$ to the cohomology groups of the Steenrod algebra, $Ext^{d,d+*}_{\mathcal{A}_2}$ (ℤ/2, ℤ/2). It is one of the useful tools for studying these mysterious Ext groups.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.375-390
• /
• 2004

Domain Name System(DNS), one of the most important Internet services, handles mapping from host names to Internet addresses and vice versa, and precedes many Internet applications such as Web, e-mail, file transfer, etc. In this paper, we propose a structural design of a generic name server system providing name services for a huge domain for the purpose of improving the performance as well as the reliability of the system. We demonstrate the validity of the design by implementing and running a testbed system. Our testbed employs a couple of master name sowers for distributing the service overhead over two, rather than one, servers and for achieving high availability of the system as a whole. We suggest the use of dynamic update to add and delete records from a zone for which the name server has authority. The slave name servers located remotely then get a new, updated copy of the zone via incremental zone transfers(IXFRs). The experiments with the implemented testbed show that the proposed structure would easily manage increasing demands on the server power, and be highly available in the face of transient faults of a module in the system.

• Nuclear Engineering and Technology
• /
• v.54 no.4
• /
• pp.1421-1430
• /
• 2022

The computation of the solid angle and the detector efficiency is considering to be one of the most important factors during the measuring process for the radioactivity, especially the cylindrical γ-ray NaI(Tl) detectors nowadays have applications in several fields such as industry, hazardous for health, the gamma-ray radiation detectors grow to be the main essential instruments in radiation protection sector. In the present work, a generic numerical simulation method (NSM) for calculating the efficiency of the γ-ray spectrometry setup is established. The formulas are suitable for any type of source-to-detector shape and can be valuable to determine the full-energy peak and the total efficiencies and P/T ratio of cylindrical γ-ray NaI(Tl) detector setup concerning the truncated conical radioactive source. This methodology is based on estimate the path length of γ-ray radiation inside the detector active medium, inside the source itself, and the self-attenuation correction factors, which typically use to correct the sample attenuation of the original geometry source. The calculations can be completed in general by using extra reasonable and complicate analytical and numerical techniques than the standard models; especially the effective solid angle, and the detector efficiency have to be calculated in case of the truncated conical radioactive source studied condition. Moreover, the (NSM) can be used for the straight calculations of the γ-ray detector efficiency after the computation of improvement that need in the case of γ-γ coincidence summing (CS). The (NSM) confirmation of the development created by the efficiency transfer method has been achieved by comparing the results of the measuring truncated conical radioactive source with certified nuclide activities with the γ-ray NaI(Tl) detector, and a good agreement was obtained after corrections of (CS). The methodology can be unlimited to find the theoretical efficiencies and modifications equivalent to any geometry by essential sufficiently the physical selective considered situation.

• Journal of Korea Game Society
• /
• v.9 no.2
• /
• pp.59-68
• /
• 2009

This study empirically analyzes game engine supplier's licensing strategy connected with supplier's technological regime and technological innovation. The results show that game engine supplier's technological regime is heterogeneously differentiated and it's user friendliness increases. "User Friendliness" of supplier's technological regime enables supplier's efficient technological transfer and increases supporting capability. Technological knowledge factors such as modularity of game engine structure, generic capability, codifiability of tacit game engine knowledge and degree of innovation turn incomplete technological market into efficient technological market by increasing supporting capability and by reducing transaction cost.

• Korean journal of applied entomology
• /
• v.58 no.1
• /
• pp.63-68
• /
• 2019

Three species of Epipleminae: Europlema nubifasciaria (Leech), Dysaethria meridiana (Inoue), and Phazaca theclata ($Guen{\acute{e}}e$), are reported for the first time from Korea. Europlema leleji Sinev turns out to be a new synonym of Epiplema nubifasciaria Leech and the latter is newly combined to the genus Europlema. Its female genitalia are first described. This is the first record of Europlema for the Korean fauna. Photos of adults and genitalia are provided for the treated species.

• 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 Korean Institute of Industrial Engineers
• /
• v.39 no.1
• /
• pp.46-54
• /
• 2013

Recently, the marine leisure industry has begun to make a mark on the growth engines of the Korean economy. Hence, various government research projects are in progress to catch up with the fundamental yacht technologies of advanced countries. Research on the integrated management technologies of sail yachts is carried out as a part of those projects. Work Breakdown Structure (WBS) is a basic architecture for robust and high-level management systems. In this paper, we suggest a product-oriented Yacht Work Breakdown Structure (YWBS). General WBS has a drawback in that it can only follow the targeted purpose, but YWBS allows for a generic WBS approach. This concept allows us to apply WBS to multi-purpose uses. The YWBS is used as an infrastructure in information management and for data relationships in sail yacht management systems. YWBS is designed and managed by a web application, and the system is implemented with a website as a user interface. This application has not only a design function, but also a data transfer function that is based on the Microsoft Silverlight platform, a kind of Rich Internet Application (RIA) technology. Using this application, YWBS designers can communicate with the management system without added tasks like as uploading and updating.

• Journal of Korea Multimedia Society
• /
• v.2 no.4
• /
• pp.476-489
• /
• 1999

HW/SW codesign is integrated design of systems implemented using both hardware and software components. Many design tools has been developed to support this new paradigm, so far. Current codesign tools are not widely used as been expected because of variety problems - rapidly evolving technology, platform dependency, absence of standard specification method, inconsistent user interface, varying target system, different functionality In this paper, we propose a web-based distributed HW/SW codesign environment to remedy this kinds of problem. Our codesign environment has object-based 3 tier client/server architecture. It supports collaborative workspace through session service. Fully object-oriented design of user interface(OOUI) enables easy extension without change of user Interface. Furthermore it contains transaction server and security server for efficient and safe transfer of design data. To show a validity of our design, we developed prototype of web-based HW/SW codesign environment called WebCEDA. Our model of HW/SW codesign can be used for web-based generic CAD tools.

• Journal of Arbitration Studies
• /
• v.17 no.2
• /
• pp.167-187
• /
• 2007

As Korea has reached a free trade agreement with the United States of America, it is required to provide an appropriate procedure to ".kr" domain name disputes based on the principles established in the Uniform Domain Name Dispute Resolution Policy(UDRP). Currently, Internet address Dispute Resolution Committee(IDRC) established under Article 16 of the Act on Internet Address Resources provides the dispute resolution proceedings to resolve ".kr" domain name disputes. While the IDRC's proceeding is similar to the UDRP administrative proceeding in procedural aspects, the Domain Name Dispute Mediation Policy that is established by the IDRC and that applies to disputes involving ".kr" domain names is very different from the UDRP for generic Top Level Domain (gTLD) in substantial aspects. Under the Korea-U.S. Free Trade Agreement(KORUS FTA), it is expected that either the Domain Name Dispute Mediation Policy to be amended to adopt the UDRP or the IDRC to examine the Domain Name Dispute Mediation Policy in order to harmonize it with the principles established in the UDRP. It is a common practice of cybersquatters to warehouse a number of domain names without any active use of these domain names after their registration. The Domain Name Dispute Mediation Policy provides that the complainant may request to transfer or delete the registration of the disputed domain name if the registrant registered, holds or uses the disputed domain name in bad faith. This provision lifts the complainant's burden of proof to show the respondent's bad faith because the complainant is only required to prove one of the three bad faiths which are registration in bad faith, holding in bad faith, or use in bad faith. The aforementioned resolution procedure is different from the UDRP regime which requires the complainant, in compliance with paragraph 4(b) of the UDRP, to prove that the disputed domain name has been registered in bad faith and is being used in bad faith. Therefore, the complainant carries heavy burden of proof under the UDRP. The IDRC should deny the complaint if the respondent has legitimate rights or interests in the domain names. Under the UDRP, the complainant must show that the respondent has no rights or legitimate interests in the disputed domain name. The UDRP sets out three illustrative circumstances, any one of which if proved by the respondent, shall be evidence of the respondent's rights to or legitimate interests in the domain name. As the Domain Name Dispute Mediation Policy provides only a general provision regarding the respondent's legitimate rights or interests, the respondent can be placed in a very week foundation to be protected under the Policy. It is therefore recommended for the IDRC to adopt the three UDRP circumstances to guide how the respondent can demonstrate his/her legitimate rights or interests in the disputed domain name. In accordance with the KORUS FTA, the Korean Government is required to provide online publication to a reliable and accurate database of contact information concerning domain name registrants. Cybersquatters often provide inaccurate contact information or willfully conceal their identity to avoid objection by trademark owners. It may cause unnecessary and unwarranted delay of the administrative proceedings. The respondent may loss the opportunity to assert his/her rights or legitimate interests in the domain name due to inability to submit the response effectively and timely. The respondent could breach a registration agreement with a registrar which requires the registrant to submit and update accurate contact information. The respondent who is reluctant to disclose his/her contact information on the Internet citing for privacy rights and protection. This is however debatable as the respondent may use the proxy registration service provided by the registrar to protect the respondent's privacy.