The timing of appraisals.

The appraisal process consists of the subjective evaluation that occurs during an individual's encounter with significant events in the environment, determining the nature of the emotional reaction and experience. Placed in the context of appraisal theories of emotion-elicitation and differentiation, the aim of the present research was to test empirically the hypothesis that the intrinsic pleasantness evaluation occurs before the goal conduciveness evaluation. In two studies, intrinsically pleasant and unpleasant images were used to manipulate pleasantness, and a specific event in a Pacman-type videogame was used to manipulate goal conduciveness. Facial EMG was used to measure facial reactions to each evaluation. As predicted, facial reactions to the intrinsic pleasantness manipulation were faster than facial reactions to the goal conduciveness manipulation. These results provide good empirical support for the sequential nature of the appraisal process. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

An engineering process for the verification of real-time systems

The complete verification of the timing properties of a large critical system cannot be undertaken in a single step or with a single method. In this paper we present a process that links together a number of techniques and approaches that cover all stages of development from requirements analysis to code testing. The key elements of the process are: a constrained form of timed automata that uses delay and deadline to define temporal behaviour, notions of rely and guarantee to cover temporal dependencies, model checking for design verification, SPARK and Ravenscar restrictions for programming, and scheduling and response time analysis for asserting implementation compliance. Extended examples of the use of the process are given.     

催化裂化大油气管线阻焦剂的研究与开发

介绍了阻焦剂的阻聚分散机理，测定了不同组分的阻焦剂对不同性质原料的阻焦效果，并考察了不同加入浓度对阻焦率以及催化裂化产品分布的影响。试验结果表明：加入50—100μg/g的阻焦剂，可使催化裂化大油气管线阻焦率达到53．7％—63．8％，同时对产品分布及产品性质无不良影响，具有技术经济可行性。     

低渗透油藏回注污水的深度处理中试研究

为达到将油田采出水回注低渗透油藏的水质要求，在辽河油田进行含油污水处理试验：先在油田来水进入沉降罐前加入除油剂，使水中油的含量从20g／L降至约0．15g／L．悬浮物含量从10g／L降至3g／L左右；再采用气液多相泵气浮技术净水，使水中油的含量降至约0．005g／L。悬浮物含量降至约0．03g／L；进行初级过滤后，采用硅藻土动态膜超滤工艺精密过滤，最终使水中油和悬浮物含量均小于0．002g／L，悬浮物粒径控制在1μm左右。硅藻土动态膜超滤工艺集中了填充床过滤技术易再生和超滤膜过滤技术高水质的优点，运行费用低，应用前景很好。图6参11     

Enclosing all solutions of two-point boundary value problems for ODEs

The two-point boundary value problem (TPBVP) occurs in a wide variety of problems in engineering and science, including the modeling of chemical reactions, heat transfer, and diffusion, and the solution of optimal control problems. A TPBVP may have no solution, a single solution, or multiple solutions. A new strategy is presented for reliably locating all solutions of a TPBVP. The method determines narrow enclosures of all solutions that occur within a specified search interval. Key features of the method are the use of a new solver for parametric ODEs, which is used to produce guaranteed bounds on the solutions of nonlinear dynamic systems with interval-valued parameters and initial states, and the use of a constraint propagation strategy on the Taylor models used to represent the solutions of the dynamic system. Numerical experiments demonstrate the use and computational efficiency of the method.     

基于网格的知识资源挖掘研究

为满足网络上不同用户群体对个性化资源的要求,文章从网格与服务网格的概念出发,引入知识挖掘技术,提出了网格环境下的个性化知识资源挖掘实现框架,并对其实现功能与应用加以分析.     

计算机配色技术应用于木材染色初探

介绍了计算机测色配色系统的原理,研究了建立木材染色基础数据库的方法,提出了注意事项,并分析了自动配色过程中产生色差的原因及解决方法。     

断口分形研究与应用

采用经典的Ｍａｎｄｅｌｂｒｏｔ分形模型、Ｕｎｄｅｒｗｏｏｄ修正分形模型和分维谱模型对三种球墨铸铁断口的分形特性进行了研究，并应用于铸态铁拉伸断口的断 断裂机制分析。     

Relating matrix metalloproteinase structure to function: why the "hemopexin" domain?

Matrix metalloproteinases are thought to be key players in the remodelling activity of cells associated with both physiological and pathological processes. They share a relatively conserved structure with a number of identifiable modules linked to their specific functions. The structure of the individual domains of a number of matrix metalloproteinases have now been elucidated. Here we review these data in the light of complementary studies on the behaviour of these enzymes in biological systems. In particular we focus on the C-terminal hemopexin-like domain which has intriguingly specific roles in individual matrix metalloproteinases.