三维数字城市的建设

提出了一种应用三维技术和虚拟现实交互技术来构建三维数字城市的设计思想和实施方案，探讨了具体实现三维数字城市系统而积累的实践经验，介绍了综合运用3DS MAX、AUTOCAD和CULT3D对“实例”进行制作的具体方法和步骤，并给出了部分制作结果。结果表明该系统获得了较好的实时浏览和交互浏览功能，且有良好的视觉效果。     

Kinetics of chlorination of tantalum pentoxide in mixture with sucrose carbon by chlorine gas

The mechanism and kinetics of β-Ta₂O₅ chlorination, mixed with sucrose carbon, have been studied by a thermogravimetric technique. The investigated temperature range was 500 °C to 850 °C. The reactants and reaction residues were analyzed by scanning electronic microscopy (SEM), X-ray diffraction (XRD), and Brunauer-Emmett-Teller method for surface area (BET). The effect of various experimental parameters was studied, such as carbon percentage, temperature, chlorine partial pressure, and flow, use of the multiple sample method, and carbon previous oxidation. The carbon percentage and previous treatment have an effect on the system reactivity. The temperature has a marked effect on the reaction rate. In the 500 °C to 600 °C temperature interval, the apparent activation energy is 144 kJ/mol of oxide, while at higher temperatures, the activation energy decreases. With high chorine partial pressures, the order of reaction is near zero. The kinetic contractile plate model, X=kt, considering carbon oxidation as the controlling stage, is the one with the best fit to the experimental data. A probable mechanism for the carbochlorination of β-Ta₂O₅ is proposed: (1) activation of chlorine on the carbon surface, (2) chlorination of Ta₂O₅, (3) oxidation of carbon, and (4) recrystallization of β-Ta₂O₅.     

Transition to turbulence in rotating-disk boundary layers—convective and absolute instabilities

This work is an experimental study of mechanisms for transition to turbulence in the boundary layer on a rotating disk. In one case, the focus was on a triad resonance between pairs of traveling cross-flow modes and a stationary cross-flow mode. The other was on the temporal growth of traveling modes through a linear absolute instability mechanism first discovered by Lingwood (1995, J Fluid Mech 314:373–405). Both research directions made use of methods for introducing controlled initial disturbances. One used a distributed array of ink dots placed on the disk surface to enhance a narrow band of azimuthal and radial wave numbers of both stationary and traveling modes. The size of the dots was small so that the disturbances they produce were linear. Another approach introduced temporal disturbances by a short-duration air pulse from a hypodermic tube located above the disk and outside the boundary layer. Hot-wire sensors primarily sensitive to the azimuthal velocity component, were positioned at different spatial (r,θ) locations on the disk to document the growth of disturbances. Spatial correlation measurements were used with two simultaneous sensors to obtain wavenumber vectors. Cross-bicoherence was used to identify three-frequency phase locking. Ensemble averages conditioned on the air pulses revealed wave packets that evolved in time and space. The space–time evolution of the leading and trailing edges of the wave packets were followed past the critical radius for the absolute instability, r _{c A} . With documented linear amplitudes, the spreading of the disturbance wave packets did not continue to grow in time as r _{c A} was approached. Rather, the spreading of the trailing edge of the wave packet decelerated and asymptotically approached a constant. This result supports the linear DNS simulations of Davies and Carpenter (2003, J Fluid Mech 486:287–329) who concluded that the absolute instability mechanism does not result in a global mode, and that linear-disturbance wave packets are dominated by the convective instability. In contrast, wave-number matching between traveling cross-flow modes confirmed a triad resonance that lead to the growth of a low azimuthal number (n = 4) stationary mode. At transition, this mode had the largest amplitude. Signs of this mechanism can be found in past flow visualization of transition to turbulence in rotating disk flows.     

计算机辅助施工放样设计与应用

应用数学理论知识和CAD技术对施工图进行建模,从而获得准确的放样参数指导施工,并结合工程实例对计算机辅助施工放样过程进行了具体的介绍。     

Formal techniques for performance analysis: blending SAN and PEPA

In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, and the potential for reduction in the Markov process. Such careful comparison of modelling techniques allows us to appreciate the strengths and weaknesses of different approaches, and facilitates cross-fertilization between them. In the present case we take a characteristic of one formalism, functional rates in Stochastic Automata Networks, and introduce it to the other formalism, Performance Evaluation Process Algebra. We investigate the benefits of this cross-fertilization, particularly from the perspectives of Markov process generation and reduction.     

Simultaneous translation of lectures and speeches

With increasing globalization, communication across language and cultural boundaries is becoming an essential requirement of doing business, delivering education, and providing public services. Due to the considerable cost of human translation services, only a small fraction of text documents and an even smaller percentage of spoken encounters, such as international meetings and conferences, are translated, with most resorting to the use of a common language (e.g. English) or not taking place at all. Technology may provide a potentially revolutionary way out if real-time, domain-independent, simultaneous speech translation can be realized. In this paper, we present a simultaneous speech translation system based on statistical recognition and translation technology. We discuss the technology, various system improvements and propose mechanisms for user-friendly delivery of the result. Over extensive component and end-to-end system evaluations and comparisons with human translation performance, we conclude that machines can already deliver comprehensible simultaneous translation output. Moreover, while machine performance is affected by recognition errors (and thus can be improved), human performance is limited by the cognitive challenge of performing the task in real time.     

Safe and effective navigation of autonomous robots in hazardous environments

The development of autonomous mobile machines to perform useful tasks in real work environments is currently being impeded by concerns over effectiveness, commercial viability and, above all, safety. This paper introduces a case study of a robotic excavator to explore a series of issues around system development, navigation in unstructured environments, autonomous decision making and changing the behaviour of autonomous machines to suit the prevailing demands of users. The adoption of the Real-Time Control Systems (RCS) architecture (Albus, 1991) is proposed as a universal framework for the development of intelligent systems. In addition it is explained how the use of Partially Observable Markov Decision Processes (POMDP) (Kaelbling et al., 1998) can form the basis of decision making in the face of uncertainty and how the technique can be effectively incorporated into the RCS architecture. Particular emphasis is placed on ensuring that the resulting behaviour is both task effective and adequately safe, and it is recognised that these two objectives may be in opposition and that the desired relative balance between them may change. The concept of an autonomous system having “values” is introduced through the use of utility theory. Limited simulation results of experiments are reported which demonstrate that these techniques can create intelligent systems capable of modifying their behaviour to exhibit either ‘safety conscious’ or ‘task achieving’ personalities.