奥巴马第二任期，共和党何去何从

听到“共和党”，你首先反应出的形容词是什么？2012年12月9日，美国全国广播公司和《华尔街日报》公布的例行民调给出了一个令人堪忧的答案：恶劣、软弱、失信、无组织……这些都是65％的受访者脱口而出的。大选虽已落幕一月有余，但华府上下却并不冷清。两党一面为了未来两年权力重组而暗战角力，另一方面又在宾夕法尼亚大街两端竭力展开使国家在“财政悬崖”边勒马回头的谈判与妥协。     

渐近线性哈密顿系统的周期解（英文）

论文考虑了渐近线性哈密顿系统周期解的存在和多重性问题,基于莫斯指数理论和Lusternik-Schnirelman定理获得了系统至少存在一组非零解的充分条件,推广了已有的相关结果.     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

“直线与平面平行的判定”教学设计

一、教材分析本节是人教社(A版)数学2第二章第一节。这时学生已经学习了平面中线线平行的位置关系,同时还学习了直线与平面平行的概念,在此基础上,结合实物模型,通过直观感知,操作确认,归纳出直线与平面平行的判定定理。本节课的学习为后面学习线面垂直以及面面平行的     

时事·国家发展和改革委员会

1.9月16日．国家发展改革委和国务院南水北调办召集召开丹江口库区及上游水污染防治和水土保持部际联席会议办公室第二次全体会议。     

具非连续收获策略的Gilpin-Ayala竞争系统周期解的存在性（英文）

考虑非连续收获策略对Gilpin-Ayala竞争系统动力学的影响,本文提出了下面带有非连续收获策略的n维时滞Gilpin-Ayala竞争系统.n dx∞i(t)=x)[bt,s)]-εdti(ti(t)-∑i(t)hi(xi(t))xi(t),i=1,2,…,n.j=∫xθij j(t-s)dsKij(10利用集值映射的锥拉伸压缩不动点定理,获得了这个竞争系统的正周期解存在的充分条件.     

Lax—Milgram定理在一类波动方程精确能控性中的应用

控制理论是近年来讨论的热点.讨论一类具有混和边界的变系数波动方程的精确能控性,利用Lax-Milgram 定理证明该系统相应的齐次系统的初始条件和该系统的初始条件存在着同构映射,进一步证明该系统是精确能控的.     

浅谈二外日语教学

第二外语是高校外语专业学生必修的一门课，由于学习时间的限制，学生往往不能得到充分的学习，因此如何在有限的时间里提高学生的学习水平，成了所有教师值得探讨的问题，本文主要针对教法和学法进行了讨论。     

关于科希定理和科希公式的讨论

本详细地讨论了科希定理和科希公式，然后细致地、示范性地以例题讨论了科希定理和科希公式的应用。     

安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.