• 제목/요약/키워드: S-domain

검색결과 4,460건 처리시간 0.03초

PtolemyII의 CCS 도메인 (Calculus of Communicating Systems Domain in PtolemyII)

  • 황혜정;김윤정;남기혁;김일곤;최진영
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제31권5_6호
    • /
    • pp.335-346
    • /
    • 2004
  • 톨레미II는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. 톨레미II는 여러 개의 도메인을 가지고 있다. 도메인은 각 시스템의 구성 요소들간의 통신 방법을 결정하는 물리적인 규칙이다. 톨레미II에는 PetriNet, Timed Multitasking, SR 등 11개의 도메인이 존재한다. 시스템의 구성요소들은 그 특성에 맞는 도메인을 사용하여 명세 되어 질 수 있다. 톨레미II는 특히 정형적 도메인으로 프로세스 알제브라 언어의 일종인 CSP를 가지고 있다. 그러나 CCS는 도메인으로 구현되지 않았다. CCS는 프로세스 알제브라의 일종으로서 정형적으로 병렬시스템을 명세하고 검증할 수 있는 언어이다. 따라서 본 논문에서는 CCS도메인을 구현함으로써 톨레미II를 사용하는 개발자가 톨레미II에서 사용하고 있는 동일한 모델링 패턴을 사용하면서 CCS의 정형적 의미론을 바탕으로 하여 시스템 명세를 할 수 있게 하였다. 이것은 톨레미II의 도메인의 다양성을 가지고 옴으로써 톨레미II의 표현력과 가용력을 높였다. 본 논문에서는 톨레미II에 구현된 CCS 도메인의 구조와 구현 방법을 설명하겠다.

THE IDEAL CLASS GROUP OF POLYNOMIAL OVERRINGS OF THE RING OF INTEGERS

  • Chang, Gyu Whan
    • 대한수학회지
    • /
    • 제59권3호
    • /
    • pp.571-594
    • /
    • 2022
  • Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

가정간호대상자와 입원간호대상자의 간호만족도 및 간호사이미지 비교 (A Study of Nursing Care Satisfaction and the Image of Nurses As Compared Between Home Health Care and Hospitalized Clients)

  • 용진선;한성숙;유인자;홍현자
    • 가정∙방문간호학회지
    • /
    • 제9권1호
    • /
    • pp.14-26
    • /
    • 2002
  • The purpose of the study was to compare both the nursing care satisfaction and the image of nurses as experienced by home health care clients and hospitalized clients. For the descriptive survey study. data were collected from 69 home heath care clients and 342 in-patients in a university hospital. The tools used for the study were modified by Quality Patient Care Scale(Wandelt & Ager. 1974) and Image of Nurses (송인자, 1993). The data were analyzed using Pearson Correlation. Scheffe test. factor analysis. t-test. and ANOVA. The major findings were as follows: Regarding nursing care satisfaction, the mean score of total nursing care satisfaction in home health care clients was 3.28 out of 4.0. Among five domains, the domain with the highest score was the psychosocial domain, followed by the general. the professional. the physical. and the communication domain. The level of nursing care satisfaction was not significantly different according to demographic variables except for age: the age group of 41-60 showed the highest score (p<0.05). The mean score of total nursing care satisfaction in hospitalized clients was 2.95 out of 4.0. Among five domains, the domain with the highest score was the psychosocial domain, followed by the physical and the communication. the professional. and the general domain. The level of nursing care satisfaction was not significantly different according to demographic variables except age: the higher the age the higher the score (p<0.05). The levels of nursing care satisfaction in all five domains were significantly higher in home health care clients than in hospitalized clients(p=0.0005). Regarding image of nurses, the mean score of total image of nurses in home health care clients was 3.32 out of 4.0. Among four domains, the domain with the highest score was the sincerity domain, followed by the kindness. the spirit. and the knowledge and skill domain. The level of image of nurses was not significantly different according to demographic variables. The mean score of total image of nurses in hospitalized clients was 3.05 out of 4.0. Among four domains. the domain with the highest score was the sincerity domain, followed by the kindness, the knowledge and skill, and the spirit domain. The level of image of nurses was not significantly different according to demographic variables. The levels of image of nurses in all four domains were significantly higher in home health care clients than in hospitalized clients (p=0.001). Both the levels of nursing care satisfaction and image of nurses, part of an evaluation for quality of nursing care were significantly higher in home health care clients than in hospitalized clients. In light of the findings, we could consider that home health care nurses provided client-centered comprehensive nursing care. However, nurses need to have methods that more promote the social recognition of the image of nurses and nursing care services as well as professional knowledge and skills.

  • PDF

