![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
笔记
文章平均质量分 69
Violent-Ayang
知网论文评审专家
阿里云社区专家博主
ACM打铁选手
可指导课设、毕设、中文核心论文发表
展开
-
软件可靠性 - Gödel不完备定理
构造自指公式:Gödel使用一种被称为“Gödel编码”的技术,将形式系统中的语句编码成自然数。然后,Gödel构造了一个自指公式 ( G ),其大意是:“这个命题在系统内不可证明”。不完备性:假设系统是自洽的,那么 ( G ) 在系统内不可证明,否则会导致矛盾(即系统证明了一个假命题)。同样, (¬G\neg G¬G) 也不可证明,因为这将意味着系统不自洽(即系统证明了自己的自洽性)。这种方法类似于理查德·罗宾逊悖论的数学形式,即“这个句子是假的”的形式版本。假设自洽性可证明。原创 2024-07-19 10:48:10 · 729 阅读 · 0 评论 -
软件可靠性 - Manna-Pnueli通用证明系统
背景:Manna 和 Pnueli 提出的证明系统类似于 Hoare 证明系统。特点:该系统包含了一组适用于验证程序的结构SSS上的一些重要一步逻辑的正确性和完整的一阶公理化。原创 2024-07-19 10:47:02 · 396 阅读 · 0 评论 -
软件可靠性 - 霍尔逻辑证明整数除法
霍尔逻辑(Hoare Logic)是一种用于描述和验证计算机程序正确性的形式化系统,得名于英国计算机科学家托尼·霍尔(Tony Hoare)。它主要用于证明程序在执行过程中是否满足特定的性质或断言。霍尔逻辑基于三元组 (Hoare Triple),即 {P} C {Q},这里 P 和 Q 是逻辑断言,C 是程序代码。这种表示法表示:如果在执行程序 C 之前 P 为真,那么在程序 C 执行之后 Q 将为真。以下是详细介绍:原创 2024-07-18 14:07:38 · 1115 阅读 · 0 评论 -
软件可靠性 - 结构以及赋值等概念的理解
程序的一个状态简单地说就是程序变量的一组赋值。我们说过:赋值a(一个状态)满足公式φ可以记为MaφTRUE(这里未提及结构S,假设S可由上下文获得),或者记为a⊨Sφ。程序的执行是一个有限或无限的状态序列,其中第一个状态满足初始条件,其余每个后继状态b都由其前驱状态aapba⊨Spbaapba⊨S¬pbaav:=ebbaTaevTaeeaadvvdabvavea下面来解释这段文字中的一些概念,更好地理解它的意思。原创 2024-07-14 10:57:03 · 545 阅读 · 0 评论 -
企业微信无法正常启动 报错0xc0000142
报错内容如下,每次打开工作电脑时候企业微信一般会正常启动,但是有时候经常会出现下面这种错误,重启也解决不了,每次都得重装企业微信,今天整理了一下网上的方法,这个原因大概率是亿赛通。再将这个 kernelEs.dll 文件,剪切到 C:\Windows\System32目录下。我电脑是32位的,就打开:C:\Windows\System32,然后搜索:kernel32。32位:C:\Windows\System32。64位:C:\Windows\SysWOW64。这时候再打开企业微信就能正常打开了。原创 2024-01-17 16:22:00 · 4260 阅读 · 1 评论 -
软考程序员复习(一)数据的表示
软考程序员复习 一 数据的表示 常见的进制 二进制转其他进制 十进制转其他进制 二进制运算 码制 浮点数 逻辑运算|机器数计算 校验码原创 2022-03-30 16:57:57 · 472 阅读 · 0 评论 -
软考程序员复习(二)计算机系统基础知识
知识点框架 计算机分类 计算机系统组成 计算机硬件系统 CPU组成 双核与多核处理器 存储 存储器的层次结构 主存的结构 高速缓存 外存储器 输入与输出技术 IO系统原创 2022-03-30 21:03:57 · 426 阅读 · 0 评论 -
软件工程经济学期末复习
在一个纳税年度内,纳税人发生的与基本医保相关的医药费用支出,扣除医保报销后个人负担(指医保目录范围内的自付部分累计超过。1直接成本:如研发工资、保险金、低耗品、办公费、交通费、通讯费、会议费、鉴定费、咨询服务费、劳务费等,在支出发生当。个人从公开发行和转让市场取得的上市公司股票,持股期限在1个月以内(含1个月)的,其股息红利所得应如何(对个人代销彩票取得的所得计征个人所得税时,适用的所得项目是个体工商户的生产、经营所得。个人因其作品以图书、报刊形式出版、发表而取得的所得,属于什么所得稿酬所得。原创 2022-11-24 07:52:32 · 484 阅读 · 0 评论 -
CSDN周赛第十期总结
比赛详情本场竞赛由「电子工业出版社 & CSDN」联合主办题目总体难度较高,前两题比较基础,第二题我在之前的博客中写过类似题题解。后两题是竞赛题,但做过的类似的应该可以很快a掉。这次周赛有点属于拼手速的,看完就得开始写,最后能取得第二名的好成绩还是很不错的,希望下次继续进步吧,也希望csdn越办越好。原创 2022-11-24 07:47:25 · 706 阅读 · 2 评论 -
软件工程经济学复习题答案
1、利润=收入-成本费用 2、资产=流动资产+非流动资产3、显性成本可以用货币计量,是可以在会计的帐目上反映出来的4、领取什么保险应缴纳个人所得税某企业一项固定资产的原价为8000 000元,预计使用年限为6年,预计净残值为5 000元,采用年数总和法,计算的第一年折旧额。5、某企业出售一台设备,原价200 000元,已提折旧50 000元,出售设备时发生各种清理费用8 000元,出售设备所得价款123 000元。该设备出售净收益。6、一辆公务车的原价为800 000元,预计总行驶里程为600原创 2022-11-20 20:33:46 · 3110 阅读 · 4 评论 -
小熊猫devc++爬取oj题目
小熊猫c++的oj抓取功能如何实现原创 2022-03-19 16:43:43 · 1997 阅读 · 0 评论 -
非华为电脑如何与matepad pro进行多屏协同,以及如何处理连接失败等问题
本文介绍如何使得华为平板链接非华为电脑,非华为电脑如何安装华为电脑管家,以及在安装华为电脑管家可能出现的问题,如找不到安装包,口令错误,脚本时效等错误,以及笔记本链接平板时出现的超时,连接失败等问题解决办法,博主最终成功链接。原创 2022-02-04 22:11:28 · 21809 阅读 · 12 评论 -
visual studio如何设置背景图片
vs设置背景图片原创 2022-02-03 22:30:49 · 3277 阅读 · 0 评论 -
git向GitHub提交代码步骤
一git init 初始化仓库二git add .添加所有更改的代码三git commit -m '提交代码的备注信息'四git remote add origin "https://github.com/GitHub用户名/代码仓库名称.git" //连接远程仓库五git push origin master ...原创 2022-01-21 11:06:50 · 430 阅读 · 0 评论 -
社工必备的网站
一、查企业查信用1、信用中国查询内容:工商注册企业和个人、行政许可和处罚网址:https://www.creditchina.gov.cn/2、全国企业信用信息公示查询内容:全国企业工商登记注册信息https://gsxt.saic.gov.cn/(导航)https://gsxt.saic.gov.cn/zjgs/(总局)3、信用导航https://www.creditchina.gov.cn/toNavigation4、企信宝https://www.qixin.com/5、企业信用信息查询APP原创 2021-10-28 14:10:38 · 5423 阅读 · 0 评论