• 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 Information Processing Systems
• /
• v.16 no.6
• /
• pp.1424-1436
• /
• 2020

Although huge progress has been made in current image segmentation work, there are still no efficient segmentation strategies for tree image which is taken from natural environment and contains complex background. To improve those problems, we propose a method for tree image segmentation combining adaptive mean shifting with image abstraction. Our approach perform better than others because it focuses mainly on the background of image and characteristics of the tree itself. First, we abstract the original tree image using bilateral filtering and image pyramid from multiple perspectives, which can reduce the influence of the background and tree canopy gaps on clustering. Spatial location and gray scale features are obtained by step detection and the insertion rule method, respectively. Bandwidths calculated by spatial location and gray scale features are then used to determine the size of the Gaussian kernel function and in the mean shift clustering. Furthermore, the flood fill method is employed to fill the results of clustering and highlight the region of interest. To prove the effectiveness of tree image abstractions on image clustering, we compared different abstraction levels and achieved the optimal clustering results. For our algorithm, the average segmentation accuracy (SA), over-segmentation rate (OR), and under-segmentation rate (UR) of the crown are 91.21%, 3.54%, and 9.85%, respectively. The average values of the trunk are 92.78%, 8.16%, and 7.93%, respectively. Comparing the results of our method experimentally with other popular tree image segmentation methods, our segmentation method get rid of human interaction and shows higher SA. Meanwhile, this work shows a promising application prospect on visual reconstruction and factors measurement of tree.

• Journal of the Institute of Convergence Signal Processing
• /
• v.6 no.3
• /
• pp.112-119
• /
• 2005

In this paper, a model of neural circuit was proposed, which abstracts the depth information in two images gotten from right and left retinas. The proposed neural circuit corresponds to binocular stereo vision based on psychologic and physiological knowledge, and we examine a restoration method of three-dimensional surface. In case of drawing a disparity based on characteristics of images, we can not abstract the depth information correctly if resemblant characteristics are repeated on the boundary region of an object. A binocular disparity is decided in a model of neural circuit by abstraction, synthesis, and correction of a disparity. And we propose a method which restores three-dimensional shape by correcting a depth information, and also restores a three-dimensional surface by mapping a left input image on the restored three-dimensional shape. And we confirmed that the computation time for disparity abstraction can be greatly reduced through the simulation.

• Journal of Photoscience
• /
• v.4 no.2
• /
• pp.61-67
• /
• 1997

The model based on the idea that the p$_y$-orbital of the carbonyl oxygen is responsible to receiving hydrogen was devised for simulation of intramolecular hydrogen transfer. A Monte Carlo method was applied to free rotation of a molecular chain performed by changing the dihedral angles, and a "hit" was defined as the case when the migrating hydrogen comes within the region defined as the p$_y$-orbital and satisfies all the geometrical requirements for abstraction. A set of parameters was employed for defining the region and the requirements; $\tau$ was defined as the angle formed between O...H vector and its projection on the mean plane of the carbonyl group (- 43$\circ$ < $\tau$ < + 43$\circ$), $\Delta$ as the C=O...H angle (90 -15$\circ$ < $\Delta$ < 90 + 15$\circ$), $\theta$ as the O...H - C angle ( 180 - 80$\circ$< 0 < 180 + 80$\circ$), d as the distance from the center of the lobe of the p$_y$-orbital to hydrogen (0 < d < 1.04 ${\AA}$). The minimum value for the distance between carbonyl oxygen (O$_1$) and the migrating hydrogen (H$_i$) and for that between non-bonded atoms except the pair of O$_1$ and H$_i$ were assumed to be 0.52 ${\AA}$ and 1.54 ${\AA}$, respectively. The apphcation of this model to intramolecular $\beta$-, $\gamma$-, $\delta$-, $\epsilon$-, and $\zeta$-hydrogen abstraction in ketones and $\eta$- and $\theta$- proton transfer in oxoesters gave good results reflecting their photochemical behavior. The model was also used for prediction of photoreactivities of 2-(N,N-dibenzylamino)ethyl 2-, 3- and 4-benzoylbenzoate (1a - c). (1a - c).

• Journal of the Korean Chemical Society
• /
• v.62 no.5
• /
• pp.344-351
• /
• 2018

