因果推理和因果认知:当代逻辑与哲学发展的一个新的生长点——四川大学博士生导师任晓明教授访谈

任晓明教授从事逻辑学与科学哲学教学与研究近40年,在现代归纳逻辑、人工智能哲学等领域取得了丰硕的研究成果。目前,因果推理和因果认知是任晓明教授主要关注的研究领域。任晓明教授认为,由于因果推理具有非单调性、可废止性等特点,所以因果逻辑超越了逻辑学通常的演绎和归纳的截然二分。因果逻辑能够实现跨学科、跨文化的研究,能够与当代人工智能、认知科学的发展相互促进,并形成与东方逻辑研究的互动,必将成为当代逻辑与哲学发展的一个新的生长点。

基于CFPS数据的反事实分析模型及其应用研究

目的:对基于Newton-Cotes算法的反事实分析模型的不合理之处进行拓展和改进,以提升模型估算结果的准确性,实现更具现实依据的政策效果模拟和分析。方法:以北京大学中国家庭追踪调查(CFPS)数据为基础,在充分比较不同概率分布函数的拟合效果后,拟合我国家庭收入和医疗支出的概率分布曲线,继而构造由90000个异质性家庭组成的虚拟社群,根据各家庭的属性值估算出相关指标值,并举例说明了模型的应用场景。结果:拓展后的模型对收入和医疗支出期望值的估计结果以及各主要指标的变化趋势与原始模型基本一致,但对两者离散程度的估计更为精准,政策效果模拟和反事实分析结果更具准确度和严谨性。结论:拓展模型可以对原始模型起到一定的补充和借鉴作用,具备较高的应用价值和可操作性。

人工智能的“理解困境”及其化解途径——从东西方文化的视角看

近年来,机器学习建模领域得到了飞速发展,但是它在带来了巨大利益的同时伴随着巨大的风险,人工智能的技术实现是主要的风险来源。论文从可解释人工智能的视角,探讨如何破解其“理解困境”的途径和方法并指出,首先需要澄清诸如智能、理解之类的基本概念,认为智能的目标不仅是对于未来的预测,而且是对世界的理解。理解世界需要一个普适的架构,与统计相关模型相比,因果结构模型更具可解释性,是一种“深层理解”。文章讨论了因果推理的认知框架,分析和比较它们在可解释性方面的优势和劣势,认为倾向理论比反事实依赖理论更具可解释性,这就为破解人工智能的“理解困境”开辟新的思路。最后指出,目前的深度学习系统虽然在预测精度方面取得进展,但在可解释性、可理解性、公平性和可信性等方面有所欠缺,在应对因果涌现等复杂性问题时还需要借鉴东方智慧,特别是借鉴印度正理哲学的因果思想。

煤矿机电设备管理与维护分析

煤矿产业发展与社会息息相关,同民生紧密相连。煤矿开采主要依赖机电设备,专业机电设备必不可少,因此,强化机电设备管理与维护不容忽视。要从根源上解决煤矿开采产量问题,必须对机电设备做好日常维护,对出现的问题进行分析。

应用于高能激光器的XY离焦像差校正方法

针对高能激光器出光过程中出现的大量离焦和0°像散低阶像差现象,提出了基于哈特曼波前传感器和二维整形光路的XY离焦像差校正方法。首先,通过对Zernike多项式的离焦项和0°像散项进行线性组合得到XY离焦像差的表达式,该XY离焦像差系数的大小可直接表征X离焦和Y离焦的波前PV值。同时,通过微调高能激光器中二维整形光路中的镜子间距,可实现激光器输出光束XY离焦波面的补偿。因此,首先利用哈特曼波前传感器提取出光束的XY离焦像差系数大小,而后再根据XY离焦像差系数的大小实时闭环微调二维整形光路中的镜子间距,从而实现XY离焦像差的校正,改善输出光束的光束质量。实验结果表明,该方法可有效地将高能激光器输出光束XY离焦量的PV值由5.2μm和1.1μm校正到0.5μm以下,相应的光束质量β因子由3.1降到1.8,光束质量得到明显改善。

