您的位置： 专家智库 > >

陈佳丽

作品数：8 被引量：26H指数：2
供职机构：新疆大学信息科学与工程学院更多>>
发文基金：国家自然科学基金福建省自然科学基金新疆维吾尔自治区高校科研计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 6篇期刊文章
  • 2篇学位论文

领域

  • 7篇自动化与计算...
  • 1篇理学

主题

  • 2篇软件体系结构
  • 2篇体系结构
  • 2篇面向方面软件
  • 2篇面向方面软件...
  • 2篇WEB服务
  • 1篇地矿
  • 1篇序列图
  • 1篇异构体
  • 1篇异质富勒烯
  • 1篇用户
  • 1篇用户偏好
  • 1篇有限自动机
  • 1篇软件工程
  • 1篇软件水印
  • 1篇实践课
  • 1篇实践课程
  • 1篇实践课程教学
  • 1篇水印
  • 1篇水印技术
  • 1篇确定有限自动...

机构

  • 8篇新疆大学
  • 4篇武汉大学
  • 1篇福建师范大学
  • 1篇清华大学

作者

  • 8篇陈佳丽
  • 6篇张琳琳
  • 6篇张亚红
  • 6篇赵楷
  • 4篇冯在文
  • 1篇石刚
  • 1篇张振宇
  • 1篇倪友聪

传媒

  • 2篇计算机应用与...
  • 2篇计算机科学
  • 1篇计算机应用研...
  • 1篇现代计算机（...

年份

  • 1篇2014
  • 5篇2013
  • 1篇2012
  • 1篇2008
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
基于UML2.0序列图的Web服务运行时验证方法被引量：3
2013年
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约。然后,提出利用确定有限自动机构造出扩展序列图(Extended Sequence Diagrams,ESD)的语义模型的方法。最后,给出验证准则,根据Web服务的交互消息和规约建模的结果来验证Web服务运行时行为与需求规约之间的一致性。基于上述研究,设计开发了Web服务运行时验证工具(Runtime Verification Tool for Web Services,RVT4WS),以支持对Web服务运行时行为的验证。
张亚红张琳琳赵楷陈佳丽冯在文
关键词：确定有限自动机WEB服务
动态软件水印的研究与实现
2013年
软件水印作为一种新颖的版权保护技术,被誉为"数字产品内容保护的最后一道防线"。在实现了一个维、汉双语记事本软件的基础上,运用动态软件水印保护技术及其实现原理,对该软件实施版权保护。此外,在水印的嵌入过程中还引入一些软件保护策略,大大降低了软件盗版的风险。
陈佳丽张琳琳萨伍尔江.阿西木张亚红赵楷
关键词：版权保护软件水印
基于CDIO的《软件工程》实践课程教学改革与探索被引量：17
2012年
《软件工程》课程是计算机类相关专业高年级阶段的核心课程,强调对学生软件开发能力以及工程实践能力的综合训练和系统提升。针对新疆大学《软件工程》课程设置和实施的现实情况,基于CDIO工程教育理念,构建了"三段式"阶梯型、层次化的软件工程实践教学内容体系,形成多种教学方法为手段、工程实践能力培养为核心、多维度教学质量监控与评价体系为保障的实践教学改革思路,逐步形成以"学生"为中心的工程实践教学模式,力求提高《软件工程》整体教学水平和学生学习质量。
赵楷张琳琳张振宇张亚红陈佳丽
关键词：软件工程实践课程教学方法
基于场景的面向方面软件体系结构度量方法被引量：2
2013年
软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题。针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法。通过一组度量指标对体系结构进行度量并量化其结构特征;引入场景更细粒度地刻画体系结构的质量属性,考察场景在体系结构中的映射程度。最后对某保险案例的体系结构设计方案进行对比与选择,验证了方法的可行性及实用价值。两种技术的结合为更全面地进行面向方面软件体系结构的评估提供支持与参考。
陈佳丽张琳琳张亚红赵楷冯在文倪友聪
关键词：软件体系结构
工作流技术在地矿设备管理系统中的应用及实现被引量：2
2013年
提高现代企业设备管理的信息化水平,使设备资产的综合效益达到最佳的程度,对于促进企业技术进步、提高经济效益和市场竞争力具有非常重要的意义。针对新疆地质矿产勘查开发局某地质大队设备种类繁杂、管理无序化和自动化程度低的问题,采用工作流技术和业务流程管理思想设计并开发地矿设备管理系统,研究工作流技术在地矿设备管理中的应用。系统实现了以人工为主的传统设备管理业务流程设计模式向可视化建模设计模式的转变,基于XML技术整合了设备管理业务流程的可视化建模、发布、流程模型的解析、运行和持久化。系统上线使用情况表明,企业设备的技术管理水平和设备应用的效能得到了显著提高。
张亚红张琳琳石刚赵楷陈佳丽冯在文
关键词：工作流XML
一种基于运行时验证的Web服务选择方法被引量：2
2014年
为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法。首先基于自动机原理,对Web服务进行运行时验证。其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化Web服务运行时行为与用户需求之间的匹配程度,并使用AHP理论计算用户偏好。方法综合考虑行为匹配程度和用户偏好对服务选择的影响,提出服务选择策略。最后通过实验分析和比较说明了该方法的合理性。
张亚红张琳琳赵楷陈佳丽冯在文
关键词：用户偏好WEB服务选择
基于场景的面向方面软件体系结构评估方法
面向方面软件体系结构是一种新型的体系结构风格，其独特之处在于对传统软件体系结构中潜在的横切关注点进行封装。目前，国内外研究人员对面向方面软件体系结构的研究工作主要集中于面向方面软件体系结构设计，包括面向方面软件体系结构描...
陈佳丽
关键词：面向方面软件体系结构
文献传递
异质富勒烯C18BxNy和C22BxNy(x＋y＝2)所有可能异构体的芳香性研究
富勒烯的一个或多个碳原子被其它杂原子取代所形成的物质称为异质富勒烯,由于杂原子的掺入可能会改变富勒烯的价电子数和π-轨道能级,近而会影响富勒烯的芳香性和稳定性。在本论文中我们首次用拓扑共振能(TRE)和百分拓扑共振能(%...
陈佳丽
关键词：芳香性富勒烯C20核独立化学位移
文献传递
全选 清除 导出
共1页<1>
聚类工具0