Rep Invariant and Abstraction Function

* According to the Reading 13 of MIT 6.005 course In order to finish Lab 2, in which the ps 2 gives instructions about rep invariant and abstract function, I read the reading material released by MIT 6.005. 1. Some Terminology The space of representa…

SC || Chapter 3

┉┉∞ ∞┉┉┉┉∞ ∞┉┉┉∞ ∞┉┉ 基本数据类型 && 对象数据类型基本数据类型(int char long) 在栈中分配内存,不可变对象数据类型(String BigInteger) 在堆中分配内存,有些可变有些不可变 String a = "a"; String b = "a"; System.out.println(a == b); // true String a = "a"; String b = new St…

【软件构造】第三章第三节抽象数据型(ADT)

第三章第三节抽象数据型(ADT) 3-1节研究了“数据类型”及其特性 ; 3-2节研究了方法和操作的“规约”及其特性:在本节中,我们将数据和操作复合起来,构成ADT,学习ADT的核心特征,以及如何设计“好的”ADT. Outline ADT及其四种类型 ADT的基本概念 ADT的四种类型设计一个好的ADT 表示独立性不变量和表示泄露抽象函数AF和表示不变量RI AF与RI 用注释写AF和RI Notes ## ADT及其四种类型 [ADT的基本概念] 抽象数据类型(Abstract Da…

HIT Software Construction Lab 2

2019年春季学期计算机学院<软件构造>课程 Lab 2实验报告姓名刘帅学号班号 1703008 电子邮件 1609192321@qq.com 手机号码目录 1 实验目标概述··· 1 2 实验环境配置··· 1 3 实验过程··· 1 3.1 Poetic Walks· 1 3.1.1 Get the code and prepare Git repository· 1 3.1.2 Problem 1: Test Graph <String>· 1 3.1.3 P…

哈工大软件构造Lab2（2022）

(防扒小助手) 本人CSDN博客: https://blog.csdn.net/m0_61753302https://blog.csdn.net/m0_61753302本人博客园博客(同步CSDN): https://www.cnblogs.com/kalesky/https://www.cnblogs.com/kalesky/如果对你有用的话欢迎点赞关注哟! 目录 1.实验目标概述 2.实验环境配置 3.实验过程 3.1 Poetic Walks 3.1.1 Get the code and …

软件构造Lab2实验总结

