基于时空π-演算的信息物理融合系统组件可替换性判定 被引量：4

1

作者 王鹏 向阳 +1 位作者 宗宇伟 张骐 《电子与信息学报》 EI CSCD 北大核心 2012年第10期2494-2500,共7页

信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算... 信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。 展开更多

关键词 信息物理融合系统(CPS) 面向服务 时空π-演算 可替换性

在线阅读 下载PDF 职称材料

肼电弧喷射推力器工作方式可替换性数值研究 被引量：2

2

作者 肖应超 汤海滨 刘宇 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第9期831-834,共4页

在正确理解电弧喷射推力器工作过程物理机理的基础上建立了其简化的物理模型 ,并基于此物理模型利用耦合电磁源项的N S方程组来表达其数学模型 ,对相同结构尺寸的低功率肼电弧喷射推力器加电弧和不加电弧时的工作性能进行了比较计算 .... 在正确理解电弧喷射推力器工作过程物理机理的基础上建立了其简化的物理模型 ,并基于此物理模型利用耦合电磁源项的N S方程组来表达其数学模型 ,对相同结构尺寸的低功率肼电弧喷射推力器加电弧和不加电弧时的工作性能进行了比较计算 .采用二阶精度无波动、无自由参数的耗散差分格式 (NND格式 )和显式时间推进法求出数值解 .计算结果给出了有电弧和无电弧时推力器的流场结构 ,预计了不同工作方式及不同工作条件下推力器的推力和比冲 。 展开更多

关键词 电弧喷气发动机 肼 流场结构 可替换性

在线阅读 下载PDF 职称材料

组合逻辑电路时序安全可替换性

3

作者 吕宗伟 林争辉 张镭 《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第9期1271-1274,共4页

讨论了组合逻辑电路的时序安全可替换性问题 ,即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低 .提出了一种新的判断时序安全可替换性的方法 .该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时... 讨论了组合逻辑电路的时序安全可替换性问题 ,即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低 .提出了一种新的判断时序安全可替换性的方法 .该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时序安全可替换性 ,避免了直接计算电路的精确延迟特征 ,从而提高了算法的效率 。 展开更多

关键词 组合逻辑电路 逻辑综合 时序分析 时序安全可替换性 Kukimoto算法

在线阅读 下载PDF 职称材料

“足足”与“整整”的可替换性分析 被引量：1

4

作者 陈艳 《渤海大学学报（哲学社会科学版）》 2012年第1期98-101,共4页

对外汉语教学,"足足"与"整整"用法相近,有时可以替换,有时不能替换。通过对语料的统计发现两词在句法分布上具有不同的优势用法,即"足足"具有"趋谓性",而"整整"具有"趋体性&qu... 对外汉语教学,"足足"与"整整"用法相近,有时可以替换,有时不能替换。通过对语料的统计发现两词在句法分布上具有不同的优势用法,即"足足"具有"趋谓性",而"整整"具有"趋体性"。 展开更多

关键词 足足 整整 可替换性

在线阅读 下载PDF 职称材料

基于不同人体测量方法的数据一致性和可替换性研究 被引量：7

5

作者 余佳佳 李健 《纺织学报》 EI CAS CSCD 北大核心 2019年第9期167-172,共6页

为探究人体测量中三维数据与手工数据间的一致性和可替换性,及不同扫描仪所得结果间的数据等价性,利用HumanSolutions和[TC]~2 2种三维扫描仪分别对20~35周岁的女性样本人体进行扫描,通过逆向工程软件手动测量388个样本的30项身体特征... 为探究人体测量中三维数据与手工数据间的一致性和可替换性,及不同扫描仪所得结果间的数据等价性,利用HumanSolutions和[TC]~2 2种三维扫描仪分别对20~35周岁的女性样本人体进行扫描,通过逆向工程软件手动测量388个样本的30项身体特征尺寸。对比2组三维数据与其对应手工数据的折线图,利用组内相关系数对数据的一致性进行探究;依据国标对三维数据与手工数据间的可替换性进行讨论和判别;以手工数据为媒介,对比2种三维数据与真实值间的一致性和可替换性,判断不同扫描仪数据结果的等价性。结果表明:2种仪器所得数据与手工数据间存在较好的一致性,组内相关系数大于0.75,3种数据在部分测量项上具有较好的可替换性,进行数据处理和分析时可等价使用。 展开更多

