灌排系统水转化模拟模型研究

受自然与人为因素综合影响,灌区水转化过程复杂多变。以湖北漳河水库灌区为例,分别从水平和垂直方向描述典型灌排系统的水转化过程,以水量平衡原理为基础,研发灌排系统边界处置、稻作区田间多层土壤、塘坝及排水沟道之间多个水转化模拟子模块,由此构建一种客观描述灌排系统边界半封闭结构及其水平输送、垂直运动与渠-田-沟-塘水转化过程的耦合模拟模型,解决了应用流域分布式水文模型求解灌区水转化过程中面临的灌区边界不确定、分层土壤简化处理等问题。利用漳河灌区谭店灌排系统2014-2015年水平衡测试观测数据对该模型进行检验,采用拉丁超立方抽样法对模型参数进行分层抽样,并利用偏相关法分析参数敏感性。通过模型计算可得,支沟率定期和验证期模拟结果的复相关系数分别为0.83、0.70,Ens系数分别为0.81、0.68,斗沟率定期和验证期模拟结果的复相关系数分别为0.79、0.68,Ens系数分别为0.73、0.62,结果表明该模型适用于灌排系统水转化过程模拟。与SWAT模型对比,对于同一研究区域,复相关系数由0.11提高到0.73,Ens系数由-0.71提高到0.70,进一步验证了该模型的先进性,为灌排系统尺度水转化模拟和机制研究提供了新方法。     

RSA-CRT密码防御算法的故障注入攻击

RSA 密码是在 TLS、SSL、IPSec 等网络安全协议中广泛使用的密码算法,其安全性至关重要。在FDTC 2014会议上,Rauzy和Guilley提出了改进的基于中国剩余定理的RSA密码实现算法,用于抵抗故障注入攻击。针对Rauzy和Guilley的两个RSA-CRT安全防御算法,提出了相应的故障注入攻击方法,在RSA密码运算过程中注入一个永久性错误,并利用错误的RSA运算结果,计算出RSA私钥。此攻击表明,Rauzy和Guilley的两个RSA安全实现算法不能抵抗故障注入攻击。     

家立方智能家居系统的初探

家立方智能家居系统是安装有智能家居控制系统的房间,通过远程、一键自动化控制技术、网络通信技术、传感技术等先进技术,构建高效、智能的家居管理系统,提高我们生活质量。     

程进均衡定理引理进化论发复变微积分

海峡上亚洲的雾霾天,岛屿,半岛,钓鱼岛,海基线,地理位置,气候人文环境,瓶颈问题,世界卫生组织呼吸道疾病级数的调整最高6级,发宇宙两门一网(根据足彩胜平负3,1,0的比赛结果规则,两队踢成平局彩果为1)呼吸道人类呼吸道高度发高度预防预测监控评级系统,又根据"达朗贝尔—欧拉条件"达尔文的进化论,演化论经济角度验证证明解决发复变微积分.     

模态逻辑中的(n)真度理论与和谐定理

首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(n)相似度理论,并由此在全体公式之集中建立了(n)伪距离.得出了(n)模态逻辑度量空间,该空间以经典逻辑度量空间为子空间,从而可将经典命题逻辑中的近似推理理论推广到模态逻辑之中.     

拟概率空间上学习理论的关键定理和学习过程一致收敛速度的界

进一步讨论了拟概率的一些性质,给出了拟概率空间上的拟随机变量及其分布函数、期望和方差的概念及若干性质;证明了拟概率空间上的Markov不等式、Chebyshev不等式和Khinchine大数定律;给出并证明了拟概率空间上学习理论的关键定理和学习过程一致收敛速度的界,把概率空间上的学习理论的关键定理和学习过程一致收敛速度的界推广到了拟概率空间,为系统地建立拟概率上的统计学习理论与构建支持向量机奠定了理论基础.     

Asymptotic stability analysis of nonlinear real-time networked control systems

The paper deals with the problem of the asymptotic stability for general continuous nonlinear networked control systems （NCSs）. Based on Lyapunov stability theorem combined with improved Razumikhin technique, the sufficient conditions of asymptotic stability for the system are derived. With the proposed method, the estimate of maximum allowable delay bound （MADB） for linear networked control system is also given. Compared to the other methods, the proposed method gives a much less conservative MADB and more general results. Numerical examples and some simulations are worked out to demonstrate the effectiveness and performance of the proposed method.     

Rate of convergence for the Legendre pseudospectral optimal control of feedback linearizable systems

Pseudospectral (PS) computational methods for nonlinear constrained optimal control have been applied to many industrial-strength problems, notably, the recent zero-propellant-maneuvering of the international space station performed by NASA. In this paper, we prove a theorem on the rate of convergence for the optimal cost computed using a Legendre PS method. In addition to the high-order convergence rate, two theorems are proved for the existence and convergence of the approximate solutions. Relative to existing work on PS optimal control as well as some other direct computational methods, the proofs do not use necessary conditions of optimal control. Furthermore, we do not make coercivity type of assumptions. As a result, the theory does not require the local uniqueness of optimal solutions. In addition, a restrictive assumption on the cluster points of discrete solutions made in existing convergence theorems is removed.     

工业用天然气出厂价上调约50％

工业用天然所(不包括化肥和供热用气在内)的出厂价已上调约50%,每立方米由0.8元上调到1.2元。国家发改委下发通知,将工业用(包括发电及运输)天然气的出厂基准价格上调了0.4元/立方米,11月10日起开始实行。