论文部分内容阅读
ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...
An Investigation of Formal Techniques of Protocol Based on CFSM
【摘 要】
：
ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...
【出 处】
：
系统工程与电子技术：英文版
【发表日期】
：
1997年2期
其他文献
目的探讨达英-35联合二甲双胍能够提高多囊卵巢综合征的治疗疗效。方法收集我院多囊卵巢综合征的患者,所有患者符合《中国多囊卵巢综合征的诊断和治疗专家共识》诊断标准。分
在进行有理数的加减运算时，若能根据题目特点选择合适的解题方法，通常可使问题化繁为简，从而提高运算速度.现将其中使用较为广泛的八个技巧小结如下，供同学们学习和参考. 1． 同号结合 例1计算（-4） 8 （-5） 7. 解：原式=（8 7） ［（-4） （-5）］=15-9=6. 把正数与负数分组结合相加减，可使计算简便，同时也可以避免符号处理过程中产生错误. 2． 凑0结合 例2计算
ＥｌｅｃｔｒｏｍａｇｎｅｔｉｃＦｉｅｌｄＤｕｅｔｏａＬｏｏｐＡｎｔｅｎｎａＢｕｒｉｅｄｉｎａＭｅｄｉｕｍｗｉｔｈＣｏｍｐｌｅｘＢｏｕｎｄａｒｉｅｓＬｏｎｇＹｕｎｌｉａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＥｌｅｃｔｒｏｎｉｃｓ，ＺｈｏｎｇｓｈａｎＵｎｉｖｃｒ...
“四个世界”是王希杰先生的“三一”理论体系的三组基本概念之一,它与零度/偏离、显性/潜性这两组概念既对立区别又相互联系;“四个世界”是整个修辞学理论的基础,语境、同
分析高强支护技术的优势,探讨煤矿采煤掘进工作中高强支护技术的应用情况和应用过程中存在的问题,提出煤矿采煤掘进工作中高强支护技术的创新应用。
<正>《与朱元思书》是南朝梁文学家吴均写江南山水的小品文,人民教育出版社中学语文室编审熊江平先生认为此文"清丽新巧,是骈文中的佳作"。安徽省芜湖荟萃中学胡宇虹老师从"
目的:研究川芎挥发油的体外促透作用及机制。方法:超临界萃取川芎挥发油,气相色谱-质谱法分析成分,以大鼠皮肤为渗透屏障,氟比洛芬为模型药物,Franz扩散池法考察透皮特性,HPL
农户与农业企业双方构建合理的利益联结机制是农业产业化经营的核心内容,也是促进农民增收的关键措施。为天津现代农业产业化的健康持续发展和促进农民增收提供参考,从农业企