关键词 人体测量方法 三维扫描 一致性 可替换性 组内相关系数

在线阅读 下载PDF 职称材料

全承载客车底架工装可替换性分析 被引量：1

6

作者 杨刚 刘霞 章兵 《客车技术与研究》 2017年第5期12-15,共4页

在更替生产不同全承载客车底架时需要更换底架工装,这就降低了生产效率。本文对比分析相近车型全承载客车底架及底架工装的相似性,探索全承载客车底架工装的局部可替换性,以提高客车底架生产效率。

关键词 全承载客车 底架工装 可替换性

在线阅读 下载PDF 职称材料

平板法液体表面张力测试仪进口铂金板可替换性研究 被引量：2

7

作者 魏兴 《现代丝绸科学与技术》 2019年第6期22-23,25,共3页

分析了平板法测液体表面张力的测试原理,概括了DCAT21表面张力仪平板法测液体表面张力的测试过程,从理论上分析了国产铂金板代替进口铂金板的可行性。通过实验,证明了国产铂金板可用在DCAT21表面张力仪上进行日常测试,测试值与理论值偏... 分析了平板法测液体表面张力的测试原理,概括了DCAT21表面张力仪平板法测液体表面张力的测试过程,从理论上分析了国产铂金板代替进口铂金板的可行性。通过实验,证明了国产铂金板可用在DCAT21表面张力仪上进行日常测试,测试值与理论值偏差不超过0.2%。 展开更多

关键词 表面张力 平板法 铂金板 可替换性

在线阅读 下载PDF 职称材料

可组合仿真模型的语义形式描述及组合判定方法 被引量：5

8

作者 周东祥 李群 王维平 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第1期89-93,共5页

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可... 如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质,形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析。 展开更多

关键词 组合仿真 组合判定 语义相容性 语义可替换性

在线阅读 下载PDF 职称材料

仿真模型的语法可组合问题及组合判定 被引量：3

9

作者 周东祥 李群 王维平 《火力与指挥控制》 CSCD 北大核心 2009年第8期4-9,共6页

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合... 层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则。 展开更多

关键词 组合仿真 语法组合 相容性 可替换性 组合判定 类型匹配

在线阅读 下载PDF 职称材料

城市轨道交通自动售检票系统终端设备模块化设计 被引量：9

10

作者 孟宇坤 祝建成 《铁路计算机应用》 2015年第8期61-63,共3页

随着城市轨道交通自动售检票系统的建设和发展,模块化设计在AFC系统终端设备中的应用越来越重要,它有利于更换故障模块,节约整体设备的检修时间,有利于减少整体结构的变动和设备的更新换代,有利于进行模块设备设计和替换,节约社会成本... 随着城市轨道交通自动售检票系统的建设和发展,模块化设计在AFC系统终端设备中的应用越来越重要,它有利于更换故障模块,节约整体设备的检修时间,有利于减少整体结构的变动和设备的更新换代,有利于进行模块设备设计和替换,节约社会成本。本文以北京地铁15号线自动售检票系统的自动售票机为例,研究和探讨模块化设计在轨道交通自动售检票系统终端设备上的应用和发展。 展开更多

关键词 轨道交通 自动售检票系统 终端设备 自动售票机 模块化 可替换性

在线阅读 下载PDF 职称材料

论双语词典例证的翻译功能 被引量：10

11

作者 崔冰清 《辞书研究》 北大核心 2003年第4期41-49,共9页

