归纳使真者与真之定义——基于系统本体论的统一多元真理论

本文在对塔斯基的收缩真理论进行分析批判的基础上,从系统本体论的立场出发,借助获取事态概率的归纳认定方法,提出具有双层结构的归纳-符合使真者,并与演绎持真者加以区分和结合,建立了统一多元真理论,即把符合真理论、等同真理论、实用真理论、融贯真理论和使真者理论等有机地结合起来。区分了“符合使真者”和“混合使真者”,一揽子解决了所谓的“无关使真者问题”。根据功能主义的多重实现原理,解决了“演绎推理的真之单义性问题”。此外,对使真者极大主义和必然主义给予新的阐释,使之具有不可消除的本体论意义。与此同时,对否定性事实和普遍性事实的存在性给予证明,以为否定性真理和普遍性真理提供本体论基础。

祛魅与存真——人工智能时代的艺术存在方式探析

伴随着人工智能技术的快速更新迭代,艺术的存在方式也重新引起了人们的关注。人工智能时代的艺术存在方式,其最核心的内容依然是亘古常新的艺术与技术之间的关系问题。如果说19世纪以来摄影与录像、扫描与复制等技术的不断进步,已经促使人们对传统艺术的存在方式产生了越来越深的怀疑;那么20世纪中后期以来逐渐发展起来的数字技术、网络技术以及方兴未艾的人工智能技术,则彻底颠覆了人们对传统艺术存在方式的认知。伴随着技术性因素的不断发展,艺术的本质属性也在“祛魅”与“存真”的变迁与坚持中愈发清晰。未来的人工智能技术能否具备艺术创意的能力,已经不是技术本身的问题。艺术之为艺术,归根结底并不取决于技术性因素的变迁。

中国红蒴真藓复合群和一个新记录种

该研究以经典分类学方法探讨了中国红蒴真藓复合群(Bryum atrovirens Brid.complex),重点关注根生芽胞特征在分类中的价值。以期厘清中国红蒴真藓复合群的特征和物种组成;明确各物种之间的分类界限和地理分布。结果表明:(1)中国该复合群共有9种,即毛状真藓(B.apiculatum Schw gr.)、红蒴真藓(B.atrovirens Brid.)、瘤根真藓(B.bornholmense Wink.&R.Ruthe)、棒槌真藓[B.clavatum(Schimp.)Müll.Hal.]、球根真藓(B.radiculosum Brid.)、齿缘真藓(B.rubens Mitt.)、沙氏真藓(B.sauteri Bruch&Schimp.)、星形真藓(B.stellituber Arts)和土生真藓(B.tuberosum Mohamed&Damanhuri),其中星形真藓为中国新分布种,首次观察到该种的孢子体以及红蒴真藓和齿缘真藓的中国标本产生根生芽胞。(2)该类群是适应临时环境的短命植物,主要通过根生芽胞进行无性繁殖,最主要的识别特征是芽胞的位置、颜色、形状、大小、细胞壁厚度和外层细胞是否突起及其程度等。(3)明确了每种的地理分布。综上所述,可根据根生芽胞的形态特征快速进行中国红蒴真藓复合群分类鉴定,新记录种的发现丰富了中国藓类植物新资料。

非编码RNA调控真社会性昆虫品级分化和个体分工的研究进展

真社会性昆虫是最具代表性的表型可塑性的研究对象之一,其个体之间分工协作的社会性生活方式增强了整个群体的环境适应性和繁殖力。真社会性昆虫虽然具有相同的遗传背景,个体之间却表现出明显的品级分化和个体分工,这是由环境和遗传共同影响的。表观遗传被认为是应对环境条件下重塑基因表达的主要机制,非编码RNA作为一类广泛参与机体生命活动的不编码蛋白的功能性RNA,在真社会性昆虫的品级分化、个体分工等方面起着重要的调控作用。本文从微小RNA、长链非编码RNA、环状RNA、与PIWI蛋白相作用的RNA等非编码RNA,对蜜蜂、蚂蚁及白蚁等真社会性昆虫的非编码RNA调控机制研究进展进行了综述,以加深对真社会性昆虫内在遗传分子基础的理解和认识,也为害虫防治领域提供新的研发视角。

农药喷雾系统建模与仿真技术研究综述

