数控机床位置伺服在线调试与动态性能分析研究

介绍一种在数控机床位置伺服系统在线调试中应用系统动态性能分析方法的基本原理，给出了一种位置伺服系统动态响应曲线、动态性能分析及其主要技术指标的实例。     

Al-Cu-Fe系初生准晶相凝固过程的热力学分析

采用XRD,SEM和TEM等方法,研究了铸态 Al58.8Cu36.6Fe3.5Si1.1合金(973K保温2.5h后水淬)的显微组织及相组成.观察到铸态样品中存在4种不同的相,即初生准晶I相、Φ相、θ-Al2Cu相和η-AlCu相.对准晶I相及其晶体近似相R相,提出相应的自由能计算模型及算法,从理论上说明准晶(Al61.89Cu25.61Fe11.10)I相是高温稳定相,当温度低于938K时,将形成其晶体近似相R相.     

Effects of turbulence and lubricant inertia on dynamics of journal bearings lubricated with molten zinc in a galvanizing process

In a galvanizing process a continuous sheet of steel is passed through a bath of molten zinc around a series of rotating rollers. One or more of these rollers are submerged in the bath of molten zinc and are supported by journal bearings that are lubricated with molten zinc. Dynamic characteristics of these bearings influence the quality of the finished galvanized sheet and also determine the production speed. This work presents a theoretical study of these bearings in terms of the damping, stiffness, and inertia coefficients of the film of molten zinc separating the journal from the bearings. This work also addresses the influence of turbulence on the bearing dynamics. The damping, stiffness, and inertia coefficients of journal bearings lubricated with molten zinc are determined for different zinc alloys at 450,650, and 850 °F.     

事件常识的获取方法研究

在动态语义学的基础上,以事件的语义、文法和常识为标准构建多层次的事件分类体系,并使用该分类体系提取事件的常识知识。事件采用框架的方式来表示,称为事件框架。事件框架的内容包括事件的定义、事件之间的关系、事件的文法表达、事件的谓词表示、事件的例句、事件的前提常识和后果常识。利用事件框架的内容提取事件的常识。为了说明该方法的实用性,以事件分类体系中典型的“交易类”事件为例来描述事件常识的获取方法。     

基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

Using habitat guilds to develop habitat suitability criteria for a warmwater stream fish assemblage

The diversity of fish species found in warmwater stream systems provides a perplexing challenge when selecting species for assessment of instream flow needs from physical habitat analyses. In this paper we examined the feasibility of developing habitat suitability criteria (HSC) for the entire fish community of a warmwater stream using habitat guilds. Each species was placed a priori into a guild structure and habitat data were collected for depth, velocity, Froude number, distance to cover, embeddedness and dominant and subdominant substrate. Correct guild classification was tested with linear discriminant analysis for each species. Correct classification based on habitat‐use data was highest for riffle and pool‐cover guilds, whereas the fast‐generalist and pool‐run classes, the broader niche guilds, were more frequently misclassified. Variables most important for discriminating guilds were Froude number, velocity and depth in that order. Nonparametric tolerance limits were used to develop guild suitability criteria for continuous variables and the Strauss linear index was used for categorical variables. We recommend the use of a wide array of variables to establish more accurate habitat analysis. Additionally, guild HSC can be developed with similar effort to that needed to develop HSC for a small number of individual species. Results indicate that a habitat guild structure can be successfully transferred to another river basin and that habitats for a diverse fish assemblage can be adequately described by a small number of habitat guilds. This approach represents an alternative for incorporating entire fish assemblages into habitat analyses of warmwater stream systems. Copyright © 2010 John Wiley & Sons, Ltd.     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

基于C#语言的Windows应用程序设计的课堂引入

本文通过一个具体的点名应用程序的设计与实现,讲解了如何将学生引入学习基于C#语言的Windows应用程序设计的过程。     

面向方面编程在Web系统中的应用

面向对象编程作为主流编程范型在Web系统设计与实现中得到了很好的应用,但同时也早已暴露出不足。面向方面编程很好地解决了横切关注点的问题,从一个更高的角度对系统进行了分解,研究了面向方面编程在Web系统中的应用。