方明科 作品数:19 被引量:29 H指数:3 供职机构: 信阳师范学院计算机与信息技术学院 更多>> 发文基金: 河南省教育厅自然科学基金 河南省自然科学基金 上海市教育委员会重点学科基金 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
一种用于模型验证的Web应用模型抽取方法 被引量:1 2009年 以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法。该方法将模型抽取划分为链接提取、模型构造和结果显示。通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储。对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web应用的FSM模型。 方明科 缪淮扣关键词:WEB应用模型 有限状态机 基于P2P的数字图书馆资源共享技术 被引量:2 2010年 P2P技术作为一种分布式的资源管理模型,为数字图书馆的资源共享提供了强有力的解决方案。在分析P2P的特点和体系结构的基础上,结合OAI-PMH协议,构建基于P2P的网络结构,并重点分析了基于P2P的数字图书馆的资源检索机制,解决其资源的共享与互操作问题。 李蕾 方明科 李艳灵关键词:P2P 数字图书馆 资源共享 OAI-PMH 资源检索 计算机机群技术及其在Web领域中的应用 被引量:4 2006年 现今很多应用需要将多台计算机组织起来进行协同工作,来模拟一台功能更强大的计算机以解决问题,因此机群技术得到了广泛应用。本文介绍了机群技术的基本概念和特点,以图示形式描绘了机群的体系结构,然后重点介绍了机群技术在Web领域中的实际应用,最后对机群技术的发展做了展望。 李蕾 方明科 杜欣关键词:计算机机群 负载均衡 基于XML的Web应用模型抽取 2011年 以模型检验为目标,从时间的约束角度出发,提出一种基于XML文档的Web应用的模型抽取方法。模型抽取由时间及相关链接的提取、模型构造和结果显示3部分组成。首先,通过对Web应用进行逆向分析,从带时间约束的XML源代码对链接及时间约束等相关信息进行提取、规整和存储。其次,对Web应用中的链接、时间约束等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适合于形式化验证的时间自动机(TA,Timed Automata)模型,并对时间约束下的并发进行模型组合。最后,以电子邮箱系统为实例阐述如何实现模型抽取。 程广金 缪淮扣 方明科 梅佳 髙洪皓关键词:XML文档 时间自动机 一种动态Web信息提取方法的设计与实现 2011年 为了满足Web应用测试模型构建的需求,以及对Web应用进行维护与更新,根据Web信息提取原理和动态网页生成机制,采用逆向工程的思想,提出了一种提取动态Web信息的方法。这种方法通过解析页面标签,结合正则表达式,提出了提取表单信息的规则,应用领域本体知识库的方法处理表单的填写,从而实现了对Web应用的逆向分析。 方明科 王煜霞关键词:信息提取 逆向工程 表单 动态页面 基于智能家居环境的无线传感器网络结构研究 被引量:2 2013年 对星状网络、网状网络和星状网状混合网络的拓扑结构进行比较,并通过实验测试对3种拓扑结构在采集温度、光强数据以及功耗等方面进行分析,结果表明混合拓扑结构的网络对于智能家居环境具有更好的性能. 李蕾 方明科 黄威关键词:智能家居 无线传感器网络 拓扑结构 功耗 基于证据理论加权融合的无线传感器网络路由算法 被引量:7 2020年 针对当前无线传感器网络路由算法存在数据传输成功率低、网络时延长和丢包率高等缺陷,为获得更优的数据传输结果,提出一种基于证据理论加权融合的无线传感器网络路由算法.首先引入聚类分析算法对无线传感器网络进行分簇,使簇首的分布更均匀,解决簇首过于集中、簇成员节点分配不合理的问题;然后采用证据理论计算剩余能量、节点间通信距离、通信能耗的权值,并根据权值对每个节点的性能进行综合评价,根据综合评价结果选择每个簇最合理的簇首;最后与其他无线传感器网络路由算法进行对比测试.测试结果表明,相对于对比算法,该算法数据时延均值和丢包率均大幅度减少,改善了数据传输成功率,使节点之间的能耗更均衡,延长了无线传感器网络的生存周期,建立的无线传感器网络路由可靠性更高. 李蕾 方明科关键词:传感器节点 证据理论 通信能耗 基于代理服务器远程教学系统的安全设计 2008年 随着现代远程教育模式的深入开展,基于Web的远程教学系统面临着更大的安全风险.计算机病毒、非法访问、网络攻击等情况的频繁发生,使得提高系统的安全性成为远程教育工作中必须要考虑的一项重要内容.从远程教学网络体系构建和代理服务器功能等方面阐述了构造分布式网络远程教学系统的措施,并合理地应用了代理服务器.对系统的安全隐患进行深入分析,结合已有的工作经验,提出了多种技术结合的远程教学系统安全防范逻辑结构. 汪金友 方明科关键词:远程教学 代理服务器 负载均衡 一种介孔碳杂化二氧化锰纳米材料及其制备方法 本发明公开了一种介孔碳杂化二氧化锰纳米材料的制备方法,该方法包括步骤:将一定量单质镁在通入足量二氧化碳的酸性高锰酸钾溶液中燃烧;将得到的混合溶液在高压反应釜中在40~200℃条件下反应1~48h后自然冷却、离心洗涤干燥即... 余本海 李方涛 方明科 王春雷 易晓磊 花端阳文献传递 任务驱动教学法在计算机网络课程教学中的应用 被引量:5 2015年 在分析计算机网络课程特点的基础上,针对实际教学中所出现的问题,提出任务驱动教学法。以”配置路由协议“和”三次握手协议验证“两个任务为例,介绍了任务驱动教学法在计算机网络课程教学中的实施过程,充分体现了任务驱动教学法调动学生学习的积极性,提高学生的动手能力和创新能力的作用。 李蕾 方明科关键词:任务驱动教学法 计算机网络 路由协议 三次握手