Novel miniature integrated optical goniometers

A new principle and arrangement for directly determining the angle of incidence of an optical beam on an object are proposed and demonstrated. The novelty of the approach lies in the realization of a ‘smart object’, which extracts a portion of the incident beam's power into an optical waveguide attached to the object's surface or embedded in its body for converting the angle of incidence into the position of a guided beam with finite lateral extent. This ‘integrated optical light pointer’ beam is accomplished by means of creating additional degrees of freedom on the target in two different ways. While a first type is based on introducing spatial variations of the waveguide thickness, a second type makes use of a chirp of the grating periodicity. The feasibility for practical applications has been experimentally demonstrated by a direct comparison with a commercial high-resolution encoder, resulting in an r.m.s. error of <30′'. Measurements have been performed for chips fabricated based on replicated polycarbonate substrates and with no external optics, showing the great potential of this approach for realizing low-cost yet high-performance miniature goniometers.     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

不锈钢绕带容器环板与绕带端头的焊接

本文通过焊接试验对奥氏体不锈钢绕带容器环板与绕带焊接工艺进行了研究分析,并得出了合理的焊接方法和工艺参数。     

采取具体措施 发挥教研室的职能作用

本文就如何发挥高校教研室的职能作用记述了本教研室所采取的具体方法和措施。     

核电厂运行安全指标

本文着重介绍了 IAEA 所制定的核电厂运行安全指标,同时也介绍了美国所制定的类似指标。这些指标为定量地评估和比较各国核电厂运行安全提供了可靠的依据。     

Combined shape and sizing optimization of truss structures

 In this paper, an evolutionary optimization method is presented for weight minimum problem of a 3-dimensional truss structure in terms of nodal coordinates and element cross-sectional areas. The structure is subject to stress, local buckling and displacement constraints. Two types of design variables with different natures are optimized separately: (1) a fully stressed design (FSD) and scaling techniques are applied to sizing variables and (2) the evolutionary node shift method is applied to shape variables. Alternating procedure is utilized to couple the two types of variables and to combine the results. The optimum solution is achieved gradually from the initial configuration design. Two typical truss structures are examined to illustrate the validity of the method. Received: 22 October 2001 / Accepted: 04 June 2002 This research work is supported by the National Natural Science Foundation of China under the guarantees no. 10072050 and 10172072, respectively.