EFSM的等价转换和通信协议一致性测试 被引量：3

1

作者 庞其祥 程时端 金跃辉 《通信学报》 EI CSCD 北大核心 1997年第4期37-42,共6页

绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化。

关键词 EFSM 一致性测试 等价转换 通信协议

在线阅读 下载PDF 职称材料

地表移动与变形的等价转换线积分计算 被引量：4

2

作者 张华兴 《煤矿开采》 1991年第2期14-19,共6页

地表移动计算的概率积分计算方法基于地表移动计算中的迭加原理,由于其计算的简便,已得到普遍应用。而对于倾斜煤层的计算,虽有精确计算的各方面讨论,由于计算的繁锁和复杂,都未能在实际计算中得到广泛应用。本文基于地表移动计算的另... 地表移动计算的概率积分计算方法基于地表移动计算中的迭加原理,由于其计算的简便,已得到普遍应用。而对于倾斜煤层的计算,虽有精确计算的各方面讨论,由于计算的繁锁和复杂,都未能在实际计算中得到广泛应用。本文基于地表移动计算的另一基本原理——等价原理,将倾斜工作面的下沉计算转化为水平工作面的下沉计算,从而解决了长期以来倾斜面下沉计算的简化误差问题。 1 线积分计算方法由数学分析可知,当区域D是一个单连通域,且函数P(X,Y),Q(X,Y) 展开更多

关键词 地表移动 地表变形 等价转换线 积分计算

在线阅读 下载PDF 职称材料

DOOL程序语义等价转换为Datalog程序的转换规则

3

作者 原锦辉 陶世群 《计算机工程与应用》 CSCD 北大核心 2005年第8期176-179,共4页

演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的... 演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。 展开更多

关键词 演绎对象数据库 DOOL程序 语义等价转换 DATALOG程序 程序转换规则 演绎数据库 面向对象数据库

在线阅读 下载PDF 职称材料

保质设计中的质量等价转换分析

4

作者 高琦 吴昭同 《工程设计学报》 CSCD 2000年第4期59-60,共2页

围绕着产品质量展开的保质设计 ,首先要解决质量需求在各阶段的无误传递 ,即质量等价转换问题。本文探讨了质量等价转换原理和模型 ,并利用模糊集理论实例化了用户需求的分析。

关键词 保质设计 模糊集 质量等价转换 产品设计

全文增补中

NFA→FA→GFA自动机转换算法 被引量：6

5

作者 周启海 《电子科技大学学报》 EI CAS CSCD 北大核心 2005年第3期363-365,395,共4页

研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了“NFA→FA”等价转换算法与“FA→GFA”等价转换算法,构造性证明了从FA到GFA的存在性,提供了自动机极小化算法的研究基础。

关键词 不确定自动机:确定自动机 规范自动机 等价转换算法 极小化

在线阅读 下载PDF 职称材料

数字经济刑法保护中“数据信息”概念之提倡

6

作者 郭研 《华东政法大学学报》 北大核心 2025年第3期59-71,共13页

“数据”是数字经济时代的关键客体,数据刑法保护体系构建的前提是厘清数据的概念边界。刑法保护的应当是数据信息,数据信息与数据不同,数据信息有价值而数据本身无价值。数据信息是以数据作为载体的对人有价值、有意义的内容,具有法律... “数据”是数字经济时代的关键客体,数据刑法保护体系构建的前提是厘清数据的概念边界。刑法保护的应当是数据信息,数据信息与数据不同,数据信息有价值而数据本身无价值。数据信息是以数据作为载体的对人有价值、有意义的内容,具有法律意义。数据信息所指向的法益能够通过刑法规定的犯罪使其特定化、具体化,具有传统价值属性的数据信息可等价转换为传统保护法益,其他价值属性的数据信息则可等价转换为数据信息安全法益。应当构建以数据信息为中心的刑法保护体系,对于侵犯指向具体法益的数据信息的犯罪应依据传统罪名定罪量刑,对侵犯其他数据信息的犯罪应依《刑法》第285条、第286条第2款定罪量刑。 展开更多

关键词 数据 数据信息 法的价值 等价转换

在线阅读 下载PDF 职称材料

基于序列运算的光储氢直流微电网随机优化规划研究

7

