基于移动云计算的高职数据库教学Moodle平台研究

数据库是一门操作性和实践性都很强的面向实际应用的课程,基于移动云计算的Moodle平台为构建网络环境下高职数据库教学模式提供了新的工具和手段。本文对移动云计算Moodle平台的总体方案进行了设计,重点探讨了基于移动云计算Moodle平台支持高职数据库教学的功能优势及实施方案。     

医学院校《计算机组装与维护》课程教学探索

《计算机组装与维护》是一门技能性课程,是一门理论与实践密切结合,并侧重操作技术和应用能力培养的课程。文章从该课程实际的教学现状出发,结合我校学生特点,以及自己教学的经验和体会,提出了若干切实可行的改革建议。     

住宅设计方案的三角模糊数评价方法研究

根据住宅设计方案中多因素和模糊性等特点,通过三角模糊数建立指标比较和方案打分的判断矩阵,并依据三角模糊数的分布特点计算其平均值的大小,将专家判断矩阵中的三角模糊数转化成精确数,再进行方案的比较.并通过实例说明了该方法的可行性和有效性,为决策者对于设计多方案的评价提供了一种简便、实用的方法.     

硐室爆破技术在鹅头厂铁矿的应用

说明了鹅头厂铁矿露天采场延深采用硐室爆破的理由,分析了爆破参数选择、硐室爆破参数计算、边坡安全的要求、导硐及药室布置、药室堵塞及起爆网路等,并对爆破效果进行了评价。     

浅谈建筑工程施工项目进度控制

施工项目进度控制的最终目的是确保施工项目按合同或业主要要求的预定时间启用或提前交付使用.工程项目能否按时交付使用直接影响到业主投资效益的发挥和施工企业成本的降低,因此进度控制是施工项目管理的重中之重.分析了工程项目施工准备的重要性,提出了编制合理的施工进度计划和组织流水施工的方法.     

关于新生入学动机与职业规划的调查分析与思考

采用问卷调查法了解新生在志愿填报及未来就业定位等方面信息,分析了招生工作的现状及存在问题,提出了以就业为导向提高就业含金量、丰富中外合作内涵、依托权威媒体提高宣传实效、借助学院网站发挥对外窗口作用等思路和建议。     

基于参数依赖关系检查的测试用例空间约简方法

针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.     

我国详细城市设计的作用与意义的再认识

20多年来我国城市设计实践取得了一定的成绩,但随着城市设计工作的普遍开展,其隐藏已久的深层次矛盾逐渐突现.通过对我国近年来具有代表性的详细城市设计实践项目的研究,探讨其在体制认可与法律保障,与详细城市规划关系等方面存在的问题,进而对我国详细城市设计的作用与意义进行反思与再认识,提出建立与管理相对接的城市设计的现实意义.     

Proof systems for planning under O-approximation semantics

In this paper we propose Hoare style proof systems called PRD^0and PRKWD^0 for plan generation and plan verification under 0-approximation semantics of the action language AK.In PRD^0 （resp.PRKW0D）,a Hoare triple of the form{X}c{Y}（resp.{X}c{KWp}）means that all literals in Y become true（resp.p becomes known）after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems.     

机械电器产品检验抽样方法探讨

根据机电产品生产特点,对稳定生产状态下的生产条件进行细分,提出不同生产条件下的生产质量验收抽样方法。