为π演算建立具有安全级别的简单类型系统

为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.     

端头支护的研究与应用

介绍了原吊环穿管临时支护的缺点及手摇申缩式端头临时支护的特点，工作原理及应用中的优点。     

高中英语写作技能培养模式研究

高中英语写作技能的培养若只重写作结果或过程,或两者兼顾,都很难收到比较理想的效果.以篇章语言学的主述位、主位推进与扩展、句际与段际关系类型、衔接与连贯等理论为基础建立起来的"解读--讨论--模仿--构建"综合教学模式,注重感知、认识、学习、模仿和掌握篇章结构的宏观和微观层面的知识体系,如信息结构、主题思想、主位的推进与扩展、细节的逻辑安排、句际间的衔接、意思的连贯、结构的层次安排等,在此基础上再建构语篇、培养写作技能,效果可能会要好一些.     

高校理论课“互动式”教学模式探索

我国的高等教育显然需要从"以学生为中心"的新的视角切入新的模式,进行深入的改革,以便培养更多创新型的人才。这种变革的重点就是变"教师主体论"的单向平面式教学模式为"以学生为主"的多向的、开放的立体式教学模式。     

蒋廷黻“新式独裁”主张归因再论

"独裁与民主"之争为20世纪30年代发生于思想领域的一次主要论争。有关蒋廷黻提出"新式独裁"论之缘由为时人乃至后人试图解读之迷思。历史地看,蒋廷黻新式独裁论的出台并非是曲意逢迎当道,亦非对中国民主试验所产生的幻灭感或缺乏真诚的自由主义民主政治信仰使然,而实在于其对国家统一与现代化的诉求、深厚独特的美国知识背景以及由此决定的思维模式诸因素所致。     

东汉至宋汉语差比类形比句句式研究

形比句是比较句的一个类别,指谓语是形容词及形容词性成分的比较句。从调查的语料来看,东汉至宋时,差比类形比句句式的肯定形式主要有八种类型：XA焉、XA於Y、XA于Y、XA乎Y、XA如Y、XA似Y、X比YA、X比似YA。否定形式主要有七种类型：X无以A于Y、X未必A于Y、X非A乎Y、X不比YA、X不如YA、X不似YA。否定形式的用量要远远小于肯定形式。肯定形式中,“X比YA”型句式最终成为汉语差比类形比句的主要表达形式。     

研习科学史：促进科学教师的内发式专业发展

面对以探究为主要方式的科学教学,科学教师要加快自身的专业发展,使自己的教学技能、教学观念等能符合教育发展的时代要求。从科学史所蕴含的教育价值来看,在科学教师专业发展的众多途径中,科学教师研习科学史是一种可行和必不可少的选择。通过研习科学史,科学教师可实现主体性的内发式专业发展。     

冷轧带肋钢筋生产技术

针对冷轧带肋钢筋供、产、销六大特点,分析比较了采用主动式、滑轮式、直进式等不同设备生产冷轧带肋钢筋的工艺及产品特点;以“二拖二”直进式生产线为例,阐述了最佳设备选型方案,工艺制度及压下规程实例;以产品盈利最大化为目的,提出了“二次机械消应”概念及具体实施措施。     

基于Web的女子体型识别及应用

采用Web模式,建立女子体型识别和应用系统,目的在于生成符合人体尺寸的服装样板,以满足消费者的个性化需求。通过采集江浙地区青年女子体型数据,构建人体数据库;再根据生产服装企业的基本款式,建立基本的样板数据库;利用SVM对个体特征参数进行识别分类,形成个性的服装样板图。该系统通过J2EE架构的网络平台自制软件得以实现,企业应用效果良好。     

Bureaucracies in Schools—Approaches to Support Measures in Swedish Schools Seen in the Light of Skrtic’s Theories

In Sweden, policy changes for provision of special support have been introduced, implying that teachers are obliged to provide and evaluate extra adaptations in regular classrooms prior to referring pupils to special support. The policy changes raise questions about school staffs’ views of support measures and of necessary professional competence for provision of the support measures. We conducted focus group interviews with 60 school staff representatives—headmasters, general education teachers, and special educators/school welfare teams—about their understandings of the new policy. The data were analyzed qualitatively, with the objective to explore school staffs’ approaches to the policy changes. Two main “ideal type approaches” were discerned, using Skrtic’s theories, viz. the bureaucracy approach and adhocracy approach. In the light of Skrtic’s theory, professionals’ reasoning about the new policy may reflect difficulties that are encountered in the process of implementing the policy in bureaucracy-steered schools.