作者 张潇桐 戈阳阳 +3 位作者 胡姝博 吴锦铭 荀思文 王雪杰 《可再生能源》 CAS CSCD 北大核心 2024年第10期1408-1415,共8页

现阶段光储直流微电网建设运行成本高、缺乏整体规划,急须开展光储氢直流微电网的优化规划研究。文章考虑光储氢直流微电网中光伏电源输出功率的波动性以及负荷变化的不确定性,提出一种基于机会约束的光储氢直流微电网优化规划方法。基... 现阶段光储直流微电网建设运行成本高、缺乏整体规划,急须开展光储氢直流微电网的优化规划研究。文章考虑光储氢直流微电网中光伏电源输出功率的波动性以及负荷变化的不确定性,提出一种基于机会约束的光储氢直流微电网优化规划方法。基于机会约束规划,构建了以建设和运行成本最低为目标的光储氢直流微电网优化规划模型,优化微电网储能容量配置。通过序列运算将模型中含有随机变量的约束进行确定性转化,并在MATLAB中调用CPLEX求解器对模型进行求解。通过仿真计算分析,验证了基于序列运算算法的光储氢直流微电网优化规划方法的有效性和实用性。 展开更多

关键词 光储氢直流微电网 机会约束 序列运算 等价转换

在线阅读 下载PDF 职称材料

基于神经网络的机械零部件可靠性优化设计 被引量：5

8

作者 张义民 张雷 《农业机械学报》 EI CAS CSCD 北大核心 2005年第4期112-115,122,共5页

采用概率约束等价转换的数值逼近法,研究了具有任意分布参数的可靠性优化设计,可以迅速准确地获得优化设计结果。针对具有多失效模式的机械零部件可靠性优化设计,提出了随机模拟神经网络( MCSNN)方法,模拟得到随机设计变量与机械零部件... 采用概率约束等价转换的数值逼近法,研究了具有任意分布参数的可靠性优化设计,可以迅速准确地获得优化设计结果。针对具有多失效模式的机械零部件可靠性优化设计,提出了随机模拟神经网络( MCSNN)方法,模拟得到随机设计变量与机械零部件系统可靠度之间的显性函数表达式,简化了计算过程,同时可以获得较高的计算精度。 展开更多

关键词 可靠性优化设计 机械零部件 神经网络 任意分布参数 数值逼近法 函数表达式 系统可靠度 等价转换 概率约束 失效模式 随机模拟 设计变量 计算过程 计算精度 实用价值

在线阅读 下载PDF 职称材料

技术经济中内部收益率的修正问题研讨 被引量：12

9

作者 饶扬德 《工业技术经济》 北大核心 2003年第1期96-96,107,共2页

本文针对内部收益率评价指标的局限,根据“等价转换”的思想,提出了如何修正内部 收益率,并对其可行性进行了论述。

关键词 技术经济 内部收益率 非常规项目 等价转换 收益率

在线阅读 下载PDF 职称材料

汇率期权套期保值模型及其应用 被引量：1

10

作者 余星 张卫国 刘勇军 《系统管理学报》 CSSCI CSCD 北大核心 2019年第3期528-535,544,共9页

针对出口企业汇率风险管理问题,考虑购买期权预算约束,建立汇率期权套期保值模型。借助Copula函数推导出套期保值组合的分布函数,建立最小化CVaR的期权套期保值模型。利用等价转换法对模型进一步转化,并给出了模型的算法步骤。最后,以... 针对出口企业汇率风险管理问题,考虑购买期权预算约束,建立汇率期权套期保值模型。借助Copula函数推导出套期保值组合的分布函数,建立最小化CVaR的期权套期保值模型。利用等价转换法对模型进一步转化,并给出了模型的算法步骤。最后,以中国铂金出口企业汇率期权套期保值问题进行实证分析。实证结果表明:企业利用汇率期权套期保值可以降低CVaR风险;最优敲定价格不受出口企业风险规避度的影响;企业风险规避度越大,利用汇率期权套期保值其CVaR风险越小。期权最优敲定价格随着预算的增加而增加,但在预算一定的条件下,企业不能盲目购买敲定价格高的看跌期权,建议购买敲定价格略小于汇率当前值的期权进行套期保值。 展开更多