The IR spectra of gaseous phenanthrene, phenathrenols, phenanthrenyl radicals, and hydroxylphenanthrene radicals have been obtained using the BLYP/6-311++G(d,p) method. A comparison of these spectra shows that the measurements of IR spectra can be valuable to identify the reaction pathway(s) of the phenanthrene decomposition reaction by ${\cdot}OH$. We have found that the H atom abstraction reaction process can be easily identifiable from the $650-850cm^{-1}$ (CH out-of-plane bending) region and the ${\cdot}OH$ addition reaction process from the CH stretching and bending modes region of IR spectra. In addition, the calculated IR spectra of all five phenanthren-n-ols (n = 1, 2, 3, 4, 9) have also given in this work.

• International Journal of Computer Science & Network Security
• /
• v.21 no.3
• /
• pp.287-294
• /
• 2021

Modern small farms are important link components in the structure of the world agro-industrial complex. It ensures the food and nutritional sustainability of the country exclusively at the local regional level. The purpose of the research is to examine the role of farming in ensuring nutritional security and food stability based on the analysis of the Food Sustainability Index (FSI). Research methods: modeling, abstraction, analogy, analysis, synthesis, formalization, logical abstraction, theoretical cognition, systematization and classification, abstract-logical, etc. Results. Having analyzed the Food Sustainability Index for 2018, it has been established that there is a lack of a clear relationship between the pace of economic development and the level of food and nutritional sustainability. In addition, this study has identified the countries with the largest number of small farms, as well as the number of farms within the region. The correlation between the size of the farm and the area of agricultural land that it cultivates has been determined. The problems faced by small farms in the process of their activity have been analyzed. The programs implemented in the field of agro-industrial complex development by international profile institutions have been systematized. Particularly, the regional structure of agricultural development programs under the guidance of IFAD is defined, as well as the areas to which they are directed. Specific measures taken by governments to stimulate the development of small farms have been outlined. Reasonable conclusions have been formed based on the study. The direction of future research is seen in the assessment of the export potential of small farms in terms of range, volume of export deliveries and geographical direction of movement of their products.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.11 no.3
• /
• pp.69-77
• /
• 2011

This study considered the characteristic through the present state of domestic literature museum and grouping by type to help the understanding for domestic literature museum. And conducted a case study on Gyeongsang-do region literature museum to grasp the space form composition characteristic of literature museum. The result gained through these studies is as follows. First, grouping domestic literature museum by type, we can conduct the classification founded on location character, an exhibition writer, and the main body of erection and maintenance management. Second, the classification founded on location character of literature museum is able to be divided into the type of the house of writer's birth, a literary work, writing, and etc. Third, the classification founded on the number of exhibition writers can be divided into the type of independence, an individual pavilion, and integration. Fourthly, the classification founded on the main body of erection and management can be divided into the case in which a local self-governing body is wholly in charge of erection and management, a local government is in charge of erection but entrusts management to a corporate body, etc., a corporate body is in charge of erection and management, and a private person is in charge of erection and management. Fifthly, speaking of the characteristic by type of the Gyeongsang-do region literature museum, the classification founded on location has the type of the house of writer's birth the most, the classification founded on the number of exhibition writers has the type of independence the most, and the classification founded on the main body of erection and management has the most the type in which a local self-governing body is in charge of erection and management. Also, for the characteristic by space form, the case which expresses the character of Korean traditional architecture by form is many the most, and there are pieces of work to pursue shape beauty through the articulation of mass or molding manipulation and the change by space form through the proper combination of concreteness and abstraction as well.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.227-227
• /
• 2015

