C语言公共基础课教学内容与教学方法的改革与实践

本文首先提出“以程序设计方法为主线,以语法和结构为核心,以培养能力和提高兴趣为目标,变应试为应用”的教学理念,在此教学理念指导下,主要介绍在C语言程序设计公共基础课教学中的教学内容与教学方法改革中所采取的具体措施和办法,最后介绍了这些教学内容与教学方法改革的实践效果.     

Metric多核子方法划分编译算法设计与实现

为解决编程模型严重阻碍多核处理器性能的进一步提升,尝试将编程单位即方法（procedure）引入到多核处理器结构设计中,提出了面向高性能计算的Metric（Method Centric）以方法为中心多核架构且采用编译技术,将函数划分成大小相当的子方法（slice）,以支持处理器微结构设计.实验表明：子方法划分算法的突破...     

新形式下计量工作重心转移探讨

在不断深化改革开放的浪潮中，国家已经转变了对企业停止计量定升级工作职能，企业应该如何转换经营机制?如何把过去过多的靠政府部门的外部压力转换为自觉的内部动力?新形势下计量工作重心如何转移，是广大计量人员十分关注的课题。     

30t直流电弧炉计控系统的设置与应甩

虽然早在100多年前已有了热源用于直流电弧炉，而作为工业炼钢炉用的直流电炉还是近十年才发展起来的，这是建立在大功率可控硅整流技术上的一个多种相关技术的结合体。到目前为止，先进国家在直流电弧炉设计及炼钢工艺上已达到成熟阶段。已经投产和正在建设的20～150t直流电弧炉，     

结冰导线舞动机制分析

应用稳定性理论并结合线路的实际工况分析了结冰导线的舞动机制。经研究发现:气动升力曲线初始斜率为负且其绝对值足够大时,结冰导线可能发生舞动;气动阻力曲线初始斜率为正且足够大时,结冰导线可能发生舞动;气动力矩曲线初始斜率为正且足够大时,结冰导线可能发生舞动; Den Hartog原理为此结论中的特例。据此结论和对动力学方程的分析得出:结冰导线发生舞动的原因是气动升力曲线初始斜率、气动阻力曲线初始斜率、气动力矩曲线初始斜率可以产生负阻尼或负刚度,从而使得结冰导线吸收风能。     

山高自有客行路,水深自有渡船人——程序设计课程教学的思考与实践

在程序设计课程中,应该培养学生具备哪些能力以及如何培养这些能力是近年来研究和探讨的主要问题。文章首先分析程序设计课程教与学过程中存在的主要问题,然后从如何提高学生的学习兴趣和学习主动性、如何加强对学生学习过程的监督指导以及如何客观公正地评价学生的编程实践能力等几个方面,介绍笔者在程序设计课程教学中的探索与实践。     

处理器容错技术研究与展望

随着生产工艺的进步和硅形体尺寸的缩小,计算机系统面临着前所未有的瞬态故障影响,可信计算已经成为桌面级和嵌入式系统设计和应用的热点,其中以处理器的可信设计为核心.首先,从容错技术角度对处理器提出了一种新颖的、比较全面的分类方法;在此基础上,以处理器容错技术发展趋势为线索,对目前流行的处理器结构、微结构的容错机制和容错技术以及不同层次上有代表性的最新研究成果做了介绍和分析;最后,对处理器容错技术研究新趋势及其发展方向提出了意见和建议.     

软件测试资源与成本管控和最优发布策略

为全面系统地了解软件测试过程中与可靠性相关的重要过程的研究现状和最新发展,对测试资源和成本的管理,以及最优发布技术问题进行了深入研究。首先将研究问题划分为4类,剖析了测试资源分配与控制,成本模型和最优发布基本内容,给出了其公式化的形式化描述和内在关系;然后从软件体系结构建模、测试过程建模、非线性最优化与仿真求解3个方面进行了技术分类评述。进一步将研究内容从5个方面进行归一化分类,并对选取的典型模型进行了归类比较总结。最后,指出了进一步研究发展的主要问题。研究分析表明,测试资源分配与成本管控和最优发布策略中,考虑到软件体系结构特征和不完美排错模型,向多目标融合方向发展,并与可靠性评估相关是后续研究的研究。     

基于分段模型检测的云服务跨域认证协议的形式化分析与验证

针对多个云服务之间的跨域认证问题,提出一种基于SAML协议的云服务安全认证方案。阐明了该方案的关键技术机制,建立了云服务安全认证协议抽象模型;采用Casper和FDR软件的组合,通过模型检测法对云服务认证协议进行了形式化分析与验证;通过对安全认证协议进行分段模型检测,解决了安全协议形式化分析验证导致的状态空间爆炸问题。模型检测软件的实验结果验证了云服务跨域认证方案的有效性及安全性。     

氨氮废水处理技术效费分析及研究应用进展

对目前几种实际可行的氨氮废水处理技术进行了综述和分析对比,着重讨论了各处理技术的应用条件、氨氮处理效果及处理成本。旨在通过对各技术的处理效果及成本分析,为氨氮废水处理的研究与应用提供快捷的参考,以使在实际应用中针对不同类型废水能迅速找出最为经济合理且高效的氨氮处理方法及组合。通过分析对比,得出生物法和氨吹脱处理氨氮废水费用最低,分别为2～20元/(kg NH4+-N)和1.8～10元/(kg NH4+-N);磷酸铵镁沉淀单位处理费用最高,为50～70元/(kgNH4+-N);折点氯化单位处理费用介于上述之间,在37.6元/(kg NH4+-N)左右。