并发系统

作品数:83被引量:184H指数:7
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:赵岭忠钱俊彦蒋昌俊古天龙段振华更多>>
相关机构:桂林电子科技大学西安电子科技大学清华大学西北大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中国航空科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于PolarDB的分布式高并发系统架构设计
《软件》2024年第8期123-125,共3页李旭方 
文章基于PolarDB对分布式高并发系统的架构设计进行了探讨,对分布式高并发系统的性能、可用性和一致性需求进行了介绍,对PolarDB的架构及其特点和优势进行了分析,提出了包括数据分片和分发策略、负载均衡和高可用性以及交易处理和一致...
关键词:PolarDB 分布式系统 高并发 架构设计 
基于UML-NuSMV的并发系统建模与验证
《华中科技大学学报(自然科学版)》2024年第2期90-95,共6页马占有 郭昊 李召恺 李健祥 
国家自然科学基金资助项目(61962001);宁夏自然科学基金资助项目(2021AAC03004).
为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换...
关键词:模型检测 统一建模语言 模型转换 并发系统 符号模型检测器 
高并发系统性能优化及其在电子资料平台中的应用
《河南教育学院学报(自然科学版)》2023年第4期41-46,共6页张淼鑫 任新会 党兰学 侯彦娥 
河南大学教学改革研究项目(HDXJJG2021-117,HDXJJG2021-119)。
高并发性能成为各种在线应用生存和竞争的关键因素。每个访问都需要涉及数据库高并发读取与写入,这会导致数据库性能下降,响应时间延长。为解决该问题,提出了一种高性能系统架构的设计方案。该架构采用多级缓存、热点探测、分布式锁、...
关键词:高并发 分布式锁 性能优化 优化策略 多级缓存 查询 
一种Web高并发系统的研究与实现被引量:6
《智能物联技术》2021年第5期47-50,54,共5页黄素萍 刘敏娜 朱亚兵 田知佩 
陕西省教育科学“十三五”规划项目(SGH16H189);咸阳师范学院专项科研基金项目(XSYK18009);咸阳师范学院教学改革研究项目(2019Y015)。
大型分布式系统采用的高并发解决方案不适用部署在单服务器上的中小型Web应用,而通过集群等方式处理高并发流量的方案成本过高。本文针对单服务器的网络应用提出了一种适用的流量控制方案,即结合缓存、消息队列、不可重入锁的网络流量...
关键词:高并发 WEB应用系统 消息队列 
扩展颜色逻辑Petri网及其可达性分析被引量:7
《山东科技大学学报(自然科学版)》2020年第3期84-98,共15页王振 杜玉越 亓亮 
国家自然科学基金项目(61903229,61973180)。
逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型...
关键词:并发系统 逻辑Petri网 颜色逻辑Petri网 可达性分析 电子商务系统 
葡萄酒色痣并发系统畸形1例
《临床皮肤科杂志》2020年第2期104-105,共2页冯霞 何鸿义 叶欣 方静 田金兰 黎昌强 
1病历摘要患者女,31岁。因妊娠37周,左上腹疼痛1个月余,于2018年1月18日至我院产科就诊,入院后因左侧腰、腹部及双下肢红斑、丘疹及结节30余年,请我科会诊协助诊治。既往史:出生时双下肢即有粉红色斑片,面积逐渐变大,无骨盆及双下肢畸形...
关键词:血管畸形 先天性  血管瘤 骨盆畸形 肢体畸形 
电商秒杀系统的架构分析
《中国科技纵横》2019年第19期28-29,共2页刘权康 
秒杀在各大电商系统中是一种常见的营销策略。本文按照自上而下的结构化开发思想,着重考虑系统的可靠性和可扩展性,针对秒杀系统的系统架构、功能模块、数据流及业务流进行了分析论述。
关键词:秒杀 高并发系统 架构 
高并发系统解决方案与分布式技术选型探讨被引量:2
《价值工程》2019年第17期251-253,共3页陈代旺 
高并发在实际生活中随处可见,然而解决方法却是一个难点,但这个问题又不得不去优化甚至解决。本文主要围绕“高并发的产生以及解决高并发的一些思路”展开叙述。其中包括在解决高并发问题中系统所采用的一些常用解决方案、同类技术的选...
关键词:高并发 分布式 SPRING CLOUD OAth2.0 
危重患儿并发系统性炎症反应综合征调控机制的研究进展被引量:1
《中国医师进修杂志》2017年第4期382-384,共3页赵炜 吴晓平 吕秀敏 徐书珍 
系统性炎症反应综合征是危重患儿的一种病理生理状态,发病机制涉及免疫功能紊乱、基因调控及肠黏膜屏障功能障碍等多个环节.通过研究系统性炎症反应综合征的调控机制,可以对系统性炎症反应综合征做出早期诊断.根据机体炎症反应状态,针...
关键词:系统性炎症反应综合征 危重病 发病机制 综述 
关于并发系统分支互模拟关系发散性保持的研究
《计算机系统应用》2016年第12期215-220,共6页廖文琪 柳欣欣 
国家自然科学基金(NSFC-91418204)
带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系??b.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为...
关键词:分支互模拟等价关系 发散性 发散性保持 co-induction定义 染色迹 
检索报告 对象比较 聚类工具 使用帮助 返回顶部