膨胀型映射的不动点定理

B·E·Rhoades在[1]中总结了若干类压缩型映射,并讨论了它们的不动点定理,文献[2]对于[1]中某些压缩型映射给出了相应的膨胀型映射的定义,并证明了它们的不动点定理.本文将对应于文献[3]讨论更广义的膨胀型映射的不动点定理,这些定理补充和推广了文献[2]中的某些结果。     

与有限分式线性变换群有关的非正则型的奇异积分方程

路见可教授[1]及[3]对于与有限分式线性变换群有关的正则型的奇异积分方程已有详细研究。本文拟利用我们在[2]中所得的结果,研究与有限分式线性变换群有关的非正则型的奇异积分方程,从而推广了[1]和[3]的某些结果。     

一般化凸空间上截口定理对Von Neumann型择一不等式的应用

根据一般化凸空间上的KKM型定理得到了截口定理,然后给出了它对VonNeumann型择一不等式问题的一个应用.所获得的结果改进了文[11]和[12]中相应的结论.     

具有多时滞偏差变元的二阶中立型差分方程的振动性

文[5]研究了一类具有连续变量的二阶中立型差分方程的振动性,给出了所研究方程振动的几个充分条件.将[5]所研究方程的单时滞偏差变元增加为多时滞偏差变元,研究具有多时滞偏差变元的一类二阶中立型差分方程的振动性,给出了方程振动的两个充分条件.所作的研究是对[1]所研究问题的扩展和补充.所研究的方程包含了[2-4]所研究的方程类型,推广了[2-4]的部分结论.     

两种镇定控制器镇定范围的分析

对于一类工作点可变的单输入输出线性系统,被控系统表达为两个典型工作点上传递函数即正则稳定又既约分解的线性内插.文献[1,2]提出了一种固定型镇定控制器设计方法,文献[3]则提出了一种内插型镇定控制器设计方法,文中从理论上证明了文献[3]中提出的内插型镇定控制器能镇定更大范围的被控对象.     

一类振荡奇异积分算子的有界性

研究了一类振荡奇异积分算子在加权Herz型Hardy空间上的有界性,这些结果是[1],[2],[4]和[5]等相应结果的改进和推广。     

几类广义Feynman-Kac半群的强连续性

本文研究几类广义Feyrmaan-Kac半群的强连续性问题.利用文[1]和文[2]中的结果,得到了几类由狄氏型产生的强连续和不强连续广义Feynman-Kac半群的例子.     

微波针灸仪的设计与针刺时微波功率从生物体内反射的测量

我们于1978年研制成功可实用的全固化W-1(图1)及W-1A型微波针灸仪共三套^[1],该年10月通过全套例行试验^[2],并获得医院的疗效观察报告^[3].1979年《电子科学技术》杂志对此作了简短报导^[4].1980年^[5]及1981年提出的新型号,无论频率选择、方案确定,均以W-1A型的设计及电路为兰本.     

