王梅娟
- 作品数：25 被引量：40H指数：3
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目江苏省教育厅自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 浅析科技俱乐部在学生学习能力培养过程中的作用——以“机器人科技俱乐部”为例被引量：2
- 2015年
- 学生的学习状态是现代高等教育十分关注的问题。本文针对目前的高校学生学习问题,从培养学生的学习能力出发,结合我校机器人俱乐部活动的一些做法,探讨了科技俱乐部在引导学生主动学习、培养合作学习能力和提高创新能力方面的作用。
- 贾永兴王梅娟卢涌杨宇敖亮
- 关键词：科技俱乐部机器人
- 基于XPath的XML数据库并发控制机制
- 2009年
- 并发控制是改善数据库系统性能的最重要的机制,在XML数据管理中并发控制已经成为一个重要的研究课题.给出了一种基于XPath路径查询语言的XML数据库并发控制机制,定义了XPLock锁协议模型以及锁协议规则,讨论了并发控制操作流程,并验证了在此锁协议机制下的并发调度是可串行化调度.最后通过实验表明提出的XPLock锁协议在并发度、锁粒度等方面是一种有效的XML并发控制机制.
- 赵改连王梅娟
- 关键词：XML事务并发控制机制
- 一种基于自适应随机策略的蜕变测试用例生成方法
- 本发明公开了一种基于自适应随机策略的蜕变测试用例生成方法，即基于自适应策略随机自动生成测试用例。首先，随机生成第一组原始测试用例，并根据蜕变关系生成附加测试用例，两者构成已选择测试用例；其次，对输入域进行划分，得到末被已...
- 惠战伟黄松李辉饶莉萍王梅娟吕学伟
- 文献传递
- 基于“自修式”建构模式的教学研究与实践
- 2014年
- 随着信息化条件下知识的爆炸性增长,传统课堂教学已无法满足学生对知识的需求;从多媒体教学手段的改进到网络化教学模式的不断深入,学生对学习过程的理解和体会也在不断更新。本文依托部队院校软件类课程教学,以"学为主体"的教学形式展开"自修式"教学模式的分析和实践,实现"授人以渔"的教学目标。
- 王梅娟贺汛任正平史涯晴
- 关键词：素质教育教学模式
- 《多媒体技术与应用》课程教学改革探讨被引量：5
- 2011年
- 《多媒体技术与应用》是一门理论与实践相结合、知识与技能相统一的课程，在计算机专业教学中占据十分重要的地位。该文分析了《多媒体技术与应用》课程的特点，行对当前《多媒体技术与应用》课程教学存在的问题进行了讨论，结合教学实践提出了若干关于该课程的教学改革措施。
- 史涯晴王梅娟
- 关键词：多媒体技术与应用教学改革
- 一种蜕变关系形式化描述与分解方法
- 本发明公开了一种蜕变关系形式化描述与分解方法，包括如下步骤：（1）根据目标被测软件，抽取和设计软件必须满足的蜕变关系，创建蜕变关系；（2）基于符号逻辑对得到的蜕变关系进行形式化建模：首先确定蜕变关系成立的约束条件，并进行...
- 惠战伟黄松李辉姚奕胡斌任正平张婷婷王梅娟史涯晴雷小宇
- 文献传递
- 一种蜕变测试中失效测试用例的定位方法
- 本发明属于软件测试领域，具体地公开了一种蜕变测试中失效测试用例的定位方法，首先从测试用例集中选择一个测试用例作为原始测试用例，再由前述原始测试用例根据蜕变关系集中的蜕变关系的输入关系，生成附加测试用例，根据被测软件的输出...
- 惠战伟黄松姚奕王梅娟史涯晴吕学伟
- 文献传递
- 一种路网移动对象概率聚集查询方法及系统
- 本发明提供一种路网移动对象概率聚集查询方法及系统，其中，所述方法包括：对采样数据分别进行流处理和批处理；根据批处理后的采样数据构建时空索引；构建非重复计数聚集索引结构；在所述非重复计数聚集索引结构中查找与用户的查询请求中...
- 史涯晴黄松任正平李辉郑长友王梅娟董会
- 文献传递
- DTD约束下的XML树模式查询最小化
- 2009年
- 目前大部分XML查询语言都使用树模式来匹配待查询的XML文档树以得到所需要的、与模式树相吻合的查询结果,此效率在很大程度上取决于XML模式树的大小,那么尽可能快速地查找并删除查询模式树中的冗余节点就变得十分重要。重点讨论DTD约束下树模式的最小化问题,将DTD兄弟约束SC拓展成扩展兄弟约束ESC,使其能够表达DTD约束中的祖先-后代关系;并指出只包含{ESC,/,//,[],*}的查询树模式的最小化问题的复杂度是指数级的,且当模式树是分支受限的时候,其最小化问题的复杂度是多项式时间的;最后给出了一个多项式时间的受限分支的模式树最小化算法。
- 王梅娟庞引明谈子敬
- 关键词：可扩展标记语言
- 消除多值依赖导致的XML路径冗余算法研究
- 2015年
- XML结构的数据通常是利用XPath来进行定位和存储的,抽象来看就是一个树状结构,树根到达树枝的路径决定了整个文档的规模和冗余程度,因此解决路径冗余可以解决一定程度上的数据存储冗余。文章在消除函数依赖导致的XML路径冗余的研究基础之上,进一步对更为复杂的多值依赖引起的数据异常问题进行研究,并给出了如何判定和消除多值依赖导致的XML路径冗余问题的方法。
- 曹路舟王梅娟周爱武
- 关键词：多值依赖
