451 research outputs found

    Predict Daily Life Stress based on Heart Rate Variability

    Get PDF
    Department of Human Factors EngineeringThe purpose of this study is to investigate the feasibility of predicting a daily mental stress level from analyzing Heart Rate Variability (HRV) by using a Photoplethysmography (PPG) sensor which is integrated in the wristband-type wearable device. In this experiment, each participant was asked to measure their own PPG signals for 30 seconds, three times a day (at noon, 6 P.M, and 10 minutes before going to sleep) for a week. And 10 minutes before going to sleep, all participants were asked to self-evaluate their own daily mental stress level using Perceived Stress Scale (PSS). The recorded signals were transmitted and stored at each participant???s smartphone via Bluetooth Low Energy (BLE) communication by own-made mobile application. The preprocessing procedure was used to remove PPG signal artifacts in order to make better performance for detecting each pulse peak point at PPG signal. In this preprocessing, three- level-bandpass filtering which consisted three different pass band range bandpass filters was used. In this study, frequency domain HRV analysis feature that the ratio of low-frequency (0.04Hz ~ 0.15Hz) to high-frequency (0.15Hz ~ 0.4Hz) power value was used. In frequency domain analysis, autoregressive (AR) model was used, because this model has higher resolution than that of Fast Fourier Transform (FFT). The accuracy of this prediction was 86.35% on average of all participants. Prediction result was calculated from the leave-one-out validation. The IoT home appliances are arranged according to the result of this prediction algorithm. This arrangement is offering optimized user???s relaxation. Also, this algorithm can help acute stress disorder patients to concentrate on getting treatment.clos

    New Record of a Naidid Oligochaete Species, Ripistes parasita (Annelida: Clitellata: Naididae) from Korea

    Get PDF
    An aquatic oligochaete species, Ripistes parasita (Schmidt, 1847) collected from Ganghwado Island in Korea, is described and illustrated. Specimens inhabiting on aquatic vegetation at the edge of the streams were collected with a plankton hand net. Morphological features of present specimens such as the number of long hair chaetae per bundle and their length in VI-VIII, and shape and size of ventral chaetae are concordant with those of previous reports on this species. The genus Ripistes contains one species, R. parasite which is distributed over, Europe, North America and eastern part of Asia including China and Japan. This is the first record of R. parasita in Korea

    Thermodynamic and kinetic analysis on Cl.+RCI -- Cl2+R.reactions, CH3CjO+O2= products and CjCHO+O2= products

    Get PDF
    Thermodynamic Parameters, ΔH°f(298), S°(298) and Cp(T) are evaluated for C1 and C2 chlorocarbon molecules and radicals. These thermodynamic properties are used in evaluation and comparison of R.+ Cl2 =\u3e R-Cl + Cl. (defined forward direction) reaction rate constants from the kinetics literature. Data from some 20 reactions in the literature show linearity on a plot of Eafwd vs. ΔHrxn,fwd, yielding a slope of (0.38 ± 0.04) and intercept of (10.10 ± 0.77) kcal/mole. Thermodynamic properties (ΔH°(298), S°(298) and Cp(T) from 300 to 1500 K) for reactants, adducts, transition states, and products in reactions of CH3 and C2H5 with Cl2 are calculated using CBSQ//MP2/6-311G(d,p). Evaluated thermodynamic property data are presented for all isomers of the stable molecules CH3Cl, CH2Cl2, CHCl3, CC14, C2H5Cl, C2H4Cl2, C2H3Cl3, C2H2CI4, C2HCl5, C2Cl6, C2H3Cl, C2H2C22, C2HCl3, and C2Cl4. Evaluated thermodynamic property data are also presented for the alkyl radicals, (including isomers) C·H2CL·, C·HCl2, C·Cl3, C2H4Cl·, C2H3Cl2·, C2H2Cl3·, C2HCl4·, and C2Cl5·, for the olefin radicals (including isomers) C2H2Cl·, C2HCl2·, and C2Cl3;. Thermodynamic property and chemical kinetic analysis are performed on reactants, intermediates, transition states and products from reactions of the two radicals resulting via H atom abstraction from acetaldehyde: CH3CjO and CjCHO with molecular oxygen. Density functional and ab initio calculations are utilized to estimate thermodynamic properties: ΔHf°298, and Cp°(T) 300 - 1500K. Rate constants are estimated as a function of temperature and pressure using QRRK analysis for k(E) and modified strong collision analysis for fall-off for application to atmospheric and combustion kinetic modeling. The important reaction paths are determined as: CH3CjO + O2 ---\u3e CH 2CO + HO2 via HO2 Elimination CH3CjO + O2 ---\u3e CyCOCO=O + OH via OH Elimination CH3CjO + O2 ---\u3e CCOQj (Stabilization) CjCHO + O2 ---\u3e CO + C.H2OOH via H shift (C.H2OOH rapidly decays to CH2O + OH) CjCHO + O2 ---\u3e CQjCHO (Stabilization

    Thermochemistry and kinetic analysis on radicals of acetaldehyde + O2, allyl radical + O2 and diethyl and chlorodiethyl sulfides

    Get PDF
    Thermochemical properties for reactants, intermediates, products and transition states important in the radicals of acetaldehyde + O2 and allyl radical + O2 reaction systems are analyzed with density functional and ab initic calculations, to evaluate the reaction paths and kinetics in oxidation and pyrolysis. Ketene is one important product resulting from acetaldehyde oxidation; thus thermochemistry plus isomerization and conversion reactions of ketene are also analyzed. Enthalpies of formation are determined using isodesmic reaction analysis at the CBSQ composite and density functional levels. Entropies and heat capacities are determined using geometric parameters and vibration frequencies obtained at the HF/6-31G(d\u27) or B3LYP/6-31G(d,p) level of theory. Internal rotor contributions are included in calculation of entropy, S°298, and heat capacities, Cp(T). Rate constants are estimated as a function of pressure and temperature using multifrequency quantum Rice-Ramsperger-Kassel analysis for k(E) and master equation analysis for falloff. A mechanism for pyrolysis and oxidation of acetaldehyde and its\u27 corresponding radicals is constructed. The competition between reactions of radicals of acetaldehyde with O2 versus unimolecular decomposition is evaluated versus temperature and pressure. Thermodynamic parameters, enthalpies, entropies and heat capacities are evaluated for C1 and C2 chlorocarbon molecules and radicals. These thermodynamic properties are used in evaluation and comparison of Cl2 + R. \u3c--\u3e Cl. + RCl reaction rate constants from the kinetics literature for comparison with empirical analysis. Data from some 20 reactions in the literature show linearity on a plot of Eafwd vs Δrxn, fwd, yielding a slope of (0.38 ± 0.04) and an intercept of (10.12 ± 0.81) kcal/mol. The use of Density Functional Theory, B3LYP/6-31g(d,p), with isodesmic working reactions for enthalpy of formation of sulfur hydrocarbons is evaluated using a set of known sulfur hydrocarbon / radical species. Thermodynamic and kinetic parameters for reactants, transition states, and products from unimolecular dissociations of sulfur species related to the chemical agent: CH3CH2SCH2CH2, CH3CH2SCH2CH2Cl, and CH2ClCH2SCH2CH2Cl and corresponding radicals are analyzed. Standard enthalpy, ΔHf°298, for the molecules and radicals are determined using isodesmic reaction analysis at the B3LYP/6-31G(d,p) level, with S°298 and Cp(T) determined using geometric parameters and vibrational frequencies obtained at this same level of theory. Potential barriers for the internal rotor potentials are also calculated at the B3LYP/6-31G(d,p) level, and the hindered rotation contributions to S°298 and Cp(T) are calculated

    Application of Digital Catalog Using Parametric Modification: Morphological variations in design through the traditional Korean joinery

    Get PDF
    The purpose of the study is to explore the idea of morphological transformation in building components and its design iteration through the parametric changes and rearrangements of components. The parametric conditions in Building Information Modeling (BIM) allow flexible changes in form, dimension and assembly of the components. The unique setting of working with the components, BIM software allows its users to easily modify the general characteristics of components through their parametric changes (Lee, Sacks and Eastman, 2006). With traditional Korean joineries as the main components within the digital catalog, parametric modifications of each component will be able to perform morphological transformation of a building that is being designed. Traditional Korean architecture is referred to as “moving architecture,” due to the efficiency and economy in its constructing process that allows the reuse of building components with varieties of flexible joinery system in assembly and disassembly process and prefabrication method.1 With the application of Building Information Modeling (BIM), the digital catalog of all the 44 components of Korean joinery system is developed to be the main source in the design of a prototypical structure and its morphological transformation. Based upon the components of three primary bracket styles (Jusim-Po, Ik-Gong and Da-Po) of traditional Korean joinery system in the catalog, the parametric modifications of the components and their rearrangements are performed for various design iteration. This paper demonstrates the design process of morphological transformation using parametric modifications in BIM environment through the parametric changes in Korean joinery system. In this paper, all forty four components of Korean Joinery system become a series of modules in a rule-based (parameters and constraints) catalog for the parametric changes and the rearrangements among the components within Autodesk Revit environment. Since the catalog contains the components created from various joinery conditions, any single module or the combinations of the multiple modules from the catalog can be employed for easy fabrication, removal, reattachment and action as a structural element as well as sub-structures after its usage. The catalog allows a user to assign various parameters to the variables of each component according to its usage. By assigning different parameter, the component has flexibility for generating various joint connections. The research provides various transformation outcomes of a prototype structure with the modification of the components. The original prototype shelter design transforms into different furniture for public usage or individual resting units. According to a given design condition or site context, the prototype structure becomes transformable and reusable with various combinations of configuration among its components and their parametric changes. 1 Jung, Yun-Sang. 2006. A study of Joineries in Wooden Structure and its analysis in Seoul, Korea. Research Documentation, traditional Korean architecture study group. The purpose of the study is to explore the idea of morphological transformation in building components and its design iteration through the parametric changes and rearrangements of components. The parametric conditions in Building Information Modeling (BIM) allow flexible changes in form, dimension and assembly of the components. The unique setting of working with the components, BIM software allows its users to easily modify the general characteristics of components through their parametric changes (Lee, Sacks and Eastman, 2006). With traditional Korean joineries as the main components within the digital catalog, parametric modifications of each component will be able to perform morphological transformation of a building that is being designed. Traditional Korean architecture is referred to as “moving architecture,” due to the efficiency and economy in its constructing process that allows the reuse of building components with varieties of flexible joinery system in assembly and disassembly process and prefabrication method.1 With the application of Building Information Modeling (BIM), the digital catalog of all the 44 components of Korean joinery system is developed to be the main source in the design of a prototypical structure and its morphological transformation. Based upon the components of three primary bracket styles (Jusim-Po, Ik-Gong and Da-Po) of traditional Korean joinery system in the catalog, the parametric modifications of the components and their rearrangements are performed for various design iteration. This paper demonstrates the design process of morphological transformation using parametric modifications in BIM environment through the parametric changes in Korean joinery system. In this paper, all forty four components of Korean Joinery system become a series of modules in a rule-based (parameters and constraints) catalog for the parametric changes and the rearrangements among the components within Autodesk Revit environment. Since the catalog contains the components created from various joinery conditions, any single module or the combinations of the multiple modules from the catalog can be employed for easy fabrication, removal, reattachment and action as a structural element as well as sub-structures after its usage. The catalog allows a user to assign various parameters to the variables of each component according to its usage. By assigning different parameter, the component has flexibility for generating various joint connections. The research provides various transformation outcomes of a prototype structure with the modification of the components. The original prototype shelter design transforms into different furniture for public usage or individual resting units. According to a given design condition or site context, the prototype structure becomes transformable and reusable with various combinations of configuration among its components and their parametric changes. 1 Jung, Yun-Sang. 2006. A study of Joineries in Wooden Structure and its analysis in Seoul, Korea. Research Documentation, traditional Korean architecture study group. The purpose of the study is to explore the idea of morphological transformation in building components and its design iteration through the parametric changes and rearrangements of components. The parametric conditions in Building Information Modeling (BIM) allow flexible changes in form, dimension and assembly of the components. The unique setting of working with the components, BIM software allows its users to easily modify the general characteristics of components through their parametric changes (Lee, Sacks and Eastman, 2006). With traditional Korean joineries as the main components within the digital catalog, parametric modifications of each component will be able to perform morphological transformation of a building that is being designed. Traditional Korean architecture is referred to as “moving architecture,” due to the efficiency and economy in its constructing process that allows the reuse of building components with varieties of flexible joinery system in assembly and disassembly process and prefabrication method.1 With the application of Building Information Modeling (BIM), the digital catalog of all the 44 components of Korean joinery system is developed to be the main source in the design of a prototypical structure and its morphological transformation. Based upon the components of three primary bracket styles (Jusim-Po, Ik-Gong and Da-Po) of traditional Korean joinery system in the catalog, the parametric modifications of the components and their rearrangements are performed for various design iteration. This paper demonstrates the design process of morphological transformation using parametric modifications in BIM environment through the parametric changes in Korean joinery system. In this paper, all forty four components of Korean Joinery system become a series of modules in a rule-based (parameters and constraints) catalog for the parametric changes and the rearrangements among the components within Autodesk Revit environment. Since the catalog contains the components created from various joinery conditions, any single module or the combinations of the multiple modules from the catalog can be employed for easy fabrication, removal, reattachment and action as a structural element as well as sub-structures after its usage. The catalog allows a user to assign various parameters to the variables of each component according to its usage. By assigning different parameter, the component has flexibility for generating various joint connections. The research provides various transformation outcomes of a prototype structure with the modification of the components. The original prototype shelter design transforms into different furniture for public usage or individual resting units. According to a given design condition or site context, the prototype structure becomes transformable and reusable with various combinations of configuration among its components and their parametric changes. 1 Jung, Yun-Sang. 2006. A study of Joineries in Wooden Structure and its analysis in Seoul, Korea. Research Documentation, traditional Korean architecture study group. The purpose of the study is to explore the idea of morphological transformation in building components and its design iteration through the parametric changes and rearrangements of components. The parametric conditions in Building Information Modeling (BIM) allow flexible changes in form, dimension and assembly of the components. The unique setting of working with the components, BIM software allows its users to easily modify the general characteristics of components through their parametric changes (Lee, Sacks and Eastman, 2006). With traditional Korean joineries as the main components within the digital catalog, parametric modifications of each component will be able to perform morphological transformation of a building that is being designed. Traditional Korean architecture is referred to as “moving architecture,” due to the efficiency and economy in its constructing process that allows the reuse of building components with varieties of flexible joinery system in assembly and disassembly process and prefabrication method.1 With the application of Building Information Modeling (BIM), the digital catalog of all the 44 components of Korean joinery system is developed to be the main source in the design of a prototypical structure and its morphological transformation. Based upon the components of three primary bracket styles (Jusim-Po, Ik-Gong and Da-Po) of traditional Korean joinery system in the catalog, the parametric modifications of the components and their rearrangements are performed for various design iteration. This paper demonstrates the design process of morphological transformation using parametric modifications in BIM environment through the parametric changes in Korean joinery system. In this paper, all forty four components of Korean Joinery system become a series of modules in a rule-based (parameters and constraints) catalog for the parametric changes and the rearrangements among the components within Autodesk Revit environment. Since the catalog contains the components created from various joinery conditions, any single module or the combinations of the multiple modules from the catalog can be employed for easy fabrication, removal, reattachment and action as a structural element as well as sub-structures after its usage. The catalog allows a user to assign various parameters to the variables of each component according to its usage. By assigning different parameter, the component has flexibility for generating various joint connections. The research provides various transformation outcomes of a prototype structure with the modification of the components. The original prototype shelter design transforms into different furniture for public usage or individual resting units. According to a given design condition or site context, the prototype structure becomes transformable and reusable with various combinations of configuration among its components and their parametric changes. 1 Jung, Yun-Sang. 2006. A study of Joineries in Wooden Structure and its analysis in Seoul, Korea. Research Documentation, traditional Korean architecture study group. The purpose of the study is to explore the idea of morphological transformation in building components and its design iteration through the parametric changes and rearrangements of components. The parametric conditions in Building Information Modeling (BIM) allow flexible changes in form, dimension and assembly of the components. The unique setting of working with the components, BIM software allows its users to easily modify the general characteristics of components through their parametric changes (Lee, Sacks and Eastman, 2006). With traditional Korean joineries as the main components within the digital catalog, parametric modifications of each component will be able to perform morphological transformation of a building that is being designed. Traditional Korean architecture is referred to as “moving architecture,” due to the efficiency and economy in its constructing process that allows the reuse of building components with varieties of flexible joinery system in assembly and disassembly process and prefabrication method.1 With the application of Building Information Modeling (BIM), the digital catalog of all the 44 components of Korean joinery system is developed to be the main source in the design of a prototypical structure and its morphological transformation. Based upon the components of three primary bracket styles (Jusim-Po, Ik-Gong and Da-Po) of traditional Korean joinery system in the catalog, the parametric modifications of the components and their rearrangements are performed for various design iteration. This paper demonstrates the design process of morphological transformation using parametric modifications in BIM environment through the parametric changes in Korean joinery system. In this paper, all forty four components of Korean Joinery system become a series of modules in a rule-based (parameters and constraints) catalog for the parametric changes and the rearrangements among the components within Autodesk Revit environment. Since the catalog contains the components created from various joinery conditions, any single module or the combinations of the multiple modules from the catalog can be employed for easy fabrication, removal, reattachment and action as a structural element as well as sub-structures after its usage. The catalog allows a user to assign various parameters to the variables of each component according to its usage. By assigning different parameter, the component has flexibility for generating various joint connections. The research provides various transformation outcomes of a prototype structure with the modification of the components. The original prototype shelter design transforms into different furniture for public usage or individual resting units. According to a given design condition or site context, the prototype structure becomes transformable and reusable with various combinations of configuration among its components and their parametric changes. 1 Jung, Yun-Sang. 2006. A study of Joineries in Wooden Structure and its analysis in Seoul, Korea. Research Documentation, traditional Korean architecture study group

    Beyond pairwise clustering

    Get PDF
    We consider the problem of clustering in domains where the affinity relations are not dyadic (pairwise), but rather triadic, tetradic or higher. The problem is an instance of the hypergraph partitioning problem. We propose a two-step algorithm for solving this problem. In the first step we use a novel scheme to approximate the hypergraph using a weighted graph. In the second step a spectral partitioning algorithm is used to partition the vertices of this graph. The algorithm is capable of handling hyperedges of all orders including order two, thus incorporating information of all orders simultaneously. We present a theoretical analysis that relates our algorithm to an existing hypergraph partitioning algorithm and explain the reasons for its superior performance. We report the performance of our algorithm on a variety of computer vision problems and compare it to several existing hypergraph partitioning algorithms

    A Comparative Study on the L-1 Optimal Event-Based Method for Biped Walking on Rough Terrains

    Get PDF
    This paper is concerned with a comparative study of biped walking on rough terrains. Given a bipedal robot capable of walking on a flat ground with periodic behavior, whose motion can be described by a limit cycle with the Poincare map, we consider whether the robot remains stable on rough terrain, in which geometrical uncertainties of the terrain are assumed to be persistent and bounded. More precisely, the l(infinity)-induced norm is defined on the Poincare map and taken as a performance measure evaluating a robot walking with the bounded persistent uncertainties. To minimize the performance measure and achieve an optimal walking performance, we further provide a systematic controller design scheme consisting of a inner-loop continuous-time controller and a outer-loop event-based controller, in which the latter is described as a sort of the l(1) optimal controller. Finally, the validity as well as the effectiveness of our proposed methods in biped walking on a rough terrain are demonstrated through simulation studies.11Yscopu

    X-PDNet: Accurate Joint Plane Instance Segmentation and Monocular Depth Estimation with Cross-Task Distillation and Boundary Correction

    Full text link
    Segmentation of planar regions from a single RGB image is a particularly important task in the perception of complex scenes. To utilize both visual and geometric properties in images, recent approaches often formulate the problem as a joint estimation of planar instances and dense depth through feature fusion mechanisms and geometric constraint losses. Despite promising results, these methods do not consider cross-task feature distillation and perform poorly in boundary regions. To overcome these limitations, we propose X-PDNet, a framework for the multitask learning of plane instance segmentation and depth estimation with improvements in the following two aspects. Firstly, we construct the cross-task distillation design which promotes early information sharing between dual-tasks for specific task improvements. Secondly, we highlight the current limitations of using the ground truth boundary to develop boundary regression loss, and propose a novel method that exploits depth information to support precise boundary region segmentation. Finally, we manually annotate more than 3000 images from Stanford 2D-3D-Semantics dataset and make available for evaluation of plane instance segmentation. Through the experiments, our proposed methods prove the advantages, outperforming the baseline with large improvement margins in the quantitative results on the ScanNet and the Stanford 2D-3D-S dataset, demonstrating the effectiveness of our proposals.Comment: Accepted to BMVC 202
    corecore