Taming theory with thought experiments: Understanding and scientific progress

I claim that one way thought experiments contribute to scientific progress is by increasing scientific understanding. Understanding does not have a currently accepted characterization in the philosophical literature, but I argue that we already have ways to test for it. For instance, current pedagogical practice often requires that students demonstrate being in either or both of the following two states: 1) Having grasped the meaning of some relevant theory, concept, law or model, 2) Being able to apply that theory, concept, law or model fruitfully to new instances. Three thought experiments are presented which have been important historically in helping us pass these tests, and two others that cause us to fail. Then I use this operationalization of understanding to clarify the relationships between scientific thought experiments, the understanding they produce, and the progress they enable. I conclude that while no specific instance of understanding (thus conceived) is necessary for scientific progress, understanding in general is.     

Glycogen synthase kinase 3β and Alzheimer’s disease: pathophysiological and therapeutic significance

Alzheimer’s disease (AD) is a neurodegenerative disorder associated with cognitive and behavioral dysfunction and is the leading cause of dementia in the elderly. Several studies have implicated molecular and cellular signaling cascades involving the serine-threonine kinase, glycogen synthase kinase β(GSK-3β) in the pathogenesis of AD. GSK-3β may play an important role in the formation of neurofibrillary tangles and senile plaques, the two classical pathological hallmarks of AD. In this review, we discuss the interaction between GSK-3β and several key molecules involved in AD, including the presenilins, amyloid precursor protein, tau, and β-amyloid. We identify the signal transduction pathways involved in the pathogenesis of AD, including Wnt, Notch, and the PI3 kinase/Akt pathway. These may be potential therapeutic targets in AD. Received 19 December 2005; received after revision 24 January 2006; accepted 6 February 2006     

阿罗不可能性定理和社会选择的无矛盾性问题

2017年2月21日,国际著名数理经济学家、1972年度诺贝尔(Nobel)经济学奖获得者阿罗(K.J.Arrow)于美国辞世。谨作此文,以纪念他在社会选择理论,特别是其中将有关数学应用于研究经济学领域发现的"阿罗不可能性定理"作出的重大贡献。     

MPTP慢性帕金森病小鼠海马内氧化应激与细胞凋亡蛋白的表达

目的 观察 MPTP慢性帕金森病小鼠海马氧化应激指标及细胞凋亡相关蛋白的表达.方法 应用MPTP制备慢性帕金森病模型,观察行为学改变,Morris水迷宫实验,检测模型组和对照组小鼠海马内超氧化物歧化酶（SOD）、还原型谷胱甘肽（GSH）及丙二醛（MDA）舍量变化,以及免疫组织化学方法、RT-PCR方法、Western blot方法检测海马Bax和Bel-2蛋白表达.结果 慢性帕金森病模型小鼠行为学特点为震颤、活动减少;水迷宫实验结果提示认知功能降低;与对照组海马比较：模型组海马SOD、GSH含量均下降,而MDA含量升高（P〈0.05）;模型组海马Bax蛋白表达增高,而Bel-2蛋白表达下降（P〈0.05）.结论 氧化应激在慢性帕全森病认知功能障碍发病机制中起重要作用,而Bax和Bcl-2蛋白参与了氧化应激诱导海马神经元凋亡的调控过程.     

基于SHPB试验的高速铁路CRTSⅡ型CA砂浆动态性能

采用分离式霍普金森压杆(Split Hopkinson Pressure Bar,SHPB)试验研究了高速铁路CRTS II型水泥乳化沥青砂浆(CA砂浆)的动态力学性能,并建立了CRTS II型CA砂浆的动态本构关系模型.结果表明:随着应变率的增大,CRTS II型CA砂浆峰值强度逐渐增加,但增加速率随应变率的增大而减小,当应变率从44.17增加至54.79 s-1和从54.79增加至108.47 s-1时,峰值强度分别增加了初始峰值强度的52.28%和7.5%,弹性模量随应变率的变化规律性较差;应变率越大,破坏时的贯通裂纹越多,碎裂程度越大;CRTS II型CA砂浆的比能量吸收随着应变率的增大而增大.所建立的动态本构模型拟合曲线与试验曲线具有较好的一致性.     

外源性H2S通过调节β-位淀粉样前体蛋白裂解酶1表达对PC12细胞APP／Aβ代谢的影响

目的观察外源性硫化氢对嗜铬细胞瘤细胞β-位淀粉样前体蛋白裂解酶1（BACE1）的调节作用,进而探讨其对淀粉样前体蛋白／β-位淀粉样蛋白代谢途径的影响。方法用硫氢化钠作外源性H2s供体,实验设空白对照组、NaHs50μmol／L组、NaHS100μmol／L组和NariS200μmol／L组,按分组浓度处理PC12细胞24h后,RT-PCR和Western blot法检测细胞内BACE1 mRNA及蛋白表达,并用Western blot法继而检测APP代谢过程中关键蛋白APP、C99、C83表达变化,EusA法检测细胞培养液中AB40和AB42水平。结果NaHS在实验浓度范围内从基因与蛋白两个水平上呈剂量依赖性下调BACE1表达,并下调C99、Ap40和Ap42蛋白表达,上调C83蛋白,各NaHS组分别与对照组比较,差别均有统计学意义（P〈0．05）,而对APP蛋白表达没有影响,各组间比较差别无显著性（P〉0．05）。结论外源性H2s具有通过调节PC12细胞BACE1表达下调APP／Aβ代谢的作用。     

基于人眼状态识别的驾驶员疲劳检测方法研究

提出一种基于眼睛状态识别的驾驶员疲劳状态检测的方法。首先通过建立肤色模型分割出人脸区域,再利用搜索连通域的方法实现眼睛区域的定位;然后计算出眼睛区域的垂直积分投影曲线,提取并比较曲线的特征参数,从而识别眼睛的状态;最后以眼睛闭合时间比率为测量标准实现对驾驶员疲劳程度的检测。实验表明,该方法简单、有效、实时性较好,疲劳检测的正确率较高。     

喷油量自动测量装置的研究

基于ATmega128单片机和差动变压器式（LVDT）位移传感器,运用位移法的工作原理,设计了高精度柱塞油缸量油系统。在设计之前,对柱塞油缸进行了精度分析。并在喷油泵试验台上进行了对比试验,结果表明该测量系统精确、可靠。     

一种用于动态光散射测量的虚拟数字相关仪

根据数字相关的基本原理, 利用高速数据采集卡和实验室虚拟仪器工程平台LabVIEW, 设计开发用于动态光散射测量的数字相关仪. 利用该数字相关仪对动态光散射实测数据进行分析处理, 给出散射光强的时间自相关函数曲线, 反演计算了颗粒粒度, 并与已知粒度进行比较, 得到较好的测试结果.      

CRC算法在计算机网络通信中的漏检分析

在计算机网络通信中,为了降低数据通信线路传输的误码率,可以采用一种差错检测控制——循环冗余码验(CRC).介绍了CRC算法的原理、CRC算法的校验规则、CRC算法分析、CRC算法的漏检分析.