http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
SDN 응용 검증을 위한 프로세스 알지브라 기반 정형 기법
신명기(Myung-Ki Shin),이종화(Jong-Hwa Yi),최윤철(Yunchul Choi),이지현(Jihyun Lee),이승익(Seung-Ik Lee),강미영(Miyoung Kang),곽희환(Hee Hwan Kwak),최진영(Jin-Young Choi) 한국통신학회 2014 韓國通信學會論文誌 Vol.39 No.6(네트워크)
최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및 통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크 전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를 통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR (Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다. Recently, there have been continuous efforts and progresses regarding the research on diverse network control and management platforms for SDN (Software Defined Networking). SDN is defined as a new technology to enable service providers/network operators easily to control and manage their networks by writing a simple application program. In SDN, incomplete or malicious programmable entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. In this sense, any misunderstanding or diverse interpretations should be completely avoided. This paper proposes a new framework for SDN application verification and a prototype based on the formal method, especially with process algebra called pACSR which is an extended version of Algebra of Communicating Shared Resources (ACSR).
Junho Oh(오준호),Su Sang Lee,Yunchul Shin,Jessica Seungyoon Sung,Sujin Lee 한국인사조직학회 2018 한국인사ㆍ조직학회 발표논문집 Vol.2018 No.1
Prior research has documented the strong link between money and unethicality. Our research extends previous findings by focusing on a different aspect of money: spending behavior, or on whom the money is spent. The current study integrates the spending literature and the construal level perspective to propose that individuals’ ethical behavior is determined by whom they spend their money on (the self or others) and how they think (abstractly/high-level or concretely/low-level). Experimental data show that under a high-level construal, people who spent money on others behaved more ethically than those who spent money on themselves. Under a low-level construal, however, neither prosocial nor personal spending influenced subsequent behavior related to an ethical dilemma. Thus, while people spend money on others, they should adopt an abstract, high-level construal to maintain greater integrity with regard to subsequent ethical dilemmas.
Lim Ha Jin,Jang Hyunseok,Lee Naa,Jeong Euisung,Park Yunchul,Jo Younggoun,Kim Jungchul,Lee Young Eun,Choi Hyun-Jung,Kee Seung-Jung,Shin Jong Hee,Shin Myung Geun 대한진단검사의학회 2024 Annals of Laboratory Medicine Vol.44 No.1
Background: Rotational thromboelastometry (ROTEM; TEM International GmbH, Munich, Germany) is a global coagulation test that guides evidence-based platelet transfusion in trauma patients. We evaluated ROTEM parameters for predicting mid-term (five days) platelet transfusion in trauma patients. Methods: Maximum clot firmness and clot amplitudes after 5, 10, and 15 mins (A5, A10, and A15, respectively) of fibrin-specific ROTEM (FIBTEM) and extrinsically activated ROTEM (EXTEM) were retrospectively collected from 82 hospitalized, stable, non-bleeding trauma patients after successful initial resuscitation. Platelet-specific ROTEM (PLTEM) was calculated by subtracting FIBTEM from EXTEM. Platelet transfusions were reviewed for five days after ROTEM. Results: The areas under the curve for FIBTEM, EXTEM, and PLTEM predicting platelet concentrate transfusion of >12 U at mid-term were 0.915–0.923, 0.878–0.896, and 0.551–0.735, respectively. FIBTEM and EXTEM parameters were comparable to those of fibrinogen, fibrin/fibrinogen degradation products, D-dimer, and antithrombin III. Strong correlations (r>0.7) were noted between platelet count and EXTEM (A5, A10, and A15) or PLTEM (A5), platelet function (per platelet count) and EXTEM (A10 and A15), and fibrinogen levels and all FIBTEM parameters. Conclusions: FIBTEM and EXTEM can reliably predict mid-term platelet transfusion in trauma patients. FIBTEM, EXTEM, and PLTEM parameters correlate with conventional coagulation tests (platelets and fibrinogen).