The Wairarapa Valley occupies a predominantly rural area in the lower North Island of New Zealand. It supports a mix of intensive farming (dairy), dry stock farming (sheep and beef cattle) and horticulture (including wine grapes). The valley floor is traversed by the Ruamahanga River, the largest river in the Wellington region with a total catchment area of 3,430 km2. Environmental, cultural and recreational values associated with this Ruamahanga River are very high. The alluvial gravel and sand aquifers of the Wairarapa Valley, support productive groundwater aquifers at depths of up to 100 metres below ground while the Ruamahanga River and its tributaries present a further source of water for users. Water is allocated to users via resource consents by Greater Wellington Regional Council (GWRC). With intensifying land use, demand from the surface and groundwater resources of the Wairarapa Valley has increased substantially in recent times and careful management is needed to ensure values are maintained. This paper describes the approach being taken to manage water resources in the Wairarapa Valley and redefine appropriate limits of sustainable water use. There are three key parts: Quantifying the groundwater resource. A FEFLOW numerical groundwater flow model was developed by GWRC. This modelling phase provided a much improved understanding of aquifer recharge and abstraction processes. It also began to reveal the extent of hydraulic connection between aquifer and river systems and the importance of moving towards an integrated (conjunctive) approach to allocating water. Development of a conjunctive management framework. The FEFLOW model was used to quantify the stream flow depletion impacts of a range of groundwater abstraction scenarios. From this, three abstraction categories (A, B and C) that describe diminishing degrees of hydraulic connection between ground and surface water resources were mapped in 3 dimensions across the Valley. Interim allocation limits have been defined for each of 17 discrete management units within the valley based on both local scale aquifer recharge and stream flow depletion criteria but also cumulative impacts at the valley-wide scale. These allocation limits are to be further refined into agreed final limits through a community-led decision making process. Community involvement in the limit setting process. Historically in New Zealand, limits for sustainable resource use have been established primarily on the basis of 'hard science' and the decision making process has been driven by regional councils. Community involvement in limit setting processes has been through consultation rather than active participation. Recent legislation in the form of a National Policy Statement on Freshwater Management (2011) is reforming this approach. In particular, collaborative consensus-based decision making with active engagement from stakeholders is now expected. With this in mind, a committee of Wairarapa local people with a wide range of backgrounds was established in 2014. The role of this committee is to make final recommendations about resource use limits (including allocation of water) that reflect the aspirations of the communities they represent. To assist the committee in taking a holistic view it is intended that the existing numerical groundwater flow models will be coupled with with surface flow, contaminant transport, biological and economic models. This will provide the basis for assessing the likely outcomes of a range of future land use and resource limit scenarios.

• Korean Institute of Interior Design Journal
• /
• v.17 no.2
• /
• pp.39-46
• /
• 2008

This paper is a research about the expression and characteristics of sense space by a phenomenological approach through body from an anthropocentric point of view. The phenomenological expression elements of sense space have been abstracted by putting the characteristics of body perception into shape through the phenomenological approach. This research aims to provide the expression and characteristics of sense space that can be applied by phenomenological elements of emotional expression, and analyze their application level by phenomenological body perception in space through corresponding examples. As a result of this research, the expressions of sense space approach - such as migration of moving lines, reiteration and segmentation of region, spatial flexibility, transferal of sense, stimulation of combined senses, symbolic abstraction of memory, perception of environment and space, time by light, phenomenal water space, time expression by surrounding environments etc. - and the characteristics of sense space according to each expression have been obtained through the phenomenological expression elements in sense space such as expansive perception by consecutive scenes, spatial and sensory experience, embodiment of place, phenomenal change by time. It aims to grope for a new approach and possibility to the embodiment and expression of sense space through the expression of sense space approach based on the phenomenological body perception.

• Journal of English Language & Literature
• /
• v.64 no.3
• /
• pp.469-481
• /
• 2018

When literatures and cultures encounter their counterparts in terms of the big data or statistics of a new reconfiguration in the cognitive map, the tangential points of the borderland will be reduced to what Mitchell calls "a mere abstraction on a map," which nevertheless will provide a vast interstitial zone of "intersections, competition, and exclusions." This zone will be the dynamic vortex for the aesthetics, politics, and ethics of cultural translation. The translated discourse will engage in carrying across the disturbing region of untranslatability and demonstrate how the literary texts of world literature reveal enriching but threatening human experience. This dynamic border of vortex will construct the translational space of world literature, transcending the fragmentary untranslatable nature of the hybrid convergence of the ethnic, racial, cultural and national intermixtures and constructing what Pascal Casanova terms "The World Republic of Letters." In this paper, I will demonstrate how the very concept of scale is related to literary space as well as how distance creates a poetics of literary landscapes which looks ahead of world literature. Also, I will attempt to find the possibility to relate the "micro-scale" with the "macro-scale," and to construct the scale politics of representation. "Glocalization" is a convenient theoretical tool for the double movement of the up-scale and down-scale.