• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.56 no.2
• /
• pp.105-113
• /
• 2020

The fish influx and behavioral properties at a set-net off Goseong, South Korea were investigated using an imaging sonar. As a result, the average influx of fish was 33.9% at day time and 66.1% at night time, respectively, which indicated that a majority of fish entered into a playground in the set-net at night. The fish behavioral properties such as target (fish) length, range, orientation and major-axis angle were examined and compared among survey dates (4, 5, and 6 June 2019) using the statistical analysis tool (analysis of variance, ANOVA). The behavioral properties presented differently sometime of survey dates. This is preparatory study to support fish behavior properties in a set-net. It is expected that more elaborated behavioral information of fishes in the set-net is beneficial for designing and deploying a set-net fishing gear as well as general fish behavior research in the future.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.773-780
• /
• 1999

In this paper, we explore a behavioral animation of artificial birds that have lived by doing an aggregate motion. We first model individual birds and then propose a behavioral model for an aggregate motion of a flock of birds. In order to represent realistically collision avoidance and flock centering among birds, which are necessary properties in a flock of birds, we consider motive of a flock of birds, and role, velocity, momentum, banking and internal characteristics of each bird. The paper presents the simulation result of the proposed model for a flock of 100 birds.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Biomolecules & Therapeutics
• /
• v.27 no.4
• /
• pp.349-356
• /
• 2019

Behavioral analysis in mice provided important contributions in helping understand and treat numerous neurobehavioral and neuropsychiatric disorders. The behavioral performance of animals and humans is widely different among individuals but the neurobehavioral mechanism of the innate difference is seldom investigated. Many neurologic conditions share comorbid symptoms that may have common pathophysiology and therapeutic strategy. The forced swim test (FST) has been commonly used to evaluate the "antidepressant" properties of drugs yet the individual difference analysis of this test was left scantly investigated along with the possible connection among other behavioral domains. This study conducted an FST-screening in outbred CD-1 male mice and segregated them into three groups: high performers (HP) or the active swimmers, middle performers (MP), and low performers (LP) or floaters. After which, a series of behavioral experiments were performed to measure their behavioral responses in the open field, elevated plus maze, Y maze, three-chamber social assay, novel object recognition, delay discounting task, and cliff avoidance reaction. The behavioral tests battery revealed that the three groups displayed seemingly correlated differences in locomotor activity and novel object recognition but not in other behaviors. This study suggests that the HP group in FST has higher locomotor activity and novelty-seeking tendencies compared to the other groups. These results may have important implications in creating behavior database in animal models that could be used for predicting interconnections of various behavioral domains, which eventually helps to understand the neurobiological mechanism controlling the behaviors in individual subjects.

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.633-640
• /
• 2007

As the embedded systems closely related with our living become complex by interoperating each other via internet, the safety issue of embedded systems begins to appear For checking safety properties of the system interactions, it is necessary to describe the system behaviors in formal methods and provide a systematic safety analysis technique. In this research, the behaviors of an embedded system are described by Labeled Transition Systems(LTS) and its safety properties are checked on the system model. For enhancing the existing compositional safety analysis technique, we perform the safety analysis techniques by checking the behavioral equivalence of the reduced model and a property model after reducing the system model in the viewpoint of the property.

• Physical Therapy Rehabilitation Science
• /
• v.10 no.2
• /
• pp.175-184
• /
• 2021

Objective: Fatigue can decrease both quality of life and work efficiency. Ginseng is one of the most popular herbal treatments for improving personal health, with applications in treating fatigue. However, the exact mechanisms of anti-fatigue effects are still unclear. Thus, we investigated the effect of red ginseng powder (RGP) on exercise capacity and peripheral fatigue using both behavioral and molecular experiments in mice. Design: Four-groups behavioral and molecular experiment. Methods: Male 6-weeks-old ICR mice were treated with distilled water, 100, and 200 mg/kg RGP for 5 days via oral administration. The exercise capacity of each animal group was measured by locomotor activity, rota-rod, hanging wire, and cold swimming tests. Additionally, after performing the treadmill to induce fatigue, lactate expression and molecular experiments were investigated using mice gastrocnemius. Results: Mice treated with RGP exhibited increased exercise capacity in the behavioral tests. Additionally, RGP induced a dose-dependent decrease in lactate levels after high-intensity exercise, and Monocarboxylate transporter (MCT) 4 expression increased in groups treated with RGP. However, there was no significant change in MCT1. Conclusions: These results suggest that RGP exerts several anti-fatigue properties by lower lactate and improved exercise capacity. Increased MCT4 expression may also affect lactate transport. Thus, this study suggests that the anti-fatigue properties of RGP might be associated with MCT4 activity.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.53 no.2
• /
• pp.132-141
• /
• 2017

The objective of this study was to provide fundamental information on fish swimming behavioral properties. Acoustic data was collected at nighttime from the $10^{th}$ to $12^{th}$ March, 2016 near Yokji Island in the South Sea of South Korea, and was analyzed using the fish track technique. This technique is to identify groups of single targets, which shows a pattern of systematic movement. As a result, the differences of the behavioral properties such as depth, swimming speed, vertical direction, horizontal direction, tortuosity, and depth change among days were minor; however, statistical results (Welch analysis of variance) showed significant difference between days. Especially, the target strength (TS) of the $11^{th}$ were significantly different from the $10^{th}$ and $12^{th}$. It could be assumed that gizzard shad, which was the dominant species from the catch on the $11^{th}$ March, might have affected this difference. The correlation between TS and other properties was very week. The significant difference seemed even small differences of average values because of the large data volume.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.6 no.2
• /
• pp.35-49
• /
• 1981

This paper is concerned with developing a Multi-period Behavioral Model for the portfolio selection problem. The unique feature of the model is that it treats a number of factors and decision variables considered germane in decision making on an interrelated basis. The formulated problem has the structure of a Chance Constrained programming Model. Then empoloying arguments of Central Limit Theorem and normality assumption the stochastic model is reduced to that of a Non-Linear Programming Model. Finally, a number of interesting properties for the reduced model are established.

• Journal of the Korean Society of Visualization
• /
• v.13 no.2
• /
• pp.22-27
• /
• 2015

Caenorhabditis elegans (C.elegans) has various interesting behavioral properties, such as chemotaxis, thermotaxis, and electrotaxis. However, most previous research were only focused on single-stimulus for studying its behavioral properties. In this paper, we propose a simple and effective device for analyzing the behavior of C.elegans with combined stimuli, electric field and temperature. We compared and analyzed wild type worms (N2) and four mutant worms (tax-4, ttx-7, unc-54, unc-6). We analyzed the reaction of worms to certain stimulus and identified that this device is effective to apply a combined stimulus.

• Journal of Industrial Technology
• /
• v.17
• /
• pp.119-124
• /
• 1997

This thesis is an experimental research of shear behavioral characteristics and shear behavioral coefficient of weathered residual soil which is mostly contained in soil of Korea. Using the weathered residual soil from mountain near Kangwon National University, this experimental research were contained the physical properties of sample in term of the basic test method such as specific gravity, plastic and liquid limit, grain-size distribution, density and water content. Experimental results obtained from direct shear test sand triaxial compression tests show that according to step loading, linear strain and linear stress increase continually and angle of internal friction decreases just little according to incresing of water content in case of ignoring the cohesion, and angle of internal friction appears the maximum angle near a optimum moisture content in case of considering the cohesion.