全断面混凝土衬砌钢模台车的应用

羊湖电站引水隧洞总长５８８３ｍ,为φ２．５ｍ的圆形有压隧洞,全线采用钢筋混凝土衬砌。施工区空气稀薄,严重缺氧,气候寒冷。混凝土衬砌采用φ２．５ｍ全断面钢模台车进行,混凝土由洞外拌和系统拌和,有轨运输进洞,混凝土泵送入仓。全断面钢模台车由钢模、台车和外部支撑三部份组成,钢模的构成方式为“三铰两缝式”。本文介绍了羊湖水站引水隧洞混凝土衬砌中应用φ２．５ｍ全断面钢模台车的使用情况和施工方法。     

Fabrication, characterization, and potential application of carbon fiber cone nanometer-size electrodes

A novel method has been developed for the fabrication of carbon fiber cone nanometer-size ultramicroelectrodes (nanoelectrodes) with overall tip dimensions as small as 50 nm in diameter. In this method, carbon fibers were initially etched by an argon ion beam thinner. Afterward, a single etched carbon fiber was inserted into a glass capillary, which was then sealed by heating the glass/fiber interface in a vacuum; thus, no epoxy resin is involved. The success rate of our fabrication route for the electrodes with overall tip diameters of up to 500 nm was about 80%; for those with tip diameters of up to 100 nm, it was about 50%. The fabricated carbon fiber cone nanoelectrodes (CFCNEs) were inspected by optical and scanning electron microscopy. Their electrochemical behavior was examined by cyclic and linear sweep voltammetric measurements of ferricyanide and ferrocene ions in aqueous and nonaqueous media. The potential analytical applicability of the CFCNEs was tested by differential pulse voltammetric measurements of two well-known neurotransmitters, dopamine (DA) and 5-hydroxytryptamine (5-HT), and the results achieved were highly satisfactory. The calibration plots obtained were linear over the ranges from 5.0 × 10(-7) to 1.0 × 10(-4) and from 2.0 × 10(-6) to 1.0 × 10(-4) mol/L, with limits of detection of 1.0 × 10(-7) and 5.0 × 10(-7) mol/L for DA and 5-HT, respectively. Some advantages and improvements of the proposed CFCNE fabrication method, especially with respect to smoothness of the fiber (electrode) surface, strength, and control over the fiber tip dimensions, are also discussed.     

二维任意形状寄生电阻电容的边界元计算

由于集成电路技术高速发展,精确提取任意形状寄生电阻电容变得十分重要,本文以直接边界元素法为基础,利用圆弧样条插值近似任意曲线边界,使插值曲线具有整体一阶连续性,并克服了大挠度与多值的困扰。在直线边界使用线性连续元,在曲线边界使用二次连续无。对两邻国为直线的角点,我们曾提出处理角点处存在多重法的导数的一种方法。这里,它被推广到角点邻边含曲线段的情形。数值结果表明模拟器是可行的。     

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念,得到２个表达式之间覆盖关系的判别准则．对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式,得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．     

Ensemble of surrogates with recursive arithmetic average

Surrogate models are often used to replace expensive simulations of engineering problems. The common approach is to construct a series of metamodels based on a training set, and then, from these surrogates, pick out the best one with the highest accuracy as an approximation of the computationally intensive simulation. However, because the choice of approximate model depends on design of experiments (DOEs), the traditional strategy thus increases the risk of adopting an inappropriate model. Furthermore, in the design of complex product system, because of its feature of one-of-a-kind production, acquiring more samples is very expensive and intensively time-consuming, and sometimes even impossible. Therefore, in order to save sampling cost, it is a reasonable strategy to take full advantage of all the stand-alone surrogates and then combine them into an ensemble model. Ensemble technique is an effective way to make up for the shortfalls of traditional strategy. Motivated by the previous research on ensemble of surrogates, a new technique for constructing of a more accurate ensemble of surrogates is proposed in this paper. The weights are obtained using a recursive process, in which the values of these weights are updated in each iteration until the last ensemble achieves a desirable prediction accuracy. This technique has been evaluated using five benchmark problems and one reality problem. The results show that the proposed ensemble of surrogates with recursive arithmetic average provides more ideal prediction accuracy than the stand-alone surrogates and for most problems even exceeds the previously presented ensemble techniques. Finally, we should point out that the advantages of combination over selection are still difficult to illuminate. We are still using an “insurance policy” mode rather than offering significant improvements.     

