06 2022 档案
摘要:[软件构造] 9 Construction for Reuse Polymorphism in Java Polymorphism in Java - GeeksforGeeks Runtime polymorphism The word polymorphism means having many
阅读全文
摘要:[软件构造] 7 OOP 目标:将ADT的接口从实现分离出来,使用 Java 接口类型来强制这种分离。 用接口定义ADT,写实现接口的类。 用OOP/接口/类 实现ADT 大纲: OOP的基本概念:object, class, attribute, method, interface, enumer
阅读全文
摘要:[软件构造] 8 Equality in ADT and OOP 1 Equivalence Relation 没什么好写的,自反对称传递-等价。 2 Equality of Immutable Types f: R->A 建立了ADT的某个实例与它所对应的抽象类型的关系,f即为AF a equal
阅读全文
摘要:头像赏析-肥肥奥特曼 头像描述:我们看到的是一个穿着劣质皮衣的肥肥迪迦奥特曼,双手自然放在背后做领导巡视状,大肚子也像领导一样突出,胸前的能量灯由于做工不精或者是被弄坏了等某些原因而斜斜的挂在那里,目光感觉在看向远方,身后是大片的乡村土地平原,背景可能是傍晚四五点太阳快要落山的天空,晴朗的天气,空中
阅读全文
摘要:作业 7 版权保护 题目 Alice 和Bob是两个程序员,发明了一个比MS Word还好用的文字处理软件PaperWrite,把软件做成一个安装光盘,安装在Windows系统中就能使用,但是由于他们对于安全技术不是很了解,故受到盗版问题的困扰,需要你的帮助。设计一个版权保护模块,防止盗版使用软件,
阅读全文
摘要:软件构造 5 Designing Specification设计规约 方法的规约 前置、后置条件 欠定规约、非确定规约 陈述式、操作式规约 规约specification的强度及其比较 如何写出好的规约 Reading § MIT 6.031:06、07 § CMU 17-214:Sep 05 1
阅读全文
摘要:Conda配置Python虚拟环境以搭建实验环境 故事起源 故事起源于人工智能导论的一个实验,其中用到了华为开源自研AI框架MindSpore,需要在pycharm里面配好虚拟环境,安装好需要的包,否则代码跑不起来。 用到的软件: PyCharm Community Edition 2020.3.3
阅读全文