关于某些积分微分方程解的渐近性态

(本文的完整英文稿正付印中,即将发表于美国数学学会刊物“Proc.Amer.Math.Soc.”上。) 文中以推广的Pachpatte积分不等式和非线性参数表现公式为工具,研究某些非线性积分微分方程组的解的渐近性质。在证明了两个定理及若干推论后,举例说明了所得结果的应用。     

CDN对基于Web系统的性能优化技术

剖析互联网的一项新技术——内容分发网络(CDN,Content Distribution Net)的机制及程序架构,可以实现在内容得到高速缓存的同时,保持网页和对象的更新,从而保证用户访问的永远都是最新的内容。     

一种自动求解数学应用题的双路文本编码器

近年来，得益于人工智能技术(Artificial Intelligence, AI)的快速发展，关于自动求解数学应用题(Math Word Problem, MWP)的研究越来越趋向成熟。在自动求解数学应用题任务中，对问题文本进行建模至关重要。针对这一问题，文章提出了一个基于循环神经网络(Recursive Neural Network, RNN)和Transformer编码网络的双路文本编码器(Dual Channel Text Encoder, DCTE):首先，使用循环神经网络对文本进行初步的编码；然后，利用基于自注意力(Self-attention)机制的Transformer编码网络来获得词语的远距离上下文语义信息，以增强词语和文本的语义表征。结合DCTE和GTS(Goal-Driven Tree-structured MWP Solver)解码器，得到了数学应用题求解器(DCTE-GTS模型),并在Math23k数据集上，将该模型与Graph2Tree、HMS等模型进行了对比实验；同时，为探讨编码器配置方法对模型效果的影响，进行了消融实验。对比实验结果表明：DCTE-GTS...     

基于Word的辅助教学软件设计

以MS Word2000为平台,通过MS Word2000中自带的Office套件的内嵌语言VBA开发辅助教学软件。实现三个不同模块的功能：学生管理器模块、公式编辑器模块与图形编辑器模块,简要介绍了开发工具、模块设计和具体实现,对同类软件的开发具有一定的借鉴价值。     

Word97制作自己的网页

随着因特网的进一步普及,许多电脑爱好者都想制作自己的网页,在因特网上安家,但是专业的网页制作工具使用起来都比较复杂,即使是像FrontPage这样所见即所得的网页编辑器要完全掌握也需要一定的时间,更不用说直接编写HTML原代码的网页制作工具了。其实,使用一般电脑用户都比较熟悉的Word97同样能制作出新颖美观的网页来,下面笔者就介绍一下用Word97做网页的具体方法。 首先应在Office97组建中添加“创作Wed页(HTML)”程序。这个程序     

海洋病原细菌Pseudomonas sp.ER22对氯霉素中间体的手性转化

海洋病原细菌PSEUDOM ONAS SP.ER22(CMR,M IC=64ΜG/ML)接种在含有25ΜG/ML标准品氯霉素中间体(D-(-)-苏-2-氨基-1-对硝基苯基-1,3-丙二醇)LB培养基中培养24 H后,可检测到由(1R,2R)形式转化生成(1S,2S)对映体。LC-MS/MS分析显示互为对映体的特征指纹峰相同(M/Z213),保留时间分别为3.74 M IN和4.98 M IN。     

与Word域的“第二次亲密接触”

大家对于Word域（文中简称＂域＂）其实并不陌生,在Word文档中插入页码、进行公式计算都是对于Word域的一种应用。那么,究竟什么是Word域？如何更好地使用Word域呢？只有了解了域的结构、功能,掌握域的插入与编辑之后,我们才能让Word域发挥更大的作用。因此,我们不妨跟着笔者与Word域进行＂第二次亲密的接触＂。     

基于WEB的科技符号在线输入的研究及实现

科技符号一般包括数学公式、数学曲线、化学分子式和逻辑图形等内容,在WEB页面中输入这些符号一直是比较困难的工作.文章针对当前这种情况,研究了Fckeditor网页在线编辑工具,进行二次开发,整合了ScienceWord网络插件,实现了网页在线可视化输入和显示科技符号的一体化方法.为今后网页快捷插入科技符号提供了行之有效的解决方案.     

基于WEB的科技符号在线输入的研究及实现

科技符号一般包括数学公式、数学曲线、化学分子式和逻辑图形等内容,在WEB页面中输入这些符号一直是比较困难的工作.文章针对当前这种情况,研究了Fckeditor网页在线编辑工具,进行二次开发,整合了ScienceWord网络插件,实现了网页在线可视化输入和显示科技符号的一体化方法.为今后网页快捷插入科技符号提供了行之有效的解决方案.     

Frontpage 网页制作的技巧

随着Internet的快速发展和计算机的普及,制作个人网站成为人们展示自己、交流心得的重要手段,掌握一种网页制作方法也成为人们的时尚之选。常用的网页制作软件有Dreamweaver、Flash、Firework、Frontpage等,其中Frontpage是Mi-crosoft Office组件之一。大家对办公自动化软件Microsoft Office中的Word都比较熟悉,其实Frontpage与Word在程序界面和操作方法上都有很多相似之处。而且简单的网页实际上可以看成是排版比较漂亮有文字和图片的带有超级链接的页面,因此在掌握Word的基础上,熟悉Front-page的操作环境,并掌握一些网页制作技巧就…     

Study on NiO/Fe interface with X-ray photoelectron spectroscopy