农药使用效果与农药喷雾过程密切相关,农药喷雾过程的建模与仿真可弥补因植物生长周期差异、病虫害发生程度不同以及田间作业自然环境不可控等造成的试验研究困难。分析农药施用的抗性、再增猖獗、残留(resistance,resurgence,residue,3R)/效果、效率、生态(efficacy,efficiency,eco-environment,3E)/方法、模型、测试(method,model,measurement,3M),重点综述农药喷雾过程的雾化、输运、沉积等关键环节的模拟仿真研究状况。根据模拟仿真技术发展趋势,提出农药喷雾半实物仿真系统设计的建议,并提出雾化模型及新型喷头雾化机理、群体农药雾滴多相流场模拟、靶标定制与识别模型、综合农药雾滴飘移模型、植物生长模型与农药喷雾系统耦合等建议,以促进原创农药精确喷雾技术研究和高质量植保机械研发。

真地表速度建模技术在复杂山地地震资料成像中的应用

传统的叠前深度偏移成像技术将偏移成像和静校正问题分开处理,在复杂山地资料处理中,由于地表条件复杂、近地表横向速度变化剧烈、高速层出露等问题,基于地表一致性假设的静校正处理会引起波场畸变,导致旅行时计算误差较大,影响深度偏移成像效果。因此,提出了一种基于真地表偏移面的全深度建模与成像技术方案,从地表高程面开始速度建模,计算旅行时,将静校正问题隐含在偏移成像过程中,在复杂山地资料处理中取得了较好的应用效果。

数学对真善美精神追求的“源脉”“谱系”及其对数学教育的启示

数学对真善美的精神追求,是全面、精粹与彻底的,深刻体现了数学精神的本质要义,是数学教育研究中的一个重要问题.辨析数学求真、益善、唯美精神的源脉,提出两个观点:数学探求真理的态度与方式是数学求真精神之源,数学求真精神是数学益善与唯美精神的根基.数学求真、益善、唯美精神在相互促进中各自形成演化脉络.求实、求理、求广与求新是数学求真精神演化的主要脉络;益知、益事、益国与益人是数学益善精神演化的主要脉络;唯简、唯序、唯统与唯和是数学唯美精神演化的主要脉络.它们共同形成了数学追求真善美精神谱系的结构要素,依演化脉络对这些要素及其内涵进行简要阐释和分析,得到对数学教育的意义、宗旨等问题的影响与启示:富有追求真善美精神内涵的数学教育在培育和谐发展的时代新人方面有更深刻的意义;“以数学的精神和思想育人,旨在涵育精神与思维素养”是数学教育的远大宗旨;数学追求真善美的精神谱系为涵育数学精神素养的教学提供了具体路径与方法.

口述史:不必苛求绝对的真实

学术界多以真实性问题质疑口述史,其实人类的记忆永远不可能完全恢复历史原貌,不必苛求口述史要绝对真实,而应把关注的重点放在造成不真实原因的分析、对口述者过往经历的进一步了解以及如何减少或抵消其非历史内容所产生的负面影响。传统史学同样存在真实性问题。历史学与生俱来就要与主观性、片面性共存。史学不仅要求真,还要致用。致用离不开求真,同时史学又不可能完全恢复历史真相。这是无法克服的矛盾,是历史的辩证法。口述史学将始终在求真与致用的矛盾运动中不断前行。

基于时钟抖动流水线结构的高效率真随机数发生器

现代加密系统对密钥随机性的需求不断增加。使用时序抖动、热噪声、亚稳态等作为熵源的真随机数发生器,因其可以提供高质量的随机性成为该领域的研究热点。因此,提出一种可配置、轻量级、高效率的真随机数发生器。该发生器使用基于随机数学模型的设计方法,由差分构架的两级时钟抖动流水线组成。第一级流水线中两个环形振荡器在规定时间内累积抖动,第二级流水线利用近似相同的两个环形振荡器的微小周期差构建时间数字转换器,对第一级输出的高斯抖动进行量化,通过数字化模块输出随机比特。在时间数字转换器运行过程中,第一级流水线已经重新启动累积下一个阶段的抖动,减少了空闲时间,提高了真随机数的质量和效率。在Xilinx Atrix-7平台进行了验证,该结构的硬件资源仅消耗了25个LUTs和13个DFFs,获得高达32.55 Mb/s的吞吐量。

