AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

Evolutionary level set method for structural topology optimization

This paper proposes an evolutionary accelerated computational level set algorithm for structure topology optimization. It integrates the merits of evolutionary structure optimization (ESO) and level set method (LSM). Traditional LSM algorithm is largely dependent on the initial guess topology. The proposed method combines the merits of ESO techniques with those of LSM algorithm, while allowing new holes to be automatically generated in low strain energy within the nodal neighboring region during optimization. The validity and robustness of the new algorithm are supported by some widely used benchmark examples in topology optimization. Numerical computations show that optimization convergence is accelerated effectively.     

Simulation and fabrication of piezoresistive membrane type MEMS strain sensors

Two piezoresistive (n-polysilicon) strain sensors on a thin Si₃N₄/SiO₂ membrane with improved sensitivity were successfully fabricated by using MEMS technology. The primary difference between the two designs was the number of strips of the polysilicon patterns. For each design, a doped n-polysilicon sensing element was patterned over a thin 3 μm Si₃N₄/SiO₂ membrane. A 1000×1000 μm² window in the silicon wafer was etched to free the thin membrane from the silicon wafer. The intent of this design was to fabricate a flexible MEMS strain sensor similar in function to a commercial metal foil strain gage. A finite element model of this geometry indicates that strains in the membrane will be higher than strains in the surrounding silicon. The values of nominal resistance of the single strip sensor and the multi-strip sensor were 4.6 and 8.6 kΩ, respectively. To evaluate thermal stability and sensing characteristics, the temperature coefficient of resistance [TCR=(ΔR/R₀)/ΔT] and the gage factor [GF=(ΔR/R₀)/] for each design were evaluated. The sensors were heated on a hot plate to measure the TCR. The sensors were embedded in a vinyl ester epoxy plate to determine the sensor sensitivity. The TCR was 7.5×10⁻⁴ and 9.5×10⁻⁴/°C for the single strip and the multi-strip pattern sensors. The gage factor was as high as 15 (bending) and 13 (tension) for the single strip sensor, and 4 (bending) and 21 (tension) for the multi-strip sensor. The sensitivity of these MEMS sensors is much higher than the sensitivity of commercial metal foil strain gages and strain gage alloys.     

大型复杂工程系统研究开发中的方法论问题

本文通过大量事例说明了方法论对完成大型工程项目的重要意义,总结了工程技术中方法论的一般原理,并以此为指导,提出了大型自动化系统开发中的新思路.     

Performance evaluation of a dental handpiece in simulation of clinical finishing using a novel 2DOF in vitro apparatus

This paper reports on the performance evaluation of a dental handpiece in simulation of clinical finishing using a novel two-degrees-of-freedom (2DOF) in vitro apparatus. The instrumented apparatus consisted of a two-dimensional computer-controlled coordinate worktable carrying a dental handpiece, a piezoelectric force dynamometer, and a high-speed data acquisition and signal conditioning system for simulating the clinical operations and monitoring the dental finishing processes. The performance of the dental handpiece was experimentally evaluated with respect to rotational speed, torque, and specific finishing energy under the applied clinical finishing conditions. The results show that the rotational speeds of the dental handpiece decreased by increasing either the depth of cut or the feed rate at a constant clinically applied air pressure and water flowrate. They also decreased when increasing both the tangential and normal finishing forces. The specific finishing energy decreased with an increase in either depth of cut or feed rate, while the finishing torque increased as either the depth of cut or the feed rate was increased. Implications of these results were to provide guidance for proper applications of dental handpieces in clinical practice.     

Acoustic emission from gas-filled coal under triaxial compression

Acoustic emission (AE) experiments have been performed on gas-saturated coal specimens under conventional triaxial compression. The AE characteristics were investigated for a methane gas flow through the coal specimen. One AE parameter, AE count, when normalized by the total count number was used to represent the damage evolution in the gassy coal. It is shown that this AE parameter is a reasonable indicator for damage occurring within the coal specimen since its envelope has almost the same shape as the complete stress–strain curve, except for a short time delay. In addition, the change in AE count is highly consistent with the change in coal permeability. Test results also show that methane containing coal emits a small number of AE events before entering the yield stage. AE activity gradually increases during the yield process up to the peak stress. The lowest permeability corresponds to the highest AE activity, implying failure will soon occur. An AE based constitutive model was constructed and the theoretical results agree well with those of experiments.     

