- 吴文俊
主要介绍了脑力劳动机械化和数学机械化的发展历史以及研究现状。17世纪以来,工业革命使人们逐渐实现了体力劳动的机械化,促进了社会生产力的发展。本世纪电子计算机的产生,则为人类实现脑力劳动的机械化创造了物质条件。在目前这一以计算机为标志的信息革命时代,数学应该有什么样的创新与之相适应呢?回顾数学发展史,主要有两种思想:一是公理化思想,另一是机械化思想。前者源于希腊,后者则贯穿整个中国古代数学。这两种思想对数学发展都曾起过巨大作用。从汉初完成的《九章算术》中对开平方、开立方的机械化过程的描述,到宋元时代发展起来的求解高次代数方程组的机械化方法,无一不与数学机械化思想有关。公理化思想在现代数学,尤其是纯粹数学中占据着统治地位。然而,其在数学上的多次重大跃进都与机械化思想有关。正是基于这种考虑,吴文俊先生倡导数学机械化研究。
2003年02期 1-9页 [查看摘要][在线阅读][下载 836k] - 乐茂华
设r是大于1的正奇数,m是偶数。设U_r,V_r是适合V_r+U_r(-1)~(1/2)/=(m+(-1)~(1/2))~r的整数,又设a=│V_r│,b=│U_r│,c=m~2+1。证明了:当a≡2(mod 4),b≡3(mod 4);m≥41r~(3/2)时,方程a~x+b~y=c~2仅有正整数解(x,y,z)=(2,2,r)。
2003年02期 10-14页 [查看摘要][在线阅读][下载 161k] - 宋明辉,刘明珠
研究以下中立型泛函微分方程y'(t)=Ay(t)+sum from i=1 to 3 B_iy(q_it)+sum from i=1 to k C_iy'(P_it)数值稳定性,其中A,B_i,(i=1,…,s),C_i(i=1,…,k)是复矩阵,0<q_1≤q_2≤…≤q_s<1,0<p_1≤p_2≤…≤p_s<1我们给出了θ-方法渐近稳定的充分必要条件。
2003年02期 15-18页 [查看摘要][在线阅读][下载 122k] - 张春蕊,刘明珠,郑宝东
研究了欧拉方法对以滞量为参数的具有Hopf分支的向日葵方程的数值逼近问题。首先,将利用欧拉方法得到的时滞差分方程表示为映射,然后以时滞r为分支参数,利用离散动力系统的分支理论,在向日葵方程具有Hopf分支的条件下,给出了差分方程Hopf分支存在的条件。给出了连续模型与其数值逼近间的关系,证明了当该方程在r=ro产生Hopf分支时,其数值逼近也在相应的参数r_h处具有Hopf分支,并且r_h=r_0+O(h)。
2003年02期 19-21+25页 [查看摘要][在线阅读][下载 146k] - 邹巾英,丁效华,刘明珠
研究一类连续的Rungee—Kutta—Nystrm方法,给出该方法直到四阶的阶条件和利用其求解二阶线性延迟微分方程时的P-稳定区域。利用所给的阶条件,分别构造了特殊的二级二阶和三级三阶连续Runge-Kutta-Nystrm方法,并通过数值实验说明方法是实用的。
2003年02期 22-25页 [查看摘要][在线阅读][下载 144k] - 傅红笋,韩波
针对偏微分方程参数反演问题,提出了小波多尺度-正则化反演方法,用小波变换将参数反演问题转化为小波域中有限维系数的反演问题,基于多尺度分析思想,有效改进了局部极小和计算量大的问题,结合正则化方法克服了反问题的不适定性。数值模拟试验表明了该方法的有效性。
2003年02期 26-27页 [查看摘要][在线阅读][下载 100k] - 张伟鹏,王克
主要研究稀疏效应下非自治捕食模型的概周期系统,并通过应用Lyapunov第二方法,得到了概周期环境下存在唯一严格正的全局渐进稳定的概周期解的充分条件。
2003年02期 28-31页 [查看摘要][在线阅读][下载 155k] - 郝立丽,曹重光
近年来一些作者对线性保持问题给予了极大的关注,但研究在环上保群逆的文章尚很少,文献[5]给出了2是单位的环上矩阵保群逆的线性算子的刻划。补充了[5]的结果,令R是特征2的主理想整环,M_0(R)记R上n×n矩阵代数,刻划了在R上保M_n(R)中矩阵的群逆的线性算子的形式。
2003年02期 32-34页 [查看摘要][在线阅读][下载 98k] - 郭玲,唐孝敏
令Sn(F)是元素个数大于3的域F上的n×n对称矩阵代数。在矩阵代数上定义了一种偏序,称为秩偏序,则T是Sn(F)上的一个保持秩偏序的可逆线性算子当且仅当存在一个可逆矩阵U∈M_n(F),使得T(X)=cUXU~T,X=(X_(ij)∈S_n(F),这里0≠c∈F,作为应用,还确定了S_n(F)上保持秩可加的线性算子。
2003年02期 35-37页 [查看摘要][在线阅读][下载 117k] - 夏章生,谭志松
由Hochschild(T-)上同调中的(T-)导子提升问题,考虑代数到其双模上的广义(T-)导子的提升,即定理1:设I为域F上的结合代数A的双边理想,M是A-双模,且作为域F上的向量空间是有限维的,N是M的A-双子模且IMNM若H~2(A,N)=0,则对于任意由A/I到M/N的广义导子f_0∈Z~1(A/I,M/N),存在由A到M的广义导子f∈Z~1(A,M),使得p'f=f_0p;和定理2,3,4。
2003年02期 38-40页 [查看摘要][在线阅读][下载 161k] - 许世蒙,张玉忠
对给出的有交易费的正常化市场资产模型,利用辅助鞅和资产折算函数方法,讨论了该市场模型下有偏好套期保值的期权定价及定价区间,由此还进一步讨论相应的资产优化性质。其中,引进偏好系数来讨论未定权益定价,使得所给出的定价形式具有一定的柔性。即未定权益中分量赋予不同的侧重,以及在一定的优化或环境约束情形下,可适当地调整未定权益定价,比单纯的套期保值有一定的优势。
2003年02期 41-44页 [查看摘要][在线阅读][下载 206k] - 唐余勇,鲍青山,汪云涛
首先指出了传统的回转铣刀刃口设计带给二轴联动加工的困难,并由此引进新型刃口设计通用公式,进而以带角圆的凸弧回转铣刀为例给出了相应的连续刃口曲线方程,最后指出了后续工作的思路。
2003年02期 45-47页 [查看摘要][在线阅读][下载 120k] - 刘兴华,梁晓蓓,汤兵勇
近几年,大量文献发现的证券市场异常现象(anomalies)严重地挑战了有效市场假说。建立了一个投资者信念模型,认为投资者的信念是在不完美信息下对公司级和市场级两个层面的分析之后形成的。提出模型不仅假设更合理,还以简约和统一的方式同时解释了多个已发现的异常,如反应过度和反应不足、小市值公司或高成长性公司效应,并给出了计算机仿真。还提出了两个有待验证的异常现象。
2003年02期 48-54页 [查看摘要][在线阅读][下载 432k] - 杜洪越,邓自立
提出了多变量滑动平均(MA)模型参数估计的两段最小二乘法。第一段将多变量MA模型用高阶多变量自回归(AR)模型近似代替,用多变量递推最小二乘法(MRLS)估计高阶AR模型参数。第二段用最小二乘法解不相容矩阵代数方程组得MA参数估值。同多变量递推增广最小二乘法相比,可提高精度,仿真例子说明了其有效性。
2003年02期 55-58页 [查看摘要][在线阅读][下载 114k] - 张颖,张瑞,高中文
对于受不确定因素影响的短期电力负荷,提出了一种基于相似日的神经网络预测方法。设计了一个规范化的相关因素映射数据表,应用聚类分析方法描述由于相关因素的不同而导致的待预测日与历史日之间的差异程度,选用日特征量相同或相近的历史负荷数据作为神经网络的输入元素进行预测。用该方法选取相似日可以较多的考虑各种因素,因此,具有较高的预测精度。
2003年02期 59-61+65页 [查看摘要][在线阅读][下载 205k] - 韩慧健,张彩明
讨论了裁剪纹理(Cliptexture)技术。该技术利用在有限物理内存中缓存大纹理数据的子集实现动态纹理显示。描述了裁剪纹理的静态结构和形成,对裁剪纹理数据调度过程的缓存预测、纹理环行装载,以及动态纹理装载控制进行了阐述。最后通过存储效率分析说明了该技术处理大纹理数据的有效性。
2003年02期 62-65页 [查看摘要][在线阅读][下载 314k] - 伍一
提出基于数据仓库的电能量计量数据库系统的设计。在此基础上,设计一数据仓库结构模型,并给出解决这一类问题的思想方法以及系统设计的功能实现;采用该技术,我们可对电网各部门提供电能量计量数据个性化服务,并为电力企业管理者提供电能量计量数据信息的分析及决策支持。
2003年02期 66-68页 [查看摘要][在线阅读][下载 206k] - 卢惠林,朱玉,武延平,宋敏慧
根据物资管理行业的功能需求和物资信息流数据的特点,寻求一种关系优化物资信息数据库管理模式,并结合优化过程,做出较为详细的结构分析。在层次结构基础之上,给出物资信息数据库系统的结构设计,并在企业实现了这一系统的应用,取得了很好的效果。
2003年02期 69-70+74页 [查看摘要][在线阅读][下载 198k] - 陈涛,刘枫,邹亚东,洪海
论述了铁路货车标签安装网络对标签安装中的应用,货车标签安装网络的结构与工作原理以及实施过程中的安全考虑。利用Oracle的回滚技术与网络数据传输中的断点续传技术,保证了数据存储的完整性和申请的每一个车号的有效性与完整性。
2003年02期 71-74页 [查看摘要][在线阅读][下载 242k] - 方伟林,孙晓军
为了实现材料试验过程中多种参量的自动测量与处理,给出了采用压力传感器、放大器、单片机及数字信号处理技术构成材料试验机数据采集测量系统的方法。用该方法设计的系统可实现金属材料屈服点和抗拉强度等参数的自动测试,提高材料试验的质量及效率。
2003年02期 75-77页 [查看摘要][在线阅读][下载 186k] - 史丽萍,孙宝元,于浩洋
在进行动态和静态测试时,经常需要对测试所得的数据进行处理,以使受干扰的一组数据“回归”其原有(排除这种干扰后)的变化规律。介绍一种实际应用中准确度较高的代数多项式回归分析方法,即切比雪夫(Tchebyshev)多项式回归分析方法。
2003年02期 78-81页 [查看摘要][在线阅读][下载 179k] - 宋国利,林维秋,梁红,孙凯霞,杨幼桐
多种稀土离子掺杂在蓝/绿可见波段和紫外波段存在受激发射,可能成为制备短波长激光、发光半导体重要的候选材料。近年来,对稀土Er~(3+)上转换发光的研究有了长足发展,在多种基质中发现了Er~(3+)在蓝/绿可见波段的上转换发光。分析了稀土Er~(3+)中4f电子跃迁的特征,讨论了不同基质对Er~(3+)在可见波段上转换发光的影响,提出了在980nmLD的激发下,氟氧化物基质中Er~(3+)在550~525nm附近的绿光上转换发光过程是激发态吸收(ESA),给出了~4I_(15/2)→~4I_(11/2)→~4F_(7/2)步进双光子吸收、激发态~4F_(7/2)→~2H_(11/2)和~4F_(7/2)→~4S_(3/2)的无辐射跃迁、~4S_(3/2)→~4I_(15/2)和~2H_(11/2)→~4I_(15/2)绿光上转换发光机制。
2003年02期 82-85+88页 [查看摘要][在线阅读][下载 292k] - 曲伟,邱成军,于新
采用压力传感器和单片机89C2051构成加药装置的液位检测系统,阐述了加药装置液位检测的工作原理,以及药罐内液位自动检测及自动控制电路的硬件、软件设计与实现方法。给出此装置的测试部分试验结果,并对主要技术关键及解决措施进行了讨论。
2003年02期 86-88页 [查看摘要][在线阅读][下载 178k] - 王智民,张新,张艳熹,韩维屏
采用溶胶-凝胶方法,在TiO_2中以不同配比掺杂MoO_3,制得TiO_2/MoO_3复合粉体。经过调浆、涂覆、烧结、陈化和封装等工艺,进而制得旁热式厚膜陶瓷元件。以电阻为感量,以氮气为稀释气体,分别在不同浓度的邻二甲苯,甲醇,乙醇,H_2,CO或O_2气气氛中,测试元件的气敏特性,获得了仅对邻二甲苯具有良好灵敏度、选择性和响应时间的气敏元件,为检测和治理工业废气和废水中的邻二甲苯有机污染,提供了可供开发应用的传感元件。
2003年02期 89-92页 [查看摘要][在线阅读][下载 199k] - 张贞浴,李丽萍,孙立国,吴延丽
选用双螺杆挤出制备淀粉与水及甘油的共混物,研究增塑剂对热塑性淀粉塑料(TPS)的影响,同时研究了淀粉颗粒及含水量对材料的影响以及增塑剂和熔体温度对淀粉塑料流变行为的影响。实验表明,水及甘油可以作为淀粉的增塑剂,改善淀粉的加工性能。
2003年02期 93-95页 [查看摘要][在线阅读][下载 178k] - 秦川丽,张巨生,唐冬雁,蔡伟民
以甲苯二异氰酸酯、聚氧化丙烯多元醇为原料合成了甲苯二异氰酸酯预聚物,探讨了滴加顺序和反应时间对甲苯二异氰酸酯预聚物的影响;确定了引发剂用量和反应时间对甲基丙烯酸乙酯预聚物的影响;采用“同步”互穿技术合成了聚氨酯/聚甲基丙烯酸乙酯互穿聚合物网络。TMA对玻璃化转变温度区间的检测结果表明,该IPN的玻璃化转变温区在-26.32℃~23.90℃,IPN技术有明显拓宽玻璃化温区的作用。
2003年02期 96-99页 [查看摘要][在线阅读][下载 234k] - 伍晓林,郝文辉,侯艳君,马东升,伦世仪
从大庆油田采油污水中分离出一种菌株,进行了实验室配伍试验和室内驱油模拟试验。建立了一种新的乙醇-氢氧化钠-正己烷萃取剂体系,直接对原油中极性化合物进行了提取分离,并通过气相色谱-质谱联用等方法对微生物降解前、后原油中的极性化学成分进行了分析测定。结果表明,该菌种具有较强的降解原油的能力。
2003年02期 100-105页 [查看摘要][在线阅读][下载 256k] - 张国,李丽,张新,袁福龙,光焕竹,傅宏刚
研究水溶液成胶制备氧化铝过程中,掺杂氧化镧及利用聚乙二醇助成胶对氧化铝热稳定性和比表面的影响。通过XRD表征手段和TG检测方法来检测氧化铝在不同温度焙烧后的晶相改变和热失重情况,并利用BET检测方法检测不同温度焙烧后的比表面。实验结果表明,氧化镧的掺杂可提高氧化铝的热稳定性,利用聚乙二醇助成胶可有效提高氧化铝的比表面。
2003年02期 106-110页 [查看摘要][在线阅读][下载 271k] - 谢刚,李霞,田国辉,臧福学
应用自行研制的多参数混合机,利用标准玻璃球模拟混合介质,对混合过程中的混合时间,装料填充系数,转筒倾斜角和转速等工艺参数进行了系统研究,从中找出一些改善混合质量的因素,建立了计算混合度的计算公式,同时确定了上述工艺参数的参考值。
2003年02期 111-113页 [查看摘要][在线阅读][下载 129k] - 马东升,孙志忠,徐苗苗,孙宏图
以1-甲氧基-2-丙醇为原料,采用次氯酸钠氧化法合成了甲氧基丙酮,纯度≥98%,收率为65.9%,与其它合成方法相比,该方法具有操作简便,反应条件温和,转化率及收率较高的优点,并确定了反应的最佳条件。
2003年02期 114-116页 [查看摘要][在线阅读][下载 156k] - 王贵领,赵经贵,赵杰,孙鹏
研究了利用拜泉膨润土制备活性白土的工艺,着重讨论了膨润土活化反应的酸度、温度、时间、固液比对产品性能的影响,并对所合成的活性白土进行了XRD、SEM结构表征。
2003年02期 117-120页 [查看摘要][在线阅读][下载 399k] - 张彦龙,韩德权,周东坡
针对传统工艺的不足,用现代生物技术对猪血提取血红素的生产工艺进行了提升。这种工艺具有原料易得、产品色度好、易于工业化等特点;通过加入发色剂和助色剂,所得产品色泽好、溶解性好、特别适于肉灌制品。
2003年02期 121-122+126页 [查看摘要][在线阅读][下载 141k] - 刘晓兰,凌洪博,杜连祥,张春蕾
以产纤溶酶的华根霉12#为出发菌株,对其进行紫外线-氯化锂复合诱变,筛选到74株制霉素抗性突变株。所有抗性突变株经进一步固体发酵筛选,获得了4株稳定高产纤溶酶的正突变株,其纤溶酶产量分别比出发菌株提高32.9%、21.5%、22.3%和18.0%。
2003年02期 123-126页 [查看摘要][在线阅读][下载 232k] <正> 余有龙教授,1965年生,1987年本科毕业于哈尔滨工业大学应用物理系,1990年毕业于哈尔滨工业大学应用物理系光学专业,获硕士学位,1999年毕业于南开大学现代光学研究所,获博士学位,2000年5月进入哈尔滨工业大学电子科学与技术博士后流动站工作。
2003年02期 127页 [查看摘要][在线阅读][下载 78k] 下载本期数据