本次实验训练抽象数据类型(ADT)的设计.规约.测试,并使用面向对象编程(OOP)技术实现ADT.具体来说内容如下: 针对给定的应用问题,从问题描述中识别所需的ADT: 设计ADT规约(pre-condition.post-condition)并评估规约的质量: 根据ADT的规约设计测试用例: ADT的泛型化: 根据规约设计ADT的多种不同的实现:针对每种实现,设计其表示(representation).表示不变性(rep invariant).抽象过程(abstraction function…

JS中的进制转换以及作用

js的进制转换, 分为2进制,8进制,10进制,16进制之间的相互转换, 我们直接利用对象.toString()即可实现: //10进制转为16进制 ().toString() // =>"a" //8进制转为16进制 ().toString() // =>"a" //16进制转为10进制 () // =>"22" //16进制转为8进制 () // =>"26" //10进制转为2进制 //=>…

mobx源码解读1

mobx是redux的代替品,其本身就是一个很好的MVVM框架.因此花点力气研究一下它. 网上下最新的2.75 function Todo() { this.id = Math.random() mobx.extendObservable(this, { aaa: 111, bbb: 222 }) } var vm = new Todo mobx.autorun(function () { console.log(vm.aaa + " " + vm.bbb) }) 这是es5的写法,可…

JS简单加密

//简单的jS加密解密//code为对应的字符串,h为(2,8,10,16)就是要转成的几进制function en(code, h) { var monyer = new Array();var i,s; for(i=0;i<code.length;i++) monyer+=code.charCodeAt(i).toString(h)+"_"; //就是把字符串转成ascll码,然后再转成你想的几进制 return monyer; }; //同上 function de(cod…

文件上传之伪Ajax方式上传

From: <由 Windows Internet Explorer 8 保存> Subject: =?gb2312?B?zsS8/snPtKvWrs6xQWpheLe9yr3Jz7SrIC0gTVIgQ08gLSCyqb/N1LA=?= Date: Sun, 3 Jun 2012 10:54:53 +0800 MIME-Version: 1.0 Content-Type: multipart/related; type="text/html"; boundary=&q…

Thinkphp5.0整合个推例子

最近做一个后台发送消息推送到app(android和ios)的功能,该功能采用的是个推接口,基于php的,我用TP5来实现这个推送流程.先看官方demo吧.可以先参考官方给到的例子来看http://docs.getui.com/getui/server/php/push/. 由于该APP下载量比较大,考虑到要推送给所有下载app的用户,所以这里就不能用针对于单个用户进行推送了,必须针对应用群体进行推送.场景如下: 文档中给到的php例子是这个: <?php //消息推送Demo header(&qu…

xsl 和xml transform方法的调用

xsl 和xml生成html,兼容多个浏览器 <html> <head> <meta charset="UTF-8"/> </head> <body id="srcDiv"> </body> <script> var oXSLDoc = loadXMLDoc("./XMLSelTree.xsl"); var oXMLDom = loadXMLDoc(".…

高性能python

参考来源:Python金融大数据分析第八章提高性能有如下方法 1.Cython,用于合并python和c语言静态编译泛型 2.IPython.parallel,用于在本地或者集群上并行执行代码 3.numexpr,用于快速数值运算 4.multiprocessing,python内建的并行处理模块 5.Numba,用于为cpu动态编译python代码 6.NumbaPro,用于为多核cpu和gpu动态编译python代码为了验证相同算法在上面不同实现上的的性能差异,我们先定义一个测试性能的函…

react-native自定义原生组件

此文已由作者王翔授权网易云社区发布. 欢迎访问网易云社区,了解更多网易技术产品运营经验. 使用react-native的时候能够看到不少函数调用式的组件,像LinkIOS用来呼起url请求 LinkIOS.openUrl('http://www.163.com'); actionSheetIOS用来实现ios客户端底部弹起的选择对话框 ActionSheetIOS.showActionSheetWithOptions({ options: BUTTONS, cancelButtonIn…

javscript---Bom 和Dom

JavaScript分为 ECMAScript,DOM,BOM. ECMA javascript标准语法 BOM(Browser Object Model)是指浏览器对象模型,它使 JavaScript 有能力与浏览器进行“对话”. DOM (Document Object Model)是指文档对象模型,通过它,可以访问HTML文档的所有元素. Window对象是客户端JavaScript最高层对象之一,由于window对象是其它大部分对象的共同祖先,在调用window对象的方法和属性时,可以省…

软件工程卷1 抽象与建模 (Dines Bjorner 著)

I 开篇 1. 绪论 II 离散数学 2. 数 (已看) 3. 集合 4. 笛卡尔 5. 类型 6. 函数 7. λ演算 8. 代数 9. 数理逻辑 III 简单RSL 10. RSL中的原子类型和值 11. RSL中的函数定义 12. 面向性质与面向模型的抽象 13. RSL中的集合 14. RSL中的笛卡尔 15. RSL中的列表 16. RSL中的映射 17. RSL中的高阶函数 IV 规约类型 18 RSL中的类型 19. 应用式规约程序设计 20. 命令式规约程序设计 21. 并发式规…

javascript 忍者秘籍读书笔记(二)

闭包的私有变量 function Ninja() { let feints = 0; this.getFeints = function () { return feints }; this.feint = function () { feints++; return feints } } let ninja1 = new Ninja(); 每一个通过ninja1 构造函数创建的对象实例可以获得各自的实例方法,但是私有变量不允许直接访问,为什么要保持私有变量的引用?,因为这些私有变量并不是对象的…

php产品细节图多图上传示例代码无刷新

前台文件代码 upload.html <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-e…

论文解读（soft-mask GNN）《Soft-mask: Adaptive Substructure Extractions for Graph Neural Networks》

论文信息论文标题:Soft-mask: Adaptive Substructure Extractions for Graph Neural Networks论文作者:Mingqi Yang, Yanming Shen, Heng Qi, Baocai Yin论文来源:2021, WWW论文地址:download 论文代码:download 1 Abstract GNN 应该能够有效地提取与任务相关的结构,并且对无关的部分保持不变. 本文提出的解决方法:从原始图的子图序列中学习图的表示,以更好…

通过百度echarts实现数据图表展示功能

现在我们在工作中,在开发中都会或多或少的用到图表统计数据显示给用户.通过图表可以很直观的,直接的将数据呈现出来.这里我就介绍说一下利用百度开源的echarts图表技术实现的具体功能. 1.对于不太理解echarts是个怎样技术的开发者来说,可以到echarts官网进行学习了解,官网有详细的API文档和实例供大家参考学习. 2.以下是我在工作中实现整理出来的实例源码: 公用的支持js文件 echarts.js.echarts.min.js,还有其他的图表需要支持的js文件也可以到官网下载 echa…

服务链（Service Chaining，or Service Function Chaining，SFC，功能服务链）

Software-configured service chaining provides the capability to dynamically include best-of-breed functions in a network processing path.The concept is shown in Figure 1. Each circle represents a different service function (a.k.a. network func…

不变(Invariant), 协变(Covarinat), 逆变(Contravariant) : 一个程序猿进化的故事

阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类ObjectHelper,带一个功能: 函数1:将一个对象转换成另一种类型的对象. 这个似乎是小菜一碟. 虽然不知道如何转换对象,那就定义一个函数参数,让外部把转换逻辑传进来.我真聪明啊! 这样,阿袁实现了第一个函数convert. class ObjectHelper[TInput, TOutpu…

SQL Abstraction and Object Hydration

SQL Abstraction and Object Hydration In the last chapter, we introduced database abstraction and a new command interface for operations that might change what blog posts we store. We'll now start creating database-backed versions of the PostRepositor…

General Purpose Hash Function Algorithms

General Purpose Hash Function Algorithms post@: http://www.partow.net/programming/hashfunctions/index.html Description Hashing Methodologies Hash Functions and Prime Numbers Bit Biases Various Forms Of Hashing String Hashing Cryptographic Hashi…

Abstraction elimination

(本文不保证不误人子弟,切勿轻信) Unlambda指的是lambda计算中去掉lambda操作(does not have lambda(or abstraction) operation of the lambda calculus),那实现消除abstraction是如何做到的呢? 一.基本的abstraction elimination 假设表达式F,我们想用它创建一个函数(function),将这个函数应用到X上,用符号表示变量并写成$x(即^xF,这里用^表示标准的lambda),那…

2016大连网络赛 Function

Function Time Limit: 7000/3500 MS (Java/Others) Memory Limit: 262144/262144 K (Java/Others) Problem Description The shorter, the simpler. With this problem, you should be convinced of this truth. You are given an array A of N postive integers,…

How to Get the Function Code in R

http://fhqdddddd.blog.163.com/blog/static/1869915420104111031148/ http://blog.sina.com.cn/s/blog_61f013b80100gekp.html http://rbbs.biosino.org/Rbbs/posts/list/1073.page How to Get the Function Code in R R is “open-access”, so I can read and modify th…