关键词 期权套期保值 COPULA函数 等价转换法 期权预算

在线阅读 下载PDF 职称材料

基于虚拟机的可编程器件仿真系统中编译器技术的研究

11

作者 欧阳星明 朱尚文 +1 位作者 朱金银 刘迎午 《计算机工程与科学》 CSCD 2007年第2期97-99,103,共4页

论文针对可编程器件的仿真问题,对基于虚拟机的编译器技术进行了较深入的研究,提出了具体的设计方案。通过采用两遍编译及地址回填技术和构建比较完备且存取效率较高的符号仓库,有效地实现了源程序到目标程序的等价转换,并为可编程器件... 论文针对可编程器件的仿真问题,对基于虚拟机的编译器技术进行了较深入的研究,提出了具体的设计方案。通过采用两遍编译及地址回填技术和构建比较完备且存取效率较高的符号仓库,有效地实现了源程序到目标程序的等价转换,并为可编程器件仿真系统PDSS设计了一个可编程器件编译器PDC。在PDSS中,PDC与虚拟机相互配合,使可编程器件的仿真脱离了特定处理器体系结构的限制,而且不依赖于具体操作系统的实现,达到了对编译、运行直至仿真的完全控制。 展开更多

关键词 两遍编译 地址回填 符号仓库 等价转换

在线阅读 下载PDF 职称材料

基于公共数据模型CDM的数据融合

12

作者 李晓丽 余冬梅 杜振龙 《兰州理工大学学报》 CAS 北大核心 2005年第2期92-95,共4页

提出了一种基于超图的公用数据模型CDM(common data model),实现了关系模式与XML文档相互转换的方法,从而实现了这两类数据的融合.

关键词 公共数据模型 关系模式 XML 等价转换

在线阅读 下载PDF 职称材料

Zeta变换器的切换建模 被引量：1

13

作者 尚永祥 汤自安 《科学技术与工程》 北大核心 2019年第34期174-179,共6页

针对Zeta变换器在建模过程中进行大量简化,使其模型描述不精确,或含有复杂的表达式,使得计算量大的问题,提出了一种同时适用于连续传导模式(CCM)和不连续传导模式(DCM)的切换建模方法。首先根据Zeta变换器的自身结构,推导了Zeta变换器... 针对Zeta变换器在建模过程中进行大量简化,使其模型描述不精确,或含有复杂的表达式,使得计算量大的问题,提出了一种同时适用于连续传导模式(CCM)和不连续传导模式(DCM)的切换建模方法。首先根据Zeta变换器的自身结构,推导了Zeta变换器的不同工作状态,并结合切换理论,分析了不同工作状态间的切换条件。其次,引入逻辑命题及等价转换原则,根据Zeta变换器的工作过程,将Zeta变换器在不同工作模态间的切换条件转换成约束不等式,从而建立Zeta变换器在CCM和DCM模式下的统一模型。最后,对运行在CCM、BCM(临界传导模式)和DCM模式的Zeta变换器进行了仿真实验,并与状态空间平均法及平均开关法进行了对比,仿真结果验证了所提方法的有效性。 展开更多

关键词 Zeta变换器 切换理论 等价转换 统一模型

在线阅读 下载PDF 职称材料

基于二元语义和梯形模糊数的智力资本评价模型 被引量：1

14

作者 王芳镜 夏维力 王艳照 《情报杂志》 CSSCI 北大核心 2009年第2期18-21,43,共5页

在讨论了二元语义与梯形模糊数之间转化方法的基础上,根据二元语义与相应的梯形模糊数等价的思想及两者的内在联系,把模糊数学理论应用到企业智力资本评价中,建立二元语言模糊变量模型,分别评价企业智力资本13个二级影响因素的作用水平... 在讨论了二元语义与梯形模糊数之间转化方法的基础上,根据二元语义与相应的梯形模糊数等价的思想及两者的内在联系,把模糊数学理论应用到企业智力资本评价中,建立二元语言模糊变量模型,分别评价企业智力资本13个二级影响因素的作用水平,根据二元语义的集结方法集结出综合评价结果以评价现代企业智力资本这一核心资源。 展开更多

关键词 智力资本 梯形模糊数 二元语言模糊变量 集结算子 等价转换

在线阅读 下载PDF 职称材料