刘冬梅
- 作品数：32 被引量：29H指数：3
- 供职机构：南京理工大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理化学工程更多>>
- 基于Petri网自动化构建BPEL流程的SMV模型被引量：2
- 2021年
- 针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法。该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题。实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性。
- 周子健刘冬梅
- 关键词：BPELPETRI网
- 基于代数规约的Web服务自动测试执行引擎被引量：4
- 2018年
- 随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,服务调用方式不一致,如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。以现有的研究工作为基础,在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列并行化,自动生成并发测试脚本,以提高测试执行效率。实验结果表明提出的测试执行引擎框架是可行的,且可高效地自动完成并行化的测试序列。
- 张鑫刘冬梅朱鸿陈颖兰斌孙玉虎
- 关键词：代数规约WEB服务
- HMX和PETN及其复合材料结构与性能的MD模拟研究
- HMX（环四亚甲基四硝胺）和PETN（季戊四醇四硝酸酯）都是具有较高化学稳定性和优良爆炸性能的单体猛炸药。本论文采用分子动力学(MD)模拟方法，在COMPASS力场下，研究HMX和PETN及其复合体系结构-性能之间的关系...
- 刘冬梅
- 关键词：复合材料
- 文献传递
- 基于卷积神经网络的以图搜图系统
- 本发明公开了一种基于卷积神经网络的以图搜图系统，该系统基于Deep？Learning的卷积神经网络智能算法，构建图片知识库，在此基础上对用户输入的图片在该知识库中进行反向检索，并完善卷积神经网络模型。该系统将图片本身作为...
- 邓佳王永利李延超姚静天许业旺俞研李大鹏付安民孙淑荣刘冬梅
- 文献传递
- AMUR:一种RFID数据不确定性的自适应度量算法被引量：5
- 2011年
- 为适应基于RFID(无线射频识别)位置跟踪过程中传感数据的连续变化和需要实时处理的特征,本文提出一种度量RFID数据不确定性的自适应进化粒子滤波算法,根据K-L距离改变重采样粒子个数,并引入粒子群寻优方法PSO改变传统粒子滤波(SIRPF)的重采样效率,采用常规赋权聚集(CWA)定义适应度函数,以均衡先验密度与似然密度的重要性,在采样粒子空间探寻最优粒子,为概率数据库上的初始元组提供可靠的置信度度量.实验证明,与已有的算法相比,AMUR算法能够有效地度量RFID数据中蕴含的不确定性,可进一步改善粒子退化现象和粒子贫化问题.
- 王永利钱江波孙淑荣张功萱刘冬梅
- 关键词：无线射频识别不确定性粒子滤波自适应粒子群优化
- 油田物流管理系统
- 物流管理系统是现代企业管理思想与计算机应用技术的结晶,通过物流管理系统的实施可为企业在市场竞争上获得优势,并获取最大的利润。本文以降低物资采购成本,加快物资流转速度,节约流转费用,提高企业经济效益为目标,对长庆油田现有物...
- 刘冬梅
- 关键词：物流管理面向对象数据库网络
- 文献传递网络资源链接
- 基于序列数据稳定的黑盒局部解释性方法研究
- 2022年
- 机器学习在实际应用场景中取得了巨大成功,但无法给出决策的明确解释限制了它在一些领域的应用。为改善其计算结果的不可理解性,一些学者对机器学习的可解释性进行研究,已有针对图像的解释性方法很难对具有时序相关性的文本数据做出正确的解释。针对这一问题,论文提出一种面向时序数据的稳定黑盒局部解释性方法DLEMNA。利用聚类算法解决随机扰动解释造成的不稳定性,引入Fused Lasso约束考量特征之间的时序相关性,通过构建线性模型计算影响决策的重要特征。论文以20newsgroups数据集为实验对象,实验结果表明论文提出的DLEMNA方法在保真性和稳定性两方面优于LIME方法。
- 邱玫媚刘冬梅
- 关键词：序列数据可解释性聚类
- 油田物流管理系统——长庆油田物流管理系统的分析与设计
- 本文以降低物资采购成本，加快物资流转速度，节约流转费用，提高企业经济效益为目标，对长庆油田现有物资供应管理模式进行分析和研究，从实际出发，为长庆油田提供一套切实可行的物流管理系统，以全面提高长庆油田物资供应管理水平。
...
- 刘冬梅
- 关键词：物流管理面向对象数据库油田
- 文献传递
- 一种基于代数规约的面向服务集成方法
- 2019年
- 面向服务集成是应用SOA思想实现软件重用的重要基础。目前以黑盒和白盒为主的面向服务集成方法都有它们的局限性:白盒方法侵入系统内部,侵入系统后稳定性方面存在问题,而黑盒方法虽然避免了侵入系统内部,但会增加系统维护和管理工作。因此论文提出一种基于代数规约的面向服务集成灰盒方法,该方法首先通过代数规约技术描述的类子模型和数据流分析对系统进行理解与分析,其次应用改进的聚类分析算法获取服务的架构信息并识别相关模块,然后应用服务封装技术封装服务,最终通过实际的应用案例验证了论文方法的有效性。
- 兰斌刘冬梅陈颖何娟娟
- 关键词：WEB服务代数规约聚类分析
- 基于代数规约的Web服务单线测试用例生成方法
- 本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动...
- 刘冬梅何娟娟杜益宁朱鸿吴献张鑫周子健
- 文献传递
