• Title/Summary/Keyword: co(pre)cover

Search Result 7, Processing Time 0.019 seconds

ON TOR-TORSION THEORIES

  • GOLRIZ M.;BIJANZADEH M. H.
    • Communications of the Korean Mathematical Society
    • /
    • v.20 no.2
    • /
    • pp.209-219
    • /
    • 2005
  • Tor-torsion theory was defined by Jan Trlifaj in 2000. In this paper we introduce the notion of Co envelopes, CoCovers and Tor-generators as dual of envelopes, covers and generators in cotorsion(Ext-torsion) theory and deduce that each R-module has a projective and a cotorsion coprecover.

Hierarchical Land Cover Classification using IKONOS and AIRSAR Images (IKONOS와 AIRSAR 영상을 이용한 계층적 토지 피복 분류)

  • Yeom, Jun-Ho;Lee, Jeong-Ho;Kim, Duk-Jin;Kim, Yong-Il
    • Korean Journal of Remote Sensing
    • /
    • v.27 no.4
    • /
    • pp.435-444
    • /
    • 2011
  • The land cover map derived from spectral features of high resolution optical images has low spectral resolution and heterogeneity in the same land cover class. For this reason, despite the same land cover class, the land cover can be classified into various land cover classes especially in vegetation area. In order to overcome these problems, detailed vegetation classification is applied to optical satellite image and SAR(Synthetic Aperture Radar) integrated data in vegetation area which is the result of pre-classification from optical image. The pre-classification and vegetation classification were performed with MLC(Maximum Likelihood Classification) method. The hierarchical land cover classification was proposed from fusion of detailed vegetation classes and non-vegetation classes of pre-classification. We can verify the facts that the proposed method has higher accuracy than not only general SAR data and GLCM(Gray Level Co-occurrence Matrix) texture integrated methods but also hierarchical GLCM integrated method. Especially the proposed method has high accuracy with respect to both vegetation and non-vegetation classification.

Studies on seismic performance of the new section steel beam-wall connection joint

  • Weicheng Su;Jian Liu;Changjiang Liu;Chiyu Luo;Weihua Ye;Yaojun Deng
    • Structural Engineering and Mechanics
    • /
    • v.88 no.5
    • /
    • pp.501-519
    • /
    • 2023
  • This paper introduces a new hybrid structural connection joint that combines shear walls with section steel beams, fundamentally resolving the construction complexity issue of requiring pre-embedded connectors in the connection between shear walls and steel beams. Initially, a quasi-static loading scheme with load-deformation dual control was employed to conduct low-cycle repeated loading experiments on five new connection joints. Data was acquired using displacement and strain gauges to compare the energy dissipation coefficients of each specimen. The destruction process of the new connection joints was meticulously observed and recorded, delineating it into three stages. Hysteresis curves and skeleton curves of the joint specimens were plotted based on experimental results, summarizing the energy dissipation performance of the joints. It's noteworthy that the addition of shear walls led to an approximate 17% increase in the energy dissipation coefficient. The energy dissipation coefficients of dog-bone-shaped connection joints with shear walls and cover plates reached 2.043 and 2.059, respectively, exhibiting the most comprehensive hysteresis curves. Additionally, the impact of laminated steel plates covering composite concrete floors on the stiffness of semi-rigid joint ends under excessive stretching should not be disregarded. A comparison with finite element analysis results yielded an error of merely 2.2%, offering substantial evidence for the wide-ranging application prospects of this innovative joint in seismic performance.

