对流—扩散方程若干AGE格式及其稳定性

以求解对流－扩散方程的中心差分格式,显式逆风格式,Ｓａｍａｒｓｋｉｉ格式的修正Ｄｅｎｎｉｓ格式为基础,构造了若干新的交替分组显式格式,并证明它们是无条件稳定的,数值结果表明,除了基于中心差分格式的ＡＧＥ格式与ＡＤＥ格式外,其他的各种ＡＧＥ格式与相应的ＡＤＥ格式的精度相当。它们对高Ｒｅｙｎｏｌｄｓ数也是有效的。     

如何利用PowerPoint To Flash实现PPT格式到SWF格式的转换

阐述PPT格式与SWF格式的优势和不足,详细介绍如何使用格式转换软件PowerPoint To Flash将PPT格式转换为SWF格式,从而灵活使用两种格式,充分发挥其在多媒体教学中的作用.     

一种新的输入格式

采用消解法的定理证明程序,通常都是按子句格式输入。该格式虽然便于消解,但是它与普通逻辑公式或者日常语句差异皆较大,因此运用时相当不便。 为了兼备日常用语及子句格式的优点,本文提出一种新的输入格式——公式子句格式。简记为FC格式。该格式不仅接近于日常的判断语句,而且不难转换为子句格式,     

二阶隐-显迎风差分格式

本文采用显格式与隐格式交替使用的方法,针对一阶线性双曲方程提出了一种隐-显迎风差分格式.这种隐-显迎风差分格式综合了隐格式与显格式的优点,具有稳定性好、计算简便的特性.数值计算结果表明这种格式是实用的.     

以Winer过程为驱动的Ito-Volterra型随机微分方程的数值解

给出了Rung-kutta方法的迭代格式并讨论了其收敛性.在讨论Rung-kutta格式的收敛性时,先研究了Eu ler格式的收敛性,再通过对两种格式近似解之间的误差估计得到Rung-kutta格式的收敛性,避免了直接讨论Rung-kutta格式的收敛性。     

守恒格式与非守恒格式的比较研究

针对非线性发展方程的平方守恒格式和非平方守恒格式,以一维浅水波方程为例,对守恒格式与非守恒格式的计算稳定性进行了比较研究,揭示了守恒格式与非守恒格式的结构和初值形式与非线性计算稳定性的关系.     

浅析格式条款及其法律规制

文章从格式条款概念的辨析入手,明确了格式条款与格式合同之间的关系,并进一步探讨了格式条款的价值和局限,论述了我国格式条款法律规制的现状及其完善。     

Burgers方程的跳点紧致格式

Burgers方程是流体力学中非常重要方程.通过Hopf-Cole变换可以将Burgers方程转化为抛物型方程,把为Burgers方程构造一种高精度的、高效率的数值格式的问题变成了为抛物型方程构造一种新格式的问题.新格式以等价于Du Fort-Frankel格式的跳点格式为基础,引入高阶紧致格式的思路以提高跳点格式的收敛阶,称新格式为跳点紧致格式.此格式既保持了跳点格式计算效率高、占用内存少、无条件稳定的优点,又将空间方向收敛阶由2阶提高到了4阶.最后,数值算例验证了跳点紧致格式在空间方向收敛阶是4阶的.     

耦合Gross-Pitaevskii方程的高效保质量守恒格式

该文为耦合Gross-Pitaevskii方程提出了一个新的保质量守恒格式.首先对空间导数利用高阶紧致格式离散得到半离散格式;然后在时间方向上利用基于外推的Crank-Nicolson格式离散,得到一个半显式的数值格式,然而此格式不能保持GP方程固有的质量守恒,因此,对格式得到的数值解利用投影方法进行修正,使其满足离散质量守恒;最后通过数值实验验证了该格式具有高精度以及保持质量守恒.     

浅谈使用Raw图片格式的优势

RAW、JPEG是目前数码相机的两种存储格式,由于人们对RAW格式的特点认识模糊,使得许多人误认为只有摄影高手才能使用RAW,本文通过对两种格式的对比,说明RAW格式可以做为常规记录格式使用,并且具有JPEG格式所没有的优势。     

可区分秘密分享者角色的防欺诈秘密共享方案

将离散对数、EIGamal体制应用到秘密共享体制,并与随机分配协议相结合,提出了一种可区分秘密分享者角色的秘密共享方案,此种方案有实际的应用背景.对秘密共享体制中的防欺诈措施进行了研究,对该方案的欺诈等价于攻击离散对数,而离散对数是单向函数,因而可以认为本方案是安全的.     

