学术型文科硕士生招生考试改革探析

认为公平与效率是影响硕士生招生考试改革的两大因素。在录取率相对较低时,应优先考虑公平性,继续采用现行的"统考+复试"的招考模式,完善复试与调剂流程;随着研究生教育规模扩大,录取率增加到一定程度时,应优先考虑招考效率(专业区分度),由培养单位自主选拔

formal software specification generation approach based on problem patterns

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.江西省自然科学基金项目(20122BAB211030

三维上流式反应器床层流动和返混特性

采用内径为280 mm的上流式反应器,以空气模拟气相、甘油和水混合溶液模拟渣油。用3种不同粒径的氧化铝球形工业催化剂颗粒为填充颗粒,考察了不同模拟物系的颗粒粒径、颗粒密度、液相黏度、不同床层的高径比和不同操作条件对上流式反应器内床层压降及其波动、床层轴向返混的影响规律。得到模拟工业运行物系和操作条件的上流式反应器床层总压降关联式,相对误差在12%以内。床层总压降均随床层高径比、颗粒密度和液相黏度增加而增大,但随颗粒粒径的增大而减小,床层压降波动随表观气速增加而增大。填充颗粒粒径越小、颗粒密度越小、高径比越大,床层内轴向返混越严重;床层内压降和轴向返混均随表观气速的增加而增大。</p

三维上流式反应器床层流动和返混特性

采用内径为280 mm的上流式反应器,以空气模拟气相、甘油和水混合溶液模拟渣油。用3种不同粒径的氧化铝球形工业催化剂颗粒为填充颗粒,考察了不同模拟物系的颗粒粒径、颗粒密度、液相黏度、不同床层的高径比和不同操作条件对上流式反应器内床层压降及其波动、床层轴向返混的影响规律。得到模拟工业运行物系和操作条件的上流式反应器床层总压降关联式,相对误差在12%以内。床层总压降均随床层高径比、颗粒密度和液相黏度增加而增大,但随颗粒粒径的增大而减小,床层压降波动随表观气速增加而增大。填充颗粒粒径越小、颗粒密度越小、高径比越大,床层内轴向返混越严重;床层内压降和轴向返混均随表观气速的增加而增大。</p

formal derivation of huffman algorithm program

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行