民族地区农业高校学生思想政治工作

民族地区经济发展和改革开放对民族地区农业高校思想政治工作产生广泛影响,思想政治工作环境和学生思想行为发生了变化,必须提高对大学生思想政治工作的紧迫性和重要性的认识,适应培养跨世纪建设者和接班人的需要,积极探索民族地区农业高校大学生思想政治工作的思路和方法。     

程序设计与知识抽象

人们正努力从传统的程序设计观念中逐步解放出来，寻求一种更远离计算机而更接近问题本质的程序设计思想与方法。知识抽象是程序设计过程中萌发并在实践中不断完善的、有益的思想。本文提出了知识抽象对程序设计、对计算机软件产业的重要作用的观点，以期引起软件工作者对知识抽象的重视。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

基于C++的加密解密置换算法的实现

分析数据加密技术中的置换算法及其加密解密思想,给出加密解密置换算法的程序设计方法与具体实现步骤,并提供一个完整的加密解密算法的C 源程序.该算法的实现可以配合高等学校信息安全或网络安全课程的教学和实验,使学生更好地理解和掌握信息加密与解密原理,     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

新时期思想政治理论课教育教学理念研究

高校思想政治理论课肩负着宣传党的路线、方针、政策的特殊使命，是对青年学生进行马克思主义教育、加强和改善思想道德建设的主渠道。进入新的历史时期，新形势、新任务要求思想政治理论课教育教学模式必须作出相应的改革。这就要求我们必须首先在教育教学理念上有所创新。把坚持以人为本，重视学生灵魂的塑造，着重培养学生的研究与创新能力贯穿于思想政治理论课教育教学模式改革的全过程，最终为学生顺利走进社会，成为合格的党的事业的建设者和接班人准备良好的科学文化素质和思想道德素质。     

An Efficient Framework to Utilize Grover Search

This paper proposes an efficient framework to utilize quantum search practically.To the best of our knowledge,this is the first paper to show a concrete usage of quantum search in general programming.In our framework,we can utilize a quantum computer as a coprocessor to speed-up some parts of a program that runs on a classical computer.To do so,we propose several new ideas and techniques,such as a practical method to design a large quantum circuits for search problems and an efficient quantum comparator.     

面板坝面板的开裂原因分析

面板开裂的原因是混凝土面板堆石坝设计者与施工者普遍关注的问题之一,本文根据计算分析,辩明了温度应力是面板开裂的主要原因,而干缩应力和坝体不均匀变形则是次要的原因。     

Study on Occupational Hazards and Preventive Measures for the Constructors in Building Qinghai-Tibetan Railway

To analyze the hazard factors for the constructors through the geographic environment along the Qinghai-Tibetan railway. On the basis of the physical examination data of the constructors, we dynamically investigated the impact of the plateau environment on the constructors＇ health. We concluded the adaptation after the plain people entering into the plateau, and the application of the medical security measures and the effectiveness of the Plateau diseases preventing and controlling measures during the construction of the Qinghai- Tibetan railway. The results showed that there existed many occupational hazard factors because of the harsh environment in the Qinghai-Tibetan plateau, and they did a severe harm to the constructors. To take an effective prevention measure could apparently alleviate the occupational hazards, and ensure the safety and health of the constructors. The paper not only provided the valuable experiences for the medical support during the economic construction in the Qinghai-Tibetan plateau areas in the future, but also made a contribution for improving the development of the world plateau medicine.     

天然滤床淤塞机理及防治措施研究

天然河床砂卵石层潜流水取水技术中,滤床存在长期取水条件下的淤塞问题。通过对滤床淤塞机理深入研究分析可知,滤床淤塞主要源于物理、化学、生物三方面的作用。提出了滤床的结构特征、原水水质、水动力条件、渗滤取水面积及取水孔布置等是影响淤塞的主要控制因素,以及总结了防治淤塞的措施。     

基于Revit的二次开发在脚手架设计中的应用研究

通过借助于Revit API函数,重点研究基于Revit平台的扣件式钢管脚手架程序开发.具体方法是创建脚手架所需族构件,以C#作为程序开发的语言来编程,借助于Revit API把零散琐碎的脚手架建模工作自动化,实现快速建模,同时将脚手架的计算功能集成到Revit中,达到在BIM平台下脚手架专项工程安全计算和智能建模目的.并以一个工程实例来测试程序的稳定性与适用性.程序最终能够实现在较短的时间一键智能创建符合工程要求的脚手架三维可视化模型,且模型携带丰富的工程信息,大大提高了设计人员和施工人员的工作效率.     

功能模拟建模方法案例研究

以排球比赛为例，用管理系统功能模拟建模的思路和步骤，论述了建模中实际系统及研究目的，同态与同构、非形式描述到形式描述等各部分内部及相互之间的制约与联系、协调与简化的系统思维过程．模型经编程运行，证明所述方法是可行的．     

余华小说的美学特征及修辞误区

作为先锋作家的一员，余华小说因其独特的叙事和修辞艺术而显示出与众不同的关学特征，即：寓言化特征、诗性质地、音乐的美感。同时，余华小说的修辞亦存在着误区，表现在：过度陌生化的偏颇及模式化之嫌；人物符号化带来抽象化的弊病；少数小说的修辞基本上是失败的。     

项目网络评审系统设计与应用

项目网络评审系统作为一个项目评审系统平台,可适用于项目的立项、论证、评估、验收、奖励评定等阶段,为政府部门和相关单位提供高效率、低成本的项目网络评审方案。本文主要介绍了项目网络评审系统的功能结构和主要技术特点。     

独塔斜拉桥施工阶段抖振响应及抑振分析

针对斜拉桥在最大双悬臂阶段的风致振动响应问题,通过考虑气动导纳和气动弹性效应对基于准定常理论的抖振力和自激力表达式进行了修正,并用谐波合成法模拟得到了具有空间相关性的脉动风荷载样本,继而对金马大桥在最大双悬臂阶段的抖振响应进行了分析,并对风载内力和人体舒适度进行了评价。结果表明,该桥的抖振响应对施工人员影响较小。同时,分析表明增设抗风临时拉索是一种简单有效的抑振措施。     

基于模板和事件的信息系统语义模型建立方法

在大型信息系统的建模中，对象抽象是相当困难的工作。提出了基于通用模板和触发事件分集的对象抽象方法，指出了复杂系统建立语义模型的有效解决方案，并以实例进行说明。     

水泵性能实验的计算机处理

根据最小二乘法曲线拟合理论及利用微机的绘图程序,对水泵实验得到的原始数据进行处理,得到误差最小的曲线拟合方程,并自动绘出水泵的性能曲线。该程序可有效地消除人为因素干扰,使绘出的曲线直观而精确。     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.     

嵌入式软件设计中的关键技术及其实现

针对“非功能”因素如何进行重新抽象的问题,提出了一个“面向参与者”的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对“非功能”因素进行了重新抽象。     

基于G-KRA模型框架的工作流建模

基于广义知识重构与抽象(G KRA)模型框架给出了工作流建模的一般过程, 根据功能知识引入了功能感知的概念, 自动构造工作流抽象对象库WfO_a. 构造基本行为感知和WfO_a中的基于功能的工作流抽象对象之间的映射关系, 实现基本行为感知与相应关系的替换操作. 通过这些映射关系, 生成了基于功能的工作流抽象模型以简化基本工作流模型的表示.