共查询到17条相似文献,搜索用时 93 毫秒
1.
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。 相似文献
2.
Verilog的一个操作语义模型 总被引:1,自引:1,他引:0
提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并发性等;定义了程序状态空间及其上的状态迁移系统。 相似文献
3.
如何快速、直观地设计出线束工艺图纸一直是线束生产企业需要重点解决的难题。利用通用CAD系统进行线束设计缺乏特定领域所具有的语义,无法精确地表达设计意图。本文基于操作语义的思路,重点研究了线束构件的各种几何约束,提出了一种操作语义的模型结构,并且对其解析算法进行了详细的描述,在此基础上,开发了线束工艺设计系统。 相似文献
4.
5.
在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat—until循环语句的操作语义,然后详细推导出了其指称语义,并在此基础上详细证明了它们二者之间的语义等价性. 相似文献
6.
对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。 相似文献
7.
陈寿文 《云南民族大学学报(自然科学版)》2013,22(4):299-301
采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件. 相似文献
8.
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足,首先在OCCAM/TOY的语法中经入了一类具体的原子语句,并从语义上考虑了原子语句的语义对整个程序语义的影响;其次,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理,描述了单个通信步骤的语义及其对程序的影响。在构造语义域时,利用完备距离空间作为指称,讨论了在距离空间范畴中语义域议程的解的存在性;并且在定义域时,保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义,既体现了由于并发而导致的执行过程的不确定性,又反映了并发导致的执行效果的不确定性。 相似文献
9.
本文定义了一种描述分布式数据系统并发事务行为的操作模型,以此为基础讨论了并发事务的调度,并享模式的Locking机制,死锁等问题。 相似文献
10.
针对C/ATLAS单动作信号语句的一个子集, 提出一种其实现过程的基于抽象机的形式化操作语义描述方法, 并分别给出了各单动作测试语句的状态转换规则. 根据该描述, 可较清晰地理解各单动作语句的功能及其制约关系. 由于该操作语义基于抽象机, 所以在此基础上可以很容易得到单动作信号语句的实现程序. 相似文献
11.
熊鹏荣 《上饶师范学院学报》1997,(6)
广播是信息在网络上的传播过程。本文研究信息在n-星形图上的广播距离,得到其上界是2n[logn]-2[logn] 1+1,下界是[logn!]。 相似文献
12.
田民格 《长春师范学院学报》2010,(12)
本文针对web数据挖掘中,具有动态性和不确定性语义web所存在的问题,基于单向S-粗集,提出S-粗语义和S-粗语义概率的概念,对粗语义、S-粗语义、粗语义概率和S-粗语义概率的特性进行了讨论,并给出了应用。利用语义web的概率特性,S-粗语义概率能够更好地描述web数据挖掘中具有动态特性的不确定性语义web问题。 相似文献
13.
阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。 相似文献
14.
15.
针对虚拟装配仿真过程中大量人机交互操作带来的效率低的问题,提出一种基于装配语义的虚拟装配过程仿真方法.通过分析航天复杂产品装配工艺,提取出4类典型装配操作并进行装配特征的参数化表达;通过匹配装配语义的装配特征基本信息和几何图元信息,实现了从语义层到特征层、几何层的装配语义层次化解析;从装配特征中解算出装配对象间的约束关系后,根据装配约束关系给定的运动方向和顺序,生成相应的位姿变化矩阵,驱动执行对象完成装配过程仿真.基于Delmia设计并开发了原型系统,以某卫星导航仪的装配过程仿真为例,对上述方法进行了验证. 相似文献
16.
17.
根据广播黑盒子的分类,分析了多端口模型中多消息链式广播算法,深入探讨了算法的理论基础和理论模型;重点研究链式广播算法的时间复杂度,通过与k树算法性能的对比,说明该算法是一种更接近最优广播周期的算法. 相似文献