吴消元法在精确求解电力系统潮流方程中的应用

应用吴消元法求得算例系统潮流方程的全部精确解，得到了其他方法难以得到的完整的Py、Qy曲线，包括低压运行曲线，并通过平衡点稳定性分析，得到节点电压状态参数空间中平衡点稳定与不稳定的区域分界．阐述了系统受大扰动后过渡到低电压运行状态的可行性，为电压失稳机理的探明提供了依据．     

分散控制系统稳定化的新方法

本文从实际考虑提出了一种使分散控制系统稳定的新方法。这是一种最优的稳定方法。它不仅使反馈控制器的结构具有站间的通讯费用最低的特点，而且也使控制结构有最少的通道数。数值计算的例子表明了本文所提方法的正确性和可操作性。     

信号消噪的小波处理方法及其应用

通过对噪声特性的分析并用小波的方法对信号进行消噪处理，利用Matlab软件演示信号消噪的效果，并总结出小波分析对信号消噪的优点．     

gKS方程的孤立波解

非线性发展方程描述的系统中大量存在孤立波这种重要的非线性现象,求非线性发展方程的精确解是人们关心的问题,现已存在有较通用的反散射方法,以及对特定方程的非线性函数变换方法,近十年来人们利用计算机代数、考虑番列维分析或是待定系数方法。对大部分已知的非线性发展方程求得了方程的精确特解。本文以广义Ｋｕｒａｍｏｔｏ－Ｓｉｖａｓｈｉｎｓｋｙ（ｇＫＳ）方程为例,应用齐次平衡方法以及吴文俊消元法得到ｇＫＳ方程的孤     

基于自适应逆控制技术的船舶操纵仿真控制

对自适应逆控制理论中的对象动态控制问题和对象扰动控制问题分别进行了探讨，并且针对船舶模型特性，改进了自适应逆控制的框图，使其能够更好地应用于船舶操纵控制。在算法上用最小二乘法代替LMS(Least Mean Square)算法对船舶进行模型参数辨识和控制器的设计。仿真结果表明，改进后的自适应逆控制算法能适应船舶数学模型的变化，与PID控制相比，这种算法具有动态响应快，抗扰动性好等特点。     

数字图像中照度不均匀校正技术研究

为了消除数字图像中的照度不均匀性，对现有数字图像的照度不均匀校正技术进行了归类和讨论．分析了这些方法在计算误差上的内在原因，并在此基础上提出了基于小波变换的数字图像照度不均匀校正技术．该技术兼顾了数字图像的频域和空域，使得采用本方法校正后的图像具有品质优，计算误差小和时间消耗较少等特点．     

中高压变频装置的状态自适应运行监控系统

为保证6kV/1600kVA变频调速装置的可靠运行,设计了状态自适应的一体化运行监测与控制系统(OMCS),为保证系统的可靠、实时性,硬件系统采用P 700MHz/128MB内存的工控机和A/D转速速率高达800MHz/通道的AI卡,软件系统是基于该文所提出的状态自适应监控逻辑。OMCS的平均监测周期为20ms。试验期间所发生的2次AI卡故障、2次脉冲发生器异常、各保护动作情况及脉冲封锁后并联滤波电容与异步电机的自激等均被OMCS监测到。这些结果表明OMCS对提高变频装置的性能具有重要作用。     

氯霉素在牙鲆体内的药代动力学及残留消除规律研究

采用高效液相色谱法测定牙鲆体内氯霉素的药物浓度,非房室模型统计矩原理分析药动学数据.结果表明:1)单次口服剂量为80 mg·kg-1的氯霉素,药物在牙鲆体内的药-时曲线呈明显双峰现象:第一次达峰时间Tmax(1)出现在2.00 h,鳃、肝、肾、血、肌的第一次达峰浓度Cmax(1)依次为15.01、11.80、10.35、8.56、5.21μg·mL-1;第二次达峰浓度Cmax(2)小于第一次的浓度Cmax(1),第二次达峰的时间Tmax(2)出现在8.00 h,药-时曲线下面积(AUC):肾、鳃、肝、血、肌分别为176.87、133.77、118.77、65.33、50.36μg·mL-1·h.消除半衰期(T1/2)为4.89-10.39 h,平均滞留时间(MRT)为8.67-17.05 h,说明氯霉素在牙鲆体内吸收较迅速,但滞留时间较长.2)连续5 d口服剂量为40 mg·kg-1的氯霉素,药物消除半衰期(T1/2)为39.40-115.50 h,说明口服氯霉素在牙鲆体内消除缓慢,残留较严重,其中以肾脏和肝脏组织中残留最明显.     

一类带脉冲接种和脉冲剔除的SIR传染病模型的稳定性态

文章研究了一类具有脉冲接种和脉冲剔除的SIR传染病模型的动力学性态．应用Floquet定理研究了无病周期解的局部稳定性，通过脉冲微分不等式证明了其全局渐近稳定性．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.