基于实时流程的WEB应用系统安全设计

本文提出了基于B／S结构及流程控制结构的WEB应用系统尤其是WEB应用程序的安全设计的方法，给出了设计实现的关键技术，采用权限管理、身份／口令认证与安全认证系统一接口设计，实现应用程序比较高的安全级别。     

直流分布式电源系统的小信号稳定性研究

在一个直流分布式电源系统中，各独立设计的电源模块或子系统之间的相互作用，可能导致整个系统的不稳定。在小信号的意义下，系统稳定性能通过测定阻抗比Zo/Zi来判断。在讨论已有的基于阻抗分析法的直流分布式电源系统稳定性研究成果和存在问题的同时，改进了单独负载阻抗规范的禁止区域，不仅保证了小信号系统的稳定性的充分条件，而且给实际测量系统的稳定裕量提供了一条方便的途径。     

非自治协作系统的正概周期解

主要考察了非自治协作系统 ,并应用Lyapnnov第二方法得到了系统在概周期环境下存在唯一全局渐近概周期解的充分条件     

关于Hirsch和Jing的全局稳定性定理的注记

对于一类n维合作系统,我们研究了此系统的全局稳定性问题,得到了如下定理:设F:X→Rn是一个C1合作向量场,假设如下F条件成立:(a)X=Rn,或intRn+,或[[p,q]];(b)X中每一个正半轨道有紧闭包;(c)至多有一个平衡点P,则一定存在唯一的平衡点P,并且是全局渐近稳定的.推广了Hirsch[1]和Jiang[2]在n=3时相同的结果.     

空气中熔化生长Nd-Ba-Cu-O超导体的Ar气处理与相稳定性

利用X射线衍射及扫描电镜等方法，研究了Ar气处理温度对空气中熔化生长的NdBa2Cu3O7-δ＋20％Nd4Ba2Cu2O10样品超导性能和组织结构的影响。结果表明，在大气环境中放置20个月的情况下，经900℃Ar气处理的样品易碎裂，且超导性能明显降低，显示出超导相的不稳定性；在500℃下经较长时间Ar气处理的样品，起始转变温度可达93K，且结构和性能均较稳定。     

具多个独立执行机构的Lurie型系统的鲁棒稳定性

讨论了具有多个相互独立执行机构的Lurie型区间控制系统的鲁棒绝对稳定性。用向量不等式、Lyapunov函数法研究了具多个独立招待机构的Lurie型区间直接控制系统和Lurie型区间间接控制系统的鲁棒绝对稳定性，得到了具多个独立执行机构的Lurie型控制系统鲁棒绝对稳定性的判别准则，推广和改进了以前的一些工作。     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

非均衡微观市场预期价格模型价格调节稳定性分析

微观高层预期价格作为一个重要变量，影响着消费者的消费行为和生产者的供给行为，商品自身价格调节的运行态势一般为市场本身供示关系所支配，在一定范围内，市场内在运行机制“看不见的手”可以决定价格变化状况，但超出这个范围，价格商品变动将不再具有稳定性的特征，“市场失灵”就会发生。     

基于C/S的计算机远程监控技术

分析了计算机通信的原理以及基于C／S的远程通信和监控实现技术，讨论了利用Winsock实现C／S网络系统的通信过程和编程思想，通过一个实际的开发实例阐述了C／S网络结构中远程监控的具体实现过程。目前利用本系统所开发的网络自动化监控系统已投入运行中，效果良好。     

平面蒸发薄液膜的稳定性分析

固体表面上形成的蒸发薄液膜，对微细空间内的传热有重要强化作用。论文对平面蒸发薄液膜的传热传质过程建立了物理模型，从汽－液界面上的边界条件得到无量纲液膜厚度随时间变化的发展方程。还探讨了液膜的稳定性特性。这种稳定性特性对热边界条件不敏感，但对工质扩散常数、界面温度梯度（Marangoni效应）的依赖较大。