再谈“是”与“真”--从现象学家的视角看

事物情况具有客观性,人们对事物的认识具有主观性,二者相互是不是符合,人们的认识是不是一致,都会引发争论,会涉及与真相关的争论。有人会说事物是这样的,有人会说事物不是这样的,而是那样的。人们会认为,事物情况如其所是才是真的;而且人们会认为自己的认识是真的,他人的不同认识不是真的。所以,一方面认识与世界相关,与人相关;另一方面认识涉及语言,涉及语言所表达的东西,涉及真假。简单来说,认识涉及语言和逻辑。“是”与“真”则是相关研究的集中体现。关于“是”与“真”的研究,从古至今,一脉相承,所以,这是西方哲学的核心问题。

人·真·能:数智时代通识教育的三个关键词

人类社会进入数智时代,知识的生产、传播和应用都发生了巨大的变化,教育理念和实践需要与社会和技术同步迭代。数智时代的通识教育,以“人”为第一关键词,塑造博雅、整全之人,人才培养既是起点也是目标。数智时代,推进“真”的通识教育,须走出将“通识”等同于“通俗”、将“通识”与“专业”对立以及“伪通识教育”等误区,培养学生枇判性思维和提出问题、解决问题的能力。数智理念及技术,能够同时为教师和学生赋“能”,有助于通识教育的去伪存真,完成大学教育提升人的智能和德性的使命。

伪精致与真躺平:当代部分大学生的双重画像及其矫正

高校是优秀青年的集散地,是做好党的青年战略性工作的前沿阵地。然而不容忽视的是,当代部分在校大学生却呈现出伪精致与真躺平的双重画像:线下盲目超前消费,线上万物皆可晒,打造精致人设;学习主业波澜不惊,兴趣副业风生水起,自创躺平混世哲学。社会家庭兜底保障能力增强,现代化进程的发展压力传导,消费主义错误思潮裹挟侵袭,部分高校内涵发展较为薄弱等诸多因素是造成上述现象的主要原因。应及时引导与矫正这种畸形现象,防止这个群体内部的相互交叉传染。通过构建有利于青年发展的实践新模式、批判消费主义错误思潮、加强高校内涵式发展、激活家校联动交流机制等多方合力与多措并举,一定会形塑出大学生群体生机勃勃、勤俭奋进的新风尚新图景。

何为“真正的多边主义”?——中美多边外交实践的比较研究

近年来,中美两国围绕“多边主义”的交锋愈益激烈。美国宣称其一贯遵循“多边主义”,中国则指责美国“以多边主义之名,行单边主义之实”,那究竟何为“真正的多边主义”呢?本文通过对中美两国多边外交实践的比较分析认为,美国的多边主义具体表现为对国际多边机制的选择性进出、追求国际多边机制利己性优先并蓄意打造竞争性国际多边机制,整体上体现着“伪多边主义”的特征;中国的多边主义具体表现为对国际多边机制的广泛性融入、推动国际多边机制公平性改革和积极创建合作性国际多边机制,整体上反映了“真多边主义”的特征。在当前国际形势下,“真正的多边主义”至少应该具备广泛性、公平性和合作性三个核心特质,这既是区分中美多边外交的主要依据,也是辨别真伪多边主义的主要标准。

重提“日本儒学化”问题——以丸山真男为中心的学术史省察

目前学界对于“儒学与日本社会”关系的研究史梳理,主要有“儒学日本化”和“儒学近代化”两种视角。而从“日本儒学化”的视角,重新梳理日本近世儒学研究史,可以发现近代以来日本学术界主流是淡化甚至否定中国对日本的影响,强调“儒学日本化”的侧面;与此相对,被认为是“儒学近代化”研究典范的丸山真男,其实却出人意料地是以承认某种程度的“日本儒学化”为前提的。战后日本学界以尾藤正英为代表的对丸山真男的批判,因为存在颇多误读,故并未动摇其基本框架;而以渡边浩为代表的对丸山真男的修正与发展,却长期被误解为是对丸山真男的否定。因此,重提“日本儒学化”这一被遗忘的常识,或能为建立完整的“儒学式近代化”构想提供些许助益。

基于宏微观多尺度建模的校园疫情演化仿真研究

