To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta c...To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta concept model of the C4ISR architecture is introduced.According to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML.Then,we define the concrete syntax and executable activity algebra(EAA)semantics for executable models.The semantics functions are introduced to translating the syntax description of executable models into the item of EAA.To support the execution of models,we propose the executable rules which are the structural operational semantics of EAA.Finally,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.展开更多
目的报道1例蛋白C和蛋白S缺陷症致脑静脉血栓形成病例,总结临床诊疗思路。方法与结果男性患者,27岁,以头痛发病,平卧位加重、站立位稍缓解。影像学检查提示右侧横窦、乙状窦、窦汇血栓形成;实验室检查蛋白C和蛋白S活性降低(49%和51%),...目的报道1例蛋白C和蛋白S缺陷症致脑静脉血栓形成病例,总结临床诊疗思路。方法与结果男性患者,27岁,以头痛发病,平卧位加重、站立位稍缓解。影像学检查提示右侧横窦、乙状窦、窦汇血栓形成;实验室检查蛋白C和蛋白S活性降低(49%和51%),脑脊液压力>330 mm H_(2)O;基因检测提示PROC基因移码突变[c.574_577del(p.Val192Serfs*5)]及PROS1基因错义突变[c.1915T>G(p.Cys639Gly)和c.301C>T(p.Arg101Cys)]。予以低分子量肝素序贯新型口服抗凝药抗凝治疗以及降低颅内压、营养神经和镇痛治疗后,头痛症状缓解。出院后4个月头痛无复发,复查脑脊液压力降至正常(135 mm H_(2)O),蛋白C和蛋白S活性升至53%和54.10%(仍低于正常值范围)。结论蛋白C和(或)蛋白S缺乏是脑静脉血栓形成的重要病因,新型口服抗凝药可有效改善静脉回流障碍并避免华法林相关凝血机制紊乱,是优选治疗方案。临床应对青年患者行凝血蛋白活性检测及遗传学分析,以指导精准抗凝治疗。展开更多
文摘To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta concept model of the C4ISR architecture is introduced.According to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML.Then,we define the concrete syntax and executable activity algebra(EAA)semantics for executable models.The semantics functions are introduced to translating the syntax description of executable models into the item of EAA.To support the execution of models,we propose the executable rules which are the structural operational semantics of EAA.Finally,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.
文摘目的报道1例蛋白C和蛋白S缺陷症致脑静脉血栓形成病例,总结临床诊疗思路。方法与结果男性患者,27岁,以头痛发病,平卧位加重、站立位稍缓解。影像学检查提示右侧横窦、乙状窦、窦汇血栓形成;实验室检查蛋白C和蛋白S活性降低(49%和51%),脑脊液压力>330 mm H_(2)O;基因检测提示PROC基因移码突变[c.574_577del(p.Val192Serfs*5)]及PROS1基因错义突变[c.1915T>G(p.Cys639Gly)和c.301C>T(p.Arg101Cys)]。予以低分子量肝素序贯新型口服抗凝药抗凝治疗以及降低颅内压、营养神经和镇痛治疗后,头痛症状缓解。出院后4个月头痛无复发,复查脑脊液压力降至正常(135 mm H_(2)O),蛋白C和蛋白S活性升至53%和54.10%(仍低于正常值范围)。结论蛋白C和(或)蛋白S缺乏是脑静脉血栓形成的重要病因,新型口服抗凝药可有效改善静脉回流障碍并避免华法林相关凝血机制紊乱,是优选治疗方案。临床应对青年患者行凝血蛋白活性检测及遗传学分析,以指导精准抗凝治疗。