Sulfide Mineralization in the Huronian Sediments in the Cobalt Area, Ontario, Canada (캐나다 온타리오주 코발트 지역의 휴로니안 퇴적암에 발달한 황화물 광화작용에 관한 연구)

  • Kim, Won-Sa
    • Journal of the Mineralogical Society of Korea
    • /
    • v.19 no.3 s.49
    • /
    • pp.139-151
    • /
    • 2006
  • Base metal sulfides occur in the Huronian sedimentary rocks that cover the Archean volcanic rocks in the Cobalt area, Ontario, Canada. They are mostly concentrated in the basal conglomerate which was formed in the pre-Huronian basin structure. Sulfide occurrence can be grouped as massive sulfide clasts in the basal and Coleman conglomerate, disseminated sulfides throughout the sediments, and disseminated sulfides near Ag-Co-Ni-As carbonate veins. Detrital mechanism can explain features such as angularity of sulfide fragments and graded bedding of dissemnated sulfides. Sulfides concentrated near carbonate veins are probably of hydrothermal origin. Nearby strata-bound type massive sulfide ore deposits and mineralized interflow units are the most probable sources for syngenetic sulfides. This is supported by the angularity of sulfide fragments, presence of massive sulfide boulders which are identical in mineralogy and texture to the strata-bound type sulfide deposits in the Archean basement, and a similar composition of sphalerite in the Archean volcanic rocks and Huronian sedimentary rocks. Some sulfide grains, especially in sandstones and argillites, were undergone recrystallization during the intrusion of the Nipissing diabase.

A Stress Transfer Length of Pre-tensioned Members Using Ultra High Performance Concrete (초고성능 콘크리트 프리텐션부재의 응력전달길이)

  • Kim, Jee-Sang;Choi, Dong-Hun
    • Journal of the Korean Recycled Construction Resources Institute
    • /
    • v.6 no.4
    • /
    • pp.336-341
    • /
    • 2018
  • The prestressing force introduced to the tendon in pretensioned concrete members is transferred by direct bond between tendon and concrete, which requires a proper estimation of stress transfer length. The use of pretensiond and/or precast members with UHPC (Ultra High Performance Concrete) may give many advantages in quality control. This paper presents an experiment to estimate the stress transfer length of UHPC for various compressive strength levels of UHPC, cover depths, diameters of tendons and tensioning forces. According to the result of this experiment, the stress transfer length of UHPC member is much reduced comparing that of normal strength concrete. The reduction in stress transfer length of UHPC may come from the high bond strength capacity of UHPC. The transfer lengths obtained from this experiment are compared to those in current design code and a new formula is proposed.

A Practical New Technology of Removing Algal Bloom: K-water GATe Water Combine (조류(藻類)제어를 위한 실용적 신기술 : K-water 녹조수상콤바인)

  • Shin, Jae-Ki;Kim, Hojoon;Kim, Sea Won;Chong, Sun-A;Moon, Byong Cheun;Lee, Sanghyup;Choi, Jae Woo
    • Korean Journal of Ecology and Environment
    • /
    • v.47 no.3
    • /
    • pp.214-218
    • /
    • 2014
  • We introduce a technical equipment of GATe (Green (algae)-tide) water combine developed by K-water. The GATe water combine consists of five modules: main body and buoyant, transfer hopper, screen conveyer, sludge remover, and separator of algae and waste. Also a sprinkler, as the pre-treatment step if necessary, is equipped to the device to spread out environmental-friendly algaecide under the circumstance that the level of algal bloom does not reach to the scum-forming condition. The overall module system of this device is very simple. Based on the field test, the device covers surface area of ca. $500,000m^2day^{-1}$ during the period from May to July, and treats water volume as much as $500,000m^3day^{-1}$ in spite of some variation depending on the water quality condition. The removal efficiency of the device appeared to be over 90%. In addition, the operating duration of the device was able to expand to cover the period between March and November. We expect this new technology can be used to solve algal bloom problems in drinking water resource and public water area.

