基于微教学单元的积木课件开发系统

基于ASP.NET技术,选择的开发平台是Visual Studio.NET.以SQL Server作为后台数据库,开发基于微教学单元的积木课件开发系统.人的主体性在积件系统得到注重,里面包含了大量的知识点,同时为了方便用户使用,还提供搜索、创建、分类等功能.积件系统最大的价值在于其是可积的,所制作的课件并不是固定的和封闭的,用户可以根据自己的需求对知识基元进行重组和完善.此外,积件系统还具有整合性、发展性、创造性、开放性等诸多优点,这都给积件系统的大范围使用奠定了基础.积件系统有3部分组成,教学资源库、教学资源库管理平台和积件组合平台.教学资源库中存储了各个学科(或课程)的教学资料,可将大量的知识信息素材提供给教师和学生使用.     

基于3G技术的大学生思想政治教育工作的创新

在本文中,探讨了在3G技术下大学生思想政治教育工作的创新与改革,其中阐述了在3G技术下大学生思想政治教育工作所面临的机遇以及挑战,并且提出了如何在3G条件下对大学生思想政治教育工作进行改革与创新。     

粉喷桩在防潮堤工程中的应用

结合东营市莱州湾西岸防潮堤的工程地质条件,通过方案比较,堤基处理中采用粉喷桩技术,即:上游粉喷桩下游反压平台加固方案,实施后取得了良好的效果.     

印度卢里水电工程隧洞布置优化方案的选择

印度卢里(Luhri)水电工程由Sarluj Jal Vidyut Nigam有限公司(SJVNL)负责开发,总装机容量为775 MW,是位于萨特累季(Satluj)河上的径流式水电工程.距离印度喜马偕尔邦首府西姆拉(Shimla)约100km.基于工程预期的风险,重点讨论卢里水电工程引水隧洞的设计准则.     

CNG加气站爆炸燃烧的交通疏散仿真分析

随着石油资源的日益短缺和国家能源战略的调整,环保要求和汽车技术的不断提高,燃气车辆不断增多,与之相对应的车用加气站的数量也越来越多。但是接连发生的加气站燃气泄漏与火灾事故使得加气站的使用安全问题成为日益关注的问题。当加气站出现燃气泄漏与火灾事故时,天然气未立即着火可形成爆炸气体云团,遇火就会发生爆炸,在危险距离以内,人会受到爆炸冲击波的伤害。重点将对CNG加气站爆炸事故后的交通疏散条件制定分级标准,结合实例采用计算机软件仿真疏散分析,对以后进行新建加气站的安全评估分析工作开展提供定量依据。     

Al/Cu复合材料制备中理论与工艺研究进展

Al/Cu复合材料具有质轻、导电良好和成本低等优点,成为了近年来研究的热点。介绍了Al/Cu复合材料的主要界面复合理论,并着重阐述了近年来对主流理论的研究。综述了国内外关于Al/Cu复合材料的制备工艺和数值模拟的研究进展,指出了各工艺的优缺点,并对制备工艺的改进方向、未来数值模拟的研究方向进行了展望。     

多通道型高效钯复合膜在超高纯氢气提纯的应用

介绍了在多孔支撑体表面复合更薄的钯层(约5μm)可制备廉价的金属钯复合膜,同传统钯管相比其贵金属用量降低20~40倍,并使透氢量提高一个数量级。采用此自主研发的多通道钯/陶瓷复合膜为核心氢气分离组件,首次完成了30 Nm~3/h超纯氢气分离装置的技术示范,实现了纯度大于99.999999%(8N)超纯氢气的生产,氢气回收率达到91.8%。首次完成了800 Nm~3/h规模超纯氢气纯化装置的应用示范,实现了纯度大于99.9999%(6N)超纯氢气的生产,氢气回收率达到91.2%。该技术明显降低了超纯氢气生产装置投资和生产成本,实现了领先的超纯氢气生产新工艺技术路线。     

基于特征选择的网页排名算法

为提高网页排名满意度,基于特征选择技术提出一种新的页面排名算法。该算法利用多特征选择技术对页面的特征子集进行筛选,寻找一组具有最大权值与最小相似性的特征集合。在通用信息检索数据集上进行特征词选择测试,结果表明该算法的性能优于传统排名 算法。     

一种矿用无极绳连续牵引绞车综合保护装置

详细介绍了矿用无极绳连续牵引绞车综合保护装置的结构、主要特点、工作原理及其安装接线方法。实际应用表明,该综合保护装置能够实时显示无极绳牵引绞车的运行情况,使绞车司机及时、正确地操作设备,有效减少了井下事故的发生。     

Gdel语言编译时类型处理技术研究

Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。