性别、技术与帝国——评《程序化的不平等:英国如何抛弃女性技术人员并失去其在计算领域的优势》北大核心CSCD

Marie Hicks.Programmed Inequality:How Britain Discarded Women Technologists and Lost Its Edge in Computing(hardcover).Cambridge,MA:MITPress,January 2017.342 Pages.ISBN:97802620355452012年,一部名为《布莱切利四人组》(The Bletchley Circle)的BBC英剧自开播之后就广受好评。剧中虚构了二战后4名英国女性的传奇经历,她们战时曾为英国政府破译密码,在信息技术和情报收集方面拥有超强能力。     

决定论:软计算思维的本质及其特征

决定论思想是软计算在认识论而非本体论层面上所采取的一种求解问题的有效工具与手段,软计算的推演过程同样严格遵循因果性和规律性的公理法则;软计算反对一切形式的严格决定论(机械决定论)、非决定论与反决定论,它所坚持的是一种科学的、有原则的决定论;决定论思想是软计算在处理模糊性、随机性与粗糙性等不确定性和非精确性问题时坚持科学实在论立场的可靠支撑;软计算为决定论思想在当代新兴科学领域之中的影响力扩张与地位巩固提供了更加坚实的依托。     

基于实例的上证50ETF期权Fibonacci数列的计算术语学研究

上证50ETF期权的推出丰富了市场交易的对冲机制,拓展了金融衍生品术语研究的领域。本文对期权交易术语的实值期权、平值期权、虚值期权和Fibonacci期权数列进行了基于交易数据的计算研究。通过对七年来期权交易数据的实时跟踪,我们建立了期权交易数据库,并采用计算术语学方法对期权交易进行了计算研究。我们发现:(1)Fibonacci期权数列是非常重要的期权交易术语,其黄金分割点适用于期权交易的波动测算;(2)上证50ETF期权合约涉及到期权交易术语的标准化问题,其交易并不是孤立的市场行为,同时受到新加坡A50指数等相关指数波动的影响;(3)上证50ETF期权交易体系是开放的:新加坡A50指数对我国上证50指数有交易的前瞻效应;上证50指数作为上证50ETF跟踪标的决定上证50ETF走向;上证50ETF作为期权标准合约跟踪标的影响到具体的合约交易;(4)上证50ETF期权交易的核心术语是杠杆波动率;Delta的计算赋值代表了高杠杆特性,其值域扩大将导致Fibonacci期权数列的黄金分割点出现偏差。最后得出结论:上证50ETF期权交易的研究是数据驱动的研究;基于统计的计算语言学方法可对期权术语进行赋值,并有效辅助期权交易;期权的计算术语学研究将促进数据驱动的术语学发展。     

第二届全国物理学哲学学术研讨会通知(第一轮)

<正>20世纪60年代以来,量子理论解释重新复苏,并推动了量子信息和量子计算的发展,量子力学跟相对论(狭义相对论和广义相对论)相结合的各种量子场论更是蓬勃发展,人们对新物理也是翘首以盼,近来引     

软件定义的云际计算基础理论和方法研究进展

云计算生态中云服务提供者的独立性是天然存在的,但由此带来的单一云服务商边际效益下降、云服务用户平台锁定等痛点问题已严重制约云产业的健康发展。为解决云计算发展新时期的瓶颈性问题,云际计算作为一种前瞻性研究对象,应运而生。云际计算支持传统云各个层面(如IaaS、PaaS、SaaS、DaaS等)的各类云参与者(例如提供者、消费者、代理者、监管者等)之间以互利互惠方式进行双边或多边协作,以应对当前云计算发展所面临的重大挑战。本文首先系统介绍了国家重点研发计划项目"软件定义的云际计算基础理论和方法"的提出动机和研究价值;然后,深刻揭示了云际计算模型机理及其背后的设计哲学,进而详细阐释了3项关键支撑技术和1项综合定制技术的核心思想及所取得的研究进展;最后,紧扣云计算和大数据重点专项任务使命,从云计算和大数据两个维度对未来研究重点进行了展望。     

