搜索到1418篇“ 并发系统“的相关文章
基于UML-NuSMV的并发系统建模与验证
2024年
为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换算法,实现从UML模型到NuSMV模型的自动转换;最后,使用计算树逻辑对系统的属性进行描述,并通过NuSMV完成对系统的形式化验证.以一个双按键并发电梯系统为例,说明了基于UML-NuSMV的并发系统建模与验证过程.
马占有郭昊李召恺李健祥
关键词:统一建模语言并发系统
并发系统响应时间的提取方法
本发明公开了一种并发系统响应时间的提取方法,包括根据系统的工作机制和性能评估进程代数对并发系统进行建模,从建好的性能评估进程代数模型中提取出动作矩阵;根据响应的起始动作和终止动作,从动作矩阵中提取出所有能够完成该响应的动...
丁杰孙建程诸峰
并发系统的进程代数模型自动生成方法
本发明公开了一种并发系统的进程代数模型自动生成方法,包括获取并发系统的关联矩阵,分别以S<Sub>1</Sub>,S<Sub>2</Sub>,...,S<Sub>n</Sub>和t<Sub>1</Sub>,t<Sub>2...
诸峰吴开林丁杰
用于在并发系统中执行取加(FAA)操作的方法
本发明提供了一种用于在并发系统中执行取加(fetch‑and‑add,FAA)操作的方法。所述方法包括在主节点(200)处从客户端接收FAA请求。所述方法包括锁定与在所述主节点处接收到的所述FAA请求相对应的内存地址。所...
欧麦·卡斯皮阿米特·格兰德伊加尔·科曼萨吉·马诺勒
基于麻雀搜索算法优化的大容量高并发系统负载均衡方法
本发明属于网络优化技术领域,具体涉及基于麻雀搜索算法优化的大容量高并发系统负载均衡方法,步骤包括:对于包含应用层、控制层和数据层的软件定义网络SDN,构建麻雀搜索算法;在SDN网络中,结合麻雀搜索算法,划分探索者和追随者...
李少波周鹏王堃陈光林李显超蒲睿强杨灵运张昌福张安思
一种处理商品预订的高并发系统及方法
本发明提供了一种处理商品预订的高并发系统及方法,包括以下步骤:S1、搭建Nginx服务器;S2、启动Redis服务器;S3、限制同一用户并发请求进行多个产品预订;S4、当业务请求通过步骤s3的过滤后,对Redis服务器上...
王鹏凯刘云峰
一种基于混合模式的高并发系统
本发明公开了一种基于混合模式的高并发系统,包括:客户端,融合表示层与业务处理层的功能,采用异步方式调用服务端的本地web服务,由客户端完成与服务端交互的运算和业务处理,实现基于C/S的分散式计算,承担客户端高并发下服务端...
李勇卢炜邓烨鑫
基于微内核的高并发系统服务框架设计与应用
随着嵌入式技术的不断发展,嵌入式应用已经和人们的日常生活息息相关。无论是智能手机、智能家居还是工业控制,各个领域几乎都结合了相关的技术。而微内核由于其架构特性,具有代码精简、可扩展性、可裁剪性、高安全性等优势,与嵌入式设...
汪澜涛
关键词:微内核任务通信操作系统
一种高并发系统的前端限流方法
本发明涉及网络技术领域,特别涉及一种高并发系统的前端限流方法,包括如下步骤:S1、根据初始化全局限流配置信息,构建限流配置哈希表;S2、织入限流算法,即拦截业务请求,将限流算法拼接到接口请求逻辑中,保证限流算法与业务请求...
李丽勤赵冬媛单强尹政清李思岩王文超赵野马征
一种高并发系统的前端限流方法
本发明涉及网络技术领域,特别涉及一种高并发系统的前端限流方法,包括如下步骤:S1、根据初始化全局限流配置信息,构建限流配置哈希表;S2、织入限流算法,即拦截业务请求,将限流算法拼接到接口请求逻辑中,保证限流算法与业务请求...
李丽勤赵冬媛单强尹政清李思岩王文超赵野马征

相关作者

赵岭忠
作品数:120被引量:135H指数:6
供职机构:桂林电子科技大学
研究主题:并发系统 网络 CSP 多智能体 基于ASP
钱俊彦
作品数:148被引量:236H指数:6
供职机构:桂林电子科技大学
研究主题:网络 并发系统 STATECHARTS 等价 CSP
蒋昌俊
作品数:557被引量:1,267H指数:20
供职机构:同济大学
研究主题:PETRI网 用户 交易 终端 欺诈
古天龙
作品数:485被引量:1,421H指数:17
供职机构:桂林电子科技大学
研究主题:OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
段振华
作品数:213被引量:237H指数:8
供职机构:西安电子科技大学
研究主题:时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句