Onset of buoyancy-driven convection in melting from below

When a horizontal homogeneous solid is melted from below, convection can be induced in a thermally unstable melt layer. In this study the onset of buoyancy-driven convection during time-dependent melting is investigated by using similarly transformed disturbance equations. The critical Rayleigh numbers based on the melt-layer thickness are found numerically for various conditions. For small superheats, the present predictions approach the well known results of classical Rayleigh-Bénard problems, that is, critical Rayleigh numbers are located between 1,296 and 1,708, regardless of the Prandtl number. However, for high superheats the critical Rayleigh number increases with an increase in phase change rate but with decrease in Prandtl number.     

任务驱动的大学信息技术教学改革

针对高校学生的特点,以提高学生对信息技术知识结构和应用能力为目标．进行基于任务驱动教学方法的改革。任务驱动教学可以大大提高学生学习的积极性．同时也取得显著的教学成果。现就教学过程提供一些实践依据和方法措施以供借鉴。     

读者决策采购（PDA）成功实施的关键性因素分析

读者决策采购作为一种全新的基于读者需求的资源建设模式,目前国内还没有高校图书馆实施。介绍了读者决策采购面临的问题,提出PDA要在我国高校图书馆成功实施,需制定严格的标准、选择合适书商并及时进行跟踪与评价。     

基于MDA与UML扩展的安全软件开发方法

为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。     

基于MDA的模型转换研究与应用

模型驱动方法解决了软件开发的效率低、可移植性差等问题,其中的模型转换是开发基于模型驱动构架(MDA)应用工具的关键技术。为此,在模型驱动方法的基础上,提出基于模式的平台无关模型到平台相关模型的模型转换方法,并根据该转换方法确立转换规则,在一个MDA应用系统开发实例中进行验证,实现从平台无关层模型到J2EE平台相关层EJB模型的转换。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

任务驱动为先导“做教学”一体化的面向对象程序设计教学探究

分析当前高职计算机应用专业面向对象程序设计相关课程教学中主要存在过多强调语法教学,以及忽略面向对象程序设计思想培养等问题,提出以任务驱动为先导＂做教学＂一体化的面向对象程序设计教学方法,以提升高职计算机应用专业学生程序设计能力。     

A synergistic model-driven approach for persistence modeling with UML

The Model Driven Development (MDD) approach proposes that models (and model-to-model transformations) play the main role on system development. However, there is not a consensual notation to model persistence based upon object-relational mapping frameworks: while UML lacks specific resources for persistence modeling, the entity-relationship model does not make reference to the dynamic concepts existing in UML.This paper proposes MD-JPA, a UML profile for persistence modeling based on the well-known Java Persistence API 2 (JPA) standard for object-relational mapping, pursuing the modeling of transient and persistent elements in a more coherent and synergistic way. This paper describes the main characteristics of MD-JPA as well as the way that models that adopt such profile can them be used to generate a Java implementation by the application of the proposed model transformations on a MDD approach. Finally, an open source tool was developed to make the results of this work available to the community.     

2~#皮带伸缩头驱动、从动系统改造设计与实施

本文介绍了江西铜业集团公司德兴铜矿大山选矿厂引进的B1400型皮带运输机卸矿设备伸缩头的行走驱动、从动系统的结构特点和存在的问题,提出了具体的改造方案并实施。