• Title/Summary/Keyword: SoS

Search Result 33,125, Processing Time 0.056 seconds

An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification (시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구)

  • Kim, Junho;Shin, Donghwan;Bae, Doo-Hwan
    • KIISE Transactions on Computing Practices
    • /
    • v.23 no.4
    • /
    • pp.256-261
    • /
    • 2017
  • The notion of System of Systems (SoS), which is composed by many independent systems (i.e., Constituent Systems, CS), has emerged in various domains including social infrastructure. It is widely expected that complex requirements, which cannot be achieved in each CS-level, will be achieved in an SoS-level. While verification of SoS-level goal achievement is one of the most important problems, concrete case studies on SoS modeling and verification are still rare. In this paper, we focus on the fact that each CS performs an action for its own purpose by its own decision-making mechanism. We propose a novel Action-Benefit-Cost (ABC) SoS model which caters to the independent decision-making mechanisms of CSs. Using an abstract SoS example, this proposal provides a case study for the modeling and quantitative verification of the ABC SoS model.

A Study About the Formative Process of So Yang-In(少陽人)'s prescriptions (소양인(少陽人) 신정처방(新定處方)의 형성과정(形成課程)에 대(對)한 고찰(考察))

  • Woong, Seo;Song, Jeong-Mo
    • Journal of Sasang Constitutional Medicine
    • /
    • v.9 no.1
    • /
    • pp.213-243
    • /
    • 1997
  • After studying about the formative process and theory concerning So-Yang In(少陽人)'s prescriptions, Some principles were founded. Those were summarized as follows. 1. Lee Jae Ma(李濟馬) established the theory and remedy about the So Yang In's diseases, and the formation of So Yang In's prescriptions was based on those theories and remedies 2. As the emprical prescription of So Yang In's diseases, ten pre-scriptions of Discussion of Cold-Induced Disorder(傷寒論) and nine of Won Myung dynasty period(元明時代) were described in Dong Eui Su-Se Bo Won(東醫壽世保元), and I could confirm that the formation of So Yang In's presciptions was based on those emprical prescriptions. 3. The pathological characteristics of emprical prescriptions of So-Yang In's diseases in Discussion of Cold-Induced Disorder(傷寒論) were completely corresponded with the principle of So Yang In's diseases, and we could know that emprical presciptions of diseases that were the base of So Yang In's prescriptions were selected by the principle of So Yang In's diseases. 4. In the serious cases of So Yang In's diseases, So Yang In's pre-scriptions were mostly made up of tonifying and nourishing yin medicine(補陰藥物) that dirrectly rufill the damaged Eum Chung Zi Ki(陰淸之氣). According to the above results, it could be concluded that Lee Jae-Ma(李濟馬) made So Yang In's prescriptions with emprical pre scri-ptions that were based on the theory of So Yang In's diseases and concluded that So Yang In's prescriptions were made up of tonifying and nourishing yin medicine(補陰藥物) in the serious cases of diseases.

  • PDF

Interaction of Alkali Oxide and $SO_3$ on $3CaO.SiO_2$ Formation and Microstructure ($3CaO.SiO_2$ 생성반응과 미세조직에 있어서 Alkali Oxide와 $SO_3$의 상호작용)

  • 정해문;최상흘
    • Journal of the Korean Ceramic Society
    • /
    • v.30 no.12
    • /
    • pp.1071-1079
    • /
    • 1993
  • Interaction of alkali oxides and SO3 and C3S formation and microstructure was studied using K2CO3 and Na2CO3 as alkali sources and (NH4)2SO4 for SO3. When SO3/K2O=1.43 as mole ratio, K2O and SO3 react to form K2SO4, this phase is immiscible with other oxide melt and thus could not affect C3S formation as well as its microstructure. In a condition of SO3/K2O 1, C3S crystals were round and grown in a much larger size. With addition of Na2O and SO3 by only 1wt% each, C3S formation was strongly hindered. Since C2S was stabilized by Na+ and SO4-2, it could not react to give C3S formation. However in the condition of SO3/Na2O=1.43, a little amount of C3S was formed. It is considered that small amount of Na2SO4 was formed, this phase was immiscible with clinker liquid, and the C3S crystals were formed locally in the liquid part of relatively low Na2O and SO3 compositions. These crystals had irregular and rough surfaces and contained more inclusions than those grown from K2O.SO3 system.

  • PDF

Effects of $K_2SO_4$ and $Na_2SO_4$ on $3CaO.SiO_2$ Formation and its Microstructure ($3CaO.SiO_2$ 생성 반응과 미세조직에 미치는 $K_2SO_4$$Na_2SO_4$의 영향)

  • 정해문;한기성;최상흘
    • Journal of the Korean Ceramic Society
    • /
    • v.30 no.10
    • /
    • pp.871-879
    • /
    • 1993
  • Effects of K2SO4 and Na2SO4 on C3S formation and its microstructure were investigated. C3S formation was not influenced by addition up to 6.0wt% of K2SO4 as SO3 base, however it was prevented by only 1.0wt% of Na2SO4 addition. C3S prevention by added Na2SO4 was the reason why C2S stabilized by Na+ and SO42- could not react to C3S. Added K2SO4 appeared as K2SO4, however added Na2SO4 appeared as the form of Na2xCa3-xAl2O6, (Na0.8Ca0.1)SO4 and Na2SO4 in interstitial phase.

  • PDF