다축 하중 구조물의 동적 피로수명 예측 (The Prediction of Dynamic Fatigue Life of Multi-axial Loaded Structure)

  • 윤문영;김경호;박장수;부광석;김흥섭
    • 한국정밀공학회지
    • /
    • 제30권2호
    • /
    • pp.231-235
    • /
    • 2013
  • The purpose of this paper is to compare with estimation of equivalent fatigue load in time domain and frequency domain and estimate the fatigue life of structure with multi-axial vibration loading. The fatigue analysis with two methods is implemented with various signals like random, sinusoidal signals. Also an equivalent fatigue life estimated by rainflow cycle counting in time domain is compared with results estimated with probability density function of each signal in frequency domain. In case of frequency domain, equivalent fatigue life can estimate through Dirlik's method with probability density function. And the work proposed in this paper compared the fatigue damage accumulated under uni-axial loading to that induced by multi-axial loading. The comparison is preformed for a simple cantilever beam, which is exposed to vibrations of several directions. For verification of estimation performance of fatigue life, results are compared to those of FEM analysis (ANSYS).

영아 어머니의 부모역할 중요도에 대한 인식 (Perception on the importance of Parental Role by Mothers with Infants)

  • 권미경;방경숙;김남선;안혜영
    • Child Health Nursing Research
    • /
    • 제12권2호
    • /
    • pp.170-179
    • /
    • 2006
  • Purpose: The purposes of this descriptive survey study were to describe the perception on the importance of parental role by mothers with infants, and to analyze the differences of those perception depending on the mothers' and infants' characteristics. Method: Data were collected from 240 mothers of infants visited at one public health center in Gangreung city. The instrument used for this study was a self-report questionnaire to identify the parental role. Results: The mean score for perception on the importance of parental role was 139.89, and item mean for caring performance ability domain 4.43, environmental organization for development domain 4.38, acceptance domain 4.26, responsibility domain 4.21점, knowledge for caring domain 4.19, sensitivity 4.16, provision of stimulus and involvement 4.01. There were significant differences in the perception of parental role according to spouse relationship, father's participation in child rearing, experience of parental role education, and infant's temperament. Conclusion: The experience of childhood is highly affected by the quality of the parental role. It is important to identify parents' perception of parental role. Therefore, the parental role education program are necessary.

  • PDF

비정상도메인 분류를 위한 DNS 쿼리 기반의 주성분 분석을 이용한 성분추출 (Feature Selection with PCA based on DNS Query for Malicious Domain Classification)

  • 임선희;조재익;김종현;이병길
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제1권1호
    • /
    • pp.55-60
    • /
    • 2012
  • 최근 봇넷(Botnet)은 탐지 기술을 피하기 위하여 C&C(Command and Control)서버 접속시 DNS(Domain Name System) 서비스를 이용하고 있다. DNS 서비스를 이용한 비정상 행위에 대응하기 위해서 DNS 트래픽 기반의 분석 연구가 필요하다. 본 논문에서는 좀비PC의 C&C서버 도메인주소 질의와 같은 DNS트래픽 기반의 비정상 도메인 분류(Classification)를 위해서 DNS트래픽 수집 및 지도학습(Supervised Learning)에 대해 연구한다. 특히, 본 논문에서는 PCA(Principal Component Analysis) 주성분분석 기술을 통해 DNS 기반의 분류시스템에서의 효과적인 분석 성분들을 구성할 수 있다.

QUANTUM CONTROL OF PARTICLES AT MATTER SURFACE OUTSIDE THE DOMAIN

  • Quan-Fang Wang
    • Nonlinear Functional Analysis and Applications
    • /
    • 제28권1호
    • /
    • pp.11-36
    • /
    • 2023
  • In this presentation, the particles at the matter surface (metal, crystal, nano) will be considered as the control target outside the physical domain. As is well known that control problems of quantum particles at surface had been investigated in various aspects in last couple of years, but the realization of control would become rather difficult than theoretical results. Especially, whether surface control would be valid? what kind of particles at what kind of matter surfaces can be controlled? so many questions still left as the mystery in the current research literature and papers. It means that the direct control sometime does not easy. On the other hands, control outside the physical domain is quite a interest consideration in mathematics, physics and chemistry. The main plan is to take the quantum systems operator (such as Laplacian ∆) in the form of fractional operator (∆s , 0 < s < 1), then to consider the control outside of physical domain. Fortunately, there are many published articles in the field of applied mathematics can be referred for the achievement of control outside of domain. The external quantum control would be a fresh concept to do the physical control, first in the theoretic, second in the computational, final in the experimental issues.

