机场供电三维仿真培训系统的研究

将系统仿真技术应用于机场供电培训系统,基于DeltaSD三维仿真引擎设计实现机场供电三维仿真培训系统,具有良好的交互性,为机场供电培训提供了一种有效的方法。对系统组成模块及三维场景创建过程进行了论述,提出了基于电气特性的配电柜操作仿真方法,基于故障模型实现了继电保护和设备异常的仿真;给出了基于柴油机工作状态的有穷状态自动机模型,实现了基于物理模型的柴油机虚拟操作;设计完成了机场供电三维仿真培训系统并进行了应用验证。     

从几何学到物理学——十八世纪前后西欧形而上学的自救之路

对确定性的普遍寻求,是西欧文艺复兴以降知识界的思想气候,形而上学在近代的曲折遭际,即在此背景下展开。从笛卡尔、斯宾诺莎中经莱布尼兹再至康德,形而上学的自救之路在根本策略上经历过一个巨大的转换,即从模仿数学、尤其是几何学转变为模仿自然科学、尤其是物理学,最终康德找到了根自形而上学本性的根本方法"先验逻辑"。理性的内涵,也由17世纪倾心于"几何式"的"分析理性"和"演绎理性",一变而为18世纪那种既不同于前者、又有别于黑格尔的"思辨理性"和20世纪的"工具理性"的、以牛顿力学为典范的"分析还原而后理性重建"的理性精神。对知识之确定性根源的哲学探究也由17世纪的"根基"和"方法"路向转为18世纪的对"形式"和"功能"的考量。     

江户时代日本学者对《授时历》五星推步的历理分析

推算行星运动状态的五星推步,是中国古代历法中最为复杂的算法,其隐晦不明的构建原理及其相关的"限度"概念的数理意义,是学术界关心的困难问题。考察日本江户时代关于《授时历》的注解书可以发现,江户时代日本人对这方面问题有所探讨。中西敬房在其《历学法数原》(1787)卷5中,对《授时历》五星推步算法中的"限度"概念提出疑问,并怀疑行星运动推算精度偏低可能与参数"限度"的引入有关。在其前,建部贤弘已在《授时历术解》(约18世纪初)中对"限度"概念给出了数理解释,同时也解释了五星推步算法的数理意义,并探讨了内行星计算公式中系数的数理意义及其精度问题。约19世纪初,大野正辰在其《授时历秘诀》(约19世纪初作品)中也对内行星公式中系数的意义给出解释,但他的注解局限于数学解释,缺乏物理意义的解释。在江户时代这些注解的启发下,文章重新探讨五星推步算法的数学原理,认为中国古代历学家利用复合函数、通过对太阳运动改正与行星运动改正进行叠加的数值方法建立了五星推步算法。     

翁贝格:站在炼金术与现代化学交界处的化学家

翁贝格(Wilhelm Homberg或Guillaume Homberg,1652-1715)是17世纪末18世纪初巴黎科学院最为活跃和出名的科学家,是"前拉瓦锡时期"化学的重要代表人物。本文细述了这位化学家的传奇科学生涯和他在化学脱离炼金术而向现代体系转变之际做出的独特贡献,其中重点论证了他的个人经历所例证的早期化学职业道路、他在化学中对实验物理学工具与方法的应用、他以物质研究为目标的"后炼金术"实验和他在理论建构中对于化学基质的"物质化"。本文旨在呈现初化学学科日渐独立之时其多种思想与社会资源的交汇与互动,理解化学革命的内在复杂性。     

崇拜蛇的印度人

正像我们常说自己是龙的传人一样,印度古代不少部落和朝代都声称自己是那伽即蛇的传人:祖先与那伽女结合而生的子孙。蛇是占代印度崇拜的动物,它既象征死亡,又象征生殖。那伽精灵即半人半蛇的形象在印度古代广受崇拜。在印度神话传说中那伽可以化为人形,这时它的形象一般表现为下半身是蛇体上半身是人形。那伽女(即蛇女或龙女)历来是美丽动人的     

