检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向多服务交互的相容性分析与适配器生成

吉林大学学报（工学版） 2014年第4期44卷 1094-1103页

作者：范大娟黄志球肖芳雄祝义王进南京航空航天大学计算机科学与技术学院南京210016 南京工程学院计算机工程学院南京211167

针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间... 详细信息

针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间相容性的方法。对于不相容的情况,定义了适配器模型的语法和操作语义,给出了适配器模型的自动生成算法,并对得到的适配器模型进行约简以支持适配器BPEL代码的自动生成。通过一个实例分析说明本文所提方法的可行性。

关键词：计算机软件服务组合适配器模型相容性分析多服务交互消息映射

OWL-S过程模型的形式化描述与相容性分析

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2016年第3期38卷 478-485页

作者：唐郑熠王金水韦立薛醒思胡文瑜福建工程学院信息科学与工程学院福建福州350118 贵州大学计算机科学与技术学院贵州贵阳550025 贵州师范大学数学与计算机科学学院贵州贵阳550001

构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的... 详细信息

构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。

关键词：服务组合验证 OWL-S 形式化模型服务过程自动机相容性分析

在线全文

学校读者我要写书评

暂无评论

基于相容性分析的医疗诊断专家系统

计算机工程与应用 2018年第23期54卷 264-270页

作者：肖鹏刘娜季长清李媛媛路莹唐晓君大连工业大学信息科学与工程学院辽宁大连116034 大连大学物理科学与技术学院辽宁大连116622 大连交通大学软件学院辽宁大连116052

医疗诊断专家系统作为人工智能重要应用领域之一,已被广泛应用于医疗诊断和网络医疗咨询等方面。其补充了人类专家的不足,并能有效地解决各种临床问题。然而,现有诊断推理模型在病例推理过程中过于依赖权值设定和医生经验值,诊断结果完... 详细信息

医疗诊断专家系统作为人工智能重要应用领域之一,已被广泛应用于医疗诊断和网络医疗咨询等方面。其补充了人类专家的不足,并能有效地解决各种临床问题。然而,现有诊断推理模型在病例推理过程中过于依赖权值设定和医生经验值,诊断结果完全依赖于权值给定质量,并且目前尚未发现较实用的权值设定和自动赋值方法。为了解决权值设定和自动赋值的难题,提出了一种基于属性相容性分析的医疗诊断方法并进行了探讨。利用基于属性的相容性分析对医疗数据进行数字化处理,并根据属性之间的关联度构造属性相关矩阵和对属性进行剪枝处理,避免了无效属性的不必要运算;在相容性分析基础上提出了较为实用的权值设定数学模型;在进行病例相似度计算时,采用群体决策策略来完成诊断。针对所提方法进行了模拟。实验结果表明,该方法能有效解决权值自动设定问题和满足实际应用需求。

关键词：医疗诊断专家系统相容性分析群体决策

在线全文

学校读者我要写书评

暂无评论

模块化模型相容性分析方法研究

计算机仿真 2010年第10期27卷 75-78页

作者：赵群汪小华梅涛中国科学院合肥智能机械研究所安徽合肥230031 中国科学技术大学安徽合肥230026

对多领域建模与协同模型的相容性分析是系统仿真设计中的一个重要部分。针对陈述式物理建模语言模型的检验方法,都是从整个模型出发,研究模型内所有方程和变量之间的关系。但是当系统所包含的方程和变量比较多时,方法在分析过程中容易... 详细信息

对多领域建模与协同模型的相容性分析是系统仿真设计中的一个重要部分。针对陈述式物理建模语言模型的检验方法,都是从整个模型出发,研究模型内所有方程和变量之间的关系。但是当系统所包含的方程和变量比较多时,方法在分析过程中容易出错。现提出了一种以模块为研究对象的模型检验的新方法。它将系统划分为多个子模块,将各个模块内部和模块之间的约束关系表示为二部图的形式,以DM分解为基本算法,来分析模型的约束性,从而确定系统模型的正确性。由于每个分析过程只涉及一小部分方程和变量,因此,大大减小了出错的几率。通过一个分析实例,描述了模块化模型检验方法的具体实现。上述分析方法结合了Modelica建模语言的特性,层次清晰。

关键词：相容性分析二部图分解陈述式建模语言

社会主义下的所有制结构变迁及其与市场经济的相容性分析

在线全文

学校读者我要写书评

暂无评论

北京工商大学学报（社会科学版） 2002年第3期17卷 17-20页

作者：王晓龙秦春华北京大学经济学院北京100871

