用压缩映射原理证明较弱条件下的隐函数存在定理

在多元微积分中,隐函数存在定理及其证明是十分重要的内容,但隐函数存在定理的证明所需要的条件较强。本文提出了较弱条件下的隐函数存在定理,并且利用压缩映射原理给出证明,从而填补了较弱条件下的隐函数存在定理的证明方法,具有一定的方法论价值。     

彝区制酒工艺考察

彝族酒文化是中国酒文化中的一个组成部分,通过对凉山彝族酿酒工艺的考察,发现彝族人的酿酒技术是科学的,酿造的酒的确是绿色酒,但酒曲的质量比较差,酒产率很低。因此,许多地方还有待于进一步改进。     

高掺量粉煤灰混凝土在高等级公路中的应用

通过大量试验得到高掺量粉煤灰混凝土在高等级公路中应用的优化配合比 ,其特点是路面耐磨性能好、抗折强度高 .研究成果应用于摊铺机施工的实际工程 ,取得了很好的经济效益和社会效益 .     

不需要双端数据同步的工频故障测距新方法

在分析双端信息采样的同步误差对双端测距同步法的影响基础上，提出了一种不要求两端采样数据同步的故障测距新方法，将两端数据采样的不同步因素以不同步角6的形式引入，建立x=f(δ)的测距方程，在算法中采用两端电气量的故障分量，并利用Im(x)=0这一条件用搜索法求解不同步角δ，进而求得故障距离x的精确解，算法不受过渡电阻和系统运行方式的影响，测距精度高，有助于及时修复线路和保障系统安全经济运行。计算机数字仿真结果表明，该方法有很好的测距精度，完全满足现场实际要求。     

甲烷在飞秒强激光场中的解离

用波长为800 nm，脉宽为160 fs，强度范围为7.6×1013～1.4×1014 W•cm－2的强激光使甲烷分子解离，并用质谱仪检测产生的离子.母体离子在较低的激光强度（7.6×1013 W•cm－2）下出现;当激光强度增加到8.0×1013 W•cm－2时，开始出现；CH2＋、CH＋和C＋离子出现的阈值分别为1.0×1014 W•cm－2、1.4×1014 W•cm－2和1.4×1014 W•cm－2.这些现象表明甲烷的解离是一个顺序过程.质谱图中没有多电荷离子，因此排除了发生库仑爆炸的可能.以线偏振激光作用于甲烷，只有H＋离子有各向异性的角度分布，暗示分子中的化学键是被激光外场拉断的，且初级产物离子H＋是沿着激光电场的方向飞出.提出的准双原子分子模型较好地解释了实验结果.     

两种反式-9,10-二氢-9,10-二乙基蒽-11,12-二羧酸为主体的氢键包合物的合成与晶体结构

合成了反式-9,10-二氢-9,10-二乙基蒽-11,12-二羧酸(EADA)及其与硼酸共同构建主体晶格的正四丁基铵阳离子管状包合物(n-C4H9)4N C18H13O-4?B(OH)3(1)和(n-C4H9)4N C18H13O-4(2),并通过单晶X射线衍射法对其进行了晶体结构测定.结果表明,晶体1属单斜晶系,P2(1)/c空间群,晶胞参数a=1.5699(1)nm,b=0.9955(6)nm,c=2.2933(1)nm,β=109.962(3)°,Z=4,R1=0.0434,wR=0.0759;晶体2属单斜晶系,C2/c空间群,晶胞参数a=1.4005(3)nm,b=1.2821(2)nm,c=1.7657(3)nm,β=100.388(1)°,Z=4,R1=0.0584,wR=0.0966.在晶体1中,EADA阴离子和硼酸分子的氢键四聚体链交错平行排列,生成具有矩形截面的管道式主体晶格,每个管道内包含了两列规则排列的正四丁基铵阳离子(n-C4H9)4N .在晶体2中,相互独立的EADA阴离子交错排列形成类蜂巢形截面的管道式主体晶格,正四丁基铵阳离子形成Z形长列被包合在这些管道里,阳离子的烃链穿插在管道壁中.     

对苯二酚在多壁碳纳米管修饰电极上的电化学行为研究

采用循环伏安法、微分脉冲伏安法、计时安培法研究了对苯二酚在多壁碳纳米管修饰电极上的电化学行为,计算得到了碳纳米管修饰电极有效面积Aeff=23.9mm2以及对苯二酚电化学氧化过程的一些重要参数:传递系数α=0.630;控制步骤的反应电子数nα=1.03;反应速率常数k′=3.74×10-2cm/s;扩散系数D=2.85×10-6cm2/s。实验结果显示,本实验条件下对苯二酚在碳纳米管修饰电极上的氧化反应受扩散过程控制,为前行化学反应(CE),对苯二酚在失去电子之前先经历了一个脱氢的过程。微分脉冲伏安结果显示,催化氧化峰电流与对苯二酚浓度在1×10-4~6×10-6mol/L范围内呈良好的线性关系,检出限达4.0×10-7mol/L(S/N=3)。     

FLL语言的说明性语义与过程性语义

阐明了ＦＬＬ（ＦｕｚｚｙＬｏｇｉｃＬａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了ＦＬＬ的执行模式，为该语言的实现模型奠定了理论基础。