作为世界观的计算及其认知必然性 评《计算主义——一种新的世界观》

<正>解数学题的过程是计算过程,计算机的运行过程也是计算过程,但生命的过程、思维的过程乃至整个宇宙的运行过程是计算过程么?一种被称为计算主义的思想认为后者是肯定的——宇宙看可以被看作是一个计算机,而其中的物质运动过程则是自然的计算过程。计算主义伴随着20世纪的计算和信息革命而出现,并在与其相互影响中发展成为了一种世界观。李建会教授在《计算主义——一种新的世界观》(以下简称《计算》)一书中追踪了计算主义的兴起、发展和完善的过程,并把计算主义世界观的形成分为三个阶段或过程:智能和心灵的计     

道德计算主义:情绪主义与理性主义之外的第三种径路

道德情绪主义(moral sentimentalism)与理性主义(moral rationalism)是道德哲学中的一对经典观念。历史上曾有许多哲学家执笔为各自支持的一方进行辩护。进入20世纪中期以后,经验研究与哲学理论的互动趋势也影响了道德哲学领域。在这种新的形势下,传统的情绪主义与理性主义在不同的心理学阵营以及认知神经科学研究中都得到一定程度的支持。而道德计算主义(moral computationalism)或道德的计算理论(computational theory of morality)作为一种新兴的研究径路,跳出了教条的对立框架,提出内隐的操作原则(operative principles)才是道德认知的核心。大部分情况下,无论是情绪还是有意识的推理都仅仅是内隐计算的伴随,或衍生过程。狭义的道德计算主义是关于道德认知的一种科学理论,广义的道德计算主义则代表了道德情绪主义,理性主义之外的第三种哲学径路。道德计算主义提倡深入道德认知的腹心,在最深层的心智机制水平对普遍的道德直觉与多样化的道德体系进行解释。     

自主论、还原论和计算主义

关于生命科学与物理科学之间关系的认识论和解释方式的讨论,可以大体上划分为自主论和还原论(或称之为"分支论"),两种观点在对"突现"的理解、解释方式的看法是相互对立的;而对于"突现"问题和解释方式的讨论,最终可以归结到对进化现象的解释.对进化过程给予公理化解释和动力学演化过程的计算描述是还原论的观点,但是,这种计算解释遭受到即使不是无限也是巨大的复杂性的困境.强大运算能力的计算机和计算机仿真实验成为解决计算困境的突破口,以康韦(J.Conway)证明了细胞自动机与图灵机完全等价为契机,导致了对生命过程的计算主义理解的兴起并产生了计算主义生命本质观.计算主义生命本质观带有还原论的色彩,但是,并非完全地支持还原论,实际上弱化了还原论,因为主张从部分到整体的突现过程的可计算性与可预言性是不同的.     

谭铁牛当选IAPR Fellow

国家统计局、科技部、财政部于2006年9月14日发布了《2005年全国科技经费投入统计公报》。该公报显示,2005年我国全社会研究与试验发展(R&D)经费总支出为2450亿元,比上年增加483.7亿元,增长24.6%,与当年国内生产总值(GDP)的比值为1.34%;按研究与试验发展人员(全时工作量)计算的人均经费支出为18万元,比上年增加0.9万元。其中:基础研究经费支出为131.2亿元,比上年增长11.9%;应用研究经费支出为433.5亿元,增长8.2%;试验发展经费支出为1885.3亿元,增长30.1%;三者所占比重分别为5.4%、17.7%和76.9%。按执行部门看:各类企业支出为1673.8亿元,比…     

《冯康传》简介

正宁肯、汤涛著:《冯康传》,杭州:浙江教育出版社,2019年12月,26.5万字,374页,58元,ISBN: 978- 7- 5536- 9849- 6冯康(1920～1993)先生是中国现代数学史上一位非常重要的数学家,尤其专注于应用数学与计算数学领域,是中国科学工程计算的开拓者与奠基人,被誉为中国计算数学之父。2019年12月,由作家宁肯、数学家汤涛合作出版的《冯康传》(图1)全面回顾了冯康的一生,并评价了他的科学生涯,     