改革的根本命题是统一公有制与市场经济对财产制度的要求,通过所有制结构的变革为市场经济塑造财产基础。传统政治经济学对社会主义所有制的认识,在相当长的时间里影响了社会主义引入市场机制的步伐。这一认识在实践探索和理论思考中逐... 详细信息

改革的根本命题是统一公有制与市场经济对财产制度的要求,通过所有制结构的变革为市场经济塑造财产基础。传统政治经济学对社会主义所有制的认识,在相当长的时间里影响了社会主义引入市场机制的步伐。这一认识在实践探索和理论思考中逐渐得到纠正:市场作为资源配置的手段,与社会主义的本质和目标没有矛盾;在公有制为主体,多种所有制经济共同发展的动态所有制格局下,市场机制可以被引入社会主义,公有制和市场经济可以相容。因此,改革的历程,也是所有制结构调整的历程。本文在描述这一历程的基础上,从理论上说明了以公有制为主体,多种所有制经济共同发展的所有制格局是建立社会主义市场经济的必然要求。

关键词：相容性分析所有制所有制结构社会主义市场经济公有制中国

在线全文

学校读者我要写书评

暂无评论

Web服务组合的形式化建模与相容性分析

Web服务组合的形式化建模与相容性分析

作者：黄邵湖南师范大学

学位级别：硕士

随着Web服务技术的研究、发展和应用,众多学者试图寻找Web服务组合验证的有效方法,开始运用形式化方法描述Web服务组合并对其进行分析。目前国内外有使用进程代数、petri网、spin等工具来形式化建模、验证Web服务组合语言,但是他们都存... 详细信息

随着Web服务技术的研究、发展和应用,众多学者试图寻找Web服务组合验证的有效方法,开始运用形式化方法描述Web服务组合并对其进行分析。目前国内外有使用进程代数、petri网、spin等工具来形式化建模、验证Web服务组合语言,但是他们都存在某些不足,而且多限于探索或者仅停留在理论研究阶段。本文在对现有Web服务形式化验证方法的研究基础上,讨论了它们的特点和不足,并详细分析了现在广泛使用的Web服务组合语言标准BPEL4WS规范的特性,提出了一套基于pi演算的BPEL4WS的建模规则,之后深入研究了类型系统理论,提出了一种切实可行的基于类型化pi演算的Web服务组合相容性分析方法。本文的研究内容主要包括三部分:第一部分是对BPEL4WS规范形式化建模的研究,对pi演算进行了顺序算子的扩充,给出了扩充的语法和操作语义,并用pi演算的通信并发结构表示BPEL4WS规范的link结构;基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法,从而系统地完成了从Web服务组合语言BPEL4WS规范到扩充pi演算的映射;第二部分是对类型系统的研究,我们区分了通道的输入输出能力,将类型互模拟关系扩充到了区分传输能力的通道类型上,并给出了相关性质和定理的证明;我们给出了类型互模拟和子类型的关系,重新定义了类型上下文环境,给出了进程类型定义良好的推理规则,最后定义了类型化pi演算的规约语义。第三部分在前面两部分研究的基础上,用类型化pi演算对BPEL4WS描述的Web服务组合系统做了形式化表示,提出了基于类型化pi演算的服务组合相容性检测算法,最后给出了一个银行贷款审批系统的完整检测实例,说明利用该算法检测服务组合系统相容性的可行性。

关键词： BPEL4WS pi演算类型系统相容性分析

一类随机半定规划问题的最优性条件的相容性分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一类随机半定规划问题的最优性条件的相容性分析

作者：曲皓月辽宁师范大学

学位级别：硕士

随机锥规划是随机规划中的一个重要模型,在金融、工程和管理中均有重要的应用,已经引起了很多学者的关注。随机半定规划作为一种特殊的随机锥规划问题,在最小迹因子分析、带有风险约束的投资组合问题和矩阵完备化问题中有重要的应用,因... 详细信息

随机锥规划是随机规划中的一个重要模型,在金融、工程和管理中均有重要的应用,已经引起了很多学者的关注。随机半定规划作为一种特殊的随机锥规划问题,在最小迹因子分析、带有风险约束的投资组合问题和矩阵完备化问题中有重要的应用,因此研究随机半定规划有重要的理论和应用价值。在研究随机半定规划时,一个重要的手段就是利用基于样本的近似方法去求解这个问题,这就涉及到了近似问题的解的相容性。本文拟对随机半定规划问题的稳定点条件进行相容性分析,研究内容包括建立随机半定规划问题的样本均值近似问题的一阶最优性条件的相容性理论,建立样本均值近似问题的最优性条件的二阶稳定点的相容性理论。具体地:在第一章中我们介绍了随机规划的研究背景、确定型半定规划问题的研究背景及随机半定规划的研究背景。在第二章中,我们给出了一些集值分析和变分分析的基本概念和结果,这些预备知识将会用来建立随机半定规划问题的样本均值近似问题的相容性分析。在第三章中,我们首先研究了随机广义方程的样本均值近似解的相容性,建立了随机广义方程的样本均值近似问题的解集与真问题解集的误差界。在此基础上,我们建立了随机半定规划问题的样本均值近似问题的一阶最优性条件的相容性,并且建立了样本均值近似问题的最优解集的误差界。在第四章中,在Robinson约束规范条件下,建立了随机半定规划问题的样本均值近似问题的二阶必要最优性条件的相容性。在严格互补条件下,建立了随机半定规划问题的样本均值近似问题的二阶充分最优性条件的相容性。建立的相容性分析将为利用二阶方法求解样本均值近似问题提供理论支撑。

