Influence of Al and Ni concentration on the Martensitic transformation in Cu-Al-Ni shape-memory alloys

The martensitic transformation temperatures and the types of martensitic phases have been determined in a wide concentration range of technological interest for Cu-Al-Ni shape-memory alloys (SMAs) A stability diagram of martensitic phases as a function of alloy concentration has been determined. It is found that when the aluminum content increases, the transformation changes from β ₃ ⇒ β′₃ to β ₃ ⇒ γ′₃, with an intermediate concentration range where both martensites coexist due to a β ₃ ⇒ γ′₃+β′₃ transformation. On the other hand, an increase of nickel content stabilizes the martensite β′₃, changing from a mixed β ₃ ⇒ γ′₃ + β′₃ to a single β ₃ ⇒ β′₃ transformation. Furthermore, linear relationships between M _s and Al and Ni concentrations have been obtained for all types of martensitic phases.     

提高特高含水期油藏采收率的方法及应用效果

针对胜索油田二区9-10单元的层间非均质和平面非均质性，运用水动力学方法，采用周期注水及增压注水改善单元的水驱油效果。经过6a的实施，单元的开发形势趋好，单元采收率提高9.62%，增加可采储量341.5kt，对同类型非均质性油藏改善水驱油效果，提高最终采收率具有借鉴意义。     

宽带接入服务器的选择配置和应用

本文主要分析了影响宽带接入服务器性能的各种因素，介绍了如何选择宽带接入服务器，并针对REDBACK公司的SMS1800和UNISPHERE公司的ERX1400两种典型宽带接入服务器说明如何进行配置，为应用宽带接入服务器提供参考。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

再造鼓形膨胀器

介绍了本钢不停产安装再造煤气管道鼓形膨胀器的实践，并对制造、安装方法进行了叙述，特别是在结构上采用了独特的构槽密封焊缝和完整的安装程序，保证了实施的安全。     

Integrating scheduling and control functions in computer integrated manufacturing using artificial intelligence

Proper integration of scheduling and control in Flexible Manufacturing Systems will make available the required level of decision-making capacity to provide a flexibly-automated, efficient, and quality manufacturing process. To achieve this level of integration, the developments in computer technology and sophisticated techniques of artificial intelligence (AI) should be applied to such FMS functions as scheduling. In this paper, we present an Intelligent Scheduling System for FMS under development that makes use of the integration of two AI technologies. These two AI technologies — Neural Networks and Expert Systems — provide the intelligence that the scheduling function requires in order to generate goodschedules within the restrictions imposed by real-time problems. Because the system has the ability to plan ahead and learn, it has a higher probability of success than conventional approaches. The adaptive behavior that will be achieved contribute to the integration of scheduling and control in FMS.     

β-hydroxyacyl-coa-dehydrogenase (HADH) activity of unfrozen and frozen—thawed frog (Rana esculenta) legs

The β-hydroxyacyl-CoA-dehydrogenase (HADH) activity of unfrozen and thawed frog legs was investigated. The enzyme was extracted by either immersing frog legs in phosphate buffer 0.1 M, pH 6.0 at 25°C for 15 min or pressing them between trichinoscopy glasses. The enzyme activity was assayed using acetoacetyl-CoA as substrate and measured spectrophotometrically at 340 nm. It was possible by both extraction methods to distinguish between thawed and unfrozen samples although when the juice was obtained by pressing the HADH activity of the dilution was ～ 1.5 times higher than that obtained by immersion. The HADH activity was significantly higher (P≤0·001) in frozen-thawed frogs than in unfrozen legs because during freezing there is a release of HADH. No significative differences were found in the HADH activity in samples frozen in the temperature range -10 to -196°C. HADH activity was not affected by the storage time in crushed ice up to 6 days.