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

榆林地处毛乌素沙漠边缘，是黄土高原与沙漠接襄地带。北部属典型的新月型，沙丘链，海拔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。     

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

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

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

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

The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

The conflict detection and resolution in collaborative design is a key issue to maintain multidisciplinary design consistency,This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique.The representation of design constraint,the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced.A constraint-satisfaction based conflict detection and resolution tool CSCDR is then developed.It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved.A design case illustrates the effectiveness of CSCDR.     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

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

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

表扬的力量

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

参数化弧相容约束传播

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

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

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

引入微元法思想的混合测控资源联合调度方法

针对混合测控资源联合调度中存在的资源属性繁多、偏好差异大以及可能出现的调度弧段冲突等问题,借鉴单体制测控网调度研究中的任务需求描述方法,对混合测控任务需求的特点进行分析,给出其任务需求的规范化描述。以测控调度收益值最大为目标,建立混合资源联合调度模型;引入微元法思想,提出了可用弧段扩展复用方法,以此为基础提出了基于改进遗传算法的求解策略。仿真结果表明：所建模型和相应的解冲突算法能有效提高测控需求满足率和测控收益。