KUKN—TUCKER定理的推广

对于多目标规划问题厂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入:…     

算力网络与交易风控

算力作为数字经济的核心生产力,已经成为全球战略竞争的新焦点。传统计算模式不足以满足网络环境下的业务对于自身敏捷构造需求和外部大数据应用需求。在对比分析了网格计算、云计算、边缘计算、多云与云际计算的优缺点后,提出了一种新型计算模式:方舱计算,并介绍了方舱计算系统的三大组成部分。在此基础上,进一步提出了基于方舱计算构建算网系统的设想。作为方舱计算的典型应用,介绍了当前网络交易风控遇到的难题,结合方舱计算模式,通过建立并发系统行为理论与流量计算方法,发明了业务流程网络横切并发的调度技术,提出网络交易风控的行为认证方法,设计并实现了系统高并发、高辨识、高时效的目标。     

合成网的进程语义

着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

拟希尔伯特阵和一般阵相乘的快速串行与并行计算

本文给出了拟希尔伯特阵和一般阵相乘的快速串行与并行算法。对于串行计算,时间复杂性是O((nlogn)~2),对于并行计算,在有n台处理机的条件下,其计算步数是O(nlog~2n),而效率是O(1)。     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

多项式求值及自然数幂和计算的两个增广Petri网模型

本文同时给出多项式求值及自然数幂和计算的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求输出值的算法。     

图的最小控制集的一个算法

本文引进了关于图的控制向量概念,以向量和矩阵为工具,把一个图的最小控制集问题转化为一个0—1规划问题,从而给出了寻找图的控制数的一个算法和算例。     

网格体系的Petri网模拟与分析

应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.     

Petri网的组合操作及其在并发系统综合建模中的应用

首先给出Ｐｅｔｒｉ网的四种组合操作定义，研究了它们的行为语义，同时讨论了它们对于活性公平性有界性和回归性的保持条件，获得一组充要条件基于此给出一种面向行为语义的系统Ｐｅｔｒｉ网模型的综合设计方法，从而为复杂大系统设计提供一条分散建模，自底向上的有效途径