马莉

作品数：25被引量：50H指数：4
导出分析报告
供职机构：佛山科学技术学院更多>>
发文主题：虚拟机物理磁盘并行度服务器分布式网络更多>>
发文领域：自动化与计算机技术文化科学电子电信社会学更多>>
发文期刊：《中国高新科技》《科协论坛（下半月）》《科学技术与工程》《网络安全技术与应用》更多>>
所获基金：广东省自然科学基金国家自然科学基金佛山市科技发展专项基金新世纪高等教育教学改革工程更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
翻转课堂个性化在线网络教学的探索与实践被引量：1
《中国高新科技》2021年第20期72-73,共2页杨文茵 马莉 黄营 
2018年广东省高等教育教学研究和改革项目“基于个性化教育的网络工程专业双创能力培养模式研究”(编号:2018-607)。
文章以《计算机网络原理》课程为探索对象,摸索出“四备-四学-三导”的在线教学模式,利用MOOC资源和网络教学及互动平台,实现了该课程的翻转课堂,并进行了个性化教学的探索,阐述了教学设计思路及教学实践过程,也为其他课程的教学改革提...
关键词：翻转课堂 个性化教学 计算机网络原理 
可更新Datalog的分布式时态逻辑扩展及应用
《计算机工程与应用》2017年第15期101-105,共5页霍颖瑜 马莉 胡敬文 钟勇 
国家自然科学基金(No.61373015);广东省自然科学基金(No.2015A030313638);广东省前沿与关键技术创新专项资金(No.2016B010113004);佛山科学技术学院科研项目
针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalo...
关键词：TU-Datalog语言 分布式时态逻辑 社交网络 访问控制 
基于校企协同育人的网络类课程教学体系改革探索被引量：4
《现代计算机》2017年第20期77-80,共4页周灵 甘益慧 马莉 
2015年度;2016年度广东省高等教育教学改革项目资助(No.628;No.622)
讨论协同育人和协同创新的概念及其关系;在此基础上,研究基于校企协同育人的网络类课程教学体系改革。具体包括四方面的内容:构建网络工程专业网络类核心课程体系,对网络类理论课程进行教学改革,对网络类核心课程实验、实践、实训部分...
关键词：协同育人 课程改革 实践创新 
带权重谓词的可选事务逻辑及其访问控制应用被引量：1
《计算机科学》2016年第10期177-181,共5页马莉 霍颖瑜 钟勇 秦小麟 
国家自然科学基金(61373015;11326123);国家星火计划(2014GA780031);广东省自然科学基金项目(2015A030313638);佛山市科技发展专项资金项目(2012AA100251)资助
逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进行了扩展,提出了一种带权重谓词的可选事务逻辑WT-Logic。首先对WT-Logic的语法、语义进行了说明;然后解...
关键词：可选事务逻辑 权重谓词 WT-Logic DATALOG 授权语言 
面向社交网络的多方授权模型被引量：2
《计算机科学》2016年第1期116-121,共6页霍颖瑜 马莉 钟勇 秦小麟 
国家自然科学基金(61373015;11326123);广东省教育厅育苗工程项目(2013LYM0097);佛山市科技发展专项资金项目(2012AA100251);佛山科学技术学院科研项目资助
现有的访问控制机制大多局限在用户个人空间内的数据,难以控制个人空间以外的数据,例如用户不能对其在朋友空间中发布的评论进行访问控制,不能对共有的资源进行联合访问控制等。面向社交网络的多方授权模型MRuleSN采用单一所有、多方共...
关键词：多方授权 社交网络 授权规则 w-Datalog 
基于蜜罐与入侵检测技术的安全云架构方案被引量：3
《佛山科学技术学院学报（自然科学版）》2015年第6期64-69,共6页杨文茵 马莉 周灵 丁伟雄 
云计算由于通过因特网提供公共资源般的计算存储服务,而使之暴露于各种网络入侵威胁中。搭建安全云架构以提高云服务的安全性是云安全的首要任务。入侵检测是一种被动防御技术,擅长实时识别已知攻击模式,对未知异常行为的误判率较高。...
关键词：云计算 云安全 入侵检测 蜜罐 EUCALYPTUS 
计算机网络安全课程的教学模式探究与实践被引量：1
《教育界（高等教育）》2015年第9期187-188,共2页马莉 黄营 霍颖瑜 
网络安全已经成为当今网络方向的研究热点,在高校的网络工程专业,开设计算机网络安全与防范类课程是十分必要的.本文针对我校计算机网络安全课程存在的问题,从教学内容、教学手段和考核方式等三个方面进行分析,结合本校的现实情况对这...
关键词：计算机网络安全 教学改革 项目驱动教学法 教学模式 考核评价体系 
地方院校网络工程专业的立体化MOOC教改探索被引量：5
《计算机教育》2015年第5期24-28,共5页杨文茵 马莉 周灵 丁伟雄 
佛山科学技术学院校级高等教育教学改革项目(佛科院教[2014]19号)
提出兼顾"素质、能力、知识"3方面要求的MOOC 3.0新理念;探讨如何在遵循专业规范基本要求的前提下,在地方院校的网络工程专业中应用"立体化MOOC"来进行教学改革;提出结合地方社会需求,发挥优势和特色,培养出知识、能力、素质立体化协调...
关键词：网络工程 大规模开放在线课程 教学改革 应用型人才 
基于责任策略的非严格实时系统形式化研究
《计算机工程》2014年第8期302-309,共8页马莉 钟勇 霍颖瑜 
广东省自然科学基金资助项目(10152800001000016);2011年佛山市科技发展专项基金资助项目(2011AA100061)
严格实时系统行为的实时性要求具有不可更改性,非严格实时系统的实时性要求则具有延缓性、替代性以及可补偿性特征,现有的形式化规格说明语言多集中在对严格实时系统的研究,对非严格实时系统的这些特征则缺乏描述能力。针对上述问题,使...
关键词：非严格实时系统 形式化规格说明 责任策略 分布式时态逻辑 Object-Z语言 历史不变式 
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述被引量：2
《计算机科学》2014年第4期184-189,共6页马莉 钟勇 霍颖瑜 
广东省自然科学基金(10152800001000016);佛山市科技发展专项资金(2011AA100061);佛山市产学研专项资金(2012HC10027)资助
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描...
关键词：形式化描述语言 责任授权模型 OBJECT-Z 分布式时态逻辑 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部