用可替换性原则检验对应词是否合适 ,是词典编纂者公认的翻译释义的标准 ;然而 ,部分词典例证的翻译也受到了可替换性原则的影响。笔者认为 ,释义中的任何一个对应词 (绝对对应词除外 )都不可能包括词目的全部意义 ,且词目一旦进入上下... 用可替换性原则检验对应词是否合适 ,是词典编纂者公认的翻译释义的标准 ;然而 ,部分词典例证的翻译也受到了可替换性原则的影响。笔者认为 ,释义中的任何一个对应词 (绝对对应词除外 )都不可能包括词目的全部意义 ,且词目一旦进入上下文 ,意义便会发生偏移 ,与处于孤立状态的词目不再完全一样。因此 ,例证的翻译应具有多样性 :例证中词目的翻译与释义不同不仅是可能的 ,而且是常见的。明确肯定双语词典例证的翻译功能 ,才能让编者更加自由地选择和翻译例证。 展开更多

关键词 双语词典 例证 可替换性原则 翻译功能 语境

在线阅读 下载PDF 职称材料

榫卯结构在3D打印首饰中的设计应用研究 被引量：1

12

作者 贾隽雯 孙仲鸣 《宝石和宝石学杂志（中英文）》 CAS 2023年第3期98-105,共8页

榫卯结构作为传统结构工艺可与首饰结构结合,实现首饰可替换、多式样的佩戴,在首饰设计中有着一定的应用价值。笔者通过3D打印技术实现小体量、高精度结构的制造技术,探究了榫卯结构在3D打印首饰中的设计应用,分析了榫卯结构和3D打印技... 榫卯结构作为传统结构工艺可与首饰结构结合,实现首饰可替换、多式样的佩戴,在首饰设计中有着一定的应用价值。笔者通过3D打印技术实现小体量、高精度结构的制造技术,探究了榫卯结构在3D打印首饰中的设计应用,分析了榫卯结构和3D打印技术的基本情况,榫卯结构与首饰设计、3D打印技术的转化关系,榫卯结构3D打印技术在首饰设计中的适用性,最终通过3D打印技术获得了可替换榫卯首饰的创新设计方案和实际应用。最后总结了榫卯结构在首饰结构中的转化方式、结构、材料、尺寸等方面的设计重点,对榫卯结构在3D打印首饰设计的应用有一定的借鉴意义,并为其首饰设计的结构创新、材料置换提供思考。 展开更多

关键词 榫卯结构 3D打印 首饰设计 可替换性

在线阅读 下载PDF 职称材料

新型框架梁柱节点研究综述 被引量：1

13

作者 何艾容 《低温建筑技术》 2016年第8期44-46,共3页

为解决传统钢框架梁柱节点震后易发生脆性破坏的问题,国内外学者做了诸多的研究,文中综述了国内外新型钢框架梁柱节点的研究现状,围绕梁端削弱式节点、梁端加强式节点和其他类型的节点的构造形式及其相应的研究进展进行详细评述。最后... 为解决传统钢框架梁柱节点震后易发生脆性破坏的问题,国内外学者做了诸多的研究,文中综述了国内外新型钢框架梁柱节点的研究现状,围绕梁端削弱式节点、梁端加强式节点和其他类型的节点的构造形式及其相应的研究进展进行详细评述。最后提出了一种新型钢框架梁柱节点,并对该节点开展抗震性能和设计方法研究的展望。 展开更多

关键词 钢框架 抗震 新型节点 可替换性

在线阅读 下载PDF 职称材料

试论语文词典对自由词组的收录

14

作者 甘于恩 《辞书研究》 1987年第1期77-84,共8页

一般说来,语文词典的主要收录对象是词、词素和固定词组,从理论上说,自由词组没有收录的必要,因为自由词组的数目是无限的,任何词典都无法承担起收录它们的任务。

关键词 自由词组 固定词组 语文词典 现代汉语词典 义项 收录 词典编纂者 可替换性 构件 词素

在线阅读 下载PDF 职称材料