• Asia pacific journal of information systems
• /
• v.13 no.2
• /
• pp.145-170
• /
• 2003

Open Decision Support System(DSS) is an automated and transparent system that is built to be shared both within and across organizations. The open DSS has been thought to be a set of decision components that are communicating through Web protocols. These characteristics intuitively invite the Web services concepts, which are currently one of the new trends in network-based business services. However, web services still are not active enough to be autonomous, and to provide for composing functionalities. These lead to the motivation on building a sophisticated web service to contain these features and to utilize web services on behalf of the user. This paper aims to propose a new concept of Meta Web Service, a web service-based open DSS. Decision modules in a dynamic and open DSS can be viewed as a web service. The Meta Web Service understands the users problem statement with ontology, performs web service discovery, web service composition, and automatically generates codes for composite web service execution. A prototype of example web service has been developed to show the feasibility of the proposed idea.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Smart Structures and Systems
• /
• v.23 no.6
• /
• pp.553-564
• /
• 2019

Modeling of magnetorheological (MR) dampers for cable vibration control to facilitate the design of even more effective and economical systems is still a challenging task. In this study, a parameter-adaptive three-element model is first established for a full-scale MR damper based on laboratory tests. The parameters of the model are represented by a set of empirical formulae in terms of displacement amplitude, voltage input, and excitation frequency. The model is then incorporated into the governing equation of cable-damper system for investigation of open-loop vibration control of stay cables in a cable-stayed bridge. The concept of optimal voltage/current input achieving the maximum damping for the system is put forward and verified. Multi-mode suboptimal and Single-mode optimal open-loop control method is then developed. Important conclusions are drawn on application issues and unique characteristics of open-loop cable vibration control using MR dampers.

• Journal of Industrial Technology
• /
• v.5
• /
• pp.47-49
• /
• 1985

Semi-open을 기초로 하여 만들어진 S-closed 공간의 일반적인 성질을 살펴보고 S-closed 공간과 (maximum) filterbase와의 관계를 조사하였다. 이를 바탕으로 regular closed된 cover C, regular open set인 족(族) C, rc-accumulation, (maximum) filterbase에서의 관계(關係)를 살펴 보았다. Mapping theory에서 almost-open almost-continuous map f가 almost continuous되는 것을 보였다.

• Journal of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.1-28
• /
• 2024

In this article, we associate a contact structure to the conjugacy class of a periodic surface homeomorphism, encoded by a combinatorial tuple of integers called a marked data set. In particular, we prove that infinite families of these data sets give rise to Stein fillable contact structures with associated monodromies that do not factor into products to positive Dehn twists. In addition to the above, we give explicit constructions of symplectic fillings for rational open books analogous to Mori's construction for honest open books. We also prove a sufficient condition for the Stein fillability of rational open books analogous to the positivity of monodromy for honest open books due to Giroux and Loi-Piergallini.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.7 no.2
• /
• pp.23-39
• /
• 2001

Dysfunction of the anterior and dorsal muscles of the trunk have been studied in relation to low back pain of many years. Many muscles of the trunk are capable of contributing to the stabilization and protection of the lumbar spine, recent evidence has suggested that transversus abdominis may be critically involved and has been the focus of rehabilitation. The delay in onset of contraction of trunk muscles associated with movement of the upper or lower limb in patients with low back pain indicates a significant deficit in the automatic motor command for control of disturbance to the spine. The function of transversus abdominis has been largely ignored in the evaluation of spinal stabilization and protection. The most essential stabilizing muscles for the lumbar column are the transversus abdominis and the multifidus. Sling exercise therapy(SET) concept consists of a system of diagnosis and treatment. The system of diagnosis involves testing the muscle's tolerance through progressive loading in open and close kinetic chains. The SET system contains elements such as relaxation, increasing the range of movement, traction, training the stabilizing musculature, sensorimotor exercises, training in open and close kinetic chains, dynamic training of the mobilizing musculature, cardiovasc+ular exercises, group exercise, personal exercise at home. Sensorimotor training is an essential element of the SET concept. The emphasis is on closed kinetic chain exercises on an unstable surface, thereby achieving optimum stimulation of the sensorimotor apparatus.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.913-919
• /
• 2014

