Miraitowa65-CSDN博客

原创英特尔 oneAPI 黑客松——使用 oneMKL 对 FFT 算法进行加速与优化

调用 oneMKL 相应 API 函数，产生 2048 * 2048 个随机单精度实数()；根据 1 产生的随机数据作为输入，实现两维 Real to complex FFT 参考代码；根据 1 产生的随机数据作为输入，调用 oneMKL API 计算两维 Real to complex FFT；结果正确性验证，对 2 和 3 计算的两维 FFT 输出数据进行全数据比对（允许适当精度误差），输出 “结果正确”或“结果不正确”信息；

2023-08-22 16:17:44 541 1

原创软件构造05 Abstract Data Type(二）

抽象数据类型1. Testing an Abstract Data Type2. Invariants3. Rep Invariant and Abstract Function4. Beneficent mutation1. Testing an Abstract Data Type为了测试ADT，就需要对其中的方法进行测试，而之前我们已经知道ADT中的方法可以分为构造器(creator)，生产器(producer)，观察器(observer)和变值器(mutator)四种。所以，最终的测试策略如下：

2021-07-07 10:30:00 151

原创软件构造04 Abstract Data Type(一)

抽象数据类型1.Abstraction and User-Defined Types(1).User-Defined Types(2).Data Abstraction2.Classifying Types and Operations(1).Mutable and immutable types(2).Classifying the operations of an abstract type3.Designing an Abstract Type4.Representation Independence

2021-07-05 23:40:19 133

原创哈工大计算机系统大作业程序人生-Hello‘s P2P

哈工大计算机系统大作业摘要第1章概述1.1 Hello简介1.2 环境与工具1.3 中间结果1.4 本章小结第2章预处理2.1 预处理的概念与作用2.2 在Ubuntu下预处理的命令2.3 Hello的预处理结果解析2.4 本章小结第3章编译3.1 编译的概念与作用3.2 在Ubuntu下编译的命令3.3 Hello的编译结果解析3.3.1 数据3.3.2 赋值3.3.3 类型转换3.3.4 算术操作3.3.5 关系操作3.3.6 数组3.3.7 控制转移3.3.8 函数操作3.4 本章小结第4章汇

2021-06-28 14:10:30 595

原创软件构造03 Designing Specification

设计规约一.Functions & methods in programming languagesMethod二.Specification:Programming for communication1.Documenting in programming2.Specification and Contract(of a method)3.Behavioral equivalence4.Specification structure: pre-condition and post-conditio

2021-06-23 15:03:09 210

原创软件构造02 Data Type and Type Checking

数据类型与类型检验一.编程语言中的数据类型1.Java中的数据类型2.对象类型形成层次结构3.操作器二.静态和动态数据类型检验1.静态检查2.动态检查三.可变性与不变性1.改变变量与改变值2.不变性3.可变类型与不可变类型一、pandas是什么？二、使用步骤1.引入库2.读入数据总结一.编程语言中的数据类型1.Java中的数据类型数据类型：一组值以及可以对其执行的操作。变量：用特定数据类型定义，可存储满足类型约束的值。Java中的数据类型分为基本数据类型和对象数据类型(引用数据类型)，其中基本数

2021-06-14 19:53:53 1160 1

原创软件构造01 Testing and Test-First Programming

软件测试与测试优先的编程一. 软件测试1.什么是软件测试？功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入一. 软件测试1.什么是软件测试？软件测试是一种提高软件质量的重要手段。它能够发现程序中存在的bug，并确认程序是否达到

2021-06-04 20:44:12 274 2

A15249的博客