不可否认
不可否认的相关文献在1951年到2022年内共计491篇,主要集中在自动化技术、计算机技术、中国文学、无线电电子学、电信技术
等领域,其中期刊论文466篇、会议论文1篇、专利文献3952篇;相关期刊337种,包括股市动态分析、今日科苑、青年文学等;
相关会议1种,包括第十次全国Petri网学术年会暨形式化方法学术讨论会等;不可否认的相关文献由484位作者贡献,包括罗军舟、张建中、黎波涛等。
不可否认
-研究学者
- 罗军舟
- 张建中
- 黎波涛
- R·B·莱文
- 周宇
- 曹云飞
- 本刊编辑部
- 汤殿华
- 王林
- 穆道光
- 范佳
- 赵伟
- 余昭平
- 李艳平
- 杨义先
- 深圳推手
- 韩志耕
- 魏洪波
- A·V·艾尔
- B·R·贝卢尔
- D·巴塔查里亚
- 丁然
- 付安民
- 任艳丽
- 兰晓
- 刘军
- 吴玉征
- 吴莉娅
- 周孟创
- 周建国
- 安泰勋
- 希宜
- 张红霞
- 施荣华
- 晏蒲柳
- 曹琪
- 李凯
- 李德山
- 李浩
- 李直
- 武传坤
- 沈炜
- 王尚平
- 王晓峰
- 王瑞芬
- 王良民
- 王袁希儿
- 甘元驹
- 秦宁元
- 胡正名
-
-
-
-
摘要:
近日,一些地方的公共厕所安装了“人脸识别供纸机”,方便大家免费取用厕纸,引发网友热议。伴随着人脸识别技术在现实生活中的广泛应用,人脸识别安全广受关注。人脸识别,我们已然不陌生。刷脸支付、刷脸考勤、刷脸入园、刷脸取件……刷脸深入到人们生活的方方面面。不可否认,人脸识别在维护公共安全、提高社会效率等方面确实发挥着积极作用。
-
-
-
-
摘要:
不可否认,微型投影机的兴起让消费者拥有私人影院的门槛大大降低。相比动辄七八千元甚至上万元70英寸以上的电视机,三四千元或者五六千元就能得到80英寸甚至100英寸大画面的微型投影机让很多年轻家庭趋之若鹜。不过,近年来随着大尺寸电视机的不断降价,微型投影机似乎又让人感觉不那么“香”了。然而,双十一售价仅为1549元的小明Q1 Pro出现在我们面前时,我们突然发现那个“香甜”的微型投影机又回来了。
-
-
苏佳茵;
何婉仪(指导)
-
-
摘要:
如今,高新技术的发展推动世界更加多元化、智能化,而智能手机就是这个时代的“经典款”,因为它可以实现“一机走天下”。但不可否认,它也能“一机毁人生”。同是使用手机,为什么结局却大相径庭?智能手机让我们足不出户就知“天下事”,淘“天下物”,会“天下人”,但同时它也让我们变得浮躁、没有耐心。它仅仅是一种工具,掌握权其实在我们手里。因此,我们只有合理地使用它,才能最大地发挥它的作用,有“理”才有“具”。
-
-
-
-
摘要:
不可否认是互联网品牌让微型投影机走进了千家万户,但我们也要承认的是,目前多数微型投影机带给用户的仅仅是大画面和使用便捷,画质相比传统投影机还是逊色不少,毕竟微型投影机依旧是精密的光学设备,画质上的调校还需要长时间的钻研才行。而这一点对于传统投影机品牌来说就不是一个问题。所以,传统投影机品牌推出的微型投影机在画质上就有很大优势,比如我们即将要体验的优派M2+微型投影机。
-
-
王瑞芬
-
-
摘要:
进入21世纪以来,科学技术,尤其是计算机网络技术、电子信息技术的飞速发展,使得手机、电脑那些曾经一度昂贵的奢侈品进入了寻常百姓家,成了人们生活中的日常必需品。如今,如果没有手机,人们就不可能随时随地、随心所欲地与亲朋好友保持联系;如果没有网络,人们就不可能随时随地、随心所欲地与远在异国他乡的朋友谈天论地。不可否认,科学技术在一定程度上改变着人们的生活方式,以及人们的文化行为。
-
-
云飞
-
-
摘要:
人工智能是一项战略性技术,具有很强的"头雁效应",在有力推动经济社会发展的同时,也带来一系列风险与挑战。清晰地认识问题,合力准确地"扫除"人工智能创新的阻碍是当务之急。势不可挡的人工智能"洪流"正引领新一轮的科技革命和产业变革,赋能百行百业。尽管我们看到了人工智能的众多好处,但不可否认.
-
-
-
-
摘要:
不可否认,如今的真无线蓝牙耳机产品越来越丰富,品牌也越来越多。当越来越多的传统耳机厂商都在打造自己的真无线蓝牙耳机的时候,手机厂商也开始坐不住了。在去年,我们曾评测过一款来自于OPPO的真无线蓝牙耳机——OPPO Enco Free,而这款耳机也是OPPO的首款真无线蓝牙耳机。本期,我们又拿到了来自OPPO的另外一款真无线蓝牙耳机——Enco W31,这款真无线蓝牙耳机有哪些特色,我们一探究竟。
-
-
手游矩阵;
Sccc(图)
-
-
摘要:
伴随着某知名主播在直播时的大力推广,诞生于11年前的游戏《植物大战僵尸》再一次出现在了大众眼中。大主播直播经常会带动一些冷门或者老游戏焕发新生,《植物大战僵尸》成为了这次的受益者。不可否认,如今一众直播为《植物大战僵尸》带来了热度,但即使没有主播做其推手,它依旧活得有声有色。
-
-
田俊峰;
柴梦佳;
齐鎏岭
-
-
摘要:
越来越多的用户愿意把数据存储在云存储系统中,数据安全是云存储系统面临的关键问题,为了保证存储在云中数据的完整性、有效性,数据持有性验证(PDP)就显得尤为重要.为了验证云存储服务提供商是否完整地存储了用户的数据,基于不可否认PDP (NRPDP)方案提出了一种新的数据持有性验证方案.该方案基于公有验证和私有验证,可以同时对云存储中服务提供商与用户的可信性进行验证,满足了验证的不可否认性.理论证明了该方案的不可否认性,实验验证了各阶段运行时间效率比现有的单一的公有验证方法或私有验证方法更优.
-
-
-
黎波涛;
罗军舟
- 《第十次全国Petri网学术年会暨形式化方法学术讨论会》
| 2005年
-
摘要:
Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J.Zhou和D.Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.