• Journal of Computing Science and Engineering
• /
• v.9 no.1
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

• Journal of Urban Science
• /
• v.6 no.2
• /
• pp.1-13
• /
• 2017

The air quality management in regional viewpoint was investigated for the improvement of national air pollution with various standard air pollutants. The focal region in this research is north-eastern region in asia where the many developing industries are located in neighboring countries. The major concerns were the trends of air quality in recent years and the state of environmental technologies and policies of air quality in each countries. The regional air quality management for the improvement of air pollution and the effective programs were suggested for the effective air quality management.

• Journal of the Korea Institute of Building Construction
• /
• v.18 no.4
• /
• pp.395-401
• /
• 2018

The Central African Region is known as one of the most troubled and unsafe regions in Africa. But more recently the Central African Region has been growing and developing, with many projects underway involving huge local and foreign construction companies. Despite this fact, workers in the Central African Region often encounter unsafe working conditions and must confront many kinds of hazards. Therefore, the aim of this study is to identify the safety management situation in Central African construction sites, by focusing on the countries of Rwanda and DR Congo. Through our research, it was found that the two countries studied in the Central African Region are very similar with regard to their safety management systems, with some exceptions. In addition, it was revealed that both these countries in the Central African Region had good safety performance. This study will help to illuminate the situation of safety systems on construction sites in the Central African Region, and can be used by companies advancing into the Central African Region's construction market.

• Korean Business Review
• /
• v.21 no.2
• /
• pp.57-77
• /
• 2008

Mountain destination plays a vital role in satisfying the demand of natural tourism products, provides exclusive leisure, adventure and unique cultural experience. The Himalayan region includes some of the most biologically diverse habitats on Earth as well as homes to a bewildering variety of culture. The purpose of this study is to figure out the mountain tourism as a tool of sustainable development and explore the tourism destination development strategies with case study of Himalayan area. In this study, we recognized the importance of tourism for the isolated developing communities, for which, tourism provide the way of developing its economic and society. It also generates new opportunities of employment and change the soclo-economic environment of region. The hilly terrain of the state lacks reliable transportation infrastructure, therefore tourism is the only industries to support the economy and to uplift the standard of living for the people of Himalayan region. The region has large potential in the natural and cultural based tourism. The tourism development of the state may have cultural and ecological impact in future. Therefore, the planning and successfully promoting long-term policy and developing more sustainable tourism is important.

• Asia pacific journal of information systems
• /
• v.32 no.3
• /
• pp.630-655
• /
• 2022

This paper examines the integrated QR code payment service (QRIS) adoption by retailers in Indonesia. Indonesia started its cashless journey in 2017 by using electric money in card form. As the country keeps developing, Indonesia has planned to integrate its payment towards a cross-border payment using QR codes by 2025 in the South East Asian region. Facing government vision, MSMEs that act as the significant economy wheel in Indonesia was required to be prepared to face the multi-cultural, multi-currency, and the new tech innovation for doing transactions. However, as a developing country, Indonesia faced significant problems with its infrastructure, which made it hard for merchants to access digital payment. As infrastructure was a common problem for developing countries, Indonesia also faced financial inclusion, lack of digital knowledge, a high amount of cash use, and socialization that made low digital payment penetration. Therefore, as there was a need to increase digital payment penetration for ASEAN integrated payment, this study found that merchant compatibility, facilitating conditions, trust, and relative advantages are drivers for MSMEs using this payment method. Further, this research provides propositions for banks, financial institutions, and governments to develop and evolve towards a cashless ecosystem, especially for a country lacking infrastructure.

• Journal of the Korean Association of Oral and Maxillofacial Surgeons
• /
• v.27 no.1
• /
• pp.1-8
• /
• 2001

