检索结果-内蒙古大学图书馆

Computability and logic = 可计算性与数理逻辑 / 4th ed.

引用

2003年

作者： Boolos George.

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

可计算性理论

引用

丛书名：计算机科学丛书

1987年

作者：莫绍揆王元元

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

配电网规划决策中的可计算性问题研究

引用

电力系统保护与控制 2017年第22期45卷 16-21页

作者：郑博文李姝润杨隽杨承辰鲍小峰王承民刘涌玉溪供电局云南玉溪653100 上海交通大学上海200240 上海博英信息科技有限公司上海200240

为了对配电网规划问题进行简化,首先针对配电网规划过程中的不确定性进行分析,研究了配电网规划决策中的可接受偏差和可计算性问题。通过引入可接受偏差,将配电网规划问题转化为一个可计算性问题,建立了配电网规划决策的标准数学模型和... 详细信息

为了对配电网规划问题进行简化,首先针对配电网规划过程中的不确定性进行分析,研究了配电网规划决策中的可接受偏差和可计算性问题。通过引入可接受偏差,将配电网规划问题转化为一个可计算性问题,建立了配电网规划决策的标准数学模型和算法公式。利用该数学模型和算法对66 kV变电站的供电半径规划进行建模计算。计算结果表明,基于可接受偏差的配电网规划模型和算法是有效和实用的。该模型和算法可以简化配电网规划的流程,为确定配电网规划原则提供参考。

关键词：配电网规划可计算性数学建模可接受偏差供电半径

来源：评论

学校读者我要写书评

暂无评论

Notes on interaction and Turing-computability

引用

Chinese Science Bulletin 2004年第23期49卷 2543-2544页

作者： LIUXingwu XUZhiwei SUNYuzhong DivisionofSoftware InstituteofComputingTechnologyChineseAcademyofSciencesBeijing100080China//GraduateSchoolChineseAcademyofSciencesBeijing100039China InstituteofComputingTechnology ChineseAcademyofSciencesBeijing100080China

Provides information on the interaction model in computing technology. Relationship between interaction and algorithm; Simulation of the Turing machine paradigm; Illustration of theorems.

关键词：交互作用图灵机可计算性计算机技术

来源：评论

学校读者我要写书评

暂无评论

社会系统多元情景可计算模式研究

引用

管理科学学报 2017年第1期20卷 53-63页

作者：梁茹陈永泰徐峰盛昭瀚南京大学工程管理学院南京210093 南京大学社会科学计算实验中心南京210093 江苏大学管理学院镇江212013

鉴于社会系统主体的适应性、结构的涌现性及演化路径的多样性,需要从情景着手来更好地研究社会系统.首先基于复杂科学视角,界定社会系统情景的深刻内涵;其次,分析社会系统情景可计算性的三层结构模型;第三,构建从实际情景到概念情景、... 详细信息

鉴于社会系统主体的适应性、结构的涌现性及演化路径的多样性,需要从情景着手来更好地研究社会系统.首先基于复杂科学视角,界定社会系统情景的深刻内涵;其次,分析社会系统情景可计算性的三层结构模型;第三,构建从实际情景到概念情景、从概念情景到结构化情景、从结构化情景到计算机实现的社会系统多元情景近似可计算模式;最后,以典型的社会系统——太湖流域复合系统为研究对象,采用"自上而下"与"自下而上"的研究思路,提出该系统情景近似可计算模式的研究方案,并分析政府不同偏好对该系统情景演化的影响,以期为社会系统研究提供新的理论元素和方法论指导.

关键词：复杂系统模型体系情景可计算性

来源：评论

学校读者我要写书评

暂无评论

大数据并行计算框架

引用

科学通报 2015年第5期60卷 566-569页

作者：陈国良毛睿陆克中深圳大学计算机与软件学院深圳518060 广东省普及型高性能计算机重点实验室深圳518060 深圳市服务计算与应用重点实验室深圳518060

大数据是当前IT信息技术研究和应用的热点,但目前的研究多集中在系统和应用层面,而理论基础研究方面相对较少.本文以计算复杂性理论为基础,针对大数据量大、快速和多样性等挑战,着重研究大数据的可计算性及其计算原理.首先将多种类型的... 详细信息

大数据是当前IT信息技术研究和应用的热点,但目前的研究多集中在系统和应用层面,而理论基础研究方面相对较少.本文以计算复杂性理论为基础,针对大数据量大、快速和多样性等挑战,着重研究大数据的可计算性及其计算原理.首先将多种类型的大数据抽象到度量空间进行统一化表示以解决多样性问题,其次在度量空间中基于距离对大数据进行划分,最后运用NC类计算理论等并行计算理论和方法对大数据问题进行并行求解,以解决量大和快速等问题.本文从更广的视角,根据大数据的特性和大数据整个生命周期,提出处理大数据的策略和技术以及需要变革思维方法研究大数据.

关键词： NC类计算度量空间数据划分可计算性

来源：评论

学校读者我要写书评

暂无评论

图像媒介与颜色理论的历史生成——摄影术、水彩与数字图像

