切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式描述技术及其应用
形式描述技术及其应用
来源 :武汉造船 | 被引量 : 0次 | 上传用户:ynl007
【摘 要】
:
本文论述了形式方法的概念.讨论了几种用于计算机通信协议的形式描述语言,在此基础上讨论了由形式描述技术发展起来的有关协议工程的概念,发展和它的主要内容。最后结合一个
【作 者】
:
胡家宝
【机 构】
:
武汉水运工程学院
【出 处】
:
武汉造船
【发表日期】
:
1991年5期
【关键词】
:
通信
计算机通信
形式描述
决策模型
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文论述了形式方法的概念.讨论了几种用于计算机通信协议的形式描述语言,在此基础上讨论了由形式描述技术发展起来的有关协议工程的概念,发展和它的主要内容。最后结合一个决策模型,给出了该模型的 Pet(?)网形式描述。
其他文献
挖掘对台文化资源 打造地方特色专版——《闽南日报·祖地文化》版的实践与思考
【正】对台文化交流是两岸往来的一个富有潜力和发展前景的通道,如何以当地的人文、历史资源为依托,深入挖掘、运用厚实而凝重的对台文化资源,发挥文化纽带作用,是媒体应当认
期刊
闽南日报
文化区域
福建漳州
地方特色
四季歌
发展前景
历史资源
版面内容
信仰文化
世代传承
针刺调节与G蛋白相关性探讨
目的:探讨针刺对机体调节与G蛋白呈相关性.方法:通过对针刺后机体内某些化学物质的改变,及针刺对镇痛、防卫免疫、对机体的调节作用与G蛋白的关系进行综合分析.结果:针刺经穴
期刊
针刺调节
G蛋白
经脉
acupuncture modulation G protein meridian
年中经济观察——企业运行指数创新高 但预期趋于谨慎——二季度全省10000家样本企业监测报告
7月,棋至中局。从新近公布的统计数据看,上半年浙江主要经济指标好于预期、高于全国,二季度好于一季度;从企业监测数据看,二季度全省重点企业运行指数重新进入景气区间,创201
期刊
经济观察
浙江经济
主要经济指标
年红
监测数据
统计数据
动能转换
结构性改革
淡定从容
关键期
国务院印发《关于建立完善守信联合激励和失信联合惩戒制度加快推进社会诚信建设的指导意见》,要求加快构建政府、社会共同参与的跨地区、跨部门、跨领域的守信联合激励和失信联合惩戒机制
《指导意见》明确,要健全褒扬和激励诚信行为机制,多渠道选树诚信典型,探索建立行政审批“绿色通道”,优先提供公共服务便利,优化诚信企业行政监管安排,降低市场交易成本,大力推介诚
期刊
社会诚信建设
惩戒制度
激励
共同参与
惩戒机制
国务院
跨部门
失信
“心藏神”与以“神”命名的腧穴考释
"神"字在中医中应用很广,涉及到的含义颇多,如自然界物质变化的内在规律、人体内生命活动的主宰、生物生命力的综合表现以及人的精神意识思维活动等[1].如五脏之中"心"有"藏
期刊
“心藏神”
以“神”命名
中医学
腧穴
考辨
仿生眼可能有助于盲人重见光明
有朝一日,“仿生眼”可能使失明者重见光明,这是美国研究人员透露的,他们已经成功地把他们研制的系统在老鼠身上作了试验。
期刊
仿生眼
盲人
研究人员
三招鼓励“回归反哺”
增强激励机制,落实服务措施,实现企业“走出去”与“反哺回来”比翼双飞,
期刊
反哺
回归
“走出去”
激励机制
服务措施
企业
还有多少黑天鹅在飞?
关注国际国内形势,关注可能的黑天鹅以及其对浙江经济的影响,是非常重要的一个课题黑天鹅寓意着不可预测的重大稀有事件,它在意料之外,却又改变一切。远的如9·11事件、
期刊
黑天鹅
美国大选
浙江经济
国内形势
稀有事件
总统候选人
大选结果
市场占比
浙江外贸
欧洲一体化进程
台湾学者对姚际恒的研究(上)——关于姚际恒研究文献的整理
【正】姚际恒(1647一?),字立方,号首源。原籍安徽休宁,长期寓居浙江仁和(今属杭州)。清代前期的著名经学家。他的一生分为两个阶段,早期从事诗文创作,今存《西窗绝句》、《赠
期刊
姚际恒
诗文创作
长律
诗经通论
经学家
经学研究
古堂
清代前期
九经
礼记集说
HPLC法测定复方感冒灵片中对乙酰氨基酚的含量
目的:建立复方感冒灵片中对乙酰氨基酚的高效液相检测法.方法:色谱柱为Hypersil ODS2(5um,4.6mm×200mm),流动相为甲醇-水(35:65),流速为0.8mL/min,检测波长为249nm.结果
期刊
高效液相色谱法
复方感冒灵片
对乙酰氨基酚
含量测定
HPLCFu Fang Gan Mao Lin tabletsparacctamot
与本文相关的学术论文