陈艳
- 作品数：6 被引量：15H指数：2
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西青年科学基金国家自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 在C#中结合OpenGL的NURBS曲面建模的实现被引量：1
- 2006年
- NURBS方法因其表示法的同一性、形状控制灵活性,在曲面造型和重构中具有重要作用。目前,还没有在C#中开发OpenGL的标准和规范的方法。研究了在C#中利用平台调用结合OpenGL进行NURBS曲面快速建模的方法,获得了满意的结果,并在最后给出了实例。
- 周满元陈艳徐玉刚
- 关键词：NURBS曲面OPENGLC#语言
- 两种入侵检测系统D-S证据理论融合算法的比较被引量：1
- 2008年
- D-S证据理论可以支持概率推理、诊断、风险分析以及决策支持等,并在多传感器网络、医疗诊断等应用领域内得到了具体应用。该文比较了入侵检测中基于D-S证据理论的两种融合算法,通过DARPA1999评测数据集验证,得出各自的利弊,并提出了改进建议。
- 何英韩元杰陈艳程丽芳
- 关键词：D-S证据理论入侵检测系统
- 基于时态认知逻辑的Web服务模型检测被引量：1
- 2009年
- 传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范的验证,这是这3个模型检测工具所不具备的。
- 骆翔宇陈艳古天龙董荣胜
- 关键词：时态认知逻辑多智能体系统WEB服务
- Web服务的形式化验证被引量：4
- 2010年
- 将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。
- 骆翔宇陈艳
- 关键词：多智能体系统WEB服务
- 基于时态认知逻辑的Web服务模型检测
- 互联网的开放性使得Web服务是分布式的,在Web服务交互过程中,一些“不正常”的消息交互会影响Web服务的质量和健壮性,降低用户满意度,甚至破坏正常的服务过程,因此,验证Web服务的安全性和可靠性很有必要。模型检测技术由...
- 陈艳
- 关键词：时态认知逻辑WEB服务特征交互
- 文献传递
- 基于Web Service的Ajax客户端WebGIS研究被引量：8
- 2008年
- WebGIS是目前GIS领域的研究重点,本文通过对现有WebGIS开发模型的研究,结合Web Service技术,探讨了基于Web Service的Ajax客户端的WebGIS的关键技术,并具体实现WebGIS系统。
- 徐玉刚陈艳
- 关键词：WEBGISAJAXWEBSERVICE
