论文部分内容阅读
代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代数规范的转换过程，从该过程可自然是导出针对不同程序设计语言的转换系统，我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统。
非线性代数规范的直接实现技术
【摘 要】
：
代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代
【机 构】
：
复旦大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1996年7期
【基金项目】
：
国家863高技术计划,国家教委博士点基金
其他文献
近日，农业部、财政部、国家发展和改革委员会联合公布了《2009—2011年国家支持推广的农业机械产品目录》，江苏正昌集团有限公司5只产品进入这一目录．它们分别是SSHJ1d混合机、S
面向对象技术的发展，使基于传统客户／眼务器体系的分布计算系统显示出一些不足之处．南京大学计算机科学与技术系设计并实现的智能操作系统KZ4中，子系统MSOS是一个分布对象系统．它
SCAN算法是构成某些并行算法的一个简单而常用的基本模块。本文首先描述了SCAN操作及其串行和并行算法的设计；然后介绍了并行算法的可扩放性概念、度量及其分析方法；最后分析了
美国TTT公司是国际知名的专业生产空气悬架产品的公司，此前这款空气悬架产品一直在土耳其加工并且是专利生产，经过东风公司不断争取，TTT公司交给东风汽车悬架弹簧公司试制。东风
总线桥协议是用于构造并行计算机群的多计算机互连协议，它于１９９１年提出，其初衷是设计一种连接采用不同 一标准的计算设备和控制设备的中继协议。几年的研究和工程实践结果表明，基于
本文讨论一种分布式系统中的任务分配算法，对它所使用的数据结构、算法实现以及性能等给予阐述，本算法采用双向启动策略，而且能根据系统总负功情况等自动选择发送者或接受者启动
现有的基于象素的区域围线追踪算法在追踪形状复杂区域的围线时往往失效，而且没有简单的方法来加以改进．为此，提出了一种基于边过程的区域困线追踪算法．该算法不仅能追踪形状任意复杂区域的围线，还能给出表示围线之间包含关系的树结构，追踪出的围线由边过程组成，并且可以十分方便地转化成由象素组成的围线或扩展围线，算法的计算复杂性是线性的，即Ｏ（Ｐ），其中Ｐ＝Ｎ×Ｎ是图象中象素的个数，而Ｎ为图象的线性尺寸．