• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1997.11a
• /
• pp.252-255
• /
• 1997

In this paper, we will propose the methodology of data analysis using the fuzzy property set model. In real world, the data can be represented with the object. $\theta$. and the property, $\pi$, and its has-property relation, P. Then, the conceptual space can be defined with the chosen properties. Each object has a unique location in the conceptual space. In Fuzzy mode, the fuzzy property, and fuzzy conceptual space can be redefined. To analyze data using the fuzzy property set model, the rough set need to be defined in the fuzzy conceptual space.

• Journal of the Ergonomics Society of Korea
• /
• v.34 no.5
• /
• pp.487-499
• /
• 2015

Objective: The purpose of this study was to analyze the trend of ergonomics field in overall intellectual property rights in Korea, and suggest the direction for the future development. Background: Many ergonomists are trying to pursue optimal human well-being and safety, and create more convenient designs for human use. For these reasons, intellectual property rights may be used to protect the legitimate rights of originative and innovative ergonomic designs. Method: Intellectual property rights were reviewed by using Korea Intellectual Property Rights Information Service (KIPRIS), and then were classified and analyzed according to three intellectual property rights (patent, utility model, design), International Patent Classification (IPC) and ergonomics application areas. Results: The total number of intellectual property rights registered in the ergonomics field in terms of three intellectual property rights (patent, utility model, design) showed 48,814 which occupied 5.97% of the total registered Korea's intellectual property rights. Within three intellectual property rights, patent (87%) was recorded overwhelmingly higher than utility model (9%) and design (4%). Conclusion: The current trend of patent, utility model and design in the ergonomics field in Korea tend to increase over time. It is suggested based on the analysis in this study that continuing research and development should be focused on electricity section in accordance with the global trend. Application: The results of this study can direct the ergonomists to the areas of intellectual property rights in the ergonomics field that should focus on the research and development in terms of three intellectual property rights, IPC and ergonomics application areas.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.81-90
• /
• 2005

Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.113-118
• /
• 2007

In this paper, a new method is proposed for robust proportional- integral - derivative (PID) control that is to ensure specified phase margin and iso - damping property using reduction model. This method is based on the second order plus dead time(SOPDT) reduction model of the high order model. Reduction model used to ensure iso-damping property in the feature frequency. Simulation results gives proof of effectiveness of proposed method.

• Computers and Concrete
• /
• v.9 no.4
• /
• pp.293-310
• /
• 2012

This paper discusses a new constitutive model called the high-rate brittle microplane (HRBM) model and also presents the details of a new software package called the Virtual Materials Laboratory (VML). The VML software package was developed to address the challenges of fitting complex material models such as the HRBM model to material property test data and to study the behavior of those models under a wide variety of stress- and strain-paths. VML employs Continuous Evolutionary Algorithms (CEA) in conjunction with gradient search methods to create automatic fitting algorithms to determine constitutive model parameters. The VML code is used to fit the new HRBM model to a well-characterized conventional strength concrete called WES5000. Finally, the ability of the new HRBM model to provide high-fidelity simulations of material property experiments is demonstrated by comparing HRBM simulations to laboratory material property data.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• 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.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.1017-1030
• /
• 2005

In this paper, we study averaging properties in Banach spaces using the Brunel-Sucheston's spreading model. We show that the Schlumprecht space S does not have the Banach­Saks property and II is finitely representable in the Schlumprecht space S using the spreading model properties.

• International Journal of Advanced Culture Technology
• /
• v.8 no.3
• /
• pp.84-89
• /
• 2020

At the end of 2019, there was the major outbreak of "COVID-19" in China. In this outbreak prevention and control campaign, the property management enterprises(PME) performed actively, playing a vital role in China. This paper puts forward that the property management enterprises(PME) should be included as subjects of national urban and rural community governance from the perspective of the public product attribute of property management. Based on the properties of public goods in property management, this paper redefines the functions and positioning of PME with public affairs management, establishes the qualification of PME to participate in one of the main bodies of community public governance. And it forms a new model of community governance with community residents committees, owner' committee and PME as the main body. This research provides implications for national urban and rural community governance models by applying existing theories and practical examples.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.581-588
• /
• 2016

Komuro [3] proved that geometric Lorentz attractor does not satisfy the shadowing property. In this paper we study the condition under which geometric Lorenz attractor has the orbital shadowing property that is weaker than the shadowing property.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.48 no.1
• /
• pp.41-48
• /
• 2006

In the evaluation of rural amenities, its properties are related with social, cultural, and environmental elements. In this study, Information Measure Model (IMM) and Cultural Property Priority Assessment Model (CPPAM) were developed adapting information measure model with text based surveying data. To apply developed model not only general properties but also specific surveyed data, Specific Information Gathering and Utilizing System (SIGUS) was constructed using the data in Dusan World encyclopedia. IMM shows priorities of cultural property by information in national-designated cultural properties. And CPPAM applied in surveying data in 2004 by Rural Resources Development Institute.