马鑫
- 作品数：15 被引量：14H指数：2
- 供职机构：甘肃农业大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学经济管理文化科学农业科学更多>>
- 完全k叉树理论的可数模型及其胞腔性
- 2012年
- 将在逻辑Lω1ω中把完全k(k<ω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质.
- 马鑫王世强
- 农村信息化发展“最后一公里”问题浅议被引量：9
- 2011年
- 对农村信息化本质的不同认识是导致"最后一公里"问题的理论根源。文章分析了农村信息化"最后一公里"问题产生的主要原因,并从加大农村信息资源建设与整合力度、探索适合国情的农业信息化建设的商业化运作模式、逐步完善农村信息服务体系等方面提出了解决农村信息化"最后一公里"问题的对策。
- 王来马鑫
- 关键词：农村信息化
- 紧致性定理的应用及归纳环的模型论性质
- 本文研究模型论紧致性定理的应用及归纳环的模型论性质.
我们的工作主要包括两部分内容：第一部分用紧致性定理证明对任意α1，α2，…，αn，b∈Z以及r1，r2，...，rn，s∈N+，存在模型使不定方程α1xr1...
- 马鑫
- 关键词：紧致性定理模型论
- 提升耕地质量 助推甘肃农业特优产业可持续发展被引量：2
- 2014年
- 土地是承载农业生产的根本,科技是推动农业产业发展的关键。近年来,甘肃省委省政府着眼甘肃实际,提出大力发展现代制种、马铃薯、草食畜、中药材、林果、蔬菜等六大特色优势产业的战略布局。以此为背景,文章分析了甘肃省耕地质量存在的普遍问题和突出问题,并结合农业特有产业发展实际,提出了提升耕地质量,助推甘肃农业特优产业可持续发展的若干对策建议,如出台耕地质量管理条例,实施退化耕地生态恢复重建示范工程,构建特色优势产业区土壤污染监测网络体系,加大工业污染治理力度等。
- 马鑫钱加绪
- 关键词：土壤质量优势产业
- 一类特殊的双向归纳环
- 2011年
- 证明了在语言L={+,.,0,1}下,带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环,进而得出一类特殊的双向归纳模型.
- 马鑫王来
- 关键词：量词消去
- 复形的同伦分解的存在性及其同调维数
- 2017年
- 证明了在相对情形下上有界复形的同伦分解的存在性,这是对经典的复形的同伦分解的推广。定义了上有界复形的相对同调维数,并且给出了维数的一个等价刻画。
- 马鑫赵有益牛雪娜
- 关键词：DG维数
- n素元组猜想对于Peano公理组的条件独立性
- 2013年
- 用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.
- 马鑫沈复兴
- 关键词：紧致性定理
- 关于一类不定方程有解的一般性结论
- 2007年
- 用模型论的方法证明了一类不定方程a1xr11+a2xr22+…+anxrnn=bys(其中a1,…,an,b为任意整数,r1,…,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.
- 马鑫王世强沈复兴
- 关键词：紧致性定理
- 甘肃省农村居民人均纯收入影响因素的统计分析
- 2019年
- 运用因子分析法,对甘肃省2006年至2015年近10年农村居民收入影响因素的相关数据进行分析,并从影响甘肃省农村居民人均纯收入的七个主要因素:有耕地面积、农业机械化总动力、第一生产总值、农村人口数、农村就业人口数、农产品生产价格指数和当年成灾面积入手,得出耕地面积、农业机械化总动力和第一生产总值对农村居民人均纯收入的影响相对来说更大。在此基础上,提出相应的解决意见和建议。
- 丁先洋曹静如马鑫
- 关键词：经济发展农村居民人均纯收入因子得分
- 基于因子分析法的大学生网络购物情况的统计分析
- 2019年
- 网络购物市场日益深入到人们的生活中,而且大学生已成为网络购物的中坚力量。以甘肃农业大学的学生为例研究大学生网络购物行为。主要通过因子分析法对大学生网购的主要影响因素进行分析,在此基础上对其网购行为提出规范化、合理化的建议。
- 曹静如丁先洋马鑫
- 关键词：大学生网络购物单因素方差分析
