• 국제학술발표논문집
• /
• The 5th International Conference on Construction Engineering and Project Management
• /
• pp.433-436
• /
• 2013

This study suggests IFC-based bridge information modeling methods and its application model in BIM environment. Data model extension for bridge structure was achieved using user-defined property sets based on IFC framework. First, identification information was added. Bridge members are identified through physical and spatial semantic information added as property sets. Instances for semantic information were assigned according to standardized rules. Second, CO2 related factors were added for application information model. It can play a role to calculate and manage the quantity of CO2 emission. Third, properties for temporary structure to estimate and manage the construction cost were added. Finally, we investigated proposed methods through implementing the application information model of bridges.

• 충청수학회지
• /
• 제10권1호
• /
• pp.1-7
• /
• 1997

We characterize fuzzy ideals in near-rings and extensions of such ideals with the sup property.

• 대한수학회보
• /
• 제50권6호
• /
• pp.1957-1972
• /
• 2013

The reflexive property for ideals was introduced by Mason and has important roles in noncommutative ring theory. In this note we study the structure of idempotents satisfying the reflexive property and introduce reflexive-idempotents-property (simply, RIP) as a generalization. It is proved that the RIP can go up to polynomial rings, power series rings, and Dorroh extensions. The structure of non-Abelian RIP rings of minimal order (with or without identity) is completely investigated.

• 농촌지도와개발
• /
• 제10권1호
• /
• pp.15-29
• /
• 2003

The study uses agricultural knowledge system theory to explore how traditional knowledge applies to the linkage system of agricultural research and extension in rural Korea. By agricultural knowledge system we emphasize the dynamic networks of actors, processes of negotiation, and the diverse ways in which knowledge is constructed and performed. The knowledge systems reflect the idea that the boundaries between knowledge groups are not closed and that there could be considerable overlap between knowledge system. The results of this study are the following : First, we should know that some extension agents clearly value farmer knowledge and try to facilitate farmer-to-farmer communication. Extension plays a significant role in the knowledge-creation process and shaping communities because knowledge processes are embedded in social processes that involve aspects of power, authority, and legitimization. Third, the constructions of agricultural knowledge systems thus include social interactions, communication, and the diverse processes individuals employ create, use, and evaluate multiple types and sources of information through the linkage between agricultural colleges and Rural Development Administration (RDA), establishing the research institution of research and extension linkage, exchange research agent with extension agent, and bottom-up approach. Second, we should know that the focus of traditional knowledge development is rural community development as a community process. Nowadays the sessions of the Intergovernmental Committee of World Intellectual Property Organization (WIPO) cover two lines of inquiry, which are the use of existing standards of intellectual property for the protection of traditional knowledge and that of new legal standards, eventually in the from of sui generis mechanisms of protection.

• 농촌지도와개발
• /
• 제5권2호
• /
• pp.177-186
• /
• 1998

It is nearing the establishment of KAC(Korean Agricultural Chamber) as an institution for intensive reflection of farmer's public opinions in agricultural administration. In this study, researchers examined the management of Agricultural Chambers in France and Japan, which have experienced the action of Agricultural Chamber in advance of Korea. And discussed the anticipated change in agricultural extension taking advantage of departure of KAC. Discourses and movements to establish KAC is putting pressure the existing agricultural extension system into innovation. Taking a side view that there were little contribution of agents belonging to the existing agricultural extension agencies, the problem of restructuring agricultural extension system has assumed very serious dimensions. Therefore, agents in agricultural extension agencies should lay their own view before the probable reorganization of agricultural extension system.

• 한국유기농업학회지
• /
• 제19권spc호
• /
• pp.25-29
• /
• 2011

This study was performed to analyze the improvement of soil physical property and soil biota characteristics through cultivation of green manure crops for a one-year period before creation of a tea plantation as follows. The study revealed that the contents of available phosphate tended to decrease after sod-culture by green manure cultivation and open-pollination, when compared to the level before cultivation. The ratio soil porosity increased by approximately 30% when Crotalaria juncea and Sorghum bicolar L. Moench were cultivated, while the soil bacteria and fungi also increased. In a research on microfauna using a pit fall trap, the population number of the microfauna was 174 of 27 species in the plot of open-pollinated sod-culture and no organic matter application, and 268 of 26 species in the plot of Sorghum bicolar L. Moench. Consequently, the culturing tool of Crotalaria juncea recorded the highest level of species diversity at 2.5, the evenness index at 3.7 and richness at 4.6, with the lowest level of a dominance index. The ecological quotient of microfauna was 0.76 in the plot of Sorghum bicolar L. Moench, and 0.63 in the plot of Crotalaria juncea.

• 한국CDE학회논문집
• /
• 제13권5호
• /
• pp.352-361
• /
• 2008

Architectural design work depends on information made from earlier phases such as feasibility study, planning, and conceptual design. This design guideline information includes design objectives, requirements, and constraints made by decision-making, and has great influence on various works of latter phases of design process. Despite of this cognition, however, the lack of design guideline information management still remains as one among the critical issues in design area. Design tools with design guideline information do not also address the issue of interoperability throughout the life-cycle of buildings. The purpose of this research is to propose a method for design guideline information management by using the IFC technology and IFC Property set (Pset) extension mechanism. The method comprises defining and mapping the practically used design guideline items and extensible IFC data model, and includes the management of relationships that exist between design guideline information and design model in the IFC data model.

• 대한수학회지
• /
• 제58권6호
• /
• pp.1311-1325
• /
• 2021

One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

• 충청수학회지
• /
• 제16권2호
• /
• pp.79-88
• /
• 2003

In this paper, we study properties of a free normalizing extension ring of a FI-extending ring. We develop properties of formal triangular matrix rings and FI-extending rings. Several results on the quasi-extending modules are obtained.

• Korean Journal of Mathematics
• /
• 제20권3호
• /
• pp.353-360
• /
• 2012

In this paper we introduce the property (C), which is a cone metric extension of the usual metric property (E,A) and consider fixed point theorems for generalized contractive mappings under suitable conditions in cone metric spaces without normal cones.