森林火灾的气象卫星监测方法

森林火灾是造成森林资源破坏的重大灾害之一。作者根据近年来从事森林火灾卫星监刚的实践，结合国内外有关利用气象卫星监测林火的资料，介绍了林火卫星监测的原理、方法和实用效果。     

Mechanical properties of poly(ether-ether-ketone) for engineering applications

An outline of the characteristics of PEEK and the versatility of its compositional forms (micro and macro composites) are given to illustrate its wide potential for success in engineering applications. Although it is necessary to have particular tabulations of mechanical properties for engineering design, these are seldom available and consequently it is argued that an understanding of stiffness, toughness and strength properties are required to fully exploit available manufacturer's data and thus develop the full potential of PEEK and its composites. Stiffness characteristics are considered in terms of a modulus function which is dependent on time under load and temperature. In its composite forms, whether reinforced with short or continuous fibres, stiffness anistropy can be both considerable and complex, but some empirical ground-rules are apparent. For continuous fibre composites even in the form of complex lay-ups, it is also possible to attempt some stiffness prediction from certain pseudo-elastic constants. Toughness of PEEK and its composites is described in terms of both comparative and intrinsic properties. Instrumented falling weight impact data, particularly as a function of temperature enable some insight into ductile-brittle transitions for the unreinforced material, but crack initiation and crack propagation processes for the various fibre reinforced forms. Intrinsic toughness is described in terms of linear elastic fracture mechanics theory. Strength properties are described for static and dynamic loading configurations. In particular, PEEK and its composites are evaluated for increasing test severities for strength characteristics; stress concentration, loading form and test temperature are considered.     

Algorithm for finding all k nearest neighbors

A very simple algorithm for computing all k nearest neighbors in 2-D is presented. The method does not rely on complicated forms of tessellation, it only requires simple data binning for fast range searching. Its applications range from scattered data interpolation to reverse engineering.     

堤身的数据采集及断面设计的几点建议

针对堤防设计的基础资料采集和设计优化，提出了一些合理性建议。     

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.     

多判据模糊决策在工程爆破中的应用

本文介绍了多判据模糊决策的数学模型。该模型可广泛地用于工程爆破中的爆破方案比较,以及爆破试验中的最优爆破参数的决策。该模型的应用将有利于工程爆破试验及设计的计算机程序设计。     

地下硐室锚喷支护堵漏防渗处理实践

本文简要地介绍了我国几个地下矿在锚喷网联合支护的硐室工程中堵漏防渗处理所取得的良好效果，可供类似矿山参考。     

CASE与MIS的开发

本文介绍ＣＡＳＥ技术的基本思想与构成，ＣＡＳＥ工具在ＭＩＳ开发中的作用，概要介绍国内流行的ＣＡＳＥ产品并对其作出评述。     

土钉支护结构水平位移安全监控模型研究

国内现行规范、标准是以极限变形值作为土钉支护结构水平位移安全监测报警值 ,但没有反映工程进度影响 ,不便指导工程实践。提出“过程控制”概念 ,以反正切函数为基本形式 ,基于历史经验建立“安全时程曲线”控制模型 ,要求施工过程中实测水平位移始终处在“安全时程曲线”之下 ,以确保最终变形在某一适当的阈值之内 ,已有实测结果可以为施工方案调整提供依据。通过实际案例 ,检验模型的可行性 ,表明过程控制模型较极限变形策略更具可操作性     

A survey of nitrate and nitrite content of fruit and vegetables grown in Slovenia during 1996-2002

Monitoring of nitrate (NO₃^-) and nitrite (NO₂^-) content in agricultural products in Slovenia has been carried out since 1996. The results of monitoring over the period 1996-2002 are presented. During this time 924 samples of 14 different agricultural products (potato, lettuce, apples, carrot, silage maize, cabbage, grapes, peaches, string beans, cereals, pears, cucumbers, strawberries and tomato) were analysed. The samples were taken at the time of maturity directly from growing sites and they were analysed using segmented flow analysis. The average nitrate contents were the highest in lettuce (1074 mg kg^-1), cabbage (881 mg kg^-1), string beans (298 mg kg^-1) and carrot (264 mg kg^-1), and they were moderately high in potato (158 mg kg^-1), silage maize (122 mg kg^-1), strawberries (94 mg kg^-1), cucumbers (93 mg kg^-1) and cereals (49 mg kg^-1). Low nitrate contents (below 6 mg kg^-1) were found in fruit (grapes, peaches, apples and pears) and tomato. With the exception of cereals (8.9 mg kg^-1), apples (1.5 mg kg^-1), potato (1.2 mg kg^-1) and pears (1.0 mg kg^-1) the content of nitrites did not exceed 0.5 mg kg^-1. It may be concluded that the results of the monitoring were in most cases similar to the results of investigations obtained in other countries.