童心童眼

正本期话题春天来了编辑阿姨的话:小河解冻了吗?小柳条发芽了没有?小燕子飞回来了吗?小青蛙醒了没有?小草儿冒尖了吗?小花苞探出头来了没有?春天来了!春天来了!小伙伴们,快,我们一起去寻找春天的踪迹!春天在哪里早晨,灰蒙蒙的大雾像一个巨大的纱罩(zhào),把大地上的一切都遮住了。午饭过后,我和妈妈去公园玩。我发现路两旁     

印度软件产业发展的思考

2004年11月，我们跟随山东省科技厅徐茂波副厅长带领的信息技术考察团赴印度进行了为期9天的访问。主要参加了在班加罗尔举行的国际信息技术博览会，期间拜会了班加罗尔所在的Karnataka邦政府信息和生物技术司司长，商谈了有关合作问题。会后参观了班加罗尔软件园，访问了印度几家最大的信息技术公司，并就人才培养、软件产品开发等方面进行了深入的探讨，并达成了初步的意向。     

我与台湾的第一次亲密接触

申请赴台历经了一番“磨难”,台湾之行收获颇多,在岛内感受了其交通的便利,留下了对其大学的印象,进行了难忘的研讨会,领略了其学者们的风采,与台湾亲密接触了一回。     

西瓜的故事

正夜深了,乡村的田野一片寂静。看着村子里的灯光次第熄灭,刘爷爷在瓜地巡视了一圈后回家了。想着今年风调雨顺,丰收在望,他满意地点燃了一支烟。夜更深了,两个黑影摸进了瓜地。10分钟,20分钟……他们把一辆三轮车装满了。离开瓜地才走了几步,三轮车却罢工了——陷进了一个坑。     

《尼尔斯骑鹅历险记》

名叫尼尔斯的瑞典小男孩被精灵变成了一个拇指大的小人儿。他骑在鹅背上,跟着大雁走南闯北,看到了自己祖国的奇峰异川,学习了祖国的地理历史,听到了许多故事传说,饱尝了不少艰辛苦难,也学到了不少知识技 能……     

从六届世界杯赛看女子竞走技术发展趋势

作者综合整理了六届竞走世界杯赛的情况，筛选了相关数据，具有针对性地对国内外部分优秀运动员进行了技术分析。文中探讨了目前中外女子竞走的竞技现状，剖析了技术发展趋势，提出了对１９９５年世界杯赛、１９９６年第２６届奥运会女子竞走竞技水平的预测，肯定了中国女子竞走运动技术水平已达到世界先进水平，肯定了中国女队已经形成的高频率走的技术风格，指出了尚存在的整体实力稍差、参加世界大赛时速度能力稍低、有少数队员技术不合理的问题。     

基于双边多目标和时间限制的讨价还价协商模型

基于博弈论的理论,讨论了基于讨价还价机制协商模型,该模型体现了3个关键特征,包括:具有时间限制、信息不完全性和多目标(议题)的3个特征.该模型用形式化的方法定义了协商模型,并规定了在协商过程中的协商协议;根据博弈论的理论,定义了协商过程中的多目标的效用函数,设计了讨价还价交易过程中双方的让步函数;给出了带有时间限制策略规则,该规则可以作为双方交易过程中判断是否交易成功的条件.通过实验分析比较了几种不同的协商策略,实验结果表明了该协商策略模型的有效性,并且为该系统的具体实施奠定了基础.     

新疆兵团农十二师104团天然草地资源及其评价

以天然草地野外考察为依据,概述了草地形成的自然条件,划分了草地类型,研究和分析了各类草地的自然、经济特征,并对天然草地资源进行了等级评定,估算了各季节牧草载畜量,分析了草畜供需潜力,阐述了该团草地资源存在的优势条件,提出了制约草原畜牧业发展的主要问题。     

基于比例方向阀的6自由度摇摆试验台精度控制方法研究