1770年的“人造智能”——从仿人智能事件到霍夫曼、比尔斯的早期机器人叙事

如果能下象棋的智能机器在1770年就已面世，会在当时引发怎样的冲击？在18世纪“人机类同论”和技术乐观思维影响下，仿人自动机乃至“人造智能”从精密机械技术中演变出来。1770年的“象棋土耳其人”被誉为“世纪发明”，作为人的机械拟态和镜像它者在社会上引发了惊喜奇观与恐惑不安的撕裂效应。这种“人造智能”虽是骗局，但它是仿人智能的典型代表，直接催生了霍夫曼和比尔斯等作家早期机器人叙事中对人性的实验、解构与重新认识，通过叙事再现了现当代人在面对自我异化仿制时的危机体验和不安情绪。     

沙俄为何贱卖"宝地"阿拉斯加?

打开美国地图,会发现它在本土以外隔着加拿大还有一块领土——阿拉斯加,在1867年以前是属于沙俄的。17-18世纪阿拉斯加被俄国的"土地开拓者"发现,自18世纪80年代起沙俄在此建造居民点。1798年成立俄罗斯美洲公司(俄美公司),独家经营渔猎场并开采矿物。1867     

科学与诗意的互访——科学、艺术(审美)、创新:跨学科理论与研究方法高峰论坛综述

2007年12月18日至21日,"科学、艺术(审美)、创新:跨学科理论与研究方法高峰论坛"在重庆的西南大学举行.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

神农架人形动物之谜

2003年7月2日,宜昌某报率先披露了在神农架天门垭公路南侧发现一人形动物的消息。目击者为神农架邮车司机、同车的湖北广播电台神农架记者站的记者和神农架林区宣传部的干部等一行6人。之后几天内,全国各地报刊陆续刊载了人形动物     

2023人形机器人为啥这么火

<正>不久前,工业和信息化部印发的《人形机器人创新发展指导意见》指出,人形机器人集成人工智能、高端制造、新材料等先进技术,有望成为继计算机、智能手机、新能源汽车之后的颠覆性产品。2023年12月29日,香港交易所迎来一位特殊的敲钟人——人形机器人Walker S。它和主人——深圳市优必选科技股份有限公司（以下简称“优必选”）董事会主席周剑一起敲响开市锣。     

“863”计划出台 贯穿改革开放的伟大科技工程

正"863"计划承载了中国几代科学家的激情与梦想,也让曾经辉煌的古老中国在世界科技领域获得了瞩目与荣光。1986年11月18日,一个面向21世纪的中国战略性高科技发展计划正式公之于世,这就是开启新中国科技腾飞历程的"863"计划。"863"计划是怎样出台的?其中饱含着科技工作者与国家领导人怎样的奉献与求索、使命与担     

人工影响天气技术的STSE研究

STSE研究纲领是对STS的拓展,从S(科学)、T(技术)、S(社会)到E(生态/环境).呼风唤雨是人类古老的愿望,进入工业社会后,通过"科技产业链"来实现:气象学提供科学解释及其技术干预可能性,据此发明产品,继而形成产业.19世纪中期,埃斯皮提出降雨机制的一种解释,并进行降雨试验,但未成功.二战后,基于新的降水理论,...     

人工智能

<正>人工智能(artificial intelligence,AI)是解释和模拟人类智能、智能行为及其规律的学科,主要任务是建立智能信息处理理论,进而设计可展现近似于人类智能行为的计算机系统。人工智能被认为是21世纪三大尖端技术(基因工程、纳米科技、人工智能)之一。人工智能一词最初是在1956年达特茅斯会议上,由约翰·麦卡锡提出的。在之后的60多年里,人工智能取得了一连串里程碑式的突破:1997年"深蓝计算机"(Deep Blue)击败了当时的世界象棋冠军卡斯帕罗夫(Garry Kasparov); 2011年超级电脑"沃森"(Watson)     