试论量子计算中否定平方根的哲学问题

否定的平方根(NOT1/2)属于量子计算逻辑中的一个新奇逻辑符,基于它所建构的量子计算逻辑(QCL)现已拥有较为完备的语义学解释,并逐渐成为量子逻辑的一种新发展。对科学哲学而言,否定的平方根在两个层面上带来新的思考问题:一是围绕否定平方根所建构的量子计算逻辑的语义学问题,二是否定平方根所引发的逻辑和哲学问题。     

结构自适应自演化的高级机器学习方法研究与进展

针对当前机器学习面临的结构机制认知不足、学习方式自主性不强、模型推理适应性不高和学习形态封闭单一等重大挑战,本文针对如下3个关键科技问题进行阐述：(1)多任务知识迁移和模型动态自适应学习机制;(2)协同多智能体系统的分布式自组织和自演化学习机制;(3)面向结构化数据在线学习的动态建模与评价。建立面向多任务知识迁移的自适应元学习框架;提出基于层次共识的多智能体自组织协同学习与自演化机制,构建基于弹性关联拓扑的智能体分布式学习方法;搭建基于结构化、自组织和自演化学习框架的仿真验证系统。为人工智能基础理论研究提供新的理论方法和计算模式,支持媒体语义学习、实时计算和知识发现等重大应用。     

Space对应的汉语名词

Space是个多义词。在不同学科和不同领域,诸如哲学、数学、物理学、宇宙学、天文学、计算科学、航天和宇航等等,都有space的身影,但它们的内涵却不尽相同。与之对应的汉语词,主要是“空间”和“太空”。有时二者同义,可以混用,有的则完全有别,不容混淆。在哲学领域,对应的汉语词是“空间”、“空”、“宇”等。例如,时空(space-time)、无限空间(infinite space)、空间本原(the nature of time)。这里的space没有尺度大小的限制,对应的汉语词决不能用“太空”。在数学内,对应的汉语词也只能是“空间”、“宇”等。例如,矢量空间(vector space)、方位空间(director space)、相空间或相宇(phase space)、空间群(space group)。在物理学中,对应的汉语词有空间、宇、方等。例如,空间电荷(space charge)、空间量子化(space quantization)、空间坐标(space coordinates)、空间点阵(space lattice)、象方(image space)、立体象(space image)。在宇宙学和天文学的术语中,最多的对应汉语词也是“空间”。诸如,时空结构(space-time structure)、空间曲率(space curvature)、空间分布(space distribution)、空间密度(space density)、空间速度(space velocity)、空间反演(space inversion)、空间红化(space reddening)、星系际空间(intergalactic space)、星际空间(interstellar space)、行星际空间(interplanetary space)。在计算技术中出现的space一词,往往对应的既不是“空间”,更不是“太空”。例如,空白位(space bit)、空格键(space key)、分区(space sharing)、空行调整(space suppression)、间隔标记(space-to-mark)。在航天-宇航领域,对应的汉语词,在大多数情况下用“空间”或“太空”均可。例如,space age(空间时代/太空时代)、space observatory(空间天文台/太空天文台)、space telescope(空间望远镜/太空望远镜)、space science(空间科学/太空科学)。笔者还认为,凡指地球大气之外的,属 space exploration(探测)、space technology(科技)、space flight(飞行)、space mission(任务)、space engineering(工程)、space environment(环境)、space support(保障)等方面的space一词,用“太空”更为贴切,以有别于具有抽象内涵的“空间”。遇下列一类的词组时,用“空间”反而会词不达意,例如：space debris(太空垃圾)、space walk(太空行走)、space pollution(太空污染)、space suit(太空服)。* 李竞研究员是全国科学技术名词审定委员会委员;第六届天文学名词审定委员会委员。原任第三、四届天文学名词审定委员会主任。     

火星计划志愿者进密封舱