We investigate the relationships between the space X and the hyperspaces concerning admissibility and connectedness im kleinen. The following results are obtained: Let X be a Hausdorff continuum, and let A, $B{\in}C(X)$ with $A{\subset}B$. (1) If X is c.i.k. at A, then X is c.i.k. at B if and only if B is admissible. (2) If A is admissible and C(X) is c.i.k. at A, then for each open set U containing A there is a continuum K and a neighborhood V of A such that $V{\subset}IntK{\subset}K{\subset}U$. (3) If for each open subset U of X containing A, there is a continuum B in C(X) such that $A{\subset}B{\subset}U$ and X is c.i.k. at B, then X is c.i.k. at A. (4) If X is not c.i.k. at a point x of X, then there is an open set U containing x and there is a sequence $\{S_i\}^{\infty}_{i=1}$ of components of $\bar{U}$ such that $S_i{\longrightarrow}S$ where S is a nondegenerate continuum containing the point x and $S_i{\cap}S={\emptyset}$ for each i = 1, 2, ${\cdots}$.

• Nuclear Engineering and Technology
• /
• v.54 no.10
• /
• pp.3803-3810
• /
• 2022

OpenMC is a community-driven open-source Monte Carlo neutron and photon transport simulation code. The Weight Window Mesh (WWM) function and an automatic Global Variance Reduction (GVR) method was recently developed and implemented in a developmental branch of OpenMC. This WWM function and GVR method broaden OpenMC's usage in general purposes deep penetration shielding calculations. However, the Local Variance Reduction (LVR) method, which suits the source-detector problem, is still missing in OpenMC. In this work, the Weight Window Generator (WWG) function has been developed and benchmarked for the same branch. This WWG function allows OpenMC to generate the WWM for the source-detector problem on its own. Single-material cases with varying shielding and sources were used to benchmark the WWG function and investigate how to set up the particle histories utilized in WWG-run and WWM-run. Results show that there is a maximum improvement of WWM generated by WWG. Based on the above results, instructions on determining the particle histories utilized in WWG-run and WWM-run for optimal computation efficiency are given and tested with a few multi-material cases. These benchmarks demonstrate the ability of the OpenMC WWG function and the above instructions for the source-detector problem. This developmental branch will be released and merged into the main distribution in the future.

• The Journal of Natural Sciences
• /
• v.11 no.1
• /
• pp.99-103
• /
• 1999

This study was carried out to use as the basic data for breeding by evaluating parthenocarpy with 12 tomato lines and 17 allied species. Fruit set of open pollination plots was over 90% in 11 lines(CLN430-85-13-5 etc), 9.1-50% in 10 lines(LA1306 etc.), and the rest no fruit set. Fruit set after emasculation resulted highly 51.4% in CLN431-85-13-12, 53.9% in CLN425-130-8-1, 66.7% in CLN435-185-4-9, and 72.2% in Ventura, respectively. But fruit set in other tomato lines resulted under 50% and 17 allied species(LA1306 etc) resulted no effect of fruit set. Fruits other emasculation had no seeds and fruits after open pollination had 10-70 seeds per fruit. This result of this work showed that 3 lines, CLN435-185-4-9, CLN425-130-8-1, and CLN431-85-13-12, resulted in good effectiveness on the evaluation of parthenocarpy in tomatoes.

• Bulletin of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.91-102
• /
• 1986

A topological space (X,.tau.) is called invertible [7] if for each proper open set U in (X,.tau.) there exists a homoemorphsim h:(X,.tau.).rarw.(X,.tau.) such that h(X-U).contnd.U. Doyle and Hocking [7] and Levine [13], as well as others have investigated properties of invertible spaces. Recently, Crosseley and Hildebrand [5] have introduced the concept of semi-invertibility, which is weaker than that of invertibility, by replacing "homemorphism" in the definition of invertibility with "semihomemorphism", A space (X,.tau.) is said to be semi-invertible if for each proper semi-open set U in (X,.tau.) there exists a semihomemorphism h:(X,.tau.).rarw.(X,.tau.) such that h(X-U).contnd.U. The purpose of the present article is to introduce the class of almost-invertible spaces containing the class of semi-invertible spaces and to investigate its properties. One of the primary concerns will be to determine when a given local property in an almost-invertible space is also a global property. We point out that many of the results obtained can be applied in the cases of semi-invertible spaces and invertible spaces. For example, it is shown that if an invertible space (X,.tau.) has a nonempty open subset U which is, as a subspace, H-closed (resp. lightly compact, pseudocompact, S-closed, Urysohn, Urysohn-closed, extremally disconnected), then so is (X,.tau.).hen so is (X,.tau.).