• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.8
• /
• pp.287-300
• /
• 2021

Collaborative Cyber-Physical Systems (CCPS) are those systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System (CPS) can be achieved by following the safety standards such as ISO 26262 and IEC 61508 or by applying hazard analysis techniques. However, due to the complex, highly interconnected, heterogeneous, and collaborative nature of CCPS, a fault in one CPS's components can trigger many other faults in other collaborating CPSs. Therefore, a safety assurance technique based on fault criticality analysis would require to ensure safety in CCPS. This paper presents a Fault Criticality Matrix (FCM) implemented in our tool called CPSTracer, which contains several data such as identified fault, fault criticality, safety guard, etc. The proposed FCM is based on composite hazard analysis and content-based relationships among the hazard analysis artifacts, and ensures that the safety guard controls the identified faults at design time; thus, we can effectively manage and control the fault at the design phase to ensure the safe development of CPSs. To justify our approach, we introduce a case study on the Platooning system (a collaborative CPS). We perform the criticality analysis of the Platooning system using FCM in our developed tool. After the detailed fault criticality analysis, we investigate the results to check the appropriateness and effectiveness with two research questions. Also, by performing simulation for the Platooning, we showed that the rate of collision of the Platooning system without using FCM was quite high as compared to the rate of collisions of the system after analyzing the fault criticality using FCM.

• Korean Journal of Radiology
• /
• v.24 no.12
• /
• pp.1190-1199
• /
• 2023

Objective: This study aimed to investigate the feasibility of ultrafast magnetic resonance imaging (MRI) and radiomic features derived from breast MRI for predicting the upstaging of ductal carcinoma in situ (DCIS) diagnosed using percutaneous needle biopsy. Materials and Methods: Between August 2018 and June 2020, 95 patients with 98 DCIS lesions who underwent preoperative breast MRI, including an ultrafast sequence, and subsequent surgery were included. Four ultrafast MRI parameters were analyzed: time-to-enhancement, maximum slope (MS), area under the curve for 60 s after enhancement, and time-to-peak enhancement. One hundred and seven radiomic features were extracted for the whole tumor on the first post-contrast T1WI and T2WI using PyRadiomics. Clinicopathological characteristics, ultrafast MRI findings, and radiomic features were compared between the pure DCIS and DCIS with invasion groups. Prediction models, incorporating clinicopathological, ultrafast MRI, and radiomic features, were developed. Receiver operating characteristic curve analysis and area under the curve (AUC) were used to evaluate model performance in distinguishing between the two groups using leave-one-out cross-validation. Results: Thirty-six of the 98 lesions (36.7%) were confirmed to have invasive components after surgery. Compared to the pure DCIS group, the DCIS with invasion group had a higher nuclear grade (P < 0.001), larger mean lesion size (P = 0.038), larger mean MS (P = 0.002), and different radiomic-related characteristics, including a more extensive tumor volume; higher maximum gray-level intensity; coarser, more complex, and heterogeneous texture; and a greater concentration of high gray-level intensity. No significant differences in AUCs were found between the model incorporating nuclear grade and lesion size (0.687) and the models integrating additional ultrafast MRI and radiomic features (0.680-0.732). Conclusion: High nuclear grade, larger lesion size, larger MS, and multiple radiomic features were associated with DCIS upstaging. However, the addition of MS and radiomic features to the prediction model did not significantly improve the prediction performance.

• The Journal of the Korea Contents Association
• /
• v.8 no.12
• /
• pp.37-44
• /
• 2008

