关于BCI逻辑的一种偏序代数

通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。     

具有Lévy噪声的丙肝流行病随机模型

本文研究一个具有Lévy噪声干扰的急性和慢性丙肝病毒感染流行病随机模型的动力学行为.首先证明随机模型全局正解的存在唯一性,其次利用随机分析的方法,分析了在一定条件下,全局正解的持久性和灭绝性.     

芯片毛细管电泳集成电化学检测装置和4种碳纤维电极的比较研究

自行设计组装了微流控芯片安培检测系统,以自制的碳纤维微米电极、碳纤维纳米电极、单壁碳纳米管修饰的碳纤维微米电极以及碳纤维微盘电极等4种电极为检测器,采用柱末检测的模式,考察了其对儿茶酚胺类物质多巴胺与异丙肾上腺素的分离检测效果以及电极的灵敏度。结果表明,在检测电位为0.6V、0.02mol/LTris-HCl(pH8.0)为缓冲溶液的优化条件下,检测多巴胺与异丙肾上腺素的分离度分别为0.64、1.06、0.61和1.22;灵敏度(S/N=3)分别为1.7×10-7、5.9×10-8、2.3×10-8和5.3×10-7,碳纤维纳米电极同时具备了较高的分离度与灵敏度。将碳纤维纳米电极应用于测定鼠嗜铬神经细胞瘤细胞(PC12)中神经递质多巴胺,以异丙肾上腺素为内标,测得单个PC12细胞中多巴胺含量为(0.57±0.07)fmol(n=5),与文献报道值相符。     

尾喷焰红外辐射特性的小波压缩

本文针对发动机尾喷焰的目标红外特性开展谱分析研究.采用热流法求解辐射传输方程,获得尾喷焰表观红外辐射特性仿真数据,应用多尺度小波分解红外光谱获得小波压缩系数.考察了不同小波函数及小波尺度下红外特性光谱的压缩效果.研究结果表明,基于小波的尾喷焰红外辐射特性光谱数据压缩方法是可行的,尾喷焰红外光谱主要信息基本保留,变量维数压缩可达10倍以上.     

1+1/2对转涡轮高压动叶气膜冷却数值研究

对1 1/2对转涡轮高压动叶设计了冷却方案,在高压动叶前缘滞止线,压力面和吸力面分别开设了冷却孔,并对冷却方案进行了三维数值模拟.为了研究变工况下,高压动叶气膜冷却性能,对三种典型的工况进行了详细的数值模拟.研究了不同转速对高压动叶前缘冷却效果的影响,以及吹风比对高压动叶前缘气膜冷却效果的影响;给出了前缘、压力面、吸力面冷气射流的流动特征;分析了冷气喷射对高压动叶型面马赫数,型面压力的影响.最后探讨了高压动叶吸力面后部70%轴向弦长处冷气喷射对高压动叶通道内波系结构的影响.     

逐像素调制的高反光表面三维测量方法

高反光表面的三维面形测量是光学三维测量领域的难题之一,本文提出一种基于逐像素调制的高反光表面三维测量方法,可解决光学三维测量中因过度曝光而导致的相位信息无法获取的问题。首先,通过投影最大灰度值的灰度图识别饱和像素点的位置;然后,依据投影低灰度下横纵条纹图进行过饱和区域坐标匹配,并结合一种新的相机-投影仪强度映射关系,逐像素求解过饱和像素点的最佳投影灰度值;最后,投影重新生成自适应条纹投影序列,并结合多频外差相移法用于相位恢复和三维重建。实验结果表明：所提方法的间距平均误差和标准偏差均小于文中其他方法所得的测量值,相对于传统方法,该方法的平均误差减少了61.9%,标准偏差减少了67.7%。本文所提方法的调制度高,速度快,能保证很高的测量精度。     

GC-MS测定人血清中酞酸酯类环境污染物

为了解酞酸酯类环境污染物在人血清中的含量水平。采用毛细管柱气相色谱-质谱联用法的选择离子检测(GC-MS-SIR)技术,结合有机溶剂提取,高速离心去蛋白和低温浓缩的方法测定103份健康人血清中酞酸二丁酯(di--nbutyl phthalate,DBP)和酞酸二异辛酯[di-(2-ethyl-hexyl)phthalate,DEHP]。测定结果提示酞酸酯类环境污染物已进入人血清,DBP约为7.10 mg.L-1,DEHP约为6.78 mg.L-1,大部分人体内已有一定的污染负荷。     

中国科技前沿元素在大学普通物理教学中的渗透

如何在理工科专业课的活动教学中有效地润物细无声地开展思政教育成为了新时代大学教育教学工作值得深思的一个问题.我们在大学普通物理的课堂教学中进行了新的尝试:在进行基础物理理论讲授的同时,引入了最新的中国科技前沿成果,渗透进了中国科学家的故事.有机融合课程思政教育和创新能力培养,在激发了他们的科研兴趣、培养创新能力的同时,...     

Tolman length of simple droplet: Theoretical study and molecular dynamics simulation

In 1949, Tolman found the relation between the surface tension and Tolman length, which determines the dimensional effect of the surface tension. Tolman length is the difference between the equimolar surface and the surface of tension. In recent years, the magnitude, expression, and sign of the Tolman length remain an open question. An incompressible and homogeneous liquid droplet model is proposed and the approximate expression and sign for Tolman length are derived in this paper. We obtain the relation between Tolman length and the radius of the surface of tension(R_s) and found that they increase with the Rs decreasing. The Tolman length of plane surface tends to zero. Taking argon for example, molecular dynamics simulation is carried out by using the Lennard–Jones(LJ) potential between atoms at a temperature of 90 K. Five simulated systems are used, with numbers of argon atoms being 10140, 10935, 11760, 13500, and 15360, respectively. By methods of theoretical study and molecular dynamics simulation, we find that the calculated value of Tolman length is more than zero, and it decreases as the size is increased among the whole size range. The value of surface tension increases with the radius of the surface of tension increasing, which is consistent with Tolman’s theory. These conclusions are significant for studying the size dependence of the surface tension.     

雅鲁藏布江流域原生动物群落结构及其与环境因子的关系

数量庞大、体积微小且高度多样化的原生动物是水生态系统中的初级生产者和初级消费者,对淡水生态系统功能具有重要影响。为探究雅鲁藏布江及其主要支流原生动物群落特征及其与环境因子之间的关系,分别于2013年6月20日—8月8日（丰水期）,2013年10月27日—11月14日（平水期）,2014年4月20日—4月30日（枯水期）在雅鲁藏布江干流及其一级支流选取了26个采样点对原生动物群落结构及其环境因子进行调查。结果表明：鉴定出原生动物2门4纲12目24科30属,其中肉足虫12属、纤毛虫18属;食菌和碎屑者（B类）16属,食藻者（A类）15属,无选择的杂食者（N类）2属,捕食者（R类）5属。原生动物密度均值为984.67 ind./L,变化范围为93.33～4 153.33 ind./L。Shannon-Wiener多样性指数（H’）、Pielou均匀度指数（J’）平均值分别为4.49和0.86,多样性和均匀度状况较好,群落结构稳定性较强。主成分分析（PCA）和冗余分析（RDA）表明雅鲁藏布江流域的原生动物的种类数和丰富度存在明显的空间差异,影响其群落结构的主要环境因子有硅酸根离子、硝酸根离子、...