Proactive Human Search for the Designated Person with Prior Context Information in an Undiscovered Environments

This paper describes a scheme for proactive human search for a designated person in an undiscovered indoor environment without human operation or intervention. In designing and developing human identification with prior information a new approach that is robust to illumination and distance variations in the indoor environment is proposed. In addition, a substantial exploration method with an octree structure, suitable for path planning in an office configuration, is employed. All these functionalities are integrated in a message- and component-based architecture for the efficient integration and control of the system. This approach is demonstrated by succeeding human search in the challenging robot mission of the 2009 Robot Grand Challenge Contest.     

Availability of a newly devised ambulatory urodynamics monitoring system based on personal device assistance in patients with spinal cord injury

Conventional urodynamics systems have been widely used for the assessment of bladder functions. However, they have some drawbacks due to the unfamiliar circumstances for the patient, restrictive position during the test, expense and immovability of the instrument as well as the unphysiological filling of the bladder. To mitigate these problems, we developed a fully ambulatory urodynamics monitoring system, which enables the abdominal pressure to be measured in a non-invasive manner, as well as the manual recording of various events such as the bladder sensations or leakage of urine. Conventional (CMG) and furosemide-stimulated filling cystometry (FCMG) were performed for 28 patients with neurogenic bladders caused by spinal cord injury (24 males and 4 females, age: 49.4 ± 13.9 years, BMI: 23.5 ± 2.4). There were high correlation coefficients (r=0.97 ± 0.02) between the clinical parameters measured by the conventional rectal catheter and those measured by our non-invasive algorithm in the FCMG studies. Also, 10 of the patients (36%) were diagnosed as having different reflexibility of the bladder between conventional CMG and FCMG (p<0.05). In the patients with detrusor overactivity, the average volume and detrusor pressure at bladder sensation in FCMG were lower than those in CMG, while the average compliance was higher (p<0.05). In the patients with areflexic bladders, the number of patients with detrusor overactivity was higher in FCMG and leakage was observed more frequently. These results showed that our system could be a useful additional tool in the clinical assessment of patients in which conventional cystometry failed to explain their symptoms.     

Machinability of Metal Matrix Composites Reinforced by 3-D Network Structure

Metal matrix composites reinforced by three-dimensional (3-D) continuous network structure reinforcement (3DCNRMMC) are difficult to machine due to serious tool wear and poor surface roughness caused by the brittle and hard reinforcement which interpenetrate into ductile matrix. In order to achieve the approach of low cost of 3DCNRMMC, the machinability of it needs to be understood. The influences of three cutting parameters and volume fraction of reinforcement on cutting force were analyzed in detail. The results indicate that: (1) Due to the brittle phase(s) introduced into ductile matrix of composites, there is a large fluctuation of cutting force causing deterioration of machinability. The fluctuation ranges of cutting forces, initially increase rapidly with the increase of volume fraction of reinforcement and then decrease finally, are largest at the range of the volume fraction of 55–65%; (2) The influence of cutting parameters on cutting force is obvious. With the increases of cutting speed, cutting force decreases gradually unless cutting speed exceeds the value of 209 m/min. Cutting forces increase with increasing feed rate and depth of cut; (3) Owing to the large fluctuation of cutting force, there were some cratered surfaces caused by Si₃N₄ reinforcement pulling-out and flaking-off. Some brittle phase protruding from the machined surface caused the deterioration of machined surface.     

A Study on the Pd/a-Si/Ni Seed Layer for Metal-Induced Lateral Crystallization and Poly-Si TFTs

The effect of Pd on the growth rate of metal-induced lateral crystallization (MILC) from Ni seed and the electrical properties of thin-film transistors (TFTs) fabricated on the films crystallized by MILC were investigated. When the Pd metal is placed on the amorphous-silicon/Ni-seed layer, the MILC growth rate is two to three times faster than that of conventional Ni-MILC, without any degradation of TFTs. These results were explained by a stress that is generated by the formation of Pd₂Si