无失效数据机载多余度EWIS可靠性研究

针对高可靠度机载多余度EWIS各组成部分寿命服从指数分布但参数未知的情况，提出采用无失效数据可靠度分析方法评估EWIS的可靠度水平。通过Monte-Carlo仿真方法对连接形式为“先并联、后串联”EWIS各组成部分寿命进行抽样，利用“最小最大值”方法获得系统寿命的抽样值，用概率纸检验法初步判断EWIS寿命是否服从威布尔分布，再用Pearson拟合优度检验法判断EWIS寿命是否服从威布尔分布。结合无故障飞行时间的样本值与EWIS寿命服从威布尔分布的假设，采用无失效数据分析方法评估EWIS的可靠度水平。研究方法对机载多余度EWIS无失效数据可靠度分析有一定的贡献。     

Fixed collision rate back-off scheme for collision resolution in wireless networks

This investigation proposes a fixed collision rate (FCR) back-off algorithm for wireless networks. The proposed scheme takes advantage of the central unit (CU) in a wireless network to broadcast a common back-off window size to all the users, significantly alleviating the unfairness of bandwidth utilization in conventional binary exponential back-off (BEB) algorithms. It is shown that, when maximum throughput is achieved, collision rate is almost a constant for any traffic load. In the operation of the FCR, the CU dynamically adjusts the back-off window size to keep the collision rate at a constant level for maximum throughput. Simulation results demonstrate that the unfairness of bandwidth utilization in the BEB is significantly lessened and the throughput can be maintained at e^-1≈0.368 when the number of users approaches infinity. The capture effect even further improves system performance.     

关于松辽盆地内部地体碰撞的探讨

通过对地震资料中特殊现象的解释提出了松辽盆地内部东西地体碰撞的看法,合理地解释了松辽盆地滨北地区地质现象的形成机制,并且认为地体碰撞带可能是无机生油的有利场所。     

A visual tool for computer supported learning: The robot motion planning example

We introduce an effective computer aided learning visual tool (CALVT) to teach graph-based applications. We present the robot motion planning problem as an example of such applications. The proposed tool can be used to simulate and/or further to implement practical systems in different areas of computer science such as graphics, computational geometry, robotics and networking. In the robot motion planning example, CALVT enables users to setup the working environment by creating obstacles and a robot of different shapes, specifying starting and goal positions, and setting other path or environment parameters from a user-friendly interface. The path planning system involves several phases. Each of these modules is complex and therefore we provide the possibility of visualizing graphically the output of each phase. Based on our experience, this tool has been an effective one in classroom teaching. It not only cuts down, significantly, on the instructor’s time and effort but also motivates senior/graduate students to pursue work in this specific area of research.     

A physically based method for triangulated surface flattening

This paper introduces a new method of generating 2D flat patterns from a 3D triangulated surface by opening the bending configuration of each winged triangle pair. The flattening can be divided into four steps. First, a 3D triangulated surface is modeled with a mass-spring system that simulates the surface deformation during the flattening. Second, an unwrapping force field is built to drive the mass-spring system to a developable configuration through the numerical integration. Third, a velocity redistribution procedure is initiated to average velocity variances among the particles. Finally, the mass-spring system is forced to collide with a plane, and the final 2D pattern is generated after all the winged triangle pairs are spread onto the colliding plane. To retain the size and area of the original 3D surface, a strain control mechanism is introduced to keep the springs from over-elongation or over-shrinkage at each time step.     

A Class of Algorithms for Collision Resolution with Multiplicity Estimation

