完全稠密二叉偏序理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.     

完全分叉树理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.     

一种超图类的全图存在性问题研究

证明了当n≥4时,不存在排斥C的k-一致的可数超图的全图.Hanjanl和Pach于1981年证明了当k=2且n=4的情形;Cherlin和Komjath于1994年证明了当k=2且n≥4的情形,这里的结果是他们结论的推广.     

基于改进E-Score语义及剪枝算法研究

E-Score查询算法返回元组期望最大的k个结果,常常不能适应更高级客户的查询需求,语义需要改进使得更加合理.本文把位置概率引入进E-score语义,定义了一个新的Topk查询语义——带有位置概率的期望得分排序(PPE-Score),并基于位置概率对算法进行修枝剪枝形成相应算法.最后用实验验证新剪枝算法的有效性.     

广义Fibonacci数列一些前n项和式初等证明

用数学初等方法证明了广义Fibonacci数列的相差小于6的前n项的和式,从而就能得到Fibonacci数列、Lucas数列的相差小于6的前n项的和式,通过这些数列的通项就能轻松计算其值。     

广义Fibonacci数列一些前n项和式

作者用数学归纳法证明了广义Fibonacci数列的相差5,6,7的前n项的和式,这样就能轻松得到Fibonacci数列、Lucas数列的相差5,6,7的前n项的和式,通过它的通项就能轻松计算其值。     

大数据驱动下智慧城市建设的若干思考

 在当前的智慧城市建设中,随着互联网、物联网、通信网及大规模智能化应用服务的深入发展,产生了海量、异构、多源的城市时空大数据。在大数据时代,智慧城市的建设值得人们更深层次的思考。如何应对这些大规模、复杂的城市数据,尤其是对数据的感知、采集、存储、管理、分析、挖掘、计算、可视化及高效的服务应用都面临着巨大挑战。本文主要从技术、立法、管理3个视角重点阐述了大数据对智慧城市发展驱动作用。在技术上从纵向和横向两个视角分析城市时空大数据的特征及应用;从数据资产的角度强调了立法在智慧城市中的作用;从政策管理、奖惩与市场机制等方面分析了管理在智慧城市建设中的重要性;从综合视角思考大数据驱动下智慧城市建设中的若干问题。