科学推理研究的程序范式探析

有关科学推理研究的传统路径属于关系范式,以计算知识论为代表的新型路径则属于程序范式。计算知识论路径起源于语言学习的研究,而Kelly是将计算知识论运用于科学推理研究的集大成者。程序范式下的科学推理研究围绕科学推理问题的可解性和科学方法的逻辑可靠性展开,具有规范性、先验性和长期性的特点。依据程序范式下的计算知识论路径,局部不完全决定性问题得到了细致的分析,发现逻辑在科学哲学中的地位也得到了有力辩护。程序范式为科学推理研究提供了完整的分析框架,从可靠探究的角度重新确定了科学推理研究的基本问题,对未来的科学推理研究颇具启发意义。     

计算的极限

计算深刻地影响着人们的日常生活和生产活动,也推动了诸多其他科学领域的发展和变革.本文从几个不同的方面探讨计算的能力和极限.从计算的模型和丘奇图灵论题,到P和NP问题的深远影响及量子计算对传统计算的冲击,我们深入讨论了对计算极限的理解.     

咬合桩在高速路改桥工程中的应用

结合宣城市环城大道下穿芜宣高速的工程实例,阐述了咬合桩这一支护结构在高速路改桥工程中的运用,并提出了相应的计算模式,同时对其施工流程及要点进行了说明,以此为今后同类工程提供借鉴.     

多任务流程流水网络计划参数计算及分析

在总结多任务流程特点的基础上,得出了流水网络计划处理此类问题时时间参数的通用计算方法。提取主要的关键影响参数,并定义了工序等待时差及全局关键工序,以此可进行总工期影响分析、资源优化配置、风险分析及进度控制等工作。扩展了流水网络计划的应用范围,为多任务流程工程管理及控制提供了分析方向。     

关于渠道渗流计算方法的选用

渠道渗流的计算,一直是农田水利设计部门研究的重要课题之一。而其计算方法主要有:现场试验方法、经验公式法、比拟法、解析方法、数值方法。而渠系建筑物未修建以前,准确地计算渗漏量,对于其建筑工程的防渗体系结构、投资及后期运行等有着重要的意义。故对目前五种方法进行比较分析,并通过工程实例,分析上述方法计算渗流量的实用性。     

简论外文编目数据质量控制

论述了外文编目的现状及常见的著录问题,并就原始编目、套录编目数据质量控制进行了分析,指出了数据质量控制应注重的问题,探讨了外文编目员应具备的素质。     

《中外医疗》杂志

正构筑交流平台全国理论性期刊探究医学创新理论搭建联谊桥梁国内外公开发行传播医疗改革经验《中外医疗》杂志是由卫生部医院管理研究所、二十一世纪联合创新(北京)医药科学研究院主办的国家医疗专业学术期刊,中国核心数据期刊(遴选)数据库收录期刊、中国期刊全文数据库收录期刊、中文科技期刊数据库收录期刊。国际刊号:ISSN 1674-0742,国内统一刊号:CN 11-5625/R.邮发代号:80-541,定价:20元。本刊服务于医学创新研究,以医疗事业改革和广大医疗工作者探究学习,增强医德,提升医术为主旨,努力体     

国外期刊亮点

正遏制炎症可防脑梗恶化日本大阪大学一个研究小组称,他们通过动物实验确认,遏制脑梗后的脑内炎症,可以阻止神经细胞死亡,防止脑梗恶化。研究人员还发现了一种能减轻脑细胞损伤的蛋白质。这一研究成果5月20日在线发表于PNAS上。研究人员调查了海外研究机构汇总的脑梗患者血液成分与症状关系的医学数据后,发现了一种名为RANKL的蛋白质。他们培育出一批患脑梗的实验鼠,在实验鼠发病4 h后直接向部分鼠的脑内注入RANKL     

基于数字生产设备行为数据的 流向分析与预测模型研究

探讨应用大数据相关技术、根据数字生产设备行为数据就生产行为进行预判,建立数字生产设备行为预测模型,给生产过程提供优化建议,从而节省生产排队等候时间、提高生产效率、辅助提高销售服务质量,最终为生产环节提供一个可靠的环境。     

第二受体单元对三苯胺类敏化染料性能影响的计算

为了提高三苯胺类有机染料的性能,在具有D-π-A构型的染料B1的基础上,通过引入不同的第二受体单元A′,设计了6种新的D-A′-π-A型染料。根据计算化学中的密度泛函理论,对染料分子进行构型优化、电荷分布、能级等研究。结果表明,所设计的6种分子都可以保持稳定的空间结构,第二受体单元的引入降低了分子的带隙,拓宽了吸收范围,使最大吸收波长发生了明显红移。与B1(396.6nm)相比,6种染料的红移顺序为B1-PDP(418.4nm)B1-Qu(452.7nm)B1-BTZ(469.3nm)B1-BTD(482.6nm)B1-DPP(522.0nm)B1-BOD(530.8nm)。综合分析可知,B1-BOD,B1-BTD,B1-DPP在理论上具有更优的性能。研究可为设计和合成性能良好的染料分子,进一步提升染料敏化太阳能电池的光电转化效率提供理论支持。