笼型感应电机转子轴向分段错开结构削弱同步附加转矩的研究

特定槽配合感应电机输出转矩与电机起动位置有关。为抑制转矩随起动位置周期变化引起的转矩波动,提出一种削弱同步附加转矩的轴向分段错开转子结构。建立电磁转矩计算模型,推导关于转子初始位置的转矩幅值表达式,确定产生恒定转矩的磁场阶次和电机转速条件。基于磁动势线性分布假设,探讨转子分段错开结构减小谐波电动势的机理,量化同步附加转矩削弱程度与转子错开段数的关系。以四种特殊槽配合为例,仿真分析单斜槽转子、分段错开转子及两者组合结构转子,对电机基波转矩和同步附加转矩的影响。最后,选择等槽配合方案试制双斜槽转子样机,开展电机堵转转矩和空载特性试验。结果表明,转子分段错开结构有效削弱了同步附加转矩,解决了等槽配合感应电机起动困难的问题,为抑制电机转矩波动和槽配合选取方法的研究提供了理论参考。

养猪业高质量发展的挑战:健康、营养、育种

我国养猪业正在由粗放型养猪大国向现代化养猪强国迈进,进阶过程中,猪群健康、饲料营养、遗传育种和生产管理等方面因素均制约养猪业的高质量发展,且保持着相辅相成的作用关系。其中,猪群健康是高质量发展的基础,饲料营养是高质量发展的保障,遗传育种是高质量发展的关键。

大型浮顶油罐直击雷防护实验分析

为了完善大型浮顶油罐的防雷技术，对浮顶油罐遭雷击过程进行了分析，并对目前标准规定的浮顶油罐防雷措施进行了实验。实验表明导电片的主要作用是快速释放雷电流，但导电片的存在也有其反效应，即当浮顶油罐遭受雷击时，导电片与罐壁之间会产生电火花。因此，提出了取消浮顶边缘二次密封上方的导电片，采用了增加可伸缩的接地装置（SGD）弥补导电片取消后雷电流释放通道的不足，并以10^5m^3实际油罐为例，均匀布置安装不同个数的SGD，利用经验公式对其遭受直击雷时的暂态电压降进行计算。计算结果表明，对200kA雷电流，采用不同截面宽度的SGD时，均匀分布的连接浮顶与罐壁的14～20个SGD能够保证浮顶油罐安全泄放雷电流。

补益肝肾法针刺治疗帕金森病的临床观察

目的:观察用补益肝肾法针刺治疗帕金森病临床疗效。方法:按多中心观察法分3个医院的治疗中心,取180例的大样本。每个中心各取60例收治的符合帕金森病诊断标准的患者作为研究对象,按照随机和盲法的原则分为对照组和试验组,每组30例。对照组单用口服美多巴片,治疗组在口服美多巴的基础上加用针刺治疗。在治疗前后行Unified Parkinson’s Disease Rating Scale,UPDRS 3.0版记分法计分,综合评定患者的疗效。结果:治疗前一般资料比较,两组病人性别、年龄、病程、UPDRS 3.0评分比较,差异无统计学意义(P>0.05)。治疗后经UPDRS 3.0版评分,在日常活动、运动功能、治疗并发症和总分方面,治疗组疗效均优于对照组,治疗组总有效率81.11%,对照组总有效率60.00%(P<0.05)。结论:补益肝肾法针刺帕金森病疗效明显高于对照组,针灸疗法对帕金森病是一种安全、有效的疗法,能够提高帕金森病患者的生存质量。

三元配合物Eu(BA)3PIP和Eu(BA)3phen的制备与发光性质