Data entered into RFID tags are used for saving costs and enhancing competitiveness in the development of applications in various industrial areas. RFID readers perform the identification and search of hundreds of objects, which are tags. RFID technology that identifies objects on request of dynamic linking and tracking is composed of application components supporting information infrastructure. Despite their many advantages, existing applications, which do not consider elements related to real.time data communication among remote RFID devices, cannot support connections among heterogeneous devices effectively. As different network devices are installed in applications separately and go through different query analysis processes, there happen the delays of monitoring or errors in data conversion. The present study implements a RFID database handling system in semantic Web environment for integrated management of information extracted from RFID tags regardless of application. Users’ RFID tags are identified by a RFID reader mounted on an application, and the data are sent to the RFID database processing system, and then the process converts the information into a semantic Web language. Data transmitted on the standardized semantic Web base are translated by a smart browser and displayed on the screen. The use of a semantic Web language enables reasoning on meaningful relations and this, in turn, makes it easy to expand the functions by adding modules.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.19 no.3
• /
• pp.16-28
• /
• 2016

Advancing geo-spatial web technologies and their applications require compatible and interoperable heterogeneous browsers and platforms. Reduction of common or supporting components for web-based system development is also necessary. If properly understood and applied, OGC-based standards can be utilized as effective solutions for these problems. Thus, OGC standards are central to the design and development of web-based geo-spatial systems, and are particularly applicable to web services, which contain data processing modules. However, the application for OGC WPS 2.0 is at an early stage as compared with other OGC standards; thus, this study describes a test implementation of a web-based geo-spatial processing system with OGC WPS 2.0 focused on asynchronous processing functionality. While a binary thresholding algorithm was tested in this system, further experiments with other processing modules can be performed on requests for many types of processing from multiple users. The client system of the implemented product was based on open sources such as jQuery and OpenLayers, and server-side running on Spring framework also used various types of open sources such as ZOO project, and GeoServer. The results of geo-spatial image processing by this system implies further applicability and extensibility of OGC WPS 2.0 on user interfaces for practical applications.

• Journal of Pharmaceutical Investigation
• /
• v.33 no.3
• /
• pp.171-178
• /
• 2003

Drug interactions with food, on occasion, lead to serious nutritional and functional changes in the body as well as alterations of pharmacological effect. It, therefore, should be necessary to take drug interactions with food into consideration for effective and safe therapeutics. Diabetes mellitus is a heterogeneous group of disorders characterzed by abnormal glucose homeostasis, resulting in hyperglycemia, and is associated with increased risk of microvascular, macrovascular, and neuropathic complications. However, the precise mechanism of diabetes mellitus remains unclear. Three basic objectives in the care of diabetic patients are maintaining optimal nutrition, avoiding hypo- or hyperglycemia and preventing complications. Laminaria japonica is a brown macroalgae which can be used as a functional diet due to high content of diatery fiber. The purpose of this study was to investigate the effect of Laminaria japonica diet on the pharmacokinetics of metformin which are frequently used in the treatment of diabetes. Diabetic rats induced by streptozotocin were employed in this study. Blood concentrations of oral hypoglycemic agent, metformin, were measured by HPLC and resultant pharmacokinetic parameters were calculated by RSTRIP. The mechanisms of drug interaction with food were evaluated on the basis of pharmacokinetic parameters such as $k_{a},\;t_{1/2},\;C_{max},\;t_{max}$, and AUC. Administration of metformin in normal and diabetic rats treated with Laminaria japonica diet showed significant decrease in AUC, $C_{max},\;and\;k_a$, and increase in $t_{max}$, compared to those with normal diet. This might result from adsortion of metformin on components of Laminaria japonica, causing delayed absorption. The oral glucose test showed that Laminaria japonica diet could lower blood glucose level probably through either inhibiting the activity of disaccharidases, intestinal digestive enzymes, or delaying the absorption of glucose. More studies should be followed to fully understand pharmacokinetic changes of metformin caused by long-term Laminaria japonica diet.

• Korean Journal of Cognitive Science
• /
• v.26 no.4
• /
• pp.393-433
• /
• 2015

