排序方式: 共有148条查询结果,搜索用时 15 毫秒
61.
62.
63.
∑协议,又称为诚实验证者的特殊零知识证明,是一种非常强大的密码工具,被广泛应用于协议的设计。基于∑协议的OR合成是非常有趣和有效的技巧,特别是应用于构造那些具备不可区分性性质的实例时。理论上讲,不论其基本的∑协议是怎样的我们都能构造有效的OR合成。现有的基于∑协议的OR合成都是对称的,也就是说,协议中的两方都具有相同的形式。是否能实际地构造非对称的(我们称之为混合的)OR合成?论文描述了这个问题,并给出肯定的答案。同时,构造出一个具体实例子,并给出一些关于参数选取的注记。 相似文献
64.
65.
同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。 相似文献
66.
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向, 但是该算法具有一定的局限性, 在状态较多时学习速度较慢, 很难应用到复杂的系统中.由此, 我们提出了一种改进的学习算法, 使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构, 有效地减少了成员查询次数, 降低了算法的空间复杂度, 并能够高效率地构建假设自动机.最后我们进行了相关实验, 实验结果表明, 本文提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中, 改进算法的学习速度最高可提高45倍以上. 相似文献
67.
68.
针对电梯群控系统(EGCS)的分析与设计问题,全面考虑多种交通信息,提出了用模糊推理来实现电梯交通模式的判定,通过对电梯的运行评价标准赋予不同的权值来调整调度算法,最终实现对电梯的分配。同时利用Coda&Yourdon的面向对象分析和设计技术,开发了电梯控制系统的演示软件,运行结果表明此策略的优越合理性。 相似文献
69.
70.
郭霄宇于浩郑新刘雨佳左元杰张苗苗 《储能科学与技术》2023,(4):1158-1167
液流电池具有长时储能成本低、系统安全性高等特点,适用于大规模长时储能的应用场景,通过对液流电池系统进行合理的规划配置,可以平抑新能源发电系统的间歇性和波动性,对于保障电网安全稳定运行具有重要意义。目前缺乏基于液流电池技术特性和运行特性展开的新能源系统与液流电池优化配置方法研究,随着我国能源快速转型,充分发挥液流电池技术及运行特点,优化配置新能源系统中液流电池容量,对建立新型电力系统有着积极作用。本工作以光伏与液流电池联合发电的局域网为研究对象,提出了适用于光伏系统的液流电池储能优化配置方法,通过对液流电池系统中各个模块系统的运行特性、系统初投资和全寿期运维成本进行了深入地研究分析,基于液流电池系统具有功率与容量模块相分离的特点,对大规模液流电池系统的功率和容量配比进行了优化设计。综合液流电池系统模块优化设计的结果,对光伏与液流电池联合发电的局域网系统进行运行策略优化,在保证局域网供电稳定运行的同时,以液流电池系统初投资与全寿期运行成本之和最小为目标函数,求解得到优化液流电池优化配置方案。算例应用表明,大规模液流电池系统功率和容量配置为1 MW/8 MWh时为经济性最优的兆瓦级液流电池模块设计,25年运行期LCOE为0.292元/kWh;在本工作应用的局域网中储能优化配置的目标函数在储能配置为20 MW/160 MWh方案达到最优解。 相似文献