The wireless connectivity in pervasive computing has ephemeral character and can be used for creating ad hoc networks, sensor networks, connection with RFID (Radio Frequency Identification) tags etc. The communication tasks in such wireless networks often involve an inquiry over a shared channel, which can be invoked for: discovery of neighboring devices in ad hoc networks, counting the number of RFID tags that have a certain property, estimating the mean value contained in a group of sensors etc. Such an inquiry solicits replies from possibly large number of terminals n. This necessitates the usage of algorithms for resolving batch collisions (conflicts) with unknown conflict multiplicity n. In this paper we present a novel approach to the problem of collision resolution for batch conflicts. We show how the conventional tree algorithms for collision resolution can be used to obtain progressively accurate estimation of the multiplicity. We use the estimation to propose a more efficient binary tree algorithm, termed Estimating Binary Tree (EBT) algorithm. The EBT algorithm is suited for implementation when the conflicting nodes are passive, such as e.g. RFID tags. We extend the approach to design the Interval Estimation Conflict Resolution (IECR) algorithm. For n→∞ we prove that the efficiency achieved by IECR for batch arrivals is identical with the efficiency that Gallager’s FCFS algorithm achieves for Poisson packet arrivals. For finite n, the simulation results show that IECR is, to the best of our knowledge, the most efficient batch resolution algorithm reported to date.     

高空核爆炸瞬发中子在大气中产生的电离源

本文计算并分析了在高空核爆条件下瞬发中子在大气中产生的电离源。计算结果表明,在离开地球表面高度Z=30km处,当t≈1ms时,电离源强度Ne≈10~(12)s~(-1)·cm~(-3)。峰值维持时间为0.4—4ms。并给出了对Z>30km以上各高度Ne随t的变化曲线。     

Path-planning strategies for a point mobile automaton moving amidst unknown obstacles of arbitrary shape

The problem of path planning for an automaton moving in a two-dimensional scene filled with unknown obstacles is considered. The automaton is presented as a point; obstacles can be of an arbitrary shape, with continuous boundaries and of finite size; no restriction on the size of the scene is imposed. The information available to the automaton is limited to its own current coordinates and those of the target position. Also, when the automaton hits an obstacle, this fact is detected by the automaton's tactile sensor. This information is shown to be sufficient for reaching the target or concluding in finite time that the target cannot be reached. A worst-case lower bound on the length of paths generated by any algorithm operating within the framework of the accepted model is developed; the bound is expressed in terms of the perimeters of the obstacles met by the automaton in the scene. Algorithms that guarantee reaching the target (if the target is reachable), and tests for target reachability are presented. The efficiency of the algorithms is studied, and worst-case upper bounds on the length of generated paths are produced.Supported in part by the National Science Foundation Grant DMC-8519542.     

Monte-carlo modeling of grain growth in Zr equal channel angular pressed and recrystallized

Grain boundary character distribution in equal-channel-angular pressed Zr was studied. Using a die design of 90°/20° and an operation temperature of 350°C. The initial grain size of 20 μm was reduced to about 270 nm with 4 passes via route B_c. The grain growth kinetics of the recrystallized state was obtained by experiment and Monte-Carlo computer simulation, respectively, which showed good agreement. Based on kinetics and morphological characteristics, it was concluded that the grain coarsening mechanism was governed by normal grain growth. No sign of abnormal grain growth was detected either in the experiment or in simulation despite taking into consideration anisotropy in grain boundary energy as well as its mobility. This indicates that grain boundaries produced by severely deformed Zr are stable against explosive coarsening. The evolution characteristics of the microstructure in the present ECA pressed and recrystallized Zr differed from those of cold rolled Ti in that the grain boundary misorientation distribution and texture were rather stable during grain growth. Jointly Appointed by the Center for Advanced Aerospace Materials This article is based on a presentation made in the 2002 Korea-US symposium on the “Phase Transformations of Nano-Materials,” organized as a special program of the 2002 Annual Meeting of the Korean Institute of Metals and Materials, held at Yonsei University, Seoul, Korea on October 25–26, 2002.     

MD simulations of the collision between a copper ion and a polyethylene surface: an application to the plasma-insulating material interaction

To allow a better understanding of the physical phenomena occurred between a plasma and an insulating material, we have developed a specific MD code to study this type of interaction. We report results of MD simulations of the interaction of an incoming copper ion with a polyethylene crystal surface. Three initial incoming velocities and four impact angle values are used to check the influence of both the incident energy and impact direction to the resulting surface damage. When the incoming ion velocity is sufficiently high, MD results show that the impact can cause bond breaking leading to uncoordinated carbon atoms and free hydrogen atoms. The values of local temperatures associated with the structural changes show a possible ablation of the polyethylene surface.