Memory Organization for a Fuzzy Controller.

  • Jee, K.D.S.;Poluzzi, R.;Russo, B.
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1993.06a
    • /
    • pp.1041-1043
    • /
    • 1993
  • Fuzzy logic based Control Theory has gained much interest in the industrial world, thanks to its ability to formalize and solve in a very natural way many problems that are very difficult to quantify at an analytical level. This paper shows a solution for treating membership function inside hardware circuits. The proposed hardware structure optimizes the memoried size by using particular form of the vectorial representation. The process of memorizing fuzzy sets, i.e. their membership function, has always been one of the more problematic issues for the hardware implementation, due to the quite large memory space that is needed. To simplify such an implementation, it is commonly [1,2,8,9,10,11] used to limit the membership functions either to those having triangular or trapezoidal shape, or pre-definite shape. These kinds of functions are able to cover a large spectrum of applications with a limited usage of memory, since they can be memorized by specifying very few parameters ( ight, base, critical points, etc.). This however results in a loss of computational power due to computation on the medium points. A solution to this problem is obtained by discretizing the universe of discourse U, i.e. by fixing a finite number of points and memorizing the value of the membership functions on such points [3,10,14,15]. Such a solution provides a satisfying computational speed, a very high precision of definitions and gives the users the opportunity to choose membership functions of any shape. However, a significant memory waste can as well be registered. It is indeed possible that for each of the given fuzzy sets many elements of the universe of discourse have a membership value equal to zero. It has also been noticed that almost in all cases common points among fuzzy sets, i.e. points with non null membership values are very few. More specifically, in many applications, for each element u of U, there exists at most three fuzzy sets for which the membership value is ot null [3,5,6,7,12,13]. Our proposal is based on such hypotheses. Moreover, we use a technique that even though it does not restrict the shapes of membership functions, it reduces strongly the computational time for the membership values and optimizes the function memorization. In figure 1 it is represented a term set whose characteristics are common for fuzzy controllers and to which we will refer in the following. The above term set has a universe of discourse with 128 elements (so to have a good resolution), 8 fuzzy sets that describe the term set, 32 levels of discretization for the membership values. Clearly, the number of bits necessary for the given specifications are 5 for 32 truth levels, 3 for 8 membership functions and 7 for 128 levels of resolution. The memory depth is given by the dimension of the universe of the discourse (128 in our case) and it will be represented by the memory rows. The length of a world of memory is defined by: Length = nem (dm(m)+dm(fm) Where: fm is the maximum number of non null values in every element of the universe of the discourse, dm(m) is the dimension of the values of the membership function m, dm(fm) is the dimension of the word to represent the index of the highest membership function. In our case then Length=24. The memory dimension is therefore 128*24 bits. If we had chosen to memorize all values of the membership functions we would have needed to memorize on each memory row the membership value of each element. Fuzzy sets word dimension is 8*5 bits. Therefore, the dimension of the memory would have been 128*40 bits. Coherently with our hypothesis, in fig. 1 each element of universe of the discourse has a non null membership value on at most three fuzzy sets. Focusing on the elements 32,64,96 of the universe of discourse, they will be memorized as follows: The computation of the rule weights is done by comparing those bits that represent the index of the membership function, with the word of the program memor . The output bus of the Program Memory (μCOD), is given as input a comparator (Combinatory Net). If the index is equal to the bus value then one of the non null weight derives from the rule and it is produced as output, otherwise the output is zero (fig. 2). It is clear, that the memory dimension of the antecedent is in this way reduced since only non null values are memorized. Moreover, the time performance of the system is equivalent to the performance of a system using vectorial memorization of all weights. The dimensioning of the word is influenced by some parameters of the input variable. The most important parameter is the maximum number membership functions (nfm) having a non null value in each element of the universe of discourse. From our study in the field of fuzzy system, we see that typically nfm 3 and there are at most 16 membership function. At any rate, such a value can be increased up to the physical dimensional limit of the antecedent memory. A less important role n the optimization process of the word dimension is played by the number of membership functions defined for each linguistic term. The table below shows the request word dimension as a function of such parameters and compares our proposed method with the method of vectorial memorization[10]. Summing up, the characteristics of our method are: Users are not restricted to membership functions with specific shapes. The number of the fuzzy sets and the resolution of the vertical axis have a very small influence in increasing memory space. Weight computations are done by combinatorial network and therefore the time performance of the system is equivalent to the one of the vectorial method. The number of non null membership values on any element of the universe of discourse is limited. Such a constraint is usually non very restrictive since many controllers obtain a good precision with only three non null weights. The method here briefly described has been adopted by our group in the design of an optimized version of the coprocessor described in [10].

  • PDF