关键词：随机规划最优性条件样本均值近似问题随机半定规划相容性分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于相容性分析的测试数据压缩方法研究

基于相容性分析的测试数据压缩方法研究

作者：刘军合肥工业大学

学位级别：硕士

在集成电路的实现过程中，测试成为必不可少的一个环节。随着集成电路（Integrated Circuit,IC）制造工艺的不断进步，单个芯片上能够集成的知识产权(Intellectual Property,IP)核越来越多，从而使得测试单个芯片所需要的测试数据量也... 详细信息

在集成电路的实现过程中，测试成为必不可少的一个环节。随着集成电路（Integrated Circuit,IC）制造工艺的不断进步，单个芯片上能够集成的知识产权(Intellectual Property,IP)核越来越多，从而使得测试单个芯片所需要的测试数据量也随之激增，超出了测试设备性能所能允许的范围，给自动测试设备(Auto Test Equipment,ATE)的存储容量、工作频率以及带宽等带来了严峻的挑战，并使得芯片的测试成本越来越高。目前测试数据压缩技术是解决测试数据量问题的一种有效方法。本文在分析了多种有效的测试数据压缩方案后，提出了两种新的基于相容性分析的测试数据压缩方案。其中主要内容有：首先，本文介绍了芯片测试和测试数据压缩的基础知识，以及芯片测试中遇到的问题，将测试数据压缩分为基于编码的方案、基于线性解压的方案和基于扫描的方案三类，并着重分析和总结了经典的测试数据压缩方案。接下来，通过对数据块进行相容性分析发现，大多数数据块之间的不相容只是由于其中极少部分的对应位不相容导致的。针对这种情况，提出了一种基于跳变位相容的测试数据压缩方法，将这些数据块归入同一组中，用同一个Selective Huffman码字来表示，并用字典编码来表示这些跳变位在数据块中的位置，从而提高短码字数据块的出现频率，并减少不能采用码字编码的数据块个数，进而提高压缩率。最后，通过分析测试集特点，发现一种影响压缩率的现象——抖动现象，并借鉴计算机操作系统中虚拟存储器的思想，通过不断更新参考数据块来减少整个测试集的抖动次数，从而进一步提高压缩率。本论文针对ISCAS-89标准电路中的几个较大电路做了相关实验，其测试集由Mintest自动测试向量生成（Automatic Test PatternGenerator,ATPG）工具生成。实验结果表明，本论文提出的两种基于相容性分析的编码方法均能有效地压缩测试数据，且具有普遍适应性。

关键词：测试数据压缩相容性分析位跳变相容抖动现象

中国石化长城油膜轴承油在钢铁行业轧机配套应用的油品相容性分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

石油商技 2023年第4期41卷 52-57页

作者：闫岳中国石化润滑油有限公司西北分公司

本文采用长城A100和A220油膜轴承油与某钢厂在用进口同质量级别油膜轴承油进行了性能对比分析和混兑试验,考察油品的相容性。结果表明,长城A100油膜轴承油在某钢厂可以分别和在用进口V100、S100油膜轴承油按照一定比例补加使用,也可以... 详细信息

本文采用长城A100和A220油膜轴承油与某钢厂在用进口同质量级别油膜轴承油进行了性能对比分析和混兑试验,考察油品的相容性。结果表明,长城A100油膜轴承油在某钢厂可以分别和在用进口V100、S100油膜轴承油按照一定比例补加使用,也可以全部更换在用进口S100或V100油膜轴承油后使用;长城A220油膜轴承油和进口S220油膜轴承油可以按一定比例补加使用,也可整体换油,但长城A220油膜轴承油和进口V220油膜轴承油混兑后抗乳化性改善不明显,建议全部更换为长城A220油膜轴承油后使用。

关键词：钢铁行业质量级别抗乳化性 V100 S100 相容性分析 A100 配套应用