蓝乾艺
- 作品数：6 被引量：6H指数：2
- 供职机构：广西大学计算机与电子信息学院更多>>
- 发文基金：广西省自然科学基金广西教育厅科研项目广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 语义网格在技术渗透和融合中发展
- 从web技术发展和网格技术演化融合的角度出发,介绍语义网格的产生根源、发展历程、体系结构和主要技术,详细分析web服务、语义web、语义web服务对网格发展的渗透及它们之间的关系,并展望普适计算与语义网格在未来的融合发展...
- 蓝乾艺覃海生
- 关键词：语义网格语义WEB语义WEB服务普适计算
- 文献传递
- 基于约束程序的Petri网可达问题的研究
- Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具，Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定Petri网可达性的基本方法有可达树、可达图、状态方程和不变量分析等，由于合爆炸问题...
- 蓝乾艺
- 关键词：PETRI网
- 文献传递
- 基于约束程序的变迁约束可达问题判定研究被引量：3
- 2007年
- 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.
- 覃海生蓝乾艺杨夏妮
- 关键词：PETRI网
- 基于P-范式模型的P2P网络分组查询算法被引量：3
- 2007年
- P2P系统的可用性取决于查找数据的有效方法。利用节点兴趣和节点与中心节点的通信延迟建立链接,动态分组P2P网络的节点,查询节点通过中心节点转发搜索请求给其他中心节点,中心节点收到搜索请求后,若查找资源的主题排在本组关注的前K(K一般取1～3)位,则搜索本组内所有节点。在此基础上,提出了一种基于P-范式模型的P2P网络分组查询算法。算法分析和实验结果表明该算法的性能优于MSW查询算法。
- 张晓玲钟诚李智蓝乾艺
- 语义网格在技术渗透和融合中发展
- 2006年
- 从w eb技术发展和网格技术演化融合的角度出发,介绍语义网格的产生根源、发展历程、体系结构和主要技术,详细分析w eb服务、语义w eb、语义w eb服务对网格发展的渗透及它们之间的关系,并展望普适计算与语义网格在未来的融合发展。
- 蓝乾艺覃海生
- 关键词：语义网格语义WEB语义WEB服务普适计算
- 支持移动多媒体通信中间件的存储转发引擎的设计
- 2006年
- 存储转发引擎是支持移动多媒体通信中间件的数据传输系统的运转中枢。本文详细讨论了存储转发引擎的设计模式和策略选择，提出了一个基于Windows2000／NT操作系统的设计模型。引擎设计采用线程池与完成端口重叠I/O相结合，选择结构化的消息队列和基于优先权的队列调度机制，由管理线程池、接收线程池、分析线程池和发送线程池组成，其中详细介绍了接收线程池、发送线程池和分析线程池的工作流程。
- 陈语中覃团发陈羲钦蓝乾艺
- 关键词：线程池消息队列队列调度机制
