• The Journal of Society for e-Business Studies
• /
• v.11 no.3
• /
• pp.53-71
• /
• 2006

In order to cope with the rapidly changing product development environment, individual manufacturing enterprises are forced to collaborate with each other through establishing a virtual organization. In collaboration, designated organizations work together for mutual gain based on product data interoperability. However, product data interoperability is not fully facilitated due to semantic inconsistency among product data models of individual enterprises. In order to overcome the semantic inconsistency problem, this paper proposes a reference ontology, Reference Domain Ontology(RDO), and a methodology for product data interoperability with semantic consistency using RDO. RDO describes semantics of product data model and metamodel for all application domains in a virtual organization. Using RDO, application domains in a virtual organization can easily understand the product data models of others. RDO is agile and temporal such that it is created with the formation of a virtual organization, copes with changes of the organization, and disappears with the vanishment of the organization. RDO is built by a hybrid approach of top-down using a upper ontology and bottom-up based on the merging of ontologies of application domains in a virtual organization. With this methodology, every domain in a virtual organization can achieve product data model interoperability without model transformation.

• Korean Journal of Remote Sensing
• /
• v.30 no.4
• /
• pp.417-430
• /
• 2014

We have found an error in the operational OMI HCHO columns, and corrected it by applying a background parameterization derived on a 4th order polynomial fit to the time series of monthly average OMI HCHO data. The corrected OMI HCHO agrees with this understanding as well as with the other sensors measurements and has no unrealistic trends. A new scientific approach, statistical analyses with EOF and SVD, was adapted to reanalyze the consistency of the corrected OMI HCHO with other satellite measurements of HCHO, CO, $NO_2$, and fire counts over Africa. The EOF and SVD analyses with MOPITT CO, OMI $NO_2$, SCIAMAHCY, and OMI HCHO show the overall spatial and temporal pattern consistent with those of biomass burning over these regions. However, some discrepancies were observed from OMI HCHO over northern equatorial Africa during the northern biomass burning seasons: The maximum HCHO was found further downwind from where maximum fire counts occur and the minimum was found in January when biomass burning is strongest. The statistical analysis revealed that the influence of biogenic activity on HCHO wasn't strong enough to cause the discrepancies, but it is caused by the error in OMI HCHO from using the wrong Air Mass Factor (AMF) associated with biomass burning aerosol. If the error is properly taken into consideration, the biomass burning is the strongest source of HCHO seasonality over the regions. This study suggested that the statistical tools are a very efficient method for evaluating satellite data.

• Analytical Science and Technology
• /
• v.23 no.1
• /
• pp.24-35
• /
• 2010

To learn more about the calibration properties of reduced sulfur compounds (RSCs) by the combination of gas chromatography(GC)-pulsed flame photometric detector (PFPD) and thermal desorption method, a series of calibration experiments were conducted on the basis of both internal and external calibration approaches. For these experiments, gaseous standards of 4 RSCs ($H_2S$, $CH_3SH$, DMS, and DMDS) were prepared at two different concentration levels of both low (10, 20, 50,and 100 ppb) and high ranges (100, 200, 500, and 1000 ppb) along with $CS_2$ as an internal standard. First, the external calibration results were compared between fixed standard volume (FSV) and fixed standard concentration (FSC) method. Secondly, FSV-based calibration results were compared between external and internal calibration results. As FSV method suffers from sensitivity variations less significantly than FSC, the former is recommended to maintain the consistency in GC-TD sensitivity for RSC analysis. In addition, when the calibration data were examined in terms of RSE between external and internal calibration data, the results were not consistent enough to show improvements in internal method. Hence, diverse efforts are desirable to optimize the reproducibility in terms of GC-TD sensitivity for RSC analysis.

• Journal of Korean Ophthalmic Optics Society
• /
• v.18 no.4
• /
• pp.441-447
• /
• 2013

Purpose: The present study was conducted to investigate the axial rotations of toric soft lens during the change of lens wearer's posture, and the relationship between its rotation and corneal astigmatism. Methods: The amount, direction, and speed of toric soft contact lens rotation were measured for 42 eyes (aged 20s) with the rule astigmatism in the straight and lying postures, and it compared between their changes according to corneal astigmatism. Results: There was no significant difference in the axial rotation of lens for the astigmatism prescription between the straight and lying postures. However, the rotation angle was significantly different according to the posture of lens wearer. Rotating directions in straight posture were nasal direction for 20 eyes and temporal direction for 22 eyes. In lying posture, lenses of most wearers were rotated to a direction of lying posture, and the initial rotating speed was very fast in initial wearing for -0.75 D toric lenses, but consistency for -1.25 D toric lenses. The rotation angle in lying posture showed significantly different according to the amount of corneal astigmatism, the lens speed was also significantly different according to the wearing time but not the amount of corneal astigmatism. Conclusions: The axial rotation of toric soft lens was different by the lens wearer's posture and its amount was the greater with the higher degree of corneal astigmatism. Thus, these factors should be considered for the development of toric lens design.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.