Calcium silicate의 생성반응에 미치는 $\SO_3$의 영향

  • 박병철
    • Cement
    • /
    • s.92
    • /
    • pp.41-54
    • /
    • 1983
  • Calcium Silicate의 생성 및 분해에 미치는 $K_2SO_4$$MgSO_4$의 영향을 비교 검토하였으며 Calcium Silicate의 생성을 최대로 하는 $SO_3$, MgO와 $K_2O$의 최적비를 반응표면분석기법으로 조사하였다. $K_2SO_4$의 혼합비 증감에 따라 $C_3S$의 생성촉진에 미치는 영향은 없었다. $C_3S$의 조합원료에 $CaSO_4$를 4.0wt$\%$이상 첨가시 $CaSO_4$$C_2S$주위에 Sulphate reaction rim을 형성함으로써 $C_2S$와 CaO의 반응을 방해해 $C_3S$의 생성을 억제하였으나 적당량의 MgO가 첨가되면 $CaSO_4$가 4.0wt$/%$이상이라도 $C_3S$의 생성은 억제되지 않았다. $C_3S$의 생성을 최대로 하기 위한 $SO_3$, MgO와 $K_2O$의 최적비를 반응표면분석기법을 이용하여 다음과 같은 결론을 얻었다. 1. $K_2SO_4$$K_2O$에 비해 소결에 미치는 영향이 적으므로 크링카에 고용되고 남은 $K_2O$는 전량 $K_2SO_4$로 전환시켜야한다. 2. $SO_3$$K_2O$의 최적비율은 1.5이다. 3. $CaSO_4$와 MgO의 최적비율을 유지하기 위해서는 $CaSO_4$중의 wt$\%SO_3$=0.7의 수준으로 Sulphate의 함량을 조절하여야 한다. 4. $SO_3$와 결합하고 남은 $K_2O$가 0wt$\%$인 경우는 $K_2SO_4$=2.3wt$\%$, MgO=1.5wt$\%$일때 $C_3S$의 생성이 최대로 된다. 5. $SO_3$와 결합하고 남은 $K_2O$가 2.0wt$\%$인 경우는 $K_2$$SO_4$=4.5wt$\%$, MgO=3.0wt$\%$일때 $C_3S$의 생성이 최대로 된다.

  • PDF

A Study on a Simulation Model to Analyze the Availability of a SoS (복합시스템 가용도 분석을 위한 시뮬레이션 모델 연구)

  • Kim, Hye-Lyeong;Kim, Ui-Hwan;Choi, Sang-Yeong
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.14 no.6
    • /
    • pp.1049-1057
    • /
    • 2011
  • Today, most weapon systems operate as component systems of SoS(System of Systems) and they produce synergy effects in the battle field by interoperating. In addition, the acquisition issues on weapon systems have expanded into SoS context including sustainment analysis. Availability is the sustainment KPP(Key Performance Parameter) of weapon systems. In this paper, a simulation model is proposed to analyze the availability of SoS. The simulation model consists of 5 modules: Mission and Task, System, System RBD, Maintenance system and a simulation engine. Then it was implemented and applied to a SoS. As a result of the application, the simulation model could be applied for analyzing the availability of the SoS and provided information about critical tasks and risky component systems to complete the given mission of the SoS.

Effect of ${\beta}-Carotene$ on Flavor and Oxidation Stability in Seasoning Oil (${\beta}-Carotene$이 향미유의 풍미 및 산화 안정성에 미치는 영향)

  • Koo, Bon-Soon;Kim, Jong-Seung
    • Journal of the Korean Society of Food Culture
    • /
    • v.21 no.1
    • /
    • pp.81-85
    • /
    • 2006
  • Seasoning oil(SO-1) was manufactured from soybean oil, with ${\beta}-carotene$, oleoresin paprika and 3 kinds of flavors. Color of it's SO-1 was red. Total content of trans fatty acid of SO-1 was low level 0.84%, compare to the butter's and margarine's 1.35%, 28.31%, respectively. Total volatile components of SO-1 was 201,313.11ppm, was higher than soybean oil's, butter's, margarine's and SO-2's(removed 3 kinds of flavors from SO-1), it's value of 63.54ppm, 481.24ppm, 168.95ppm and 205.73ppm, respectively. And smoke point(SP) of SO-1 was higher than others. SP of SO-1, after 6 months later at room temperature, was 240, in contrast with soybean oil's 228. This SO-1, added ${\beta}-carotene$ and flavor components, had a masking effect of burnt flavor. From these results, SO-1 can be replaced of butter or margarine as a substituted oil.