化合物ZnⅡO0.5(4,4'-bpy)1.5(H2O)2]2[HPMoⅥ12O40]·4H2O的水热合成、晶体结构及其性质研究

采用水热合成法合成了一种Keggin型多金属氧酸盐[ZnⅡO05(4,4'-bpy)1.5(H2O)2]2[HP-MoⅥ12O40]·4H2O,通过单晶X-射线衍射、元素分析、红外光谱和紫外光谱对其进行了表征.由单晶X-射线衍射分析表明化合物由两个配位阳离子[ZnⅡO0.5(4,4'-bpy)15(H2O)2]+、一个单质子化的Keggin型多阴离子[HPMoⅥ12O40]2-和四个结晶水组成,催化活性测试表明,该化合物对苯甲醛催化制备苯甲酸有良好的催化活性.     

Keggin结构三取代杂多配合物氧化还原性质的研究

采用电化学方法研究钛和过氧钛三取代 :α -K8H2 [SiW9Ti3 O40 ]·1 5H2 O ,β -K7H3 [SiW9Ti3 O40 ]·1 5H2 O ,α -K9H3 [SiW9(TiO2 ) 3 O3 7]·1 2H2 O ,β -K8H2 [SiW9(TiO2 ) 3 O3 7]·1 0H2 O .K9[PW9Ti3 O40 ]·5H2 O和K9[PW9(TiO2 ) 3 O3 7]·6H2 O的氧化还原性质 .实验结果表明 :过氧型杂多配合物的氧化性大于非过氧型的氧化性 .对Keggin结构的同一类型杂多配合物 ,当中心离子不同时对其氧化性有影响 .当中心离子为P时其氧化性强 .对同一类型杂多酸盐 ,α和β两种异构体时 ,一般 β型的氧化性大于α型的氧化性 .     

机械设计与制造中常见的逆包络

随着机械设计与制造中CAD、CAM、FMS、NC等技术的发展和广泛应用,逆包络问题显得尤为重要。给出了该领域研究中常见的包络型、极值型、交线型、盘状型、指状型、柱状型几类逆包络的求解原理与几何建模,包络型曲线族的包络方程及包络条件方程,详细地推导用极值法对驴头型线连续运动产生的曲线族包络的求解问题。结合实例分析了它们的具体应用。     

Dembowski-Ostrom型完全非线性函数构造的线性码权分布

摘要：Dembowski-Ostrom型完全非线性函数是目前最主要的完全非线性函数类,已发现的完全非线性函数中只有一种不属于Dembowski-Ostrom型. 为此,该文首先给出Dembowski-Ostrom型完全非线性函数的定义,将已有的线性码构造推广到这一类型函数上. 进而给出此类函数构造的线性码的码字与有限域上非退化二次型之间的 关系,并得到相应二次型的原像分布的一些性质. 通过有限域上的二次型以及指数和理论,用统一的方法完全确定了基于所有Dembowski-Ostrom型完全非线性函数构造的两类线性码的权分布.     

参数化类型及动态类型检查

数据类型是程序设计语言设计中的一个重要概念。该文通过对Milner多态类型系统的扩展,提出了一个允许将类型作为一阶对象处理的参数化类型系统,并给出了相应的动态类型检查规则。     

小型氢频标磁控管微波腔与空型腔性能的比较

用Ansoft HFSS仿真软件建立了小型氢频标空型和磁控管型微波腔模型结构,仿真了2种不同微波腔的谐振频率、品质因数和电磁场结构,通过比较发现空型微波腔当加入壳电极后,腔体内电磁场分布被改变,使得腔体轴线附近磁场分布更加均匀,而电场则主要分布在微波腔壳电极缝隙区域．     

陇南山区兽类与环境

陇南位于甘肃东南部。这里自然环境复杂，气候温暖湿润，森林茂密，具有多种生态环境—河谷林灌、阔叶林、针阔混交林、针叶林、高山灌丛草甸及农田。在此生态环境中栖息着种类繁多的兽类，已知兽类约５５种，占全省兽类总数的３９％。     

黄芪胚胎学研究—双受精作用胚与胚乳的发育

本文通过光学显微镜对东北黄芪双受精作用以及胚与胚乳的发育进行了细胞形态学观察。东北黄芪的成熟花粉是二细胞型的;珠孔端受精,受精作用属于有丝分裂前配子融合类型。胚的发育类型属于柳叶菜型;核型胚乳,胚乳核分裂速度快于胚细胞的分裂速度。     

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.     

另类元素周期表

为帮助学生理解元素排列规律,综述了长式、螺旋式和三维式元素周期表,讨论了各自的优缺点和辅助教学作用.介绍的周期表在提高学生学习兴趣,开阔学生眼界,培养学生创造性思维和想象力等方面有重要的参考价值.     

重刑犯人格类型的聚类分析

目的：探讨重刑犯人格类型的划分模型.方法：以福建省四所监狱的678名重刑犯的COPA的测验数据为基础,在12个临床分量表的水平上对重刑犯进行分层聚类.结果：通过对重刑犯人格特征的聚类分析得到独立---怯懦,冲动---激惹,可控---稳定和依赖---退缩四种基本人格类型,四种人格类型的重刑犯在 COPA 各临床分量表上得分除聪敏分量表外,在其它11个临床分量表上均存在显著差异（p〈0.05）.结论：重刑犯人格类型分为独立---怯懦型,冲动---激惹型,可控---稳定型和依赖---退缩型四种,监管人员可根据这一分类模型,针对不同类型的重刑犯进行分类矫治.