合成了邻菲罗啉(phen)衍生物2-苯基-咪唑并[4,5-f]-1,10-菲罗啉(PIP),并以其为第二配体,苯甲酸(BA)为第一配体,制备出新型稀土铕三元有机配合物Eu(BA)3PIP;在相同条件下,第一配体不变,1,10-菲罗啉为第二配体,还制备出Eu(BA)3phen。采用元素分析、红外光谱、热重和差热分析等技术对合成的配体PIP及配合物Eu(BA)3PIP和Eu(BA)3phen进行了表征。通过发光光谱研究了配合物的发光性质,结果表明第二配体PIP有较大的共轭体系,在紫外光激发下,配合物中的配体可将吸收的能量传递给稀土Eu3+离子,表现出较强的Eu3+离子的特征发射。两种配合物相比,Eu(BA)3PIP的发光强度明显大于Eu(BA)3phen的发光强度,说明适宜的第二配体对配合物有很好的敏化发光作用。

俞穴、募穴相配通腑导滞法针刺治疗便秘临床疗效观察

目的:研究针刺俞穴、募穴相配通腑导滞法治疗便秘的作用。方法:按多中心观察法分3个医院,门诊收取300例便秘患者,每个中心各取100例便秘患者。按照随机和盲法的原则分为试验组和对照组,每个中心每组50例。对照组采用口服苁蓉通便液,10 m L 1支,每日2次,每次1支。10 d为1个疗程,治疗1个疗程。试验组在对照组的基础上,采用俞穴、募穴相配针刺治疗。取俞穴:大肠俞、小肠俞;募穴:天枢、关元;配下合穴;足三里,上巨虚,下巨虚;采用平补平泻法,每日1次,留针30 min,10次为1个疗程。两组均治疗1个疗程后观察疗效。结果:两组患者经治疗后,试验组明显改善排便次数、粪便软硬形状和排便的难度,经X2检验,差异有统计学意义(P<0.05)。便秘症状评定标准的评分方面,试验组评分较对照组低,差异有统计学意义(P<0.001),试验组经治疗1个疗程后临床总有效率为93%,对照组有效率为65.3%。结论:试验组高效明显比对照组好,具有促进肠蠕动,改善肠胃功能,提高自身免疫力,具有很好的临床效果,所以试验组优于对照组。

脉冲磁场测量系统的研制和标定

为了评估雷击建筑物或其附近室内的脉冲磁场水平,研制了一套由自制磁场探测线圈与光纤传输系统集成的脉冲磁场测量系统.光纤传输系统的灵敏度系数通过正弦波发生器进行标定.8/20μs冲击电流发生器输出端连接直径为0.3 m的单匝线圈组成磁场发生器,磁场探测线圈通过固定在单匝线圈的中心进行标定.试验结果表明,该系统能够有效地测量脉冲磁场,磁场探测线圈的B/U标定系数误差小于3%.

驾驶员状态模型研究

驾驶行为研究对新型车辆研发和提高交通系统智能性、安全性具有重要意义,建模与仿真技术是驾驶行为研究的主要方法。为提高驾驶行为建模与仿真的可信度,根据认知科学的研究成果,提出了基于驾驶员状态的驾驶行为模型。选择的驾驶员状态变量包括:视觉特性、注意力、疲劳程度、决策效率、风险态度和操纵时延。在驾驶行为机制的基础上,分析了影响驾驶员状态的外部环境和内部因素。根据已有的驾驶模拟器操纵数据和驾驶员生理心理数据,使用BP神经网络标定驾驶员状态模型中的参数,建立了驾驶员状态模型。通过仿真实验,验证了驾驶员状态模型的可信性,使驾驶行为模型的输出更加真实。

10／350μs冲击电流波测试方法研究

为在不损害试品的前提下,调试出满足IEC61643-1:2005规定允差的10/350μs测试波形,采用了一种实验与EMTP仿真相结合的方法。通过实测放电间隙试品小电流冲击的残压Ures和冲击电流的峰值Ipk之比得到试品的等效电阻Re;仿真模型中,试品的电阻值取Re,而关键的crowbar触发电路用开关元件来代替,开关元件的触发时间t则根据仿真软件的仿真结果来调整。该法所得仿真模型的输出电流波形较接近实际冲击电流波形,可预测测试的波形,证明此法可行。

基于蓝牙的智能天平数据采集系统

