• The Journal of the Korea Contents Association
• /
• v.22 no.9
• /
• pp.260-270
• /
• 2022

With the revision of the 「State Property Act」, the conditions for using state-owned land have improved. The new government is also suggesting the necessity of using state-owned land to revitalize private investment and secure financial investment capacity. In line with these policy changes, this study examines Japan's policy on the utilization of state-owned land and effective use cases, and seeks to find policy implications from the perspective of managing and promoting the use of state-owned land. The direction of Japan's public land utilization policy is to induce optimal use of state-owned land through efficient management, and to increase the value of state property by promoting active use of state-owned land through linkage of state-owned and public land and private participation, etc. It appears that the policy is being pursued in the direction of suppressing the sale of state-owned land in the country. To promote the effective use of state-owned land, it is necessary to establish a clear policy direction first. In addition, the establishment of a transparent information disclosure system and the establishment of a strong control tower capable of coordinating interests between ministries are required. The starting point of policy establishment for efficient use of state-owned land is to change the perception that the actual owner of state-owned land is the people.

• KIEE International Transaction on Systems and Control
• /
• v.2D no.2
• /
• pp.92-96
• /
• 2002

This paper is concerned with properties of a Lyapunov functional of state delay systems. It is shown that if a state delay system has a pure imaginary pole for some state delay, then no Lyapunov functional satisfying a Lyapunov condition exists periodically with respect to change of the state delay. This periodic property is unique in state delay systems and has been well known in the frequency domain stability conditions. However, in the time domain stability conditions using a Lyapunov functional, the periodic property is not known explicitly.

• International Journal of Automotive Technology
• /
• v.7 no.1
• /
• pp.101-107
• /
• 2006

The force and moment simulation of a steady-state rolling tire taking the effect of tread pattern into account is described using a steady-state transport method with ABAQUS. Tread meshes can not fully consider a tread pattern because detailed tread meshes are not allowed in the steady-state transport method. Therefore, the tread elements are modeled to have orthotropic property instead of isotropic property. The force and moment simulation has been carried out for the cases of both isotropic and orthotropic properties of tread elements. Both cases of simulation results are then compared with the experimental results. It is verified that the orthotropic case is in a better agreement with the experimental result than the isotropic case. Angle effects of tread pattern have been studied by changing the orientation angle of orthotropic property of tread. It is shown that the groove angle in the tread shoulder region has a more effect on force and moment of a tire than that in the tread center region.

• Journal of Korean Institute of Industrial Engineers
• /
• v.28 no.3
• /
• pp.247-255
• /
• 2002

The objective of this paper is to clarify the decomposition property for $M^{X}$/G/1 queues with generalized vacations so that the decomposition property is better understood and becomes more applicable. As an example model, we use the $M^{X}$/G/1 queue with setup time. For this queue, we correct Choudhry's (2000) steady-state queue size PGF and derive the steady-state waiting time LST. We also present a meaningful interpretation for the decomposed steady-state waiting time LST.

• International Journal of Computer Science & Network Security
• /
• v.22 no.11
• /
• pp.284-290
• /
• 2022

The study considers trends and prospects for developing virtual (augmented) reality and civil transactions in relation to digital property. In jurisprudence, there is a need to determine the legal status of virtual and augmented reality to regulate legal relations in the digital environment. Legal relations using new digital technologies require the creation of new legislative approaches and rules of their legal regulation. The article dwells on the legal status of virtual (augmented) reality and determines the methods of regulating legal relations in the sphere of digital property. The study utilized methods for collecting single and multiple facts in order to identify the main trends in the civil circulation of digital assets, as well as private law methods. The methods of generalization, concreteness, induction and deduction reveal the legal nature and main features of virtual (augmented) reality and digital property. The paper highlights the specifics of virtual reality and civil transactions in relation to digital assets. The research has concluded that the sale, exchange and other actions with digital objects in virtual reality have distinctive features, while digital property has also unique characteristics since it is involved in civil circulation and legal relations.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.2250-2257
• /
• 2008

This study examined the existing issues and current status of how to best approach the establishment of railroad asset of the corporation in the long run. It also explored some preventative measures for further problems. Based on the law of state property and related railroad statutes, the research referred to basic plans for railroad management of Korea Rail Network Authority, the outcome of file research, handbook of asset management, guidelines and policy of Ministry of Finance and Economy for state property management, recommendations of the Board of Audit and Inspection and fact-finding research of state property (miscellaneous properties). The findings are making a few suggestions on the service of the Korea Rail Network Authority and Korail.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2008.10a
• /
• pp.847-850
• /
• 2008

Three thermally stable red dyes of azo, quinacridone and perylene derivatives were synthesized and dye-based color filters were manufactured for liquid crystal display. Aggregation behavior of the dyes and their spectral property in film state were investigated by concentration dependent spectroscopy and field emission scanning electron microscopy (FE-SEM). These dyes have remarkable difference on their aggregation behavior in film state. Such difference of aggregation behavior affects the spectral property of the film, and it can cause decreasing the transmittance of dye-based color filters.

• Kyungpook Mathematical Journal
• /
• v.34 no.2
• /
• pp.259-273
• /
• 1994

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.3
• /
• pp.129-134
• /
• 2004

To analyze the performance of the gas circuit breaker(GCB), the flow field variables such as temperature, pressure and density should be evaluated accurately In the puffer chamber of puffer type GCB, the pressure rise may Exceed 20 bar and in this range of high pressure, $SF_6$ gas deviates the ideal gas property. Therefore, the real gas property of $SF_6$ should be taken into consideration for the accurate analysis of flow field. This paper presents the analysis technique of cold gas flow in GCB employing the real gas state equation of SF6. The FVFLIC method is Employed to solve the axisymmetric Euler equation. To reduce the computational effort of real gas state equation, the relationship between density and pressure is approximated by the polynomial at the temperature of 300K. The proposed method is applied to the test GCB model and simulation results show good agreement with the experimental ones.