共查询到10条相似文献，搜索用时 328 毫秒
1.
基于一个新的核函数,为一类水平线性互补问题设计了一个新的算法,通过一定的分析技巧,给出了该算法的良好多项式复杂性。 相似文献
2.
袁桂霞 《长春教育学院学报》2012,28(8):52-53
混合蚁群算法在原有蚁群算法的基础上采用了新的信息素更新规则,把算法的效率和可用性提高了一个层次,通过实验验证混合蚁群算法对解决车间作业调度问题具有很好的性能。 相似文献
3.
为制订新的密码Hash算法标准SHA-3,NIST面向全世界发起了征集活动,目前对51个第一轮候选算法的分析评估工作已经在世界范围内火热展开.这些算法是Hash函数领域最新设计思想的集体展示,也会和AES一样成为密码学发展的一个里程碑.为了让更多的中国读者了解这些新的Hash算法并参与评估,简要介绍了目前安全的候选算法,并对51个候选算法的结构进行分类,对安全性和性能设计进行归纳总结和概要评估. 相似文献
4.
基于可信性理论和两阶段模糊优化方法,提出一类新的模糊生产计划模型.同时设计一个基于模糊模拟和遗传算法的启发式算法来求解模糊生产计划问題,并且给出一个数值例子来证明所提出算法的可行性. 相似文献
5.
张利霞 《济宁师范专科学校学报》2007,28(6):5-6
弱正则性是用Gauss-Newton迭代算法求解广义互补问题超线性收敛的一个充分而必要的条件.本文把广义互补问题等价地转化为一个混合互补形式的广义互补问题,基于混合互补问题的相关性质,给出了广义互补问题弱正则性成立的一个新的充分条件. 相似文献
6.
《江西蓝天学院学报》2014,(3):53-57
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。 相似文献
7.
介绍了一个计算机硬件虚拟实验平台。该平台采用面向对象的建模方式建立虚拟元件模型。系统提出并使用了一种新的信号扩散算法有效解决虚拟信号在虚拟元器件间传递的问题。 相似文献
8.
《烟台职业学院学报》2017,(4):87-92
提出一种新的基于边折叠的模型简化算法。此类算法中,简化序列的选择是一个复杂的优化问题。以往的简化算法通常基于贪心策略,需要为所有的可折叠边建立一个优先级队列,并随着边折叠进行不停的调整该队列,运算耗时,且内存开销大。基于边折叠的模型简化算法采用基于多选择技术的概率优化策略,只在随机选择的若干个边中计算最优目标。在计算边折叠代价时,基于边折叠的模型简化算法主要考虑折叠前后相关三角形法向量方向发生的改变。实验表明基于边折叠的模型简化算法能够快速产生高质量的简化模型。 相似文献
9.
针对密码模块API的形式化验证,提出一种基于项重写形式化模型的检测算法. 该算法利用符号化及广度优先搜索方法,使用项重写规则对敌手的初始知识集不断进行匹配和扩展,直到找到攻击路径或者搜索完状态空间. 以密码模块API标准PKCS#11为例具体实现了该检测算法,通过5个实验完成了对PKCS#11对称密钥管理部分API的形式化验证. 实验结果表明,该方法能有效检测针对PKCS#11的攻击,并找到一个新的攻击序列. 相似文献
10.
通过对一类离散系统的迭代学习控制问题的讨论提出了一种新的迭代学习控制算法,证明了新算法的收敛性。该算法与目前的算法具有完全不同的形式,可通过调节参数提高算法的收敛速度。 相似文献