【摘 要】
：
针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论（SMT）约束求解器的符号编码去检测所有可行路径中的数据流反模式
【基金项目】
：
国家自然科学基金项目（61202003、61572171）
论文部分内容阅读
针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论（SMT）约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根据SMT约束求解器进行数据流反模式错误的识别检测。使用工业界中真实的BPEL过程作为数据集进行实验,实验结果表明,所提方法能够高效无误地检测出BPEL过程中的数据流异常错误。
其他文献
为降低基于接收信号强度指示(received signal strength indication,RSSI)测距误差,提出基于RSSI测距修正和集员法的节点定位算法(improved RSSI ranging and set membership based localization,I-RSSI-SM-L),通过修正RSSI测距,利用集员法估计节点位置,提高定位精度。在测距阶段,估算模型参数,
导言本文旨在论述石油冲击对1974至1982年间私人银行贷款活动的影响。如笔者将论证的那样,在这段时期内,债务危机的诸项条件业已形成。本文的总的理论框架来源于经济学家海曼
海外并购作为中国企业实施“走出去”战略的重要组成部分，已有二十多年的历史。从最初并购在当地市场受到欢迎的行业和产品，到后来收购世界著名企业、品牌，中国企业在尝试性探索
明理、博学、守正、创新。2014年6月21—22日，由中国会计学会会计信息化专业委员会主办，山东工商学院会计学院承办，金蝶软件（中国）有限公司和北京元年科技股份有限公司协办的中国
【摘 要】 由于上市公司内部控制评价报告缺乏对内部控制成本项目的披露，且其评价报告一般为描述性报告，可供参考的内部控制（下文“内控”即为“内部控制”）量化信息少之又少。文章引出“内部控制评价报表”这一概念，并对内部控制评价报表的基本框架进行分析设计，结果表明内部控制评价报表有利于进行内控成本与效益的均衡分析，有利于完善内控评价报告的内容，有助于审计工作的开展，能增强对企业的监督作用。 【关键词】
为准确预测某石化企业循环冷却水腐蚀速率,对石化企业循环冷却水3年实际测量数据进行分析研究,提出一种腐蚀预测算法KPCA-CPSO-LSSVM。通过核主成分分析(KPCA)将数据样本降维,消除数据共线性,使用最小二乘支持向量机(LSSVM)建立预测模型,采用具有较强全局搜索能力的混沌粒子群(CPSO)优化算法对LSSVM中的模型参数进行优化选择。研究结果表明,相比PSO-LSSVM,该组合算法具有较
目前,我国石油企业在与外国石油公司市场竞争中处于弱势地位.要提高我国石油企业的市场竞争力,提升我国石油企业技术创新能力,需加大R&D经费投入,建立新型技术创新体系和机制
近年来，我国企业遭受反倾销调查越来越频繁，是世界上最大的反倾销受害国。从表面上看，反倾销是“拼会计、拼成本”。究其实质是企业内部控制起决定作用。良好的内部控制可以使企
《道德与法治》课程是中小学唯一直接显性地进行社会主义核心价值观教育的课程。要提高社会主义核心价值观教育的实效,需要关注与改进教学策略。本文从继承与发展、预设与生
2013年5月18日，由中国煤炭经济研究会组织的“2013年煤炭企业财苑论坛”在连云港召开。论坛由淮北矿业集团公司主办，来自财政部、中国煤炭经济研究会、全国重点煤炭企业的20多