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

现代出版 2025年第1期 30-39页

作者：胡翼青滕金达南京大学新闻传播学院

在数智媒介时代,人类已置身于具有高度生成性和不确定性的平台世界,可计算性成为数字基础设施的灵魂。这种可计算性由数字的可换算性和可编码性构成,具有数字本体论的色彩。可计算性组织起来的平台世界极大地动摇了我们既有的知识体系,... 详细信息

在数智媒介时代,人类已置身于具有高度生成性和不确定性的平台世界,可计算性成为数字基础设施的灵魂。这种可计算性由数字的可换算性和可编码性构成,具有数字本体论的色彩。可计算性组织起来的平台世界极大地动摇了我们既有的知识体系,改变了我们的社会交往方式,甚至重构了我们存在的意义。可计算性本身就是当代人类的重要标识,它在与人类的共在关系中生成,人类也因此必须承担它带来的后果。人类迫切需要在可计算性组织起来的庞大机器体系面前,寻找自己的主体性、差异性以及生命过程的独一无二性。

关键词：平台可计算性可换算性可编码性

来源：评论

学校读者我要写书评

暂无评论

四维时空高效利用的装箱调度问题及其可计算性证明

引用

计算机学报 2013年第9期36卷 1880-1888页

作者：黄文奇何琨华中科技大学计算机科学与技术学院武汉430074

提出了四维时空中考虑时间因素的一个长方体装箱工作的优化调度问题.已知一个形状大小任意给定的长方体形的箱子和有限个形状大小分别任意给定的长方体形的刚性物体,又知每个物体须在箱中连续烘烤的时间长度,问应如何安排每个物体的入... 详细信息

提出了四维时空中考虑时间因素的一个长方体装箱工作的优化调度问题.已知一个形状大小任意给定的长方体形的箱子和有限个形状大小分别任意给定的长方体形的刚性物体,又知每个物体须在箱中连续烘烤的时间长度,问应如何安排每个物体的入箱时刻,以及至出箱前这段时间内它在每个时刻上的位置和方向,才能使整个箱子的被使用时间最少.问题中涉及的箱子及诸长方形刚体的长、宽、高以及各刚体须连续烘烤的时间长度均为分别任意给定的正实数.与经典装箱问题的不同之处在于,各物体在箱子内可以随时间而改变其位置和方向,从而使四维时空得到更真实、更充分的利用.进一步地,通过枚举长方体的各种排列,并证明对每一种排列,按照某种贪心策略可得到该排列下问题的最优解,从而给出了原问题具有可计算性的严格证明.在此基础上,今后有望对此问题发展出各种有效的实用求解算法.

关键词：可计算性装箱调度优化 NP难度

来源：评论

学校读者我要写书评

暂无评论

气液两相流界面多尺度问题可计算性研究进展

引用

化工学报 2014年第12期65卷 4645-4654页

作者：张文伟柯鹏杨春信周成龙北京航空航天大学航空科学与工程学院北京100191 北京航空航天大学交通科学与工程学院北京100191

气液两相流复杂多变的界面结构在瞬态时间上具有宽广的空间尺度范围。界面多尺度问题涉及化工领域、核安全领域以及其他多个领域,其可计算性是当前国内外气液两相流领域的研究焦点之一。分析了欧拉体系下处理气液两相流相界面不连续性... 详细信息

气液两相流复杂多变的界面结构在瞬态时间上具有宽广的空间尺度范围。界面多尺度问题涉及化工领域、核安全领域以及其他多个领域,其可计算性是当前国内外气液两相流领域的研究焦点之一。分析了欧拉体系下处理气液两相流相界面不连续性的两种基本模型以及湍流模拟方法对界面结构的影响。针对离散流界面尺度分布性和混合流界面跨尺度性两类多尺度问题,分析了可计算性研究面临的困境,将其归因于网格尺度的约束、几何及物理边界的缺失。重点归纳了混合流界面跨尺度性问题的计算方法以及典型应用。最后对气液两相流界面多尺度问题提出了应对策略及研究趋势,为此类问题研究提供有益的参考。

关键词：气液两相流界面多尺度计算流体力学可计算性

来源：评论

学校读者我要写书评

暂无评论

Co-regular集的可计算性探讨