A Literature study on the Sasang Constitutional Tongue Diagnosis based on Experience Prescriptions(經驗方) in the Donguisusebowon (Longevity and Life Preservation in Oriental Medicine) (동의수세보원(東醫壽世保元) 경험방(經驗方)에 근거한 사상체질별 설진(舌診)의 문헌연구)

  • Lee, Jae-Chul;Kim, Jong-Yeol;Ryu, Hyun-Hee;Kim, Keun-Ho
    • Journal of Sasang Constitutional Medicine
    • /
    • v.22 no.1
    • /
    • pp.1-8
    • /
    • 2010
  • 1. Objectives: This study was performed to research the relationship between Sasang Constitution and characteristics of tongue diagnosis based on Donguisusebowon's Experience prescriptions(經驗方). 2. Methods: We searched tongue diagnosis factors in Donguisusebowon and classified this. Based on Donguisusebowon's Experience prescriptions(經驗方), we find tongue diagnosis factors in 6 contemporary Oriental medicine prescription books. 3. Results: Most So-eumin has white thin tongue coating and clear redish tongue color. Yellow tongue coatings are found in symptoms for Yinjinho-tang(Yinchenhao-tang), Soseungki-tang(Xiaochengqi-tang), Daeseungki-tang(Dachengqi-tang). Shortened Tongue is found in So-eumin's experience prescription and So-yangin's treat histroy. It didn't shown that So-eumin's Semen Crotonis included 6 prescritions' factors of tongue diagnosis. So-yangin's white tongue coating is found in Hyungbangpaedok-san(Jingfangbaidu-san), Sipjo-tang(Shizao-tang), Sosiho-tang(Xiaocihu-tang), Shinki-hwan(Shenqi-wan). Most of other So-yangin's tongue coatings are Yellowish and tongue color is deep red. Tae-eumin have thin white tongue coating at the Mahuang-tang(Mahuang-tang). Red tongue color and drying tongue are found at Jowiseungki-tang(Tiaoweichengqi-tang)Daesiho-tang(Dacihu-tang)Saengmaek-san(Shengmai-san) 4. Conclusions: Following So-eumin's Experience prescriptions, So-eumin's tongue color is clear red and tongue coatings are thin white and greasy. Following So-yangin's Experience prescriptions, So-yangin's tongue color is deep red and tongue coatings are yellowish and scarce except Exterior cold disease. And So-yangin has specific symptom of irritability, oral sores. Tae-eumin's tongue has two sides of white thin tongue coatings and Red and drying tongue.

Mechanism of $3CaO.SiO_2$ Prevention in Presence of Excess $SO_3$ (과량의 $SO_3$가 존재할 때 $3CaO.SiO_2$의 생성 저하 메카니즘)

  • 정해문;한기성;최상흘
    • Journal of the Korean Ceramic Society
    • /
    • v.30 no.7
    • /
    • pp.527-534
    • /
    • 1993
  • The phenomena that excess sulfate hindred the C3S formation in the presence of clinker liquid phase were investigated. In the case of (NH4)2SO4, assuming SO3 atmospheric condition, sulfate stabilized C2S and was enriched at the surface of C2S grains, so C2S was prevented from being dissolved into clinker melt. CaSO4 showed the similar aspect with (NH4)2SO4, however, the prevention of C3S formation by CaSO4 took more influence that C2AS and C4A3 were formed below 100$0^{\circ}C$, and remained upto clinkering temperature, 145$0^{\circ}C$, thus these intermediate phases caught CaO which would participate the C3S formation.

  • PDF

Studies of Sulphate in Portland Cement Clinker (Cement Technology 1971.9)

  • Gutt W.;Smith M. A.
    • Cement
    • /
    • s.51
    • /
    • pp.20-30
    • /
    • 1973
  • 1) electron-microprobe를 응용하여 $CaO-SiO_2-Al_2O_3$ 계에서 생성한 $C_2S$, $C_3S$ 에 존재하는 sulfate의 solid, solution을 정량적으로 구할 수 있었으며 이 결과로 $C_2S$$Al_2O_3$, $SO_3$ 등이 solid soln 등으로 침적되고 이들이 $C_3S$의 생성을 억제한다는 mechanism이 확인되었다. 2) phase equilibrium(상평형)에 의하면 $Na_2SO_4$, $K_2SO_4$는 mineralizer로서 작용하며 $C_3S$ 의 생성을 돕는다. 그러나 $K_2SO_4$$Al_2SO_3$ 가 결합상태로 존재할 경우는 1,400 $^{\circ}C$에서 광범위한 liquid를 생성하며 quenching하면 glass질과 $\beta-C_2S$ 만이 얻어지고 $C_3S$ 는 생성되지 않는다. 또 이를 1,250 $^{\circ}C$ 까지 서냉하면 $C_2S$ 와 Ca, K, Al, S, 등을 함유한 새로운 물질이 생성된다. 3) $CaO-SiO_2-Al_2O_3-Fe_2O_3$ 계에서 $C_3S$ 의 생성에 미치는 $Na_2SO_4$, $K_2SO_4$ 의 영향을 실험실적으로 검토한 결과 complex interaction이 확인되었으며 $Na_2SO_4$ 는 어떤 경우에는 mineralizing effect를 상실한다는 재미 있는 사실이 발견되었다.

  • PDF