介绍了6自由度平台的控制方法,深入研究了比例方向阀的精度,介绍了比例方向阀的工作原理,对比例方向阀的静、动态特性进行了实验测试,并提出了对称阀控制非对称缸的控制方法.对平台运动轨迹规划进行了研究,提出了轨迹规划的方法,并进行了试验.     

改进的遗传算法求解TSP

阐述了一种针对TSP问题的改进遗传算法。引入了局部优化搜索算法。加快了算法的收敛速度。减轻了初值对结果的影响。加入了改进的OX交叉算法,在交叉中合理保留了优秀个体基因的排列顺序。利用精英复制保留了优秀基因。维持了种群个体数目稳定。提出了一种新的变异算法,有效避免了路径重复,减小了运算量,提高了运算速度。     

代数体函数及其线性微分多项式的唯一性

利用现有的亚纯函数和代数体函数的相关结论,研究代数体函数的分担值与分支点之间的关系,得到一个代数体函数与其线性微分多项式具有公共值的唯一性定理,将关于亚纯函数与其线性微分多项式的一个唯一性定理推广到代数体函数。     

高阶中值定理

中值定理本质上是用函数在区间两端点的函数值来刻划其“中间”一点的导数值．如果是用多个点处的函数值去刻划其“中间”一点的高阶导数，就得出了高阶中值定理．     

代数体函数的几个定理

应用Nevanlinna理论, 首先，研究了代数体函数的唯一性问题, 将亚纯函数五值强化定理推广到代数体函数, 得到了3v+1值强化定理; 其次，研究了当分担值较少时2个代数体函数特征函数之间的关系, 推广了亚纯函数四值定理.     

分数阶微分方程非局部初值问题解的存在性

考虑相对于另一个函数的Caputo型分数阶导数,利用Krasnoelkii定理和Banach不动点定理得到初值问题解的存在性和唯一性的结果.     

具有三个CM公共值的亚纯函数的唯一性

本文指出仪洪勋和Brosch G在具有三个判别的CM公共值的亚纯函数的唯一性定理中,关于对数函数的导数是整函数的推导,可以用指数函数求导的方法来证明.改进了仪洪勋和Brosch G关于重值与唯一性定理.     

分数阶脉冲微分方程反周期边值问题解的存在性

研究了一类具有Caputo分数导数的分数阶脉冲微分方程反周期边值问题解的存在性与唯一性.首先,运用分析的方法计算出边值问题的Green函数,并讨论了Green函数的性质;其次,将微分方程边值问题转化为积分算子方程,利用不动点理论及压缩映射原理,得到了关于反周期边值问题解的存在性及唯一性的多个新结论.特别地,研究的边值问题在脉冲条件和边界条件中都涉及状态变量的分数阶导数.     

一类带有分数阶非局部边值条件的分数阶差分方程解的存在性

研究了一类带有非局部分数阶边值条件的分数阶差分方程解的存在性与唯一性.首先给出了这个问题解的表达式,然后分析了格林函数的一些性质,并运用压缩映像原理,Brouwer定理以及Krasnoselskii定理证明了该问题解的存在唯一性.所得结论推广了现有文献中的一些结果,并给出了具体例子用以说明文中的主要结论.     

Lagrange中值定理的一个证明

在一般分析教程中,Lagrange和Cauchy中值定理都是通过作辅助函数利用Rolle定理来证明的,通过推导,给出Lagrange中值定理的另一个证法.     

亚纯函数涉及分担值的唯一性

应用Nevanlinna值分布理论,研究亚纯函数与它的微分多项式分担一个值的唯一性问题.通过两个函数CM分担1,并且引入两个函数的极点和零点的次数的思想,对文献进行改进,得到了新的结论.改进和推广了有关亚纯函数唯一性的一些结果.     

关于整函数与其导数分担值或小函数的若干注记

考虑涉及分担值或小函数的整函数与其导函数的惟一性问题.作者给出一个充分条件,即该整函数的n阶导函数与n＋1阶导函数CM分担一个非零有限值.还给出文献[LI S,et al,Ann Polon Math,2012（104）：1-11]中定理2.2的正确表述形式以及定理2.2,3.1和定理4.1的证明改正.