巴拿赫-塔斯基悖论是集合论几何中的一个定理,它指出: 在三维空间中,可以将一个球分解成有限个不相交的子集,然后将它们以不同的方式重新组合,得到两个与原始球相同的副本。这个过程只涉及到移动和旋转碎片,不改变它们的形状。巴拿赫-塔斯基悖论之所以被称为悖论,是因为它违背了基本的几何直觉,即认为这些操作应该保持体积不变。
“垃圾桶脸”伯爵是一位由英国喜剧演员乔纳森·大卫·哈维于2018年创作的讽刺性政治候选人。他曾多次参加选举,包括2019年英国大选、2021年和2024年伦敦市长选举,以及2023年厄克斯布里奇和南赖斯利普补选。他以其独特的“垃圾桶”头盔和一系列讽刺性政策而闻名,例如将伦敦桥更名为“菲比·沃勒-布里奇”,以及禁止在公共场合使用手机免提功能。尽管从未赢得过选举,但“垃圾桶脸”伯爵利用自己的平台鼓励选民参与,并为慈善事业筹集资金。
Gompertz 函数是一种用于时间序列的数学模型,以其发明者 Benjamin Gompertz (1779-1865) 命名。它是一个 sigmoid 函数,描述了在给定时间段的开始和结束时增长最慢,而中间增长最快。与简单的逻辑函数不同,Gompertz 函数的右端或未来值渐近线比左端或较低值的渐近线更缓慢地接近曲线。 Gompertz 函数最初用于描述人类死亡率,但后来被修改应用于生物学,特别是种群增长。
维基百科上的大多数文章,如果持续点击文章内第一个非括号、非斜体的链接,最终都会链接到“哲学”词条页面。2016 年的研究表明,97% 的维基百科英文词条符合此规律。这种现象的成因可能是维基百科的编写风格导致的,大部分词条的首句都是对词条主题的定义,而定义本身就与哲学密切相关。
Leachim 是一款早期语音合成机器人,由迈克尔·J·弗里曼开发,并于 1972 年至 1975 年期间在纽约市一所学校的四年级课堂上担任助教。它采用双音合成语音技术,能够通过计算机磁盘快速进行语音分支,从而产生易于理解的语音。Leachim 可以使用耳机同时教授多名学生,并跟踪他们的个人学习进度。该机器人由 RCA Spectra 70 系列计算机构成,身体由木材制成,手臂和头部等部件可以移动。
声致发光是指液体中的气泡在受到声音激发时,因快速压缩而发光。该现象最早发现于1934年的科隆大学。其发生机制尚不清楚,但普遍认为与气泡内部高温等离子体有关。声致发光存在两种形式: 多气泡声致发光(MBSL) 和单气泡声致发光(SBSL)。该现象在自然界中也有发现,例如手枪虾可以通过快速闭合钳子产生声致发光。
暗光纤或未点亮光纤是指未使用的光纤,可用于光纤通信。暗光纤可以从网络服务提供商处租赁。暗光纤最初是指电信基础设施的潜在网络容量。由于在挖沟或铺设管道后安装额外的光纤电缆的边际成本非常低,因此在 20 世纪 90 年代末和 21 世纪初的电信繁荣时期,美国安装了大量的光纤。在 21 世纪初互联网泡沫破灭后,对高速数据传输的需求短暂减少,这种过剩的容量后来被称为暗光纤。这些未使用的光纤电缆后来为无法在点亮的光纤电缆(即,用于传统长途通信的电缆)上提供的独特私人服务创造了一个新市场。
伦敦-加尔各答巴士服务曾被认为是世界上最长的巴士路线,这条路线始于1957年,途经比利时、南斯拉夫和印度西北部,全程约16,100公里,耗时约50天。该服务由Albert Travel运营,巴士配备了阅读设施、卧铺、风扇加热器和厨房等设施,乘客还可以在途中的旅游目的地停留购物。1976年,由于伊朗政治局势和巴基斯坦与印度之间紧张局势升级,该巴士服务最终停止。
琳·安·康维(Lynn Ann Conway,1938年1月2日-2024年6月9日)是一位美国计算机科学家、电气工程师和跨性别活动家。她在20世纪60年代在IBM工作,发明了通用动态指令处理,这是乱序执行中使用的一项关键技术,大多数现代计算机处理器都使用它来提高性能。她在超大规模集成(VLSI)微芯片设计领域引发了米德-康维VLSI芯片设计革命。这场革命在20世纪80年代迅速席卷了研究型大学和计算机行业,孵化出一个新兴的电子设计自动化产业,催生了现代芯片设计和生产的“代工厂”基础设施,并在20世纪80年代和90年代引发了一股高科技创业热潮。
热声管,又称为火焰管或爆鸣管,是一种利用火焰产生声音的乐器。它由物理学家兼音乐家乔治·弗雷德里克·尤金·卡斯特纳于1870年左右发明。热声管的工作原理是利用火焰在管内燃烧产生的快速加热和爆炸,使管内空气振动发声。火焰的大小和位置决定了声音的频率和音调。热声管通常使用丙烷作为燃料,但也有一些使用汽油作为燃料的移动装置。
战略计算倡议是美国政府于1983年至1993年间资助的一项研究项目,旨在开发先进的计算机硬件和人工智能。该倡议旨在支持在规定的十年时间框架内开发机器智能所需的各种项目,从芯片设计和制造、计算机体系结构到人工智能软件。该项目的灵感来自日本第五代计算机项目,该项目投入了数十亿美元用于计算和人工智能研究。该项目的目标是实现完全的机器智能,但最终未能实现。然而,它确实实现了一些具体目标,例如自动陆地导航,并推动了计算机硬件和人工智能软件的发展。
本文讲述了1990年美国特勤局突击搜查史蒂夫·杰克逊游戏公司(SJG)总部的诉讼案。特勤局怀疑SJG员工劳埃德·布兰肯希普在其运营的BBS上发布了贝尔南方公司专有的9-1-1系统备忘录,因此进行了搜查并扣押了电脑和软盘。SJG起诉特勤局索赔,最终赢得胜利,法官认为特勤局搜查令准备草率,并对特勤局进行了谴责。
汉谟拉比法典是一部古巴比伦法律文献,创作于公元前1755年至公元前1750年,是古代近东地区篇幅最长、组织最完善、保存最完好的法律文献。法典主要内容刻在一块2.25米高的玄武岩石碑上,石碑于1901年在现今伊朗的苏萨遗址被重新发现,现藏于卢浮宫博物馆。法典内容涵盖了广泛的社会生活领域,包括刑法、家庭法、财产法和商业法等,其目标是“防止强者压迫弱者”,以维护社会秩序和公平正义。
1967年9月3日,瑞典进行了一次重大的交通规则改革,将车辆行驶方向从左侧改为右侧,这一天被称为“H日”。 尽管民众反对,但政府坚持改革,理由是与邻国交通规则保持一致、减少交通事故以及降低车辆改装成本。 改革当天,瑞典交通几乎停滞,以便进行道路标识和信号灯的调整。 此次改革初期有效减少了交通事故,但长期效果有限。
艾伦·图灵是一位英国数学家、计算机科学家、逻辑学家、密码分析学家、哲学家和理论生物学家。图灵对理论计算机科学的发展具有重要影响,他用图灵机形式化了算法和计算的概念,图灵机可以被认为是通用计算机的模型。他被广泛认为是理论计算机科学之父。在二战期间,图灵在布莱切利公园的政府代码和密码学校工作,并在破解德国密码方面发挥了关键作用。战后,他致力于早期计算机的开发,并对人工智能、数学生物学等领域做出了重大贡献。1952年,图灵因同性恋行为被定罪,并接受了激素治疗。他于1954年去世,享年41岁。2013年,英国女王伊丽莎白二世赦免了图灵。
FLOW-MATIC,最初称为B-0(商业语言版本0),是第一个类英语数据处理语言。它是由雷明顿兰德公司的格蕾丝·霍珀于1955年到1959年为UNIVAC I开发的,并帮助塑造了COBOL的发展。FLOW-MATIC是第一个使用类英语语句表达操作的编程语言,它也是第一个将数据的描述与其操作区分开来的系统。
Rete算法是一种用于实现基于规则系统的模式匹配算法,由卡内基梅隆大学的Charles L. Forgy设计。它通过构建一个节点网络来提高规则匹配效率,每个节点对应规则条件的一部分。当事实满足条件时,它们在网络中传播并触发相应的规则。Rete算法牺牲内存来提高速度,被广泛用于各种规则引擎和专家系统中。
英国节是1951年夏季在英国举办的一场国家展览和博览会,旨在庆祝英国从战争破坏中成功恢复,并推广英国的科学、技术、工业设计、建筑和艺术。节日的中心是位于伦敦泰晤士河南岸的展览,其他活动在英国各地举行,包括建筑、科学、工业和艺术节。英国节被认为重塑了英国一代人的艺术、工艺、设计和体育,其影响在战后英国城镇的重建中随处可见。
《人工智能法案》是欧盟制定的一项关于人工智能 (AI) 的法规,确立了欧盟范围内人工智能的通用监管和法律框架。它根据人工智能应用造成危害的风险将其分为四个级别:不可接受、高、有限和最小,以及针对通用人工智能的附加类别。不可接受风险的应用被禁止,高风险应用必须遵守安全、透明度和质量义务,并经过合格评定。有限风险应用仅承担透明度义务,而构成最小风险的应用不受监管。
鲍姆-韦尔奇算法是用于查找隐马尔可夫模型(HMM)未知参数的一种特殊类型的期望最大化算法。它利用前后向算法来计算期望步骤的统计数据。该算法以其发明者伦纳德·E·鲍姆和劳埃德·R·韦尔奇的名字命名。鲍姆-韦尔奇算法被应用于语音识别、密码分析和生物信息学等领域,用于解决HMM参数估计、信息解密和基因序列建模等问题。