This study was designed to localize the distribution of basic fibroblast growth factor(bFGF) in the developing rat condylar region and to elucidate the associated function of bFGF in the condyle development. The condyles of temporomandibular joint of Sprague-Dawley rats (27g of weight) were used. The tissues were examined with electron microscope and immunohistochemical method. The results were as follows: 1. The developing condylar region are divided in to 5 zones apparently: proliferative, maturation, hypertrophic, calcifying, and ossification zones. 2. The cells in the proliferative zone are condensed and have under-developed cell organells in the cytoplasm. This zone shows a strong immunoreactivity of bFGF. 3. The cells in the maturation zone are typical chondroblasts showing well-developed cell organells and round nucleus. The cartilaginous matrix does not show the immunoreactivity of bFGF, while the chondroblasts show the immunoreactivity. 4. The cells in the hypertrophic zone show hypertrophic change having the degenerated cell organelles and small nucleus. There are no immunoreactivity of bFGF in this zone except the nucleus and endoplasmic region showing mild immunoreactivity. 5, The cells in the calcifying zone show hypertrophic change and cell organelles are disappeared. The cells are surrounded by the calcified cartilaginous matrix. There are no immunoreactivity of bFGF in this zone except the endoplasmic region showing mild immunoreactivity. 6. In the zone of bone formation, chondroblasts are disappeared. Newly differentiated osteoblasts secreting osteoid around the calcified cartilaginous matrix. The bone marrow shows the immunoreactivity of bFGF, while the bone matrix does not show the immunoreactivity of bFGF.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.7
• /
• pp.439-451
• /
• 2020

This study focused on researching the factors affecting retail banking efficiency of Vietcombank branches in the Mekong-Delta region. By collecting data from financial statements from 15 branches of VCB in the Mekong-Delta Region between 2015 and 2018, the paper applies DEA estimation to measure the effectiveness of retail banking activities and uses the Tobit regression model to identify factors affecting retail banking efficiency. The results demonstrate that the retail banking efficiency of branches averaged 52.5% during the period. The rating result shows the branches in An Giang, Can Tho, Dong Thap, Kien Giang, Long An, Phu Quoc and Tra Noc rank at the top technical efficiency. In group of medium efficiency, there are branches in Soc Trang, Tien Giang and Vinh Long. In the category of the poor efficiency are the branches in Bac Lieu, Ben Tre, Ca Mau, Chau Doc and Tra Vinh. The results also show that bank scale-related factors, capital adequacy, credit quality, time specific and region impact significantly the retail banking efficiency. The research not, only contributes to enriching the empirical research method but also is significant for the management activities in business developing strategies, improving the operational efficiency of Vietcombank in the region.

• Journal of Environmental Impact Assessment
• /
• v.18 no.5
• /
• pp.313-319
• /
• 2009

A complex maritime resort combined marina and with course of Korea is required to improve international tourism competitiveness by taking advantage of her environmental favorable circumstances. The development of tourism, however, is focused on land-oriented that incurred lower tourism efficiency and international tourism competitiveness. In addition, the regulation of "Preliminary environmental assessment for golf courses" by the Ministry of Environment is emphasized on land geography and geology that can cause damage of tourist attractions in an island region. In particular, the development of 6th or 7th ridges in mountainous island region within 2km from the sea, that holds scenic and academic value, can go against environment-friendly by geographical and geological damage. According to the regulation for consultation for golf courses and forestry is to preserve regional ecosystem over 6th ridge, but it cannot be applicable to island region because that can form excessive slopes where marine ecosystem is required to be maintained. It, therefore, can be desirable that the development of over 6th ridge in an island region. It is suggested that continuous comparative studies of geographical and geological characteristics between land and island region will be carried on to establish feasible and reasonable development model so that balanced development of land and island, and versatile international environment-friendly maritime resort can be achieved and developed.

• Journal of the Korean association of regional geographers
• /
• v.15 no.5
• /
• pp.655-670
• /
• 2009

This paper reviews geographical researches on developing countries and suggests relevant future topics. The German language region is especially chosen, because it has a lot of outcomes in the field of geographical researches on developing countries. This paper first reviews the history of geographical researches on developing countries, next analyze various trends of development strategies of developing countries and paradigms of development theories, and finally tries to describe research approaches, significant meanings of the research, and essential topics on the research. The aim of this paper is to verify the geography of developing countries as a practical academic field and to remind the importance of the geography of developing countries, which could contribute to social development and succeed the tradition of regional studies as globalization and international cooperation has continuously intensified.

• Fire Protection Technology
• /
• s.11
• /
• pp.31-39
• /
• 1991

As the Present industry is developing, a structure and systems is tending increase. Therefore, the accident of freezing become intensified in our country, the continental climate zone of region in the middle degree. This paper is to analyze about the reason of freezing, principles to help avoid freeze, and so forth.