针对检测实验室中专用计算机缺乏,而传统的人工存在效率低、容易出错、原始数据溯源难等问题,把蓝牙和钉钉小程序进行融合,将天平称重数据通过RS232串口连接到蓝牙模块,使用蓝牙透传功能,将数据自动上传到钉钉小程序,经过人工判定后提交到企业云服务器,配合企业LIMS,生成检测报告。开发的智能系统具有检测试验的便利性、数据强安全性、数据高准确性、数据易溯源性等优势。

新型三元配合物Tb(DPAB)_3IP的制备与发光性能

合成了邻菲罗啉的衍生物咪唑并[5,6-f]邻菲罗啉(IP),并以其为第二配体,二苯胺羰基邻苯甲酸(HDPAB)为第一配体,制备出新型稀土铽三元有机配合物Tb(DPAB)3IP。采用元素分析、红外光谱和紫外光谱对合成的配体及配合物进行了表征。通过荧光光谱研究了配合物的荧光性质,结果表明第二配体IP有较大的共轭体系,在紫外光激发下,配合物中的配体可将吸收的能量传递给稀土Tb3+离子,表现出较强的Tb3+离子的特征发射,且配体Tb(DPAB)3IP的荧光强度明显大于Tb(DPAB)3phen的荧光强度。这说明适宜的第二配体对配合物有很好的敏化发光作用,合成的Tb(DPAB)3IP是一种良好的绿光材料。

贝叶斯推理的逻辑与认知问题

贝叶斯主义的复兴出现在统计推理领域,贝叶斯方法成功避免了经典统计推理中的主观因素问题以及先验回避问题,凸显了自身的归纳特性,因而是推理方法的革命。尽管目前贝叶斯主义风行,但它仍存在主观性、简单性与旧证据问题等难题,这也为其进一步发展留下了宽广空间。认知心理学近来对贝叶斯推理研究的发展,为贝叶斯推理研究的认知转向提供了契机,同时为这种方法的发展提供了可能的进路:探索频率主义与贝叶斯主义整合的可能性;在外延性归纳逻辑中引入内涵因素,尝试外延性与非外延性因素的融合。

低压电涌保护器暂态过电压测试方法研究

分析了IEC 61643-1∶2005-03(第2版)与GB18802.1-2002中对低压配电系统电涌保护器(SPD)的暂态过电压(TOV)试验要求的差异;阐述了完全按照IEC新标准研制的TOV试验设备的工作原理和试验程序;通过对一些厂家的SPD产品进行TOV测试,对测试中的一些现象进行分析。分析了新老标准的差异和对产品测试的影响,为今后的标准修订和SPD生产与测试提供了参考。

国产直立式聚丙烯输液袋临床实用性考察

目的:考察直立式聚丙烯输液袋的临床应用情况。方法:从全密闭式输液功能、对药物的吸附作用以及输液操作效率等方面对比直立式聚丙烯输液袋与玻璃瓶、PVC软袋、非PVC软袋,考察其临床应用特点。结果:PVC软袋对胰岛素、硝酸甘油和紫杉醇均有不同程度的吸附,尤其对紫杉醇的吸附率高达90%以上;而玻璃瓶、非PVC软袋和直立式聚丙烯输液袋对上述3种药物几乎无吸附作用。PVC软袋、非PVC软袋和直立式聚丙烯输液袋3种输液的输液持续时间及最终输注速度差异均无统计学意义(P>0.05)。结论:直立式聚丙烯输液袋具有与PVC软袋、非PVC软袋完全等同的全密闭输液功能,对PVC软袋易吸附的药物无任何吸附作用,便于临床应用,值得推广。

网络并行计算系统模型

网络并行计算系统是以网络为基础的并行计算系统，该系统在近些年中随着高性价比CPU和高速网络技术的发展逐渐引起人们的关注。文章正是从这种情况出发，对网络并行计算环境进行了抽象的分析和描述，并建立了一个网络并行计算系统的模型，该模型为理解、分析和评价一个实际的网络并行计算系统提供了有力的工具。