欢迎来到虫虫开发者社区 — 600,570+ 专业电子工程师资源,全部免费下载
关于我们
网站地图
登录
注册
虫
虫虫开发者社区
首页
资源下载
资源专辑
热门软件
精品资源
电子书
上传资源
首页
›
资源下载
›
文章/文档
›
一种从Z 规约到并行程序的精化方法
一种从Z 规约到并行程序的精化方法
文章/文档
88 K
166 次下载
2013-12-22
资源详细信息
文件格式
压缩包
文件大小
88 K
资源分类
文章/文档
上传者
cdcgl
发布时间
2013-12-22 11:21
下载统计
166
次
所需积分
2 积分
一种从Z 规约到并行程序的精化方法 - 资源详细说明
一种从Z 规约到并行程序的精化方法
一种从Z 规约到并行程序的精化方法 - 源码文件列表
本资源包含 1 个源码文件
支持在线预览,点击文件名即可查看
1
一种从z 规约到并行程序的精化方法.pdf
查看源码
温馨提示:
点击文件名或"查看源码"按钮可在线浏览源代码,支持语法高亮显示。
立即下载 一种从Z 规约到并行程序的精化方法
立即下载
提示:下载后请用压缩软件解压,推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
本资源需消耗
2积分
24小时内重复下载不扣分
支持断点续传功能
资源永久有效可用
使用说明
下载后使用解压软件解压
推荐使用 WinRAR 或 7-Zip
如有密码请查看资源说明
解压后即可正常使用
积分获取方式
上传优质资源获得积分
每日签到免费领取积分
邀请好友注册获得奖励
查看详情 →
相关技术标签
点击标签浏览更多相关文章/文档资源:
#Z规约
#并行程序
#形式化方法
相关文章/文档资源推荐
1
一种从Z 规约到
并行程序
的精化方法
一种从Z 规约到并行程序的精化方法...
2013-12-22
166 次
1063 浏览
2
一种由粗到精的人眼定位方法
·一种由粗到精的人眼定位方法...
2024-08-04
4 次
8477 浏览
3
遗传算法的程序 遗传 算 法 (GeneticA lgorithm,G A)是一种大规模并行搜索优化算法
遗传算法的程序 遗传 算 法 (GeneticA lgorithm,G A)是一种大规模并行搜索优化算法,它模 拟了达尔文“适者生存”的进化规律和随机信息交换思想,仿效生物的遗传方式, 从随机...
2015-09-25
53 次
1142 浏览
4
一种自动的软件体系结构规约重写方法
在软件较高的抽象层次如软件体系结构,实施重构更有助于提高软件的易维护性,从而降低软件的维护成本。大量复杂的重构操作需要(半)自动化的支持。该文提出一种体系结构规约重写方法,将体系结构重构转换为接口重构...
2023-12-06
4 次
6926 浏览
5
找可规约串进行规约
找可规约串进行规约,并演示栈的变化情况,打印并且输出...
2016-12-25
145 次
1040 浏览
6
无约束优化方法程序考核题
无约束优化方法程序考核题...
2013-11-30
76 次
1329 浏览
7
单片机多机并行通讯的一种方法
摘 要:单片机多机通讯一般采用串行总线方式,但在通讯距离短,通讯数据量大,通讯速率高的场合也会用到多机并行通讯。本文介绍一种采用简单逻辑电路实现单片机多机并行通讯的方法。关键词:并行通讯,三态缓冲寄存...
2013-10-31
128 次
1135 浏览
8
101规约从站库我们用100人年开发的通信规约程序库
101规约从站库我们用100人年开发的通信规约程序库,经过大量现场运行验证,与国内外各大公司产品进行过互操作实验,经过国家检测部门测试。 提供方式包括:动态连接库和C/C++源代码...
2013-12-17
46 次
1081 浏览
9
无约束优化方法
无约束优化方法,黄金分割法求函数极值,一维搜索问题...
2014-08-23
187 次
1047 浏览
10
优化方法中的解非线性规划问题的一种方法,乘子法
优化方法中的解非线性规划问题的一种方法,乘子法...
2014-10-31
131 次
1097 浏览
用户登录
登录后可下载更多技术资源
×
加载中...
加载登录表单中...
用户注册
送10积分
加入工程师资源平台
×
加载中...
加载注册表单中...
找回密码
通过邮箱重置您的账号密码
×
加载中...
加载表单中...
需要登录
登录后即可使用更多功能
×
新用户注册即送10积分,可用于下载资源
👋
退出登录
确认要退出当前账号吗?
×
退出后需要重新登录才能下载资源