한국형 치과위생사 직업기대 수준 측정 도구 개발 (Development of a Korean version of the job expectations scale for dental hygienists)

  • 정미애;김형미;배정희
    • 한국치위생학회지
    • /
    • 제23권5호
    • /
    • pp.369-377
    • /
    • 2023
  • Objectives: The aim of this study was to develop and validate a Korean-adapted version of the job expectations scale for dental hygienists. Methods: To achieve this goal, a comprehensive methodology was employed, including frequency analysis, exploratory factor analysis (maximum likelihood, direct oblimin rotation), confirmatory factor analysis, Cronbach's α reliability, independent t-test, and one-way ANOVA (Duncan post-hoc test) were performed. Results: The Korean version of job expectations scale for dental hygienists comprised 21 items in the personal domain and 5 items in the social domain. The scale demonstrated high construct validity, convergent validity, discriminant validity, and reliability were found. While dental hygienists were found to have higher expectations in the their personal domain than the social domain, expectations in the social domain were higher among male hygienists, those with a bachelor's degree or higher, those in regular permanent employment, and those working in hospital-level or higher facilities. Conclusions: Job expectations is a more comprehensive construct than job roles or professional identity. We anticipate that the instrument will be widely used to analyze trends in job expectations in response to changes in societal values regarding to dental hygienists, the gap between realities and ideals within the dental hygiene profession, and policy considerations.

DDoS 공격에 대응하는 분산 네트워크 보안관리 기법 (A Scheme of Distributed Network Security Management against DDoS Attacks)

  • 김성기;유승환;김문찬;민병준
    • 대한전자공학회논문지TC
    • /
    • 제43권7호
    • /
    • pp.72-83
    • /
    • 2006
  • 웜 확산이나 자동화된 공격 도구에 의한 DDoS(Distributed Denial of Service) 공격은 도메인 경계를 넘어 통신 경로를 공유하는 정당한 사용자의 접근을 방해하기 때문에 지엽적인 도메인 차원의 방어와 대응은 현실적인 해결책이 되지 못한다. 더욱이 발신지 IP 주소를 위조하거나 정당한 발신지 IP 주소를 가지고 bogus 패킷을 과도하게 전송시키는 DDoS 공격은 정당한 사용자의 접근을 식별할 수 없게 한다. 본 논문에서는 이러한 문제점을 해결하기 위해 이웃하는 도메인간에 DDoS 공격 플로우를 식별하고 공격자 추적과 대응을 협업하는 분산 네트워크 보안관리 기법을 제시한다. 본 논문에서는 인터넷이 다수의 도메인으로 이루어져 있고 각 도메인에는 하나의 이상의 도메인 보안 관리자가 있다고 가정한다. 분산된 도메인 보안 관리자는 자신의 도메인 경계 라우터와 물리적 회선을 공유하면서 도메인 안팎으로 유통되는 공격성 패킷들을 식별하고 이웃하는 도메인 보안 관리자와 공격 발원지 추적 및 대응을 위한 메시지 교환을 수행한다. 도메인 보안 관리자를 구현하고 테스트베드를 통해 실험한 결과 지엽적인 도메인 차원의 탐지 및 대응에 비하여 탐지의 정확성 (FPR: False Positive Rate, FNR: False Negative Rate)과 대응 효과 (NPSR: Normal Packet Survival Rate)가 우수하였다.

Solution Dynamics Studies for the Lck SH2 Domain Complexed with Peptide and Peptide-Free Forms

  • Yoon, Jeong-Hyeok;Chi, Myung-Whan;Yoon, Chang-No;Park, Jongsei
    • 한국응용약물학회:학술대회논문집
    • /
    • 한국응용약물학회 1995년도 춘계학술대회
    • /
    • pp.81-81
    • /
    • 1995
  • It is well known that Src Homology 2(SH2) domain in many intracellular signal transduction proteins is very important. The domain has about 100 amino acid residues and bind phosphotyrosine-containing peptide with high affinity and specificity. Lck SH2 domain is a Src-like, lymphocyte-specific tyrosine kinase. An 11-residue phosphopeptide derived from the hamster polvoma middle-T antigen, EPQp YEEIPIYL, binds with an 1 nM dissociation constant to Lck SH2 domain. And it is known that the phosphotyrosine and isoleucine residues of the peptide are tightly bound by two well-defined pockets on Lck SH2 domain's surface. To investigate the conformational changes during complexation of SH2 domain with phosphopeptide we have performed the molecular dynamics simulation for Lck SH2 domain with peptide and peptide-free form at look in aqueous solution. More than 3000 water molecules were incorporated to solvate Lck SH2 domain and peptide. Periodic boundary condition has been applied in molecular dynamics simulation. Data analysis with the results of that simulation shows that the phosphopeptide makes primary interaction with the Lck SH2 domain at six central residues, The comparison of the complexed and uncomplexed SH2 domain structures in solution has revealed only relatively small change. But the hydrophilic and hydrophobic pockets in the protein surface show the conformational changes in spite of the small structural difference between the complex and peptide-free forms.

  • PDF