期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
论优质人工智能 预览
1
作者 巴特·维赫雅(著) 黎娟(译) 《甘肃社会科学》 CSSCI 北大核心 2019年第4期92-99,共8页
如何才能在实现人工智能伟大梦想的同时,不让最糟糕的恐惧成为现实呢?这需要开发能够进行建设性批判讨论的论证系统。这一经试验和检测的系统工具可以更好地服务于科学研究、政治、家庭生活。只有基于这样的论证系统,才能开发出面向好... 如何才能在实现人工智能伟大梦想的同时,不让最糟糕的恐惧成为现实呢?这需要开发能够进行建设性批判讨论的论证系统。这一经试验和检测的系统工具可以更好地服务于科学研究、政治、家庭生活。只有基于这样的论证系统,才能开发出面向好的答案、提供好的理由、做出明智选择的优质人工智能。开发优质人工智能的一个瓶颈是架构起知识系统和数据系统之间的桥梁。数据系统的本质是基于已有数据描述数据,并尽可能多地提供好答案,但数据系统本身不能做出选择,也不能提供明确的理由,因其内部操作不透明性而被视为“黑箱”;知识系统使用逻辑,可以给出好答案、提供好理由、做出好选择,但其弊端在于难以规模化,也不能处理视觉和其他几何结构化信息。为此,需要将知识和数据系统各自具备的良好特征结合起来,在寻求正确的数学基础上,开发出能够构建和评价论证的计算机程序。一个预测是:到2025年,这一基于推理开展批判性讨论的论证系统将弥合知识系统和数据系统之间的鸿沟,并为优质人工智能的实现奠定基础。 展开更多
关键词 知识系统 数据系统 论证系统 法律与人工智能
在线阅读 下载PDF
基于加速性混沌反馈结构船体结构论证系统 预览
2
作者 成艳真 《舰船科学技术》 北大核心 2019年第10期4-6,共3页
现有的船体结构论证系统存在着严重的准确率低下的问题,为此设计基于加速性混沌反馈结构的船体结构论证系统。该系统从硬件和软件2个方面进行具体设计,硬件部分铺设I/O设备、存储器和运算器为软件功能的实现提供支持。而软件设计主要借... 现有的船体结构论证系统存在着严重的准确率低下的问题,为此设计基于加速性混沌反馈结构的船体结构论证系统。该系统从硬件和软件2个方面进行具体设计,硬件部分铺设I/O设备、存储器和运算器为软件功能的实现提供支持。而软件设计主要借助混沌反馈结构,将船体结构系统划分成为曲面结构承重能力计算、横纵剖面结构抗压力计算、船体分段结构论证3个部分,分别管理和论证。经过系统测试发现现有的系统误差在–0.12~0.15之间频繁运动,而设计出的论证系统误差可以稳定维持在–0.02~0.10之间,得到的论证结果准确性更高。 展开更多
关键词 混沌反馈 船体结构 论证系统 加速性 反馈结构
在线阅读 下载PDF
可验证计算视角下可信云计算的研究 预览
3
作者 戚利娜 《科技与创新》 2017年第4期34-35,共2页
云计算能否被广泛应用,最主要的一个决定因素就是其可信度。在实际应用过程中,云计算上的所有数据都要完整,同时,在程序执行过程中,要具有较高的精确性。这样,就能够有效拓宽云计算的应用范围。另外,云计算协议能够判断服务器内... 云计算能否被广泛应用,最主要的一个决定因素就是其可信度。在实际应用过程中,云计算上的所有数据都要完整,同时,在程序执行过程中,要具有较高的精确性。这样,就能够有效拓宽云计算的应用范围。另外,云计算协议能够判断服务器内所有的反馈结果,远程服务器并不需要重新操作有关程序。近几年,可验证计算受到了研究人员的高度关注,已经成为可信云计算发展的主要趋势。 展开更多
关键词 云计算 可验证计算 云安全 论证系统
在线阅读 下载PDF
基于可验证计算的可信云计算研究 预览 被引量:8
4
作者 王佳慧 刘川意 +1 位作者 王国峰 方滨兴 《计算机学报》 EI CSCD 北大核心 2016年第2期286-304,共19页
云计算的可信性直接决定了其能否被广泛使用和推广.如果能使得云计算用户验证存储在云平台的数据的完整性或者在云平台执行的程序的正确性,将会大大加快云计算的应用.而可验证计算协议可检测出远程服务器返回的程序执行结果是否正确,且... 云计算的可信性直接决定了其能否被广泛使用和推广.如果能使得云计算用户验证存储在云平台的数据的完整性或者在云平台执行的程序的正确性,将会大大加快云计算的应用.而可验证计算协议可检测出远程服务器返回的程序执行结果是否正确,且不需要将远程服务器所执行的程序再重新执行一遍.因此,近年来,可验证计算协议引起了学术界和工业界的广泛关注,成为实现可信云计算的一种建设性思路.文中在系统梳理和总结可验证计算协议国内外相关研究的基础上,依据可验证计算协议的实施流程对其按照编译处理和证明系统分类.其中,依据可验证计算协议使用的编译器的复杂程度,分为使用简单编译器的可验证计算协议和使用复杂编译器的可验证计算协议;依据证明系统的分类,主要研究基于交互式证明系统的可验证计算协议和基于论证系统的有预处理的可验证计算协议.随后对依据证明系统划分的每一分类,围绕基本定义、典型协议原理及流程、适用应用场景、性能分析等问题,对基于可验证计算的可信云计算进行了综述.最后,总结和展望了待解决的关键性问题和未来的研究方向.上述工作将对可验证计算协议在云计算中的应用起到一定推动作用. 展开更多
关键词 云计算 可验证计算 云安全 交互式证明系统 论证系统
在线阅读 下载PDF
基于Web的大型仪器设备论证系统设计 预览 被引量:1
5
作者 路月 赵静 +1 位作者 任志波 孙学军 《实验室研究与探索》 CAS 北大核心 2016年第7期292-294,301共4页
针对当前高校实验室大型仪器设备论证数量日益增加的现状,遵循四个便利化原则,提出了基于Web的大型仪器设备论证系统解决方案,在此基础上进行了系统设计。该论证系统采用当前流行的浏览器/服务器模式,采用ASP.NET语言进行编码,使用SQL S... 针对当前高校实验室大型仪器设备论证数量日益增加的现状,遵循四个便利化原则,提出了基于Web的大型仪器设备论证系统解决方案,在此基础上进行了系统设计。该论证系统采用当前流行的浏览器/服务器模式,采用ASP.NET语言进行编码,使用SQL SERVER进行数据存储。该系统操作简单,结构清晰,简化了大型仪器设备申购流程,便于论证专家与申请者沟通交流,方便实验办管理人员快速合理安排论证,同时易于查询总体设备论证情况。论证系统的上线运行有效提升了工作效率,为进一步改进高校大型仪器设备论证工作提供了重要参考。 展开更多
关键词 大型仪器设备 论证系统 项目审核 短信猫
在线阅读 下载PDF
环保投资项目的专家论证系统 预览
6
作者 罗勇 《环境保护科学》 2002年第2期 28-30,共3页
专家论证系统,是一种能使环保投资项目达到环境与经济"双赢"效果的保障模式.
关键词 环保投资 投资项目 专家论证 论证系统
在线阅读 免费下载
新范式论证系统的效益 预览
7
作者 郑士贵 《管理观察》 1995年第9期53-54,共2页
在市场经济条件下,效益充实着新的更丰富的内涵,其形成方法发生了变化,激励因素在增强。评价任何生产者活动的主要准则是在生产出的产品有利于社会并直接为社会人服务的基础上,生产者自身活动也获得利益.这时,社会人成为效益形... 在市场经济条件下,效益充实着新的更丰富的内涵,其形成方法发生了变化,激励因素在增强。评价任何生产者活动的主要准则是在生产出的产品有利于社会并直接为社会人服务的基础上,生产者自身活动也获得利益.这时,社会人成为效益形成的中心环节。提高效益的方法应该在形成智能更高更强的个人、发展保证个人形成的社会进步的道路上去寻找。特别注意建设获得食物和服务的生态净化生产,提高人的劳动能力,改善人的智能,延长寿命。经济效益在很大程度上取决于社会选择新的范式。确信必须论证新的范式。介绍了经济学家论证新范式的方法.占优势的趋势是在发展人类社会时承认社会文明方法。作者认为,他以最概括的形式在建立合营公司和混合经济中找到了自己的体现.其基本原理是在社会经济模式和政治模式的多种方案和多样化的基础上利用最优先发展社会的方问。结束语部分指出,混合经济只是社会有效地发展社会经济新方向的初始阶段,社会要求考虑充分的科学论证方法。在新范式经济论证体系中存在着许多社会生产管理的方式方法,而这些方式方法和混合经济一起可以为不断提高社会的社会经济效益创造条件。 展开更多
关键词 论证系统 新范式 混合经济 提高效益 科学论证方法 社会经济模式 社会经济效益 社会人 社会选择 市场经济条件
在线阅读 下载PDF
协会功能与行业规范 预览
8
作者 李琛 《中国电子与网络出版》 2000年第5期9-9,共1页
中国版协电子出版研究会成立于1992年,在湖北宜昌开的会。当时电子出版发展相当快,我们意识到新闻出版行业应该抓住发展机遇,即以图书司、科技发展司共同研究,首先给中央打报告,明确电子出版划分到新闻出版范围内,作为新闻... 中国版协电子出版研究会成立于1992年,在湖北宜昌开的会。当时电子出版发展相当快,我们意识到新闻出版行业应该抓住发展机遇,即以图书司、科技发展司共同研究,首先给中央打报告,明确电子出版划分到新闻出版范围内,作为新闻出版行政管理的一部分。电子出版起步阶段,技术力量大部分是在计算机公司,比如方正、希望。刚一开始,电子出版有些跨行业,也分不清出版单位与非出版单位,所以成立一个协会来协助行政机关,协调行业的发展很有必要。 当时,中国软件协会有一个软件出版分会,牵头单位是电子工业出版社。我们两个协会活动经常在一起。1994年组织举办了国内第一次电子出版国际研讨会和展览。虽然规模不太大,主要是研讨会,但国 展开更多
关键词 电子出版 信息交换格式 新闻出版行业 科技发展 网络出版 网络经济 新华书店总店 规范和标准 论证系统 出版单位
在线阅读 下载PDF
大型办公室信息系统的计划和采用 预览
9
作者 刘凤云 《管理观察》 1996年第9期40-40,共1页
关键词 信息系统 办公室 信息服务 通信网 用户服务 技术装备程度 通信公司 服务系统 论证系统 世界通信
在线阅读 下载PDF
逻辑论证系统的语形、语义及语用关系析 预览 被引量:1
10
作者 吴新民 《内蒙古师范大学学报:哲学社会科学版》 2002年第4期 76-78,共3页
逻辑论证,就它本身来说无论是严格的,还是不严格的,它都联系着论证系统的语形、语义.笔者在阐明概念限制的逻辑论证支点与论证系统相互联系的基础上,论述了逻辑论证系统的语形、语义及语用之间的关系.
关键词 语用关系 逻辑论证系统 语形 语义
在线阅读 下载PDF
LNG船船型论证系统设计 预览
11
作者 初良勇 《水运管理》 2001年第6期 16-18,6,共4页
关键词 液化天然气 LNG船 船型 论证系统设计
在线阅读 下载PDF
科技风险的伦理思考 预览 被引量:2
12
作者 杨雪聘 《武汉科技大学学报:社会科学版》 2001年第4期 38-39,共2页
一项科技活动的最终结果存在着与科技的目标之一——善相反的可能性,这就是科技风险.可以说,科技风险始终伴随着科学技术的进步与发展,而且随着人的认识能力与科学技术水平的不断提高,科学技术所涉及的领域的不断拓展,科学技术成果的应... 一项科技活动的最终结果存在着与科技的目标之一——善相反的可能性,这就是科技风险.可以说,科技风险始终伴随着科学技术的进步与发展,而且随着人的认识能力与科学技术水平的不断提高,科学技术所涉及的领域的不断拓展,科学技术成果的应用在人类的生活中变得越来越重要,科技的风险也在不断地增大.人们要考虑的,就是怎样尽可能地减少科技的风险,使每一项人类的科技活动可能产生的负效应减少到最小. 展开更多
关键词 评论机制 专家论证系统 道德自律 科技风险 伦理 科学技术 科学家
在线阅读 下载PDF
投资项目专家论证系统研究
13
作者 赵建华 韩占一 《中国投资》 CSSCI 2000年第7期 39-41,共3页
关键词 项目投资管理 专家论证系统 定量论证 指标体系
内河机动货船计算机辅助论证系统 预览
14
作者 陈顺怀 董元胜 《中国水运》 1997年第2期 33-34,共2页
关键词 内河船 货船 计算机 辅助论证系统 船舶造价
在线阅读 下载PDF
议论文逻辑论证结构与篇章结构的比较 预览
15
作者 张广岩 《山东师范大学学报:人文社会科学版》 1986年第1期89-96,共8页
【正】 议论文是议论说理的文章。从逻辑的角度说,“议论文就是运用逻辑推理来说明道理,揭示事物之间因果联系的文章”。(《苏联的作文教学》第274页)议论为其基本表达方式,论证作为主要表达手段。因为议论文是中学语文教学中,对学生... 【正】 议论文是议论说理的文章。从逻辑的角度说,“议论文就是运用逻辑推理来说明道理,揭示事物之间因果联系的文章”。(《苏联的作文教学》第274页)议论为其基本表达方式,论证作为主要表达手段。因为议论文是中学语文教学中,对学生进行读写训练的常用文体之一,所以对议论文的研究一向比较重视,专著、文章都比较多。但是在语文教学的实践中,在中学语文教学法课程中,仍然有不少的教师、学生,对议论文教学所涉及的一些基本概念弄不清楚。比如,当讲到论题(或“论点”)、论据、论证(或“论证方式”)是议论文的三个构成要素的时候、有的学生提出质疑,这三个要素与序论(绪论、引论)本论、结论这三个构成都分,有什么不同?是一种什么关系?学生的质疑引起了我的思考,也是我写 展开更多
关键词 议论文教学 篇章结构 逻辑论证系统 中学语文教学 论题 论证方式 解决问题 文章 结构分析 构成要素
在线阅读 下载PDF
装备需求论证支持系统柔性设计理论研究 被引量:1
16
作者 樊延平 郭齐胜 何国良 《装甲兵工程学院学报》 2015年第5期1-5,共5页
针对装备需求论证实践的多样化应用需求,以装备需求论证任务、环节、流程及其信息资源服务为核心,分析了装备需求论证支持系统柔性的概念内涵与主要特征,提出了装备需求论证支持系统柔性设计的目标定位、指导理念、主要内容、遵循原则... 针对装备需求论证实践的多样化应用需求,以装备需求论证任务、环节、流程及其信息资源服务为核心,分析了装备需求论证支持系统柔性的概念内涵与主要特征,提出了装备需求论证支持系统柔性设计的目标定位、指导理念、主要内容、遵循原则与实施步骤,建立了装备需求论证支持系统柔性设计的总体框架,为构建具备柔性的装备需求论证支持系统奠定了理论基础。 展开更多
关键词 装备需求 论证支持系统 柔性设计 理论框架
应用信息技术促进科学论证教学 预览 被引量:2
17
作者 罗秀玲 黄甫全 《电化教育研究》 CSSCI 北大核心 2014年第7期17-23,共7页
提高公众科学决策能力的诉求催使科学论证教学在国际科学教育领域逐步兴起并迅速发展。信息技术以其强大功能,在支持和促进科学论证教学实施中具有独特优势。它在论证激发上,能提供生动丰富的信息背景和资源,创设科学论证问题情境;... 提高公众科学决策能力的诉求催使科学论证教学在国际科学教育领域逐步兴起并迅速发展。信息技术以其强大功能,在支持和促进科学论证教学实施中具有独特优势。它在论证激发上,能提供生动丰富的信息背景和资源,创设科学论证问题情境;在论证组织上,可协助最优化学习分组与筛选种子论说,有助于学生深入开展论证;在论证建构上,可搭建脚手架和交流平台,支持论证建构与分享;在论证评价上,可以逐步实现智能化交互分析反馈,促进论证反思与完善。 展开更多
关键词 信息技术 科学论证教学 网络化科学论证教学系统
在线阅读 下载PDF
空间任务论证仿真系统中异类RTI连接技术研究 预览 被引量:1
18
作者 张玉珠 孟新 潘忠石 《计算机工程与设计》 CSCD 北大核心 2012年第3期 1068-1072,1078,共6页
为使空间任务论证仿真系统具有可重用性和扩展性,将异类运行支撑环境(runtimeinfrastructure,RTI)连接技术引入其中,使其能够在不同任务的论证过程中使用已有的联邦成员。通过分析高层体系结构(highlevelarchitecture,HLA)在该... 为使空间任务论证仿真系统具有可重用性和扩展性,将异类运行支撑环境(runtimeinfrastructure,RTI)连接技术引入其中,使其能够在不同任务的论证过程中使用已有的联邦成员。通过分析高层体系结构(highlevelarchitecture,HLA)在该系统中的应用关键技术,以及基于桥接盟员和异类RTI的概念,设计并实现了桥接软件以连接采用不同RTI建立的联邦成员,从而能够快速构建针对不同任务的空间任务论证仿真系统。对桥接软件的时间推进请求响应速度进行了测试,实验结果表明该桥接软件高效且可行。 展开更多
关键词 空间任务论证仿真系统 高层体系结构 异类运行支撑环境 桥接盟员 可重用性
在线阅读 下载PDF
增值税发票认证识别管理系统 预览 被引量:1
19
作者 周艳琼 子荫 《四川会计》 2000年第6期 40-41,共2页
关键词 增值税发票 发票管理 论证识别管理系统
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