一般矩条件下随机变量的收敛性

本文在一般矩条件下研究了同分布的NA随机变量序列和独立同分布的随机变量序列的收敛性,得到了推广形式的Baum-Katz定理和强大数律,这些结果推广了已知的一些文献中相应的结果.     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

动态Web服务组合的选择策略

为了提高光网络资源的利用率,提出一种基于Petri网的Web服务组合最优化选择的方法.根据用户需求使用Petri网对服务组合之间的数据依赖关系建模,利用Petri网的T-不变量得到各种可能组合方案,并对于每种组合方案使用广义随机Petri网分析其性能.实验结果表明：该方法充分利用Petri网善于描述、分析、评价分布式系统的优点,得到性能最优的基于光网络资源的服务组合方案.     

一类非线性中立型差分方程解的振动性

本文我们证明了下列两个差分方程Δ（ｘｎ － ｘｎ－ ｋ）α＋ ｑｎｆ（ｘｎ－ Ｔ） ＝ ０Δ（Δｙｎ－ １）α＋ ｋ－ αｑｎｆ（ｙｎ） ＝ ０振动的等价性．其中ｑｎ０,ｋ,Ｔ为正整数,α为两奇数之商,ｆ∈Ｃ（Ｒ,Ｒ）是非减的并满足ｘｆ（ｘ）＞ ０（ｘ≠０）．获得了这些方程振动的一些充分条件．     

动态Web服务组合的选择策略

为了提高光网络资源的利用率,提出一种基于Petri网的Web服务组合最优化选择的方法.根据用户需求使用Petri网对服务组合之间的数据依赖关系建模,利用Petri网的T-不变量得到各种可能组合方案,并对于每种组合方案使用广义随机Petri网分析其性能.实验结果表明:该方法充分利用Petri网善于描述、分析、评价分布式系统的优点,得到性能最优的基于光网络资源的服务组合方案.     

联二萘酚配合物催化的不对称异原子Diels-Alder反应研究进展

光学活性的联二萘酚及其衍生物作为优良的手性配体在不对称催化反应中的研究已经取得重大进展,本文概述了近些年来以联二萘酚及其衍生物为手性配体和各种金属盐形成的配合物作为手性催化剂在不对称催化的异原子Diels-Alder反应中的应用.总结了各种基于联二萘酚及其衍生物的用于异原子Diels-Alder反应的新的催化剂,以及能有效不对称催化该反应的新条件及新方法.