与“牛”有关的植物

牛至是唇形科牛至属多年生的半灌木或草本植物,生长在海拔500~3600米处。其植株矮小,没有明显的主干,地上的茎和叶在春季长出,到冬季枯萎,而地下的根和茎能存活多年。     

告别《霍比特人》

<正>对"中土世界"的粉丝来说,《霍比特人:五军之战》意义非凡:它意味着整个中土世界从此"息影"。有网友在社交网络上称,看着影片结束后字幕一侧的漫画,泪水涌上眼眶,本想在字幕结束后鼓掌纪念再离开,却遭到了影院清洁工大妈的"无情驱赶",只能一步一回头地离去。如此这般依依不舍的,并非只有中国观众。英国学生克洛伊·史密斯在博客中写道,她观影时忍     

矿井机车运输信号系统的Event-B建模与验证研究

人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输信号平面布置图、进路联锁表和机车车辆运输信号设计规范进行建模,模型生成的证明义务通过与否验证了进路联锁表建立过程是否符合平面布置图和设计规范的要求,利用该种思路解决了人工检查联锁表存在的效率低和不确定性等问题。     

三轮移动机器人的精确运动控制设计

首先利用几何结构关系理清了三轮移动机器人的所有非完整约束和完整约束,然后结合非完整力学系统的Euler-Lagrange方程计算得到其动力学方程.为了使得三轮移动机器人能够精确地沿着给定的轨迹曲线运动,将目标轨迹曲线转化为速度形式,然后通过引入一个微分同胚变换将该速度目标转化为和实际初始速度更为接近的形式,从而达到尽量减少控制系统的初始速度误差和累积位置误差的目的,最后结合最优控制和积分滑模控制方法为三轮移动机器人设计鲁棒跟踪控制器.仿真结果显示,提出的轨迹跟踪目标设计和控制方法能使三轮移动机器人精确沿着给定目标轨迹曲线运动,并具有一定的鲁棒性.     

基于VS2005的WinCE应用程序开发环境研究

为了满足嵌入式系统应用软件需求,快速地在嵌入式系统中进行应用软件的开发。为此针对嵌入式操作系统Windows CE的特性以及它的编译环境VS2005的特点,研究了在VS2005中WinCE 5.0应用程序开发环境搭建,以及如何用Platform Builder定制基于Windows CE操作系统的SDK并添加到VS2005中。通过该方法成功的将VS2005测试程序运行在WinCE模拟器中,得到了满意的结果。实践证明该方法是加快嵌入式系统软件开发效率和提高软件质量的有效途径之一。     

《死海古卷》作者迷雾笼罩

科学家们最近对一个神秘杯子上的代码进行的成功解密,对耶路撒冷古代下水道进行的发掘以及其他考古探测的发现,可能帮助揭开其中一个最大的圣经之谜——到底是谁撰写了《死海古卷》？新发现的线索还显示《死海古卷》可能是＂从耶路撒冷神殿带走的珍藏＂。据《圣经》记载,约柜就保存在这个神殿内。     

长江八卦洲汊道水沙特性与治理

结合汊道水沙特性,在对长江八卦洲汊道现有整治工程分析的基础上,采用数学模型进行汊道整治工程数值模拟,并对不同整治方案及整治效果进行了研究.结果表明,八卦洲汊道采用洲头鱼嘴向上游延伸整治工程,是有效实现汊道分流稳定的整治措施.     

大学生人际沟通障碍应对分析

大学生表现出的社会交流障碍,表现为缺乏与他人的交流或交流技巧,固执行事、脾气暴躁,狭窄的兴趣爱等好,刻板的行为等。通过对个例的家庭背景及成长经历分析,作出应对措施建议。     

5色K_4问题的推广

设Kn是具有n个顶点的完全图,fr（n）是满足下列条件的最小正整数：对于任意的正整数m≥fr（n）,存在Kn的一个m边着色,使得Kn中的任一个Kr至少含r（r-1）/2-1种颜色.确定fr（n）的问题称为n阶完全图的r（r-1）/2-1色Kr问题（4≤r≤n）.给出了f5（n）的上界.关于14色K6问题的充要条件和f6（n）的下界.同时证明了f6（7）=19,f6（8）=26,f6（9）=33;f7（n）=n（n-1）/2-[n/4];fr（n）=n（n-1）/2-1（8≤r≤n）.     

FC-度量空间中的R-KKM定理及其对抽象经济的应用

引入了FC-度量空间,建立了非紧FC-度量空间中的R-KKM定理.作为应用,获得了非紧FC-度量空间中的Browder不动点定理以及抽象经济和定性对策的平衡存在定理.