沙棘在榆林市生态建设中的作用及发展策略

榆林地处毛乌素沙漠边缘，是黄土高原与沙漠接襄地带。北部属典型的新月型，沙丘链，海拔1070—1080米，沙丘高度一般3—7米，经过人工治沙造林，现属于半固定沙地。气候属温带干旱、半干旱大陆季风气候。年平均气温7．9—11．3℃；降水量414．4mm左右；日照时数为2593．5—2914．2h；蒸发量在1152．2—1289．7mm之间；≥10℃以上积温3397℃。无霜期134—169天；干燥度1．5—1．6；空气相对湿度57％，极端最高气温38．6℃；极端最低气温一32．7℃；冬春多西北风，风力较强，一般4—8级，风沙日年平均81天。夏秋多东南风，风力较弱，可满足一般温带植物生长需要，风速1．9m／s。     

网络课件中动态题库的研究

网络课件以其良好的交互性和多媒体功能倍受学习者青睐。近几年来网络课件数量剧增,但对试题库的研究与开发相对简单,给用户提供的试卷或者习题不论是动态或者静态的,均不能很好地考虑网络上不同用户的需求。为此,文章着重从不同用户的需求和提高组卷效率出发,智能地、高效地生成不同需求的试卷或者习题以满足不同用户,同时为提高组卷效率而提出了多种策略相结合的组题方式。     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

汽车内部布置概念设计建模

用面向对象分析方法给出了汽车内部布置概念设计对象的层次结构,建立了对象之间面向舒适坐姿的连接依赖关系,并用动态约束网络描述了对象之间的动态约束关系,采用约束满足问题求解策略求得满足约束条件的布置参数.     

特殊非线性递推数列通项求法的进一步探讨

研究级数通常以通项为基础．本文对某些级数的通项用方程满足的关系式给出的情况，研究如何求解通项的表达式．文中对两种特殊非线性递推数列的通项求法进行探讨。     

儿童自我延迟满足心理机制的再认识

儿童自我延迟满足的研究一直是心理学家关注的热点问题之一。梳理儿童延迟满足的相关实验,从实验的定义、被试年龄、主动延迟和被动延迟的差异性、被试的可信度等方面进行思考,总结出儿童延迟满足心理研究的新认识,并用力学的观点解释儿童自我延迟满足的现象。     

针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

表扬的力量

现代教育表明，积极的表扬和暗示，会给学生带来极大的心理满足和精神愉悦，从而激活大脑网络系统，产生行为动力，激发学生的潜能和力量。这种方式对于转化学困生和提高中等生是一种极为有效的方式。     

参数化弧相容约束传播

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。该算法在“明月1.0”架构下实现。实验结果表明,约束传播程度是影响算法求解效率的一个重要因素,通过调整控制参数可以使算法效率提高3~4倍。     

基于旱作雨养模式的10种作物适水性评价 ——以邢台市为例

依据作物生育期与自然降水对作物需水的规律,系统分析了邢台地区10种作物生长期需水量与自然降水对作物需水满足度,并利用水分生态适应性模型对这10种作物在不同水文年型下进行定量评价,以得到在纯自然降水条件下各种作物的适宜情况,为邢台市旱作雨养种植模式在不同水文年选择不同作物提供指导.结果表明:1)棉花、玉米、大豆、红薯、高...