<正>登陆火星是人类的宏伟梦想。参加俄罗斯"火星-500"计划的中国人王跃及迭戈·乌尔维纳(欧洲)、罗曼·查尔斯(欧洲)、阿列克谢·希特夫(俄)、苏克罗伯·卡莫洛夫(俄)、亚历山大·     

什么是类脑计算?

正2016年3月,韩国围棋选手李世乭与谷歌Alpha Go(阿尔法围棋)的"人机大战"经过5盘鏖战,最终以Alpha Go 4∶1胜出落下帷幕。可以说Alpha Go是结合了类脑与非类脑的计算与智能,完美发挥其各自特长所取得的成功。什么是类脑计算?一般地说,类脑计算是指借鉴大脑中进行信息处理的基本规律,在硬件实现与软件算法等多个层面,对于现有的计算体系与系统做出本质的变革,从而实现在计算能耗、计算能力与计算效率等诸多方面的大幅改进。     

刘徽祖籍考

刘徽于魏景元四年(公元263年)对我国古代最重要的数学经典《九章算术》详加注解,在数学方法、数学理论上贡献极大。尤其是他创造的用无穷小分割思想和极限思想对圆面积公式的证明,对鳖臑(一种四面体)和阳马(一种方锥)体积的证明,在世界数学史上占有重要地位。以前者为基础的求圆周率的科学方法奠定了我国关于圆周率精确值的计算在世界上遥遥领先千余年的地位;而后者表明,刘徽在高斯前一千六百年就考虑了不借助于无穷小分割是不可能解决四面体体积的问题,这个问题后来发展成为指导二十世纪数学发展的希尔     

计算变异学的创立、发展及其应用

该项目根据随机性原理,创立了3种定量化研究蛋白质的新方法:(1)用氨基酸对的可预测性为指标分析蛋白质中相邻氨基酸对的构成;(2)用氨基酸的分布概率为指标分析氨基酸在蛋白质中分布的复杂程度;(3)用氨基酸的变异概率为指标分析蛋白质中氨基酸的未来组成和将要变出的氨基酸.3种方法均可将整个蛋白质及其氨基酸序列数值化,而且这些数值是动态的,适用于分析蛋白质变异,开辟了独特的研究领域--计算变异学.     

二万五千里是怎么算出来的

一提起长征,人们自然会想到“二万五千里”。然而,越来越多重走长征路的人发现,沿中央红军长征路线从江西于都到陕北不过万余里,“二万五千里”到底是怎么算出来的?是红军估计的一个约数还是确有详细计算?并不是所有参加长征的红军都走了二万五千里中央党史研究室研究员王新生说,“二万五千里”指的是,中央红军中走得最远的部队的长征路程。红军共有4支部队进行了长征,他们所走的路程各不相同。除中央红军(后改称红一方面军)外,红25军行程万余里;红二、六军团(后成立红二方面军)行程二万余里;红四方面军行程万余里。军事科学院研究员徐占权…     

第六届“中国术语学建设暨术语规范化”研讨会会讯

<正>第六届"中国术语学建设暨术语规范化"研讨会计划于2014年9月20-21日在北京语言大学举行。此次大会由全国科学技术名词审定委员会、北京语言大学联合主办,由北京语言大学高级翻译学院承办。术语学是一门方兴未艾的新兴学科,与语言学、翻译学、计算机科学、自然语言处理、知识工程等学科有着密切联系。此次会议将从跨学科的视角人手,围绕术语基础理论研究、术语翻译、术语立法、术语政策、术语规范与审定、(双语或多语)术语库建设、术语教育、计算术语学、     

计算机五十年代发展史

五十年代是计算机从实验室走向实用化,从单机试制转向工业生产,计算机应用从科技计算扩展至数据处理的时期。这段历史所揭示的计算机行业的许多重要特征和发展规律,对于计算机发展后进的国家,至今仍然不无启迪。一、从实验室到实用化四十年代后期,美国普林斯顿高级研究所(The Institute for Advanced Study-IAS)云集了许多著名学者和工程师。其中有冯·诺依曼(von Neumann),研制美国第一台电子数字