清华大学国家CIMS工程研究中心

一、面向创新设计的虚拟产品开发 "面向创新设计的虚拟产品开发"是863/CIMS主题重大攻关项目.该成果完成了基于产品开发管理技术建立了支持虚拟产品开发(VPD)全过程的支撑平台,实现了一个能够对产品的外观、性能(运动学性能、动力学性能等)、可装配性、可制造性进行分析的集成化、可视化仿真环境,在物理样机建立前便使产品效果、功能、性能得以分析、综合及三维可视化显示,以得到满意方案,力争一次成功,从而提高新产品设计效率.     

国家地质调查应用网格系统(NGG)

国家地质调查应用网格系统(NGG)是由国家"863"计划专项"高性能计算机及其核心软件"支持的课题"资源环境应用网格构建"的研究成果.该系统以国家地质调查工作为依托,引入网格理念、并以此为技术支撑体系,设计完成了整个系统框架结构与网格资源部署,基于WEB技术研制开发了应用网格平台和专业应用网格系统,实现领域内应用层面的互通互联、资源共享和协同工作.中国地质调查局为课题负责单位,与北京航空航天大学、国防科技大学等单位共同合作完成.     

《几何原本》在朝鲜述要

朝鲜学者自17世纪后期开始接触汉译《几何原本》(以下简称《原本》),到18世纪中后期出现了一批研究学习该著作的学者,他们收集、传抄、学习、研究《原本》,并有相关著述。本文首先讨论了《原本》最初传播到朝鲜的情况和可能接触到该书的第一批数学家,接着说明清朝学者何国柱向朝鲜数学家洪正夏介绍《原本》的情况,然后分析18世纪中后期学者李瀷和黄胤锡对《原本》的引用与认识的两个案例,最后概述18世纪后期到19世纪前期一批朝鲜学者——包括数学家、历学家、实学家、哲学家、宗教学者等——研究《原本》的情况。     

安全性理论对盖梯尔问题的分析与处理——可能世界视阈下的认知运气问题研究

在21世纪初"反运气"的大潮中,基于知识与运气的不相容性假设,安全性理论(基于安全性的知识解释)诉诸可能世界语义学来拒斥引发盖梯尔问题的认知运气,主张知识必须是安全的、不能轻易出错。安全性理论能够很好地排除真理性运气,解决由其导致的盖梯尔反例,但是无法直接去除反思性运气,而是需要结合内在主义辩护。对安全性理论可作强、弱两种不同程度的解读,两者都会导致得出与人类直觉相悖的结论,难以处理"彩票命题"和"普通命题";中级安全性理论作为对强、弱安全性理论的调和而被提出,但是由于其表述的模糊性从而依然不能完全摆脱理论困境。尽管如此,安全性理论仍然在可能世界视阈内将对知识成立条件的探索推进到全新高度,为后续研究提供了丰富资源和明晰线索。     

现代术语学理论要览

<正>20世纪30年代到90年代,经由现代术语学之父——欧根·维斯特及其后继者的不懈努力,普通术语学理论(general theory of terminology,又称为"传统术语学"或"经典术语学")作为一门独立的交叉学科得到国际社会(如:国际标准化组织(ISO)和联合国教科文组织(UNESC))的承认,并且以此作为理论基础制定了一系列指导国际术语工作的原则与方法。普通术语学理论的基本要点     

从“格致”到“科学”——浅识中国传统文化的继承性

"科学"一词的溯源及其理念的讨论 "science"(科学)一词,源于拉丁文"scientia""scientin",系指知识、学问之意,相当于希腊文的"sophia",乃"智慧"之意,叠词的"philosophia "系为哲学,18世纪后,在西方演变为广义的"科学 ".法文为"science",德文为"Wissenschaft",俄文为"Нayкa".