2022年6月6日
头像赏析-肥肥奥特曼
摘要： 头像赏析-肥肥奥特曼 头像描述：我们看到的是一个穿着劣质皮衣的肥肥迪迦奥特曼，双手自然放在背后做领导巡视状，大肚子也像领导一样突出，胸前的能量灯由于做工不精或者是被弄坏了等某些原因而斜斜的挂在那里，目光感觉在看向远方，身后是大片的乡村土地平原，背景可能是傍晚四五点太阳快要落山的天空，晴朗的天气，空中 阅读全文
posted @ 2022-06-06 23:06 Matrix_250 阅读(7306) 评论(0) 推荐(1) 编辑
作业 7 版权保护
摘要： 作业 7 版权保护 题目 Alice 和Bob是两个程序员，发明了一个比MS Word还好用的文字处理软件PaperWrite，把软件做成一个安装光盘，安装在Windows系统中就能使用，但是由于他们对于安全技术不是很了解，故受到盗版问题的困扰，需要你的帮助。设计一个版权保护模块，防止盗版使用软件， 阅读全文
posted @ 2022-06-06 18:01 Matrix_250 阅读(76) 评论(0) 推荐(0) 编辑
[软件构造] 5设计规约&6抽象数据类型
摘要： 软件构造 5 Designing Specification设计规约 方法的规约 前置、后置条件 欠定规约、非确定规约 陈述式、操作式规约 规约specification的强度及其比较 如何写出好的规约 Reading § MIT 6.031：06、07 § CMU 17-214：Sep 05 1 阅读全文
posted @ 2022-06-06 14:26 Matrix_250 阅读(55) 评论(0) 推荐(0) 编辑
2022年6月5日
Conda配置Python虚拟环境以搭建实验环境
摘要： Conda配置Python虚拟环境以搭建实验环境 故事起源 故事起源于人工智能导论的一个实验，其中用到了华为开源自研AI框架MindSpore，需要在pycharm里面配好虚拟环境，安装好需要的包，否则代码跑不起来。 用到的软件： PyCharm Community Edition 2020.3.3 阅读全文
posted @ 2022-06-05 14:32 Matrix_250 阅读(286) 评论(1) 推荐(0) 编辑
2022年5月30日
[软件构造] reading 2: basic typescript
摘要： reading 2: basic typescript http://web.mit.edu/6.031/www/fa21/classes/02-basic-typescript/ 快照图，同一语句有多种详细程度的表现形式，根据要求灵活选择。 双圈箭头表示此变量是const, 双圈对象表示此对象是i 阅读全文
posted @ 2022-05-30 21:08 Matrix_250 阅读(33) 评论(0) 推荐(0) 编辑
2022年5月23日
[软件构造] 数据类型和类型检查
摘要： java数据 基本数据类型（Primitives） 对象数据类型（Object Reference Types） 没有引用，只有值 引用与对应的值不相同 不可变 有的可变，有的不可变 保存在栈中，被使用的时候才存在 保存在堆中，会被垃圾回收机制回收 使用成本低 成本高 基本数据类型（Primitiv 阅读全文
posted @ 2022-05-23 09:28 Matrix_250 阅读(38) 评论(0) 推荐(0) 编辑
作业6 访问控制
摘要： 题目 设计一个投票系统APP，投票信息关乎隐私，一般采用无记名投票，但在网络上投票具有可溯源性，明文传输别人窃听，就会知道投票人投谁的票。为了保护隐私、又要确认每个人都投了票，要求设计一款APP。 软件需求： 1、采用网络服务器server + 用户手机app模式， 2、主要功能包括：注册、登陆、报 阅读全文
posted @ 2022-05-23 08:53 Matrix_250 阅读(17) 评论(0) 推荐(0) 编辑
2022年5月15日
[软件构造] Views and Quality Objectives of Software Construction
摘要： 1 Multi-dimensional software views 软件在计算机中的地位：下面这张图非常重要：这就是多维软件视图，下面将围绕这张图进行分析。首先先总括一下：Moment表示的是特定时刻软件的状态、Period表示的是软件状态随时间的变化。Build-time表示的是程序开发时，Ru 阅读全文
posted @ 2022-05-15 18:41 Matrix_250 阅读(43) 评论(0) 推荐(0) 编辑
作业5 身份认证
摘要： 题目： 今天校园里到处是快递小哥，同学们也经常帮别人取快递，快递小哥不会很细致的核实身份，就允许代领，存在很多不安全因素。 设计一款基于手机的app，用于快递小哥验证身份，顾客领取快递。具体认证方法不限，简单易行。 （1）给出：app包含哪些部分（可加图示），每部分的功能； （2）模仿kerbero 阅读全文
posted @ 2022-05-15 18:12 Matrix_250 阅读(24) 评论(0) 推荐(0) 编辑
2022年5月5日
[软件构造] Git 提交本地java工程到GitHub仓库的两种方法
摘要： [软件构造] Git 提交本地java工程到GitHub仓库 方法一 eclipse 自带插件 1.1 新建本地工程 为演示，新建一个工程文件TestGitUseEclipse，在src目录下新建HelloWorld的一个.java文件，在此类中调用main函数打印"Hello World!"字样。 阅读全文
posted @ 2022-05-05 17:44 Matrix_250 阅读(177) 评论(0) 推荐(0) 编辑