引用

北京电影学院学报 2024年第9期 14-25页

作者：朱恬骅上海社会科学院文学研究所

维特根斯坦《关于颜色的评论》中引入的“白色透明玻璃”问题,展现了“现象学时期”以来维特根斯坦对摄影术的哲学征用,并通过“类比的崩溃”提示颜色概念的逻辑同图像媒介存在依赖关系。作为维特根斯坦参照的对象,歌德颜色学说同样深... 详细信息

维特根斯坦《关于颜色的评论》中引入的“白色透明玻璃”问题,展现了“现象学时期”以来维特根斯坦对摄影术的哲学征用,并通过“类比的崩溃”提示颜色概念的逻辑同图像媒介存在依赖关系。作为维特根斯坦参照的对象,歌德颜色学说同样深受图像媒介的影响,其对牛顿光学的反对,依据在于伦格等浪漫派画家对水彩绘画的研究。这组对照显示,颜色理论在其历史生成过程中同图像媒介的演变相平行,并且归根结底是图像媒介要求了不同的颜色概念的逻辑。这一结论可以拓展到当下主导性的数字图像媒介上,即自动技术装置的编码与算法要求并体现了新的颜色概念及其“逻辑”,其基础在于可计算性。

关键词：颜色概念的逻辑图像媒介维特根斯坦可计算性

来源：评论

学校读者我要写书评

暂无评论

系统动态行为语义模型及其形式描述

引用

计算机研究与发展 1999年第8期36卷 907-914页

作者：钱军冯玉琳中国科学院软件研究所计算机科学开放研究实验室中国科学院软件研究所对象技术中心

文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文... 详细信息

文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文中还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征，包括交互、并发和分布等．文中是以一个全新的角度去审视那些主要的、较为成熟的模型和方法，针对分布对象计算系统的动态行为特点加以分析和比较，为系统地建立分布对象计算系统的计算模型和语义理论打下一定基础．

关键词：语义模型形式描述系统动态行为可计算性

来源：评论

学校读者我要写书评

暂无评论

人工智能与机器学习:算法基础和哲学观点

引用

上海师范大学学报（哲学社会科学版） 2018年第3期47卷 13-24页

作者：克劳斯.迈因策尔贾积有慕尼黑工业大学教育学院北京大学教育学院

图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文章提出一个可以在自然界和技术上实现的关于智能度的工作定义来替代图灵测试关于机器智能的定义。自然智能在具有不同程度复杂性... 详细信息

图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文章提出一个可以在自然界和技术上实现的关于智能度的工作定义来替代图灵测试关于机器智能的定义。自然智能在具有不同程度复杂性的神经系统和大脑的自然进化中出现。人工智能是在技术发明中发展起来的,依赖于传统图灵机计算机能力的指数增长。大脑、自动机和机器似乎是完全不同的,但它们在语言识别方面是数学等价的。具有不同复杂程度的自动机和机器的层次结构是可以区分的,因为它们可以通过适当的神经网络识别相同类型的语言。根据这样的工作定义就得到了自然和技术上的智能度。特别值得注意的是模拟神经网络,它能够像人类大脑那样具有自然语言能力,这超出了图灵可计算性。因此,需强调可通过神经形态计算体系结构实现的模拟和数字智能。但是,智能决不简单等同于大脑和计算机。模拟和数字元素也被整合到全球物联网中,以解决不同程度的智能问题。

关键词：人工智能可计算性智能度语言识别自动驾驶工业4.0 区块链

来源：评论

学校读者我要写书评

暂无评论

机器行为学视角下算法治理的理论发展与实践启示

引用

电子政务 2021年第7期 15-22页

作者：贾开徐杨岚吴文怡电子科技大学公共管理学院四川成都611731 北京航空航天大学网络空间安全学院北京100191

算法的应用日益普及,围绕如何管控算法应用风险并兼顾创新发展的算法治理研究,正在成为理论和实践关注的焦点议题。但将算法治理局限为应对新兴技术发展风险的已有研究视角仍然束缚了对于当前现象的深入理解,“机器行为学”理论将算法... 详细信息

算法的应用日益普及,围绕如何管控算法应用风险并兼顾创新发展的算法治理研究,正在成为理论和实践关注的焦点议题。但将算法治理局限为应对新兴技术发展风险的已有研究视角仍然束缚了对于当前现象的深入理解,“机器行为学”理论将算法视为嵌入社会环境并具有主体性的行动者,从“触发、发展、功能、进化”四个议题、“机器个体、机器群体、人机混合”三个层次为解构算法治理复杂现象提供了更完整的理论框架。基于对“机器行为学”基本内涵的解释,阐述了其对于算法治理理论的三重发展,以及实践改革的三重启示。研究结论的核心观点在于,人工智能背景下的算法治理需要重视算法应用所处环境,并通过分析算法技术与其应用环境的相互影响关系揭示导致治理风险的复杂原因,并在此基础上制定相对应的治理框架。

关键词：算法治理机器行为学算法行为可计算性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：