排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
2.
在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作--共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的. 相似文献
3.
§1.引言 小波分析是一种时间-频率域分析方法,介于纯时间域的方波分析和纯频率域的傅里叶分析之间,同时具有时间域和频率域的良好局部化性质.不同频率成份在时域上的取样步长具有调节性,高频者小,低频者大.对于不同尺度成份采用相应粗细的时(空)域取样步长,能够不断地聚焦到对象的任意微小细节.本文,利用小波变换的性质,在提高地震资料的信噪比和分辨率方面进行数值实验,取得了良好效果.有关小波变换的定义、多尺度分析、Mallat 相似文献
4.
针对大型火电厂生产过程的大滞后、大惯性、强非线性以及动态特性随工况变化的不确定性等特点,对过热汽温和单元机组的协调控制系统提出了新的自抗扰控制方案.并在电厂过程仿真平台STAR-90上进行了仿真试验,试验结果表明,新的控制方案对控制品质有较大的改进. 相似文献
5.
配电网络系统潮流计算的一种并行算法 总被引:1,自引:0,他引:1
In this paper, aiming to the problems, such as slow convergence, long computing time in the tidal current computation of present medium or large -scale distributed power system, one parallel algorithm based on MPI programming model and the character of distributed power system is given. Then the performance analysis is described. And the algorithm has been programmed in MPICH language. At last, the validity of the algorithm is verified by a middle-scale sample computation on 8 CPUs in a small cluster with 128 CPUs. 相似文献
6.
3D偏移常用交替方向隐格式来实现,即将3D平方根算子沿相互垂直的2人方向分裂,这会导致明显的方位各向异性误差(分裂误差),将算子沿多方向分裂是消除这种误差的有效手段。根据螺旋变换的思想,采用4方向分裂法,用频率域差分法和混合法进行了三维叠后深度偏移,其优点是避免了不同方向求解时由于非矩形区域而带来的编程复杂性,明显消除了分裂误差,数值算例验证了该方法的正确性,且该方法具有较好的一般性和适用性。 相似文献
7.
8.
9.
多维数据实视图的动态选择 总被引:19,自引:2,他引:19
提出了多维数据中实视图的动态选择方案.其基本思想是由系统跟踪查询的分布情况,并据此动态地调整实视图集合.具体实现了该方案,并证明了在一定条件下,单次选择算法的效果与最优效果的差具有一定的上限.实验结果表明,动态方案的效果优于已有的其他选择方案. 相似文献
10.
指定验证方的门限验证签名方案及安全性证明 总被引:1,自引:0,他引:1
Laih提出了指定验证方的签名方案设计问题,并给出一种解决方案.首先分析指出该方案存在严重安全缺陷,然后提出了签名方案SV-EDL,解决了如上密码学问题.同时,把可证明安全理论引入这类方案的分析设计,并在RO(random oracle)模型中证明:SV-EDL的抗伪造安全性和计算Diffie-Hellman(computationalDiffie-Hellman,简称CDH)问题紧密关联,亦即伪造SV-EDL签名几乎和解决CDH问题一样困难;除指定方以外,任何人验证签名的能力都与决策Diffie-Hellman(decisionalDiffie-Hellman,简称DDH)问题密切相关.由于CDH问题和DDH问题的困难性与离散对数(discretelogarithm,简称DL)问题紧密相关已成为广泛共识,因此与当前同类方案比较,该签名方案提供了更好的安全性保证.此外,上述签名方案还以非常简明、直接的方式满足不可否认要求.最后提出并构造了验证服务器系统的门限验证协议,并在标准模型中给出了安全性证明.该方案不要求可信中心的存在. 相似文献