浙南山区小流域WRF模式参数化方案对比与优化组合

准确的降水预报对好溪流域防洪减灾具有重要意义。本研究选取好溪流域典型降水场次,基于WRF（Weather Research and Forecasting）模式,开展云微物理过程参数化方案和积云对流参数化方案敏感性分析,优选适用于好溪流域的物理过程参数化组合方案,提高好溪流域降水预报精度。研究结果表明：云微物理过程和积云对流参数化过程的方案选择及组合对降水预报影响显著,然而没有某一种组合方案的模拟效果对于所有场次的降水都是最佳的;综合考虑所有的典型降水场次,当云微物理参数化方案选择Lin（Purdue Lin）方案、积云对流过程参数化方案选择KF（Kain-Fritsch）方案时,降水预报精度最高。     

The relationship between short-range motion of atmosphere and ocean and conservative and nonconservative scheme

Taking one-dimensional shallow water wave equation as an example, a comparative analysis on the computational stability related to the short-range motion of atmosphere and ocean is carried out for the conservative and nonconservative scheme, and it is pointed out that the computational stability of conservative scheme is absolutely different from that of the nonconservative scheme. The relationship between the short-range motion of atmosphere and ocean and the conservative and nonconservative scheme is further discussed. The constructed conservative scheme is proved to be stable by the numerical experiment for the short-range motion of atmosphere and ocean while the CTCS scheme is unstable. So that the conservative scheme for the solution of this kind of problem has more advantages.     

对流扩散方程不同格式的数值稳定性分析

利用数值计算方法对一维、线性、无源、两点边值问题的对流扩散方程在均分网格下不同格式的稳定性进行了分析，通过理论推导和实际计算，得出了上述条件下中心差分格式(CD)、QUICK格式和稳定性可控(SCSD)格式的P△cr数，并对稳定性可以保证的(SGSD)差分格式进行分析探讨，验证了数值稳定性是格式固有的属性。在此基础上，二维问题进行数值计算，以资为复杂的多维问题对流离散格式的稳定性分析提供依据。     

多重代理多重签名方案的分析与改进

基于离散对数问题,提出了一种改进的方案,克服了Li方案(2003年,李传目提出了一种多重代理多重签名方案)的安全漏洞.新方案不需要代理签名管理人,指定了签名验证人,生成签名和验证签名的效率较高.     

一个无线认证协议的分析与改进

分析了一个匿名移动无线认证方案中的CSAP协议,发现其存在安全漏洞,无法抵抗不诚实的基站对系统的攻击.针对这些安全漏洞对该协议进行了改进,改进后的协议不仅保留了原方案的所有安全特性,并且比原协议具有更高的安全性.     

一个动态群签名方案的安全缺陷

本文讨论了一个在CS97方案的基础上提出的动态群签名方案,该方案用CS97方案的知识签名的概念,群成员的加入与撤销效率较高,并且群签名的长度与签名和验证的计算量都不依赖于被删除成员的个数。但此方案存在一个危险的安全缺陷,本文对此缺陷进行了深入阐述,证明了被撤销的成员在被撤销后仍然可以伪造被撤销前的签名而不被发现。     

对一种基于口令和时间限制的用户身份认证协议的改进

电子商务的应用越来越广泛,高效且安全的电子商务协议研究是近期研究的热点。对Iuon-Chang Lin等提出的的基于口令和时间限制的用户身份认证的电子商务应用协议进行了分析。此协议的口令计算是基于模平方根难解问题的,但是此阶段的方案存在漏洞并且运算效率低。对此提出了基于Hash链的改进方案,并且对新方案进行了安全性分析,此方案解决了原文献方案的漏洞并且比原文献中的方案更加高效和安全。     

一种用户空间的VPN方案

提出了一种基于TLS协议的用户空间VPN方案,克服了IPSEC方案的复杂性,增加了VPN的可用性,并对其安全性进行了分析．在局域网和公网的实际测试结果表明,本文的VPN方案能满足拨号网络环境的低带宽要求,且加密方案的使用并未明显增加通信代价．     

一种基于身份的门限签名方案的密码分析与改进

目的对文献中的基于身份的签名方案进行密码分析。方法借助有限域上求解离散对数问题的困难性给出一个攻击。结论与结果给出一个改进方案,改进后的方案克服了原方案中的安全漏洞,同时保持原方案的其他安全特性。