Different monolayers (ML) of Fe atoms were deposited on NiO (001) substrates or NiO underlayers using molecular beam epitaxy (MBE), pulse laser deposition (PLD), and magnetron sputtering (MS). The magnetic properties and microstructure of the films were studied. The apparent magnetic dead layer (MDL) is found to exist at the NiO/Fe interfaces of the MBE sample (about 2 ML MDL), the PLD sample (about 3 ML MDL), and the MS sample (about 4 ML MDL). X-ray photoelectron spectroscopy indicates the presence of ionic Fe (Fe2+ or Fe3+) and metallic Ni at the NiO/Fe interfaces, which may be due to the chemical reactions between Fe and NiO layers. This also leads to the formation of MDL. The thickness of the MDL and the reaction products are related with the deposition energy of the atoms on the substrates. The interfacial reactions are effectively suppressed by inserting a thin Pt layer at the NiO/Fe interface.     

关于 Euler 公式的重新证明

四元三次不定方程x~3 y~3=u~3 v~3 (1)的有理解由 Enler 公式x、y、u、v=-αβ 1,γβ-1,-β~2 γ,β~2-α (2)给出,式中α、β、γ=a-3b,a~2 3b~2,a 3b (3)式中 a、b 为任意有理数,(Euler 公式由 Euler 提出,Binet 化简,关于证明,例如 Carmichael,Diophantine Analysis,p.65.Hermite 用几何方法证明,Nouv.Ann.(2)11,1872.Oeuvres 3.p115.Fuziwara,Tohoku.Math.Journ.1.1911,Archiv.d.Math.(3)19,     

数学课堂教学观察法

本文借助学科教学知识(Pedagogical Content Knowledge简称PCK)的6个要素,探求PCK的课堂分析方法.依据PCK的要素对教师的数学课堂实例进行分析,进一步观察教师在课堂应用的PCK.本文章依据一节数学课堂实例探讨具体的数学课堂教学观察方法.     

基于最大似然和支持向量机方法的遥感影像地物分类精度评估与比较研究

遥感影像的监督分类算法在环境监测、地质调查等领域均有重要应用。本文利用最大似然(ML)分类器和支持向量机(SVM)分类器对土地利用和地表覆盖问题中地物类型的提取和识别进行研究,系统分析两种不同分类方法对地物分类结果的影响。通过选取Landsat LT5和LE7卫星遥感影像数据及定义训练样本,对比分析利用ML和SVM分类器的分类成果精度,其中Landsat LT5和ML、SVM组合的分类精度分别达94.64%和94.98%,而Landsat LE7和ML、SVM组合的分类精度则分别达97.63%和99.29%。研究表明,对于LT5影像,ML和SVM两种分类器的精度相当,而对于LE7影像,SVM分类器的精度明显高于ML分类器。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

改革创出一条新路--《大学数学辑刊》入选美国《数学评论》(MR)数据库

<大学数学辑刊>(Math Colloquium of Chinses Universities,简称为Math Colloq. Chin. Univ.)是以<宝鸡文理学院学报(自然科学版)>数学稿件为主,集其它尚未入选国际著名数学文献检索数据库的高校学报已经发表的优秀数学论文于一体的一种面向国际交流的数学专集,<大学数学辑刊>旨在促进国际学术交流,为分散发表的而无法入选国际著名数学检索数据库的优秀数学论文提供参与国际学术交流的平台,打造中国普通高校学报对外交流的知名品牌.目前参与<大学数学辑刊>编辑工作的高校学报编辑部有浙江湖州师范学院学报编辑部、绍兴文理学院学报编辑部;山东德州学院学报编辑部、菏泽学院学报编辑部;江西赣南师范学院学报编辑部、宜春学院理学院;湖南城市学院学报编辑部;湖北黄冈师范学院学报编辑部等.经过近1年时间的筹备,终于在2004年6月初顺利通过美国数学会<数学评论>(Mathematical Reviews,简称MR)编辑部专家评审,同意将<大学数学辑刊>收录为MR摘录和评论期刊源.美国回信如下:     

Word2003在日常办公中的应用技巧

本文通过在word2003中插入Excel2003电子表格，在Word2003中制作带颜色的公式，在Word2003中巧妙绘制折线，选中对象的精确调整，巧妙修改Word2003中下划线的距离，让Word2003实现选择录入的设置，展示了日常工作中经常用到的，又往往被忽略的Word2003的几个高级排版技巧。     

美国《数学评论》收录《大学数学辑刊》统计快报

《大学数学辑刊》(Math.Colloq.Chin.Univ.,MCCU)是将分散发表于高校学报,没有被美国《数学评论》(MR)摘评的优秀数学论文汇集一体的数学论文专集,借助《宝鸡文理学院学报(自然科学版)》曾经入选MR的历史背景,2004年由宝鸡文理学院学报编辑部联合多家高校学报编辑部合作创办,以     

基于Nutch的Web数学公式提取

本文主要研究基于公式的数学搜索引擎中数学公式的识别和提取方法,总结了MathML、Open-Math、LaTex、Infix格式数学公式在网页中出现时的各自特征,提出了基于特征和启发式规则的公式识别和提取方法,并用实验说明了该识别和提取方法的可行性和准确率.     

一类特殊随机截尾试验下指数分布的参数估计

利用极大似然法(ML)和EM算法研究了一类特殊随机截尾试验下指数分布参数的极大似然估计和渐进置信区间.给出了参数的EM迭代公式,根据缺损信息原则得到了Fisher观察信息,构造了参数的bootstrap置信区间.随机模拟的结果表明:估计的精度较高,ML法和EM算法几乎一样,渐进置信区间和bootstrap置信区间的差别不大.