分形方法用于有噪图像边缘检测的研究

本文研究了加性高斯白噪声对于基于离散分数布朗随机场模型图像分形维数估计的影响，并将分形方法用于图像边缘检测，指出在加性高斯白噪声的情况下，分形方法用于图像边缘检测较之经典的基于梯度运算的边缘检测方法有好的抗噪性能，同时又能检测比较丰富的图像边缘细节。     

Fundamental solutions for half plane with an oblique edge crack

An elastic half plane with an oblique edge crack is considered in this paper. A pair of concentrated forces or point dislocations is assumed to act at an arbitrary point in the half plane. The half plane with an edge crack is first mapped into a unit circle by a rational mapping function so that the following analysis can be carried out on the mapped plane analytically. Then the complex stress functions are derived by separating the whole problem into two parts; one is the principal part corresponding to the infinite plane acted on by concentrated forces or dislocations, the other is the holomorphic part, which can be determined by making use of the property of regularity of complex stress functions. The stress intensity factors of the crack can be calculated with different inclined angles of the crack, and the displacement and stress components at an arbitrary position in the half plane can be expressed explicitly.     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

Flood frequency and routing processes at a confluence of the middle Yellow River in China

Floods cause environmental hazards and influence on socio‐economic activities. In this study, we evaluated the historic flood frequency at a confluence in the middle Yellow River, China. A non‐parametric, multivariate, empirical, orthogonal function matrix model, which consists of time correlation coefficients of flood discharge at different gauge stations and flood events was used for the analysis of flood frequency. The model addresses the characteristics of confluent floods such as frequency and the probability in multiple tributary rivers. Flood frequency analysis is often coupled with studies of hydrological routing processes that reduce the flood capacity of the rivers. Flood routing to the confluence were simulated using kinematic wave theory. Results of this flood frequency analysis showed that flooding frequency has intensified in the past 500 years, especially during the 19th century. Flooding in streams above the confluence was more frequent than in streams below the confluence. Over the last 2000 years, concurrent flooding in multiple tributary rivers accounted for 67.5% of the total flooding in the middle Yellow River. Simulation of flood routing processes shows that the decreased flooding capacity and elevated river bed of the shrunken main channel leads to an increased flood wave propagation time (24–52.3 h) in the study area after 1995. The model indicates that human activities, such as constructions of the Sanmenxia Dam, have changed flood routing boundary conditions and have contributed to the increased flood frequency at the confluence. Copyright © 2007 John Wiley & Sons, Ltd.     

A survey of models and algorithms for winter road maintenance. Part IV: Vehicle routing and fleet sizing for plowing and snow disposal

This is the last part of a four-part survey of optimization models and solution algorithms for winter road maintenance planning. The two first parts of the survey address system design problems for winter road maintenance. The third part concentrates mainly on vehicle routing problems for spreading operations. The aim of this paper is to provide a comprehensive survey of optimization models and solution methodologies for the routing of vehicles for plowing and snow disposal operations. We also review models for the fleet sizing and fleet replacement problems.     

一种高效的图像细化算法在焊缝跟踪中的应用

针对焊缝跟踪图像处理的特点，研究了二值化后的图像如何进一步细化的方法；采用先对焊缝的边缘进行提取，然后从垂直于焊缝的方向进行扫描的方法，取两条边缘的中点，即是焊缝的骨架；结果表明：此算法能准确地对一幅二值图细化，满足焊缝跟踪中图像处理的要求；这种算法的突出特点是计算量小，处理速度快，非常适合于焊缝的实时处理跟踪，而且不用改写算法，既适合于黑色背景白色图像，也适合于白色背景黑色图像.本算法通过推导得到四条处理准则，在遵循这几条处理准则的基础上逐点扫描图像，按照准则来确定目标点的删除与保留，达到细化的最终目的.     

拉盖尔-高斯光束通过有硬边光阑光学系统的传输

采用将硬边光阑展为有限个复高斯函数之和的方法,得到了拉盖尔-高斯光束通过有硬边光阑近轴ABCD光学系统中传输的近似解析公式,作了数值计算以说明传输公式的应用,并对使用该式的误差作了讨论。     

无线移动自组网络的动态源路由策略

文章介绍无线移动自组网中动态源路由策略的路由发现和路由维护,并提出改进思路和今后研究的方向。     

Increasing Reliability in Cable-Free Radio LANs Low Level Forwarding in HIPERLAN

Radio LANs are emerging in the computing world. They are supported by distinct configurations: on the one hand radio LANs with base stations and a wired backbone, on the other hand radio LANs implementing Intra-forwarding. Adding a new node in a radio LAN with Intra-forwarding, increases the reliability, while this reliability decreases with ad hoc or hub configurations. This advantage of Intra-forwarding is quantified. Intra-forwarding, as defined in the HIPERLAN standard, is based on a hop-by-hop policy and link check procedures. It is shown how point-to-point packets and broadcast packets are forwarded. The three basic components of Intra-forwarding needed to build and update the Intra-forwarding database are described. The originality of this approach is the use of multipoint relays which enable better scalability. The correctness of the Intra-forwarding protocol is proved and its cost is evaluated.     

追踪洋葱包的高级标记方案与实现

洋葱路由技术是实现信息隐藏而提出的一种新的匿名连接技术，使攻击者既不能进行窃听，也不能实施流量分析。然而攻击者一旦利用此技术进行拒绝服务式攻击，受害者无法追踏出攻击者。为此本文提出一种可追踪洋葱数据包的高级标记方案，使洋葱路由技术在保持原有隐匿性的同时受害者还可以近似地追踪出攻击者，本方案有很低的网络和路由器开销，也容易扩充到IPV6和未来的主干网。