【摘 要】
：
随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软
【基金项目】
：
上海市自然科学基金项目(启明星计划)(03QG14016)
论文部分内容阅读
随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软件系统的某些方面(数据,结构,行为),又能够描述某种类型的软件系统(顺序,并发和分布).该文使用的是集成化的方法,即将Petri网和B语言集成起来,通过结合petri网和B方法,主要是为了能够用B方法来扩展Petri网在数据和函数定义方面的能力;通过Petri网扩展B方法在明确表示操作语义和描述并发系统方面的能力.通过集成,可以发现集成后的Pe
其他文献
以甲缩醛为原料合成聚缩醛二甲醚，考察了催化剂、反应温度、物料配比、反应时『司、搅拌转速等因素对反应的影响。结果表明：以树脂为催化剂，催化剂用量5、vt％左右，甲醛和甲缩醛的
以人民主权为视角,分析了政府信息公开的必要性、主要价值。在此基础上,论述了当前我国政府信息公开取得的显著成效,同时指出了仍然存在的问题,提出了着力提升政府信息公开人
利用MapX组件式产品提供的基本地理信息操作功能,运用GIS(地理信息系统)显示设计,以及信息查询、轨迹回放等主要功能,在基于移动卫星通讯的铁路调度监控系统中,实现铁路调度
网站日益受到黑客的青睐，针对Web应用程序的攻击事例屡见不鲜。如何全面、准确地分析网站面临的最大威胁成为专业信息安全公司和网站管理员的不可回避的难题。本论文借鉴攻击
近年来随着资本市场的快速发展，很多中小企业为加快发展，占得行业先机，越来越多的企业采取公开发行股票的方式筹集高速发展所需的长期资金。按照证券法的相关规定，主要涉及企业财
【摘要】随着新媒体技术的不断发展，新媒体的发展给县级广播电视台的生存带来了极大的威胁。为了在这个时代站稳脚跟，国内电视台都继成立了融媒体中心并进行融媒体业务。融媒体中心的建立是县级电视台转型升级的必然趋势，融媒体技术作为一项重要技术，已经被广泛应用，新模式的转变也可以为县级广播电视的发展提供更大的空间。本文通过对县级广播电视发展情况的分析，深入探究县级电视转型升级和融媒体平台建设，完成从传统技术模