Creativity refers to the ability to generate novel and useful ideas. Understanding the mechanism of creativity and its enhancement is important in order to solve major problems of the modern society and to improve the wellness of mankind. Creativity is a highly heterogeneous and complex ability which should not be conceptualized as a single entity. Thus, the current literature on creativity is based on a component process approach to creativity. The present study introduces cognitive neuroscience research studying the mechanism of divergent thinking, insight, relational thinking and artistic creativity which are the major components of creativity. Based on an expansive review, the early hypothesis of hemispheric asymmetry emphasizing the importance of the right as opposed to the left hemisphere is not supported by scientific evidence. In addition, there is no consensus or consistency on which specific brain region is related to a certain component of creativity. In fact, there is a mixture of studies reporting involvement of various brain regions across all four lobes of the brain. This inconsistency in the literature most likely reflects heterogeneity of the component processes of creativity and sensitivity of the neural response to differences across tasks and cognitive strategy. The present study introduces examples of representative studies reporting seminal findings on the neural basis and the enhancement of creativity based on innovative methodology. In addition, we discuss limitations of the current cognitive neuroscience approach to creativity and present directions for future research.

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

The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.8
• /
• pp.370-378
• /
• 2020

The Construction Operations Building Information Exchange (COBie) collects and documents a large amount of information from different paths in one place during design and construction projects. This documented information is readily available as a means of continuously transferring data to the facility management systems used by building engineers. In this process, the COBie Worksheet, an open standard form, is used to input the information by simplifying the list required by the user. As a result, COBie was developed to improve dramatically how relevant information is obtained and updated to support operations, maintenance, and asset management at the design and construction stages. On the other hand, to use COBie, a great deal of manual work is required for information linkage and quality inspection with heterogeneous data models. These issues become obstacles to COBie-based facility management system development. This study analyzed the COBie information system and defined the framework for simpler operating maintenance information from BIM (Building Information Modeling). Moreover, the rules for facility management information submission, quality inspection, role definition of framework components, and information linkage were derived. COBie DB schema and support data linkages could be generated effectively based on the proposed framework in prototype development.

• The Korean Journal of Financial Management
• /
• v.24 no.3
• /
• pp.29-62
• /
• 2007

We examine the methods to increase MBS values given parameters of default risks of individual mortgages and their correlation, and analyze the effects of these parameters on the efficiency of the methods. First, the values of MBS can be improved when they are comprised of low-correlation mortgages regardless of specific forms of investors' utility functions. Second, the values of MBS can also be raised even after their components mortgages are determined. More specifically, when investors' utilities are heterogeneous, CMO's of a less risky tranche and a riskier tranche are highly valued compared with pass-through securities of two identical tranches. When investors' utilities are homogeneous(risk averse), however, the latter meets the needs of investors better than the former does. Third, it can be shown that the efficiency of the methods in this paper is an increasing function of default risks of mortgage loans or of the correlation between them, and a decreasing function of the amount of the price fall of MBS when in default.

• Food Science and Preservation
• /
• v.11 no.4
• /
• pp.496-502
• /
• 2004

Purified acorn starch was obtained from alkali precipitation method. Acorn amylose and acorn amylopectin were fractionated from purified acorn starch by butanol improvement method. Gel permeation chromatography (GPC) was used to measure molecular weight distribution of acorn starch, acorn amylose, acorn amylopectin and corn starch, corn amylose, corn amylopectin. GPC measurement diagrams were obtained by each retention time. And then, we used DMSO and DMF as solvent, pullulan as standard material. We calculated the Number-average molar mass (Mn), Weight-average molar mass (Mw) and polydispersity from molecular weight distribution of each sample. As a result of estimating molecular weight using GPC, Mw of amylose has small value than Mw of amylopectin. From this fact, the molecular structural aspects of amylose and amylopectin were predicted and it was in good agrement with the tendency of polydispersity by GPC. The polydispersity of starch had big value than amylose and amylopectin, from this result, it might be known that the range of molecular weight appeared broad by heterogeneous properties of two components. The viscosity of purified acorn starch, amylose, amylopectin seperated from acorn starch, was decreased by increasing the shear rate and raising the temperature exponentially. Acorn starch solutions exhibited pseudoplastic power law fluid behavior.