非键盘输入与非键盘计算机

1988年我们在国内外首次提出非键盘输入(亦称无键盘输入)这个新概念,并推出用于中文的实用非键盘输入技术之后,恰像给国际计算机工程技术的海洋里投下了一颗石子,引起了无尽的涟漪。在人们认为“键盘的路可能已经走到尽头”的呼声中,“非键盘计算机”这一新概念应运而生。本文试图从我国汉字输入技术的发展过程来探讨新一代非键盘计算机的生成机理。一、键盘输入在西文打字机中使用了200多年的字符键盘,于被称为人类第二文化的电子计算机问世之后又焕发出青春,成为几十年来计算机使用中必     

关于非负矩阵的一个问题

主要讨论对一个非负可逆矩阵A，x^→在什么条件下，成立A^-1x^→≥0。     

一致L-Lipschitzian非自映象不动点的迭代逼近

本文在实Banach空间中,研究迭代序列xa+1=P[(1-an)xn+an1/n+1∑n+1j=1T(PT)j-1yn]yn=P[(1-βn)xn+βn1/n+1∑n+1j=1T(PT)j-1xn],在对参数适当限制条件下逼近一致L-Lipschitzian非自映象的不动点问题。     

具非线性源和非局部边值条件的一维p-Laplace方程非负非平凡解的存在性

研究一类具非线性源和非局部边值条件的一维p-L aplace方程, 利用锥不动点定理证明了非负非平凡解的存在性.     

Banach空间中可数簇全拟-Φ-渐近非扩张非自映射的强收敛定理

在具有Kadec-Klee性质的一致光滑和严格凸Banach空间中讨论了一类完全拟-Φ-渐近非扩张非自映射簇的公共不动点的迭代逼近问题,并证明了这类完全拟-Φ-渐近非扩张非自映射强收敛性.改进和推广了参考文献的结论:在一致凸和一致光滑的Banach空间中渐近非扩张非自映像(或广义渐近非扩张非自映像簇)的公共不动点的迭代逼近问题.     

非线性方程组在几类计算问题中的应用

非线性方程组讨论的问题为F(x)=0,其中,F∶Rn→Rm.该问题广泛应用于工程、管理和经济学领域.非线性方程数值求解的典型方法之一是牛顿法.由于实际问题中存在大量的非光滑方程问题,近年来非光滑方程、特别是半光滑方程吸引了广大研究者的关注,半光滑牛顿法及其各类应用研究取得了丰硕的成果.本研究基于笔者近段的部分研究工作,介绍了非线性方程在无约束非光滑凸优化、约束最优化、非线性互补、变分不等式、最优控制、二阶段随机规划、随机线性互补和球面上的设计等八个方面的应用.     

广义连续统场论在中国的进展

本文对广义连续统场论在中国的发展过程和进展进行了简要的综述,并对今后的研究方向提出了若干建议。     

应用微扰论计算同核双原子分子非谐振子振转相互作用能及波函数

运用微扰理论计算在小振幅振动情况下,非谐振子振转相互作用的一级、二级近似能量及一级近似波函数.     

东北生态类型单雌蓖麻遗传规律研究

控制单雌蓖麻单雌性状的基因为4对,其中3对为隐性重叠基因,用符号ai表示,Ai对ai为显性;另外一对为隐性抑制基因,用符号b表示,B对b为显性．纯合隐性基因bb对隐性重叠基因a1a1a2a2a3a3起抑制作用,使得a1a1a2a2a3a3bb（保持株）表现为正常两性株,a1a1a2a2a3a3BB（纯合型）和a1a1a2a2aa3a3Bh（杂合型）表现为单雌株．还有一组控制性转换的修饰基因,当温度过低或极高时,该基因才发生作用,从而使单雌蓖麻出现一些极端分离的比例现象．纯合型单雌株与保持株杂交,可获得全雌系．全雌系与恢复系杂交,F1代全为正常两性株,这样即可用全雌系、保持系、恢复系实现蓖麻三系法制种．     

关于多边形的顶点重心与圆内接多边形的垂心的若干结论

利用递归方法给出任意多边形的中线与顶点重心的定义,再给出圆内接多边形高线的定义,然后证明圆内接多边形的高线(或所在直线)共点,由此得到圆内接多边形垂心的定义,最后给出多边形的顶点重心与圆内接多边形的垂心的若干性质。     

两类粘合图的 Wiener与 Harary指数

连通图G的Wiener指数是指图G中所有点对的距离之和,Harary指数是指图G中所有点对的距离的倒数之和。本文主要研究了单圈图与双圈图的粘合图以及双圈图与双圈图的粘合图的Wiener指数的下界和Harary指数的上界的问题,并刻画了对应的极值图。     

九运会体育馆钢屋盖预应力拉索施工技术

广州体育馆是新建成的第九届全国运动会用大型室内运动场，主场馆平面由两个对称的弓形组成，纵轴长160m，横轴长110m，屋面板全部为透光阳光板，屋盖为空间钢结构，在大跨度钢桁架之间采用了施加预应力的拉索支撑，与采用型钢支撑相比，拉索支撑内无压力，美观，而且有利于运动场采光，是一种新颖的先进结构，由于施加预应力，后批张拉时会对先行张拉的钢索内力有影响，屋架安装用支撑的拆除也会对已经张拉完成的钢索内力有影响，于是选择合理的钢索体系以及如何建立合适的钢索永存拉应力，对于本工程的施工既重要又是难点，文中介绍了该工程拉索的施工与检测技术。     

局部凸分离空间上的Bartle积分

提出了取值于局部凸空间的向量测度的p-变差与p-半变差的概念.设(F)是由Ω的子集作成的域,(X,σP)是局部凸分离空间,证明了从賦范空间到局部凸分离空间的有界线性算子的全体构成局部凸分离空间,有界的X值向量测度的全体也是局部凸分离空间.在局部凸分离空间为序列完备的前提下证明了以上两个空间拓扑同构,进而在局部凸分离空间上定义了Bartle积分,并把Banach空间上的关于向量测度的某些结论推广到了局部凸分离空间.     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

固体推进剂用液体硝酸酯增塑剂冰点的测定及其方法的研究

液体增塑剂的冰点,直接影响着推进剂的低温力学性能.通过测熔点的方法,测试了硝化甘油(NG),1,2,4-丁三醇三硝酸酯(BTTN),-缩二乙二醇二硝酸酯(DEGN)和它们不同比例混溶物的冰点.为配方设计提供了必要的理论依据。     

环的 WGP-内射性

给出了 WGP-内射环的等价定义,研究了 WGP-内射环的一些性质,证明了：若 R 是左非奇异的左 WGP-内射环,且对 R 中任意无限序列 a1,a2,a3…,升链 1（a1）1（a1 a2）1（a1 a2 a3）…是平稳的,则 R 是半单环。     

Monitoring and phenomena observation during YAG laser lap welding of Zn-coated steel sheets

1　IntroductionZn coatedsteelsareusedinvariousindustryfieldsbecauseoflowpricesandhighcorrosionresistance .ItisalsoknownthatZncausesspattersorporosityeasilyinlaserlapwelding[1～ 3] .ItisthusexpectedtounderstandlaserweldingphenomenonofZn coatedsteels,tointe…     

伪的弱效应代数的同余和理想

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示.