论文部分内容阅读
基于Event-B图的图形化建模方法研究
【机 构】
：
西南交通大学
【出 处】
：
西南交通大学
【发表日期】
：
2018年期
其他文献
我们研究的趋化性(Chemotaxis)生物模型为：{ut=△u-▽(f(u)▽x(v))+F(u,v),(x,t)∈Ω×(0,T),vt=△v+G(u,v),(x2t)∈Ω×(0,T),u|t=0=u0,v|t=0=v0,x∈Ω,()u/()n=0,()v/()n=0(
本文由两部分组成。第一部分涉及正则地图的分类问题。曲面上的(拓扑)地图是一个闭曲面的胞腔分解，0-胞腔称做顶点，1-胞腔称做边，2-胞腔称做面，顶点和边形成地图的基图。如果曲面
离散空间上的搜索理论是搜索论中的一个新的热点研究领域.这一理论的本质是基于可靠或未必可靠的信息建立可靠的结果，因此它在众多的自然科学和社会科学领域有着广泛的应用.本
量子密钥分发过程分为初始化、信息协调、保密增强三个阶段。在协调前,合法的通信双方Alice和Bob已经获得了等长但并不完全相同的原始密钥,然后双方在公开信道上交换信息进行
地震解释在油气的勘探、开发过程中起着非常重要的作用,其内容涉及面文泛,主要包括地震资料的构造解释,地震岩性解释,储层性能解释等多个方面,在石油工作越来越难,油气勘探开