-
题名基于Petri网的协议辅助设计工具的实现
- 1
-
-
作者
党华锐
赵慧
-
机构
西北大学计算机科学系
-
出处
《西北大学学报（自然科学版）》
CAS
CSCD
1995年第5期422-424,共3页
-
基金
陕西省自然科学基金
-
文摘
研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．
-
关键词
PETRI网
CAPE
计算机网络
通信协议
peton
-
Keywords
petri nets
protocols
formal specification
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名螺旋CT在腹茧症诊断中的应用价值
被引量：6
- 2
-
-
作者
何勤义
高华
党连荣
-
机构
甘肃省天水四七○医院影像科
甘肃省天水市第三人民医院影像科
-
出处
《实用医学影像杂志》
2016年第3期234-236,共3页
-
文摘
目的探讨腹茧症的CT影像特点,提高术前诊断的综合认识能力。方法回顾性分析10例经手术病理证实的腹茧症患者临床影像资料,分析影像学表现。结果 10例患者均显示肠袢异常聚集或盘曲成团,周围可见增厚包膜包裹;部分小肠包裹5例,其中位于左中上腹4例,右上腹1例;全小肠包裹5例,中下腹肠管堆聚呈饼状4例,全腹部肠管聚集呈球形1例。结论腹茧症的CT表现有一定的特征性,结合临床,大多数患者术前可得到肯定的诊断。
-
关键词
肠梗阻
腹膜疾病
体层摄影术
螺旋计算机
-
Keywords
Intestinal obstruction
petoneal disease
Tomography,spiral computed
-
分类号
R57
[医药卫生—消化系统]
R816.5
[医药卫生—放射医学]
-
