资源列表
[软件工程] chengxushejishiyan4
说明:一、实验题目: 实验4 程序的形式化推导 二、实验内容: (1) 根据给定的问题,建立前置谓词和后置谓词。 (2) 根据条件语句的推导策略,建立程序中的条件语句。 (3) 构造循环不变式,确立界函数。 (4) 根据循环语句的推导策略,建立程序中的循环语句。 (5) 面向目标,退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略,基于最弱前置条件的概念,用比较形式化的方法,从设计要求<沈炯> 在 2025-03-03 上传 | 大小:8kb | 下载:0
[文件格式] writingspecificationoncurriculumproject
说明:是一个系统正版的关于课程设计的格式的版本,作为一个学生而言,会写,写的规范也是很重要的-Is a system of genuine curriculum design on the version of the format, as a student, write, write the specification is also very important<于陆> 在 2025-03-03 上传 | 大小:8kb | 下载:0
[文档资料] 75448152Project1-DDS
说明:利用DDS芯片实现正弦波输出 使用synplify pro建立工程,加入这些文件 编译后生成.vqm的文件 用quartusII打开.vqm文件,编译通过 加入.vwf波形仿真文件,进行波形仿真 最后分配引脚,下载即可 - realization of sin wave in FPGA<echo> 在 2025-03-03 上传 | 大小:8kb | 下载:0
[软件工程] projectmananger
说明:一个好的项目管理进度表格模板,大家可以参考参考!-failed to translate<xinsky> 在 2025-03-03 上传 | 大小:8kb | 下载:0
[软件工程] finger4
说明:fingerprint recognition best algoritm<Alex Dremin> 在 2025-03-03 上传 | 大小:8kb | 下载:0