排序方式: 共有67条查询结果,搜索用时 0 毫秒
51.
对于多目标规划问题厂v一m in(fl(?),fZ(,),…,fp(,))x〔E。(vp)谧 仁g;(:)》o1,2,·一”1相应的(vKT)条件是夕乙 优入;fa二(x)一乙u 595二(x)=0厂!日!伙11!以(vKT)91(x)>0u.>0,u 59:(“)==0久;=1,入;》0=1,2,…,P 刁lp艺一一并有如下推广了的K“kn一TuC瓦沙定理。 定理1设f;(X)(艺=1,2,…,p),一g,(x)(j=1,2,…,,”)为具有一阶连续偏导数的凸函数。记入=(久1,认2二,冲)T,以下结论成立:(i)若x,u,入满足(vKT)条件,且 a.入〔八+,则刃〔R’,p,b.入〔八十‘,则一〔R·p.,c.入〔+八,又二唯一,则又 任R.,。 其中,八+=王(久1,入2,…,入p)1入:… 相似文献
52.
蒋昌俊 《重庆邮电大学学报(自然科学版)》2023,35(1):1-7
算力作为数字经济的核心生产力,已经成为全球战略竞争的新焦点。传统计算模式不足以满足网络环境下的业务对于自身敏捷构造需求和外部大数据应用需求。在对比分析了网格计算、云计算、边缘计算、多云与云际计算的优缺点后,提出了一种新型计算模式:方舱计算,并介绍了方舱计算系统的三大组成部分。在此基础上,进一步提出了基于方舱计算构建算网系统的设想。作为方舱计算的典型应用,介绍了当前网络交易风控遇到的难题,结合方舱计算模式,通过建立并发系统行为理论与流量计算方法,发明了业务流程网络横切并发的调度技术,提出网络交易风控的行为认证方法,设计并实现了系统高并发、高辨识、高时效的目标。 相似文献
53.
编译程序是系统软件的一个重要组成部分,它是供用户长期使用的系统程序,因此,编译程序的工作效率是非常重要的,在编译过程中对数组元素存贮地址与相应下标值之间的转换速度也会影响编译程序的效率。本文我们给出并行机上数组元素从存贮地址到下标值转换的一种快速并行算法。算法是 相似文献
54.
本文首先证明了一个奇圈同一个圈的张量乘积图能分解成两个边不重并的H——圈,接着又证明了r个奇圈和一个圈这r 1个圈张量积的H分解问题。 相似文献
55.
本文给出了拟希尔伯特阵和一般阵相乘的快速串行与并行算法。对于串行计算,时间复杂性是O((nlogn)~2),对于并行计算,在有n台处理机的条件下,其计算步数是O(nlog~2n),而效率是O(1)。 相似文献
56.
可修系统的Petri网模型及其分析 总被引:1,自引:2,他引:1
该文可靠性理论引进到Petir网中,建立可修系统的Petir网模型,并给出了系统模型的分析方法。通过对一生产系统的模拟,说明该工作的必要性。 相似文献
57.
58.
Petri网的组合操作及其在并发系统综合建模中的应用 总被引:1,自引:0,他引:1
首先给出Petri网的四种组合操作定义,研究了它们的行为语义,同时讨论了它们对于活性公平性有界性和回归性的保持条件,获得一组充要条件基于此给出一种面向行为语义的系统Petri网模型的综合设计方法,从而为复杂大系统设计提供一条分散建模,自底向上的有效途径 相似文献
59.
非确定并发系统设计的Petri网形式化方法 总被引:1,自引:0,他引:1
本文首先建立逻辑偏序结构概念,用于刻划非确定系统的功能结构;建立环境结构,用于描述实现系统功能所需的资源及其服务关系;以约束集表示系统应遵守的行为规范,三者合一形成了系统的需求规格说明。基于需求规格说明,分别给出逻辑偏序结构到功能网,功能网及其环境结构到系统结构网的转换算法。按照约束集的规范,结合以往的结果,对系统结构配置适当的初态,施加必要的协调控制装置,最终得到一个功能符合,性能良好,资源分配合理的系统Petri同模型。 相似文献
60.
基于P/T网结构的规则系统验证方法 总被引:1,自引:0,他引:1
规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现. 相似文献