校园师生人群聚集密度高,是疫情防控的重点和难点。基于现有宏微观尺度的研究,提出使用多尺度建模仿真分析校园内新冠疫情的演化趋势和防控方案的绩效。宏观建模采用易感-潜伏-传染-恢复(SEIR)模型,输出无症状患者和有症状患者数量随时间变化的曲线,研究疫情演化趋势;微观建模采用离散事件建模仿真和基于智能体建模,对个体学生的在校行为和疫情演化进行微观仿真,模拟新冠病毒在校园内的人传人过程。并通过案例研究,验证错峰上学、核酸检测“每天一检”并隔离阳性患者方案的有效性,通过对参数的灵敏度分析识别关键参数。结果表明,多尺度疫情建模仿真方法,从不同的角度和层级揭示了校园疫情的演化过程,可为校方优化防疫方案提供参考。

论“真”之原初义涵

“真”这个字不见于六艺类的书籍,它更多地出现在诸子类的《列子》《庄子》等著作中。先秦时期,围绕“真”组合而成的常用词语是“真伪”;“真”与“伪”相对立,指向的是自存、自有、自在的非“人为”状态。秦汉时期,“真”与“假”这两个字才出现在共同的语境中,但它们只是并置在一起,尚未生成同构异质、相互背反的关系。厘清“真”在原初之时的质态、功能、使用规律以及它在汉代的转型与转义,我们才能把握这个词在明清之际作为重要的诗学概念、在近现代作为文学学科核心术语的深层义涵。

直而已矣,然是否真?——也论儒家观念中的“亲隐”问题

《论语·子路》及《孟子·尽心上》《孟子·万章上》中关于“亲亲互隐”的文字作为儒家文化情本位观念的一个样本,引发了学界关于这是否是一种滋长腐败的负面因素的正反两极评价。细读文本,双方也许都忽视了孔孟基于其观念立场对亲隐固然有其坚持,但其本质上却是防御性和有限度的。从伦理两难的角度看,情直与正直、亲情与公义间存在紧张关系,但就伦理与道德的分际论,道德本质上应该是超越人之本能从而亲情伦理的,情直不等于理真,而只有在理性基础上健康的公共生活才有可能。在进一步的反思中,亲情原则折射出中国文化缺乏超越性精神向度的特征,这是作为中华儿女的我们应该直面与思考的。

用“玩”激活创造性——《那次玩得真高兴》习作教学与思考

三年级上册第八单元习作《那次玩得真高兴》,要求学生“把玩的过程像放电影一样在脑海里回想一遍,然后写下来”。教师可用“玩”激活学生的创造性,让学生体验“玩”的真实过程,课上再现这一情境,引导学生交流“玩的经历”。而后,设置两个研究小项目,让学生像放电影一样回忆“玩”,像教练一样表达“玩”。通过层层铺垫,激活学生的创造性,助力学生独立完成习作。

小孩真的没腰吗?小孩会得腰椎间盘突出症吗?

小孩真的没腰吗“妈妈,我腰痛!”“小孩子哪有腰,还腰痛?你是不想做作业了吧?”很多家长和孩子之间都发生过以上类似的对话。民间有句老话说“青蛙无颈,小孩没腰”,意思就是青蛙没有脖子,小孩没有腰。部分父母自己也不知道这句俚语的来源,当孩子说自己腰痛,家长就用这句话回复孩子,不重视也不会去检查。小孩子的腰部比较短,看起来好像没有腰,但这并不代表小孩真的没有腰。

X语言、方法及工具——支持MBSE的新一代一体化建模仿真技术体系

在当前基于模型的系统工程(MBSE)实践中,基于现有的建模语言、方法与工具,仍难以实现系统设计与仿真验证之间真正的闭环,因此无法完整体现MBSE的全部价值。针对这一问题,本研究较为系统地介绍了新一代建模仿真语言——X语言及其技术体系,具体包括混合系统建模框架——XDEVS,X语言架构及基本要素,X语言支持下基于建模仿真的系统工程方法论——X-SEM,以及面向X语言的建模仿真软件——XLab。基于X语言技术体系可以实现全系统统一建模和一体化仿真验证。最后用一个案例展示了基于X语言及其工具并遵循X-SEM方法论的系统开发过程。