• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1997년도 춘계학술대회 학술발표 논문집
• /
• 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.

• 대한인간공학회지
• /
• 제34권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.

• 정보처리학회논문지D
• /
• 제12D권1호
• /
• pp.81-90
• /
• 2005

모델 체킹은 주어진 모델과 속성간의 만족성 관계를 검사한다. 만일 모델이 속성을 만족하지 않는 경우, 모델 체킹은 그 이유를 담은 반례를 생성한다. 반례는 모델의 디버깅에 사용되며 모델을 이해하는데 도움을 주기 때문에, 반례 생성은 모델 체킹의 필수 구성 요소 중의 하나이다. 본 논문에서는 모델 체킹에서 안전성 속성이 위반되었을 때 그에 대한 반례를 효율적으로 생성하는 방법을 제시하였고, 푸쉬 푸쉬 게임 풀이에 제안한 방법을 적용했다. 그 결과, 기존 NuSMV로는 전체 50게임 중에서 42게임밖에 풀지 못했으나 본 논문의 방법으로는 50게임을 모두 풀었다. 뿐만 아니라, 반례 생성에 소요된 시간과 메모리 사용량이 기존 NuSMV에 비해서 각각 $86{\%}$와 $62{\%}$ 개선되었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• 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
• /
• 제9권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.

• 국제학술발표논문집
• /
• 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.

• 대한수학회지
• /
• 제42권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
• /
• 제8권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.

• 대한수학회보
• /
• 제53권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.

• 한국농공학회논문집
• /
• 제48권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.