焦化锅炉检测保护系统改造

太钢公司对燃煤锅炉进行燃高炉煤气锅炉设计改造。在煤气保护没有快速切断的情况下,分析了多种可能发生的故障,最终改造成功。     

土层地基上建筑结构混合控制的减震效率

研究土 -结构相互作用对结构混合控制减震效能的影响。首先建立了土层地基上结构混合控制的运动方程 ,通过不同输入地震波、不同土层剪切波速、不同结构参数等条件下的数值分析 ,讨论了桩基础对结构混合控制减震效率的影响规律。数值结果表明 :对于土 -结构相互作用体系 ,采用混合控制的减震效率明显要强于单一的 TL D的减震效率 ;在土层较为坚硬的情况下 ,混合控制仍具有较高减震效能 ;随着土层变软 ,土 -结构相互作用减小结构地震反应的效应趋于明显 ,混合控制的减震效率明显降低 ,因此 ,对软土地基上的结构实施混合控制时 ,必须先要正确分析土 -结构体系的地震反应。     

A residualizing semantics for the partial evaluation of functional logic programs

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we introduce a non-standard, residualizing semantics for multi-paradigm declarative programs and prove its equivalence with a standard operational semantics. Our residualizing semantics is particularly relevant within the area of program transformation where it is useful, e.g., to perform computations during partial evaluation. Thus, the proof of equivalence is a crucial result to demonstrate the correctness of (existing) partial evaluation schemes.     

二维小波变换理论在地震信号去噪中的应用

针对地震信号随机干扰和规则干扰的特点，运用二维小波变换的理论，设计了相应的变换域去噪滤波器。理论记录和实际野外记录试算表明，二维小波变换具有较强的信噪分离作用。只要运用得当就能取得满意的效果。     

基于小波逼近和尺度变换的非参数辨识方法

提出一种以非正交小波为基函数并应用小波多尺度分析的系统脉冲响应辨识方法，该方法以小波级数的形式逼近脉冲响应过程．从理论上证明了经小波尺度变换后系统随机噪声的方差值减小，即噪声得到有效的抑制，从而大大提高了辨识精度．应用实例验证了所得结果的正确性和算法的实用性．     

基于小波变换的超声电机启动和关断特性的测试与分析

叙述了本研究中心研发的超声电机瞬态测试系统及其测试方法。由于噪声的影响，启动、关断响应曲线常常不太光滑，以往采用平滑技术和数字滤波等处理办法，获得启动和关断响应特性精度较差。本文利用小波变换对原始启动、关断响应数据进行分析，去除噪声，从而较准确地获得了超声电机启动和关断的响应时间。实验结果表明，超声电机确实具有毫秒级的响应时间。     

A control model for an insurance company

The activity of an insurance company with a reinsurance condition system is modeled on an infinite time interval. Payment times and sums insured are random. The amount of money replenished is selected as a control parameter. The task is to minimize the average insurance payment per unit time, thus optimizing investments.Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 172–176, November– December 2004.This revised version was published online in April 2005 with a corrected cover date.     

溶胶玻璃原位合成碳纳米管的研究

目前，碳纳米管的各种制备方法如电弧法、激光消融法、催化热解法及化学气相沉积法等，都是在500～3500℃温度范围内经由气固相接触表面合成的，从而使反应的深度和广度都受到了限制．利用固相热解法尝试在溶胶玻璃中原位合成碳纳米管，该方法可以使反应在整个固相范围内同时发生，而不只是在气固相的表面合成．在制备样品的过程中采用了溶胶-凝胶法，成功地将碳源(乙酰丙酮)和催化剂(硝酸钴)均匀地分散在SiO，溶胶玻璃中，制备了纳米级的复合材料．另外，选择了乙酰丙酮作碳源，将碳纳米管的合成温度降到了400℃，实现了在低温固相条件下原位合成碳纳米管．最后通过TEM对生成的纳米碳管进行表征．     

表单提交对象化-Struts

在b／s结构中可以完全实现逻辑和界面的分离，而它们之问的数据交流只有一个途径：表单提交。实现表单提交的对象化一直是很多程序员的愿甲，水文将通过对struts的介绍末展示其恭本工作原理，阐述如何用struts实现表单提交对象化：     

线性规划问题的对比教学

对线性规划问题，一般用单纯形法求解。本文探讨了用矩阵及Gauss消元法来处理单纯形法的思想，使学生易于理解、掌握、应用线性规划问题。