• 수산해양기술연구
• /
• 제56권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.

• 한국정보처리학회논문지
• /
• 제6권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.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• Biomolecules & Therapeutics
• /
• 제27권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.

• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.633-640
• /
• 2007

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

• Physical Therapy Rehabilitation Science
• /
• 제10권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.

• 수산해양기술연구
• /
• 제53권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.

• 한국경영과학회지
• /
• 제6권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.

• 한국가시화정보학회지
• /
• 제13권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.

• 산업기술연구
• /
• 제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.