新闻动态

有效性和可靠性是指什么?

并非所有论证都是好论证。论证分有效或无效,以及可靠或不可靠。 有效性 如果结论的正确性与论证的前提有逻辑上的关联性,则该论证是有效的。比如上述鱼类与鲨鱼的论证是有效论证,因为如果论证的前提是正确的,则结论必然也是正确的。我们可以通过一些改动来破坏这个论证的有效性。 所有鱼类都生活在水中。 所有的鲨鱼都是鱼。 因此,所有鲨鱼都有鳍。 这个论证是无效的,因为它的结论与前提没有逻辑上的关联性。所有鲨鱼都有

逻辑论证的定义

论证是一组陈述,包括一个或多个前提,以及一个且只有一个结论。 下面我们先来谈谈前提是什么,还有结论是什么。我来举一个逻辑论证的例子,后面统一简称论证。 论证的例子: 所有鱼类都生活在水中。 所有的鲨鱼都是鱼。 因此,所有鲨鱼都生活在水中。 这个论证包含两个前提。“所有鱼类都生活在水中”是一个前提;“所有的鲨鱼都是鱼”是另一个前提。 这个论证的结论当然是“因此,所有鲨鱼都生活在水中”。如果

开源初识:西方人的集市、中国人的侠义

开源软件即公开源代码的软件,从这个角度来讲,开源软件是信息产业发展到一定阶段以后的产物,因为在IT产业刚创立时,软件是以源代码的形式提供的,当时的软件均是开源。上世纪70年代,以微软为代表的企业仅提供编译后的二进制可执行程序,不再提供源代码了,这就形成了闭源的概念,此后相对于“闭源”,真正意义上的开源产业形成了。开源概念的形成有挑战传统、不畏强权的侠义精神在其中。这要从由RichardStallman创立的GNU开始说起。GNU的官方定义是“GNUisNotUnix”,这是十分叛逆的递归型定义,因为人们可能只能从其中看到反Unix闭源的理念,却没想到GN

源代码泄露的背后

从Kottmann在GitLab服务器上公布的部分代码显示,我们发现一些项目是由其原始开发者公开的,亦或是上一次该项目的更新早已是很久以前的事情。 不过,Kottmann表示,仍有不少公司使用错误配置的Devops工具公开源代码。此外,他们也正仍在研究及探索运行着SonarQube的服务器,SonarQube是一个用于自动代码审核和静态分析的开源平台,以发现Bug和安全漏洞。Kottmann认为,目前有成千上万的公司由于未能正确使用及防护SonarQube而导致自己的私有代码泄露。 除此之外,在深入研究源代码泄露事件时,Sy

基于精确定位的救灾术

为了实现精准防灾减灾,我们必须要解决定位与准确测量的问题,比如无人机的作业,如果位置有偏差,那么消毒效果就要折扣;要监控房子沉降与位移,一厘米的误差影响都非常大。不过相比于汶川地震时的情况,我们在精确测试方面的工作已经提高很多了。 2017年6月底,湖南爆发洪涝灾害,受灾人口达到1145.9万,被迫转移162万人,倒塌房屋5.3万间,农作物受灾面积1132万亩。灾后恢复工作使用了无人机协助防疫消毒,动用50余架无人机,在6个乡镇开展作业,对100多平方公里土地作业进行灾后防疫消毒,工作效率高于人工60-80倍。

首页 上一页 下一页 尾页 页次:2/279页 共1393条记录 转

吉林省新科展高级IT网络培训中心是吉林省最大的计算机培训学校
吉林省新科展高级IT网络培训中心学校常年招生,咨询学习请提前电话联系,登记预约学习时间
新科展承诺:100%推荐就业,规定时间内免费重学。

合作伙伴

计算机培训 培训学校