Verhulst型人口模型弱解的存在性、唯一性和渐近性

讨论了在一定的假设条件下,Verhulst型人口模型弱解的存在性、唯一性和渐近性.利用Schauder不动点定理,Gronwall引理得到了Verhulst型人口模型弱解的存在性和唯一性,通过构造一个熵函数,推导出了此函数满足的一个微分方程,求解微分方程得到了解的渐近性.主要结论是在一定的假设条件下,Verhulst型人口模型存在唯一的弱解,且当t→∞时弱解趋于稳定.     

r∪i=1(Pmi×Pni)的cordial性

基于图的cordial标号,给出了3个引理:cordial图G联结上一个P2×Pn图得到的新图仍是cordial图;每个图P2k 1×P2l都有2个cordial标号;至少有1个图边数为偶数或者边数都为奇数但0边之和等于1边之和的2个cordial图的并为cordial图.最后运用这3个引理证明了r∪i=1(Pmi×Pni)为cordial图.     

一类椭圆方程组解的存在性

利用山路引理,获得了一类椭圆方程组非平凡解的存在性,推广了一些已有结果．     

新型SMITH算法在再热汽温控制系统中应用研究

ABB Bailey公司的SMI TH预估控制算法不仅具有传统SMI TH预估控制器克服大滞后、大惯性的特性外,把此算法运用到火电厂再热汽温控制系统中,还具有较强的抗内、外干扰和对象变化适应能力。仿真结果验证了其有效性。     

Hensel引理的若干表述及应用

给出了Hensel引理的四种不同的表述,分析了他们之间的联系,最后给出了Hensel引理的几个应用。     

一个高效率的双指数多重签名方案

本文提出了一个高效率的双指数多重签名DEMSP(Double Exponential Pairing-Based Multi-Signature)方案,在DEMSP方案中,每个签名者进行BLS(Boneh-Lynn-Shacham)签名,在聚合公钥的计算上,DEMSP方案比MSP(Pairing-Based Multi-Signature with Public-Key Aggregation)方案高效数倍,倍数与签名者人数呈正相关.MSP方案实现了签名聚合与密钥聚合,使得验证者验证一个消息是由n个签名者签名时,只需一个签名与一个公钥,并且MSP方案可以在普通公钥模型下抵抗流氓密钥攻击,然而MSP方案中,每个签名者在签名时都需要获得其他签名者的公钥,这增加了通信开销,在验证阶段,验证者计算聚合公钥时需要进行额外的指数计算.DEMSP方案通过引入可追责第三方实现高签名效率与高验证效率,并利用分叉引理将DEMSP方案规约到co-CDH问题.DEMSP方案应用于在线支付,使得交易合法,商家与用户的纠纷得以有效处理,并且DEMSP方案被扩展至多权威机构的多重签名方案.同时DEMSP方案应用于A...     

基于量子逻辑的自动机和文法理论

初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和Turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础.     

特殊半鞅的强大数定律

利用特殊半鞅的收敛定理和一般形式的Kronecker引理，给出了特殊半鞅和非负特殊半鞅强大数定律的一般形式，推广和完善了已有的结果。     

基于混杂系统方法的一类采样数据系统鲁棒故障检测

针对具有连续时间过程噪声和离散时间测量噪声的采样数据系统, 提出了一种新的鲁棒故障检测直接设计方法. 首先利用具有有限跳变的线性系统作为残差产生器, 采样数据系统的鲁棒故障检测设计问题被描述成采样数据滤波问题, 然后给出有限跳变线性系统有界实引理的线性矩阵不等式(LMI)表达形式, 基于此, 推导出采样数据系统鲁棒故障检测滤波器的存在条件及设计参数, 并将所提方法推广到具有结构不确定性的采样数据系统上. 所设计的滤波器能够保证残差与故障之间误差最小, 并对过程噪声、测量噪声、结构不确定性等因素鲁棒. 最后, 通过数值仿真对所提方法的可行性进行了验证.