Crashworthiness design of vehicle by using multiobjective robust optimization

Although deterministic optimization has to a considerable extent been successfully applied in various crashworthiness designs to improve passenger safety and reduce vehicle cost, the design could become less meaningful or even unacceptable when considering the perturbations of design variables and noises of system parameters. To overcome this drawback, we present a multiobjective robust optimization methodology to address the effects of parametric uncertainties on multiple crashworthiness criteria, where several different sigma criteria are adopted to measure the variations. As an example, a full front impact of vehicle is considered with increase in energy absorption and reduction of structural weight as the design objectives, and peak deceleration as the constraint. A multiobjective particle swarm optimization is applied to generate robust Pareto solution, which no longer requires formulating a single cost function by using weighting factors or other means. From the example, a clear compromise between the Pareto deterministic and robust designs can be observed. The results demonstrate the advantages of using multiobjective robust optimization, with not only the increase in the energy absorption and decrease in structural weight from a baseline design, but also a significant improvement in the robustness of optimum.     

Supporting rapid design and evaluation of pervasive applications: challenges and solutions

Along with the improvement of the key technologies for pervasive computing, the design of applications itself has emerged as a notable research area. A design should decide which features go into the application of supporting its context-awareness and ascertaining how well those features add value for users with an acceptable user experience. This paper initially identifies the challenges in designing and evaluating pervasive applications. It then presents a condensed survey of prototyping techniques and existing toolkits with the aim of understanding how the design issues have been addressed by research prototypes. At the end, we describe various open issues with suggestions of possible ways to extend the capabilities of current prototyping toolkits.     

基于ZigBee技术的建筑能耗监测系统设计

随着我国建筑总量不断攀升,建筑能耗也逐年增加,更加有效地实施建筑能耗统计及建筑节能管理具有重要的意义;通过对建筑能耗监测系统的分析,在研究ZigBee技术的基础上,提出了基于ZigBee无线传感器网络的建筑能耗监测系统总体结构,对其网络拓扑控制和路由协议进行了研究,并介绍了系统周期性工作过程;网络测试表明,该系统可靠性好,能够实现建筑能耗数据的采集和无线传输;通过对能耗数据的统计分析,为降低建筑能耗和提高建筑能效,提供了决策依据和参考.     

飞机故障预测与健康管理应用模式研究

针对现有飞机维修机制的不足进行了分析,描述了故障预测与健康管理、视情维修和自主后勤的三者之间的关系。提出了三种典型的故障预测与健康管理(PHM)应用模式,在分析比较现有三种模式优劣的基础上,进一步指出PHM的发展趋势。设计了一种飞机故障预测与健康管理(PHM)系统框架,并运用物联网技术完成了对自主保障系统的构建,能够有效提升飞机的自主保障能力。最后论证了故障预测与健康管理和持续采办与全寿命支持(CALS)之间的关系,为装备采购和全寿命支持提供了技术支持和理论依据。     

基于ZigBee的无线MI磁强计

在现有医疗磁导航系统和地磁数据的信息检测中,针对磁场测量中遇到的有线传输布线困难及操作不便等情况,利用ZigBee无线收发芯片(CC2430)组成的信息无线传输模块,给出了一种磁场检测无线传输解决方案;在此基础上,通过实验测量,验证ZigBee无线模块对磁感(MI)传感器输出产生影响;确认实际干扰的存在,并将其值量化,提出一套消除无线传输对MI传感器影响的解决方案。