最近在学习计算理论方面的内容,这一系列文章主要介绍λ演算,这需要一些基本的离散数学如集合的知识,写的过程难免有错误欢迎大家指出。 1. 什么是λ演算 (Lambda Calculus)? λ演算是数学家邱奇(Alonzo Church)在20世纪30年代发表的一种计算模型,以变量绑定和替换的规则,每 ...
分类:
其他 时间:
2020-01-06 09:25:34
收藏:
0 评论:
0 赞:
0 阅读:
128
今天的文章可能有点毁三观,讲得是岳飞为什么必须死。 嗯,这篇文章跟华为真没什么直接关系了,只是从更高的一个维度,来审视人性的抉择。 无论是史学家还是历史爱好者,对于岳飞之死,都喜欢将其脸谱化。 譬如把秦桧、张俊甚至赵构,写成了一肚子坏水的坏人,而岳飞也刻画成了了一个迂腐的忠臣。 甚至岳飞之死,大家也 ...
分类:
其他 时间:
2020-01-06 09:25:14
收藏:
0 评论:
0 赞:
0 阅读:
74
Fedora以root用户自动登陆 Fedora Workstation Version: 31 ?? Written by Zak Zhu [TOC] 参考 + jonathanzhan/centos_7自动以root身份登录gnome桌面() + archlinux wiki: GDM () + ...
分类:
其他 时间:
2020-01-06 09:24:06
收藏:
0 评论:
0 赞:
0 阅读:
93
1、先安装KVM所需的软件: yum -y groupinstall “GNOME 桌面” //安装GNOME桌面环境 yum -y install qemu-kvm.x86_64 //KVM模块 yum -y install qemu-kvm-tools.x86_64 //KVM调试工具,可不安装 ...
分类:
系统服务 时间:
2020-01-06 09:23:37
收藏:
0 评论:
0 赞:
0 阅读:
80
前言 如果说数据结构是算法的基础,那么数组和链表就是数据结构的基础。 因为像堆,栈,对,图等比较复杂的数组结基本上都可以由数组和链表来表示,所以掌握数组和链表的基本操作十分重要。 今天就来看看链表的基本操作及其在面试中的常见解题思路,本文将从以下几个点来讲解链表的核心知识 什么是链表,链表的优缺点链 ...
分类:
其他 时间:
2020-01-06 09:23:12
收藏:
0 评论:
0 赞:
0 阅读:
70
困 困 等明天再写吧 主题将围绕在Vmware使用持久化XFS disk后machine rm default后不丢失images containers volumes etc.的奇观 并将展开部署core/runtime:latest接近3小时的直连网络拉动retry,和在core中使用共享路径( ...
分类:
Windows开发 时间:
2020-01-06 09:22:52
收藏:
0 评论:
0 赞:
0 阅读:
97
入门学习 Kubernetes,学习二进制的方式部署高可用的 kubernetes 集群,一步步数据 kubernetes 的部署架构、核心组件、工作原理等 ...
分类:
Web开发 时间:
2020-01-06 09:21:23
收藏:
0 评论:
0 赞:
0 阅读:
120
Lniux下控制文件真正被删除的计数器 Linux是link的数量来控制文件删除的。只有当一个文件不存在任何link的时候,这个文件才会被删除。一般来讲,每个文件都有两个link计数器:i_count和i_link i_count的意义是当前文件使用者(或被调用)的数量 当一个文件被某一个进程引用时 ...
分类:
系统服务 时间:
2020-01-06 09:19:48
收藏:
0 评论:
0 赞:
0 阅读:
96
图片是要求,那么开始做吧。 product_list = ["1.iphone6s 5800元","2.mac book 9000元","3.coffee 32元","4.python 80元","4.bicyle 1500元"] salary = input("请输入你的工资是多少>>>") pr ...
分类:
微信 时间:
2020-01-06 09:19:14
收藏:
0 评论:
0 赞:
0 阅读:
89
css代码: ul { list-style: none; width: 400px; height: 400px; margin: 0; padding: 0; background-image: url(https://timgsa.baidu.com/timg?image&quality=80 ...
分类:
其他 时间:
2020-01-06 09:18:21
收藏:
0 评论:
0 赞:
0 阅读:
87
一、选择题(1题3分,共30分) 1、在键盘上与字母A处于同一行的键是(C) A、M B、U C、‘ D、R 2、软件工程的出现主要是由于(C) A、程序设计方法学的出现 B、其他工程科学的影响 C、软件危机的出现 D、计算机的发展 3、适合与面向对象方法的软件生命周期模型是(B) A、瀑布模型 B ...
分类:
其他 时间:
2020-01-06 09:17:37
收藏:
0 评论:
0 赞:
0 阅读:
108
1)能做正确的决定:优秀的软件工程师深知没有完美的设计、服务和工具,他们还深刻理解可选方案以及实际状况的约束并能做出适当的权衡。一般的软件工程师只是盲目地使用当前比较流行的服务、设计和工具,而不做更深一步的理解和研究。 2)编写高质量的代码:良好的编程习惯不但有助于代码的移植和纠错,也有助于不同技术 ...
分类:
其他 时间:
2020-01-06 09:16:20
收藏:
0 评论:
0 赞:
0 阅读:
99
前面三篇文章,介绍了使用程序集、获取 Type 类型、使用 Type 类型获取成员信息。 通过前面的学习,我们大概了解到 Assembly、PropertyInfo、FieldInfo、ConstructorInfo、MethodInfo、ParameterInfo、EventInfo、Member ...
分类:
Windows开发 时间:
2020-01-06 09:15:45
收藏:
0 评论:
0 赞:
0 阅读:
70
? 1 问题描述 使用PySide2写了一个GUI程序,调用ffmpeg命令行工具,做简单的批量视频处理(调整帧宽度、帧高度、视频变速、降低视频码率达到限制视频大小),使用了ffmpeg、 ffmpeg python库; 挺简单的事儿,但遇到一个问题: pyinstaller打包程序时: 1. 不加 ...
分类:
其他 时间:
2020-01-06 09:15:05
收藏:
0 评论:
0 赞:
0 阅读:
174
本篇解决一个问题,token有效期 token是一个短活的东西,session可能是3天,但是token可能就2个小时,此时就会出现一种情况,session还有效但是token失效了,此时再拿着这个token去调用其他微服务就会失败了。 这就涉及到了OAuth2协议中的Refresh token,刷 ...
分类:
编程语言 时间:
2020-01-06 09:14:39
收藏:
0 评论:
0 赞:
0 阅读:
101
IntelliJ IDEA 在 2013.1 版本后就出现了后缀代码自动补全的新功能。现在,我很高兴的介绍后缀代码自动补全(Postfix Code Completion),这是一类新的代码补全方式,希望它能提高你的编程效率。 本文使用的 IDEA 版本为 2019.3,首先如果想要查看所有的后缀自 ...
分类:
其他 时间:
2020-01-06 09:14:01
收藏:
0 评论:
0 赞:
0 阅读:
79
根据本课程的学习以及自身的知识和经验,您认为一个软件工程师的软件工程知识技能水平高低主要体现在哪些方面,请您简要总结一下: 1.具有优秀的学习能力,IT技术更新很快,软件工程师应具备的技能里很重要的一点就是学习能力。只有具备了学习能力,才能很快适应市场与业务的需要,有时候工作的需求不是你在学校就已经 ...
分类:
其他 时间:
2020-01-06 09:13:36
收藏:
0 评论:
0 赞:
0 阅读:
88
一、cache缓存 cache与主存之间是以块为单位读写的,这样设计是为了符合程序运行的局部性原理--时间局部性原理与空间局部性原理(参见《计算机组成原理》) 二维数组行遍历比列遍历要快,是由于二维数组是按行存储的,cache从主存中读入块,会将同行相邻元素一起写入cache,导致行遍历cache命 ...
分类:
系统服务 时间:
2020-01-06 09:13:17
收藏:
0 评论:
0 赞:
0 阅读:
79
第一章 数据结构绪论 数据结构: 是相互之间存在一种或多种特定关系的数据元素的集合。 1.3 数据结构起源 早期人们把计算机理解为数值计算攻击,就是感觉计算机当然是用来计算的,所以计算机解决问题,应该是先从具体问题中抽象出一个社和的数据模型,设计出一个解此数据模型的算法,然后再编写程序,得到一个实际 ...
分类:
其他 时间:
2020-01-06 09:13:00
收藏:
0 评论:
0 赞:
0 阅读:
81
为了实现性能改进,应将多个进程保存在内存中,也就是说必须共享内存。 8.1 背景 内存是现代计算机运行的核心。内存由一个很大的字节数组来组成,每个字节都有各自的地址。 8.1.1 基础硬件 CPU可以直接访问的通用存储只有内存和处理器内置的寄存器。 每个进程都有一个独立的内存空间,可以保护进程不会互 ...
分类:
其他 时间:
2020-01-06 09:12:08
收藏:
0 评论:
0 赞:
0 阅读:
94