期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
基于修正分数Poynting-Thomson模型的高压XLPE海缆绝缘评估
1
作者 张涛 时光蕤 +2 位作者 张楠 杜安琪 吴倩 《电机与控制学报》 EI CSCD 北大核心 2024年第4期61-71,共11页
为利用频域介电谱准确评估高压交联聚乙烯(XLPE)海缆的绝缘状态,建立考虑直流电导率的修正分数Poynting-Thomson模型(分数P-T模型)以解析高压XLPE海缆的介电特性。首先,通过加速老化试验制备不同老化程度的高压XLPE海缆试样,并测得各组... 为利用频域介电谱准确评估高压交联聚乙烯(XLPE)海缆的绝缘状态,建立考虑直流电导率的修正分数Poynting-Thomson模型(分数P-T模型)以解析高压XLPE海缆的介电特性。首先,通过加速老化试验制备不同老化程度的高压XLPE海缆试样,并测得各组老化试样的力学、理化和介电数据。然后,应用修正分数P-T模型对实测介电曲线进行拟合,对比修正前后分数P-T模型表征实测介电曲线的效果。最后,通过仿真探究模型参数对介电曲线的影响规律,构建模型参数与绝缘程度之间的联系,将提出的老化特征参数与断裂伸长率(EAB)进行量化研究。研究结果表明,修正分数P-T模型能够准确拟合出不同老化程度高压XLPE海缆试样的介电曲线,提出的老化特征参数α、ε_(a)、ε_(b)和σ_(dc)可实现对高压XLPE海缆绝缘状态的量化评估。 展开更多
关键词 高压交联聚乙烯海缆 热老化 频域介电谱 分数Poynting-Thomson模型 老化特征参数 老化评估
下载PDF
谓词转换器的拓扑语义 被引量:2
2
作者 陈仪香 《数学进展》 CSCD 北大核心 2003年第2期221-229,共9页
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半拓扑空间概念,用以刻画连续谓词转换器的语义.针对不确定程序,本文引入了dI-domain上半稳定映射概念,给... 本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半拓扑空间概念,用以刻画连续谓词转换器的语义.针对不确定程序,本文引入了dI-domain上半稳定映射概念,给出了其等价刻画. 展开更多
关键词 谓词转换器 半拓扑空间 程序设计 D-半拓扑 稳定映射 SM-半拓扑空间 不确定程序 di-domain 拓扑语义
下载PDF
城轨交通DI型弹条接触疲劳断裂机理研究
3
作者 张帆 郭正扬 +2 位作者 王志强 王金朝 徐宁 《山西建筑》 2024年第8期142-144,共3页
以DI型弹条为研究对象,基于实验得到正常行车状态下弹条的频域特性,采用有限元仿真对弹条进行失效特性分析。研究表明,弹条的断裂为疲劳断裂,表面缺陷产生的应力集中是弹条发生疲劳断裂的主要原因;在正常行车条件下,弹条和钢轨均在360 H... 以DI型弹条为研究对象,基于实验得到正常行车状态下弹条的频域特性,采用有限元仿真对弹条进行失效特性分析。研究表明,弹条的断裂为疲劳断裂,表面缺陷产生的应力集中是弹条发生疲劳断裂的主要原因;在正常行车条件下,弹条和钢轨均在360 Hz和700 Hz附近产生峰值,其中钢轨的垂向及横向振动频谱变化趋势基本一致;弹条安装深度过大将导致弹条与铁垫板接触点产生一定应力集中,在长期强迫振动激励作用下弹条容易发生疲劳折断。 展开更多
关键词 DI型弹条 疲劳断裂 频域特性 失效分析
下载PDF
浮标—缆—物体综合系统动力学二维时域分析 被引量:6
4
作者 谢楠 郜焕秋 《水动力学研究与进展(A辑)》 CSCD 北大核心 2000年第2期202-213,共12页
本文介绍由表面浮标、缆和中间物体组成的综合海洋缆系统动力学特性的二维时域分析方法。建立了系统各组成部分运动数学模型 ,计及非线性水动力和缆的非线性特性。并给出了计算实例。
关键词 浮标系统 二维时域 综合海洋缆系统 动力学
下载PDF
基于几何结构的自适应空域错误隐藏算法 被引量:1
5
作者 杨丹 卢桂馥 周鸣争 《计算机工程》 CAS CSCD 2014年第3期274-277,共4页
针对视频传输时容易发生损坏或丢失数据的问题,提出一种基于几何结构的自适应空域错误隐藏算法,以提高恢复图像质量。利用受损宏块的相邻2层像素提取几何结构,依据受损块相邻像素区分平滑块和边缘块。对平滑块采用双线插值,对边缘块根... 针对视频传输时容易发生损坏或丢失数据的问题,提出一种基于几何结构的自适应空域错误隐藏算法,以提高恢复图像质量。利用受损宏块的相邻2层像素提取几何结构,依据受损块相邻像素区分平滑块和边缘块。对平滑块采用双线插值,对边缘块根据内外两层的转折点寻找边缘方向,从而划分区域插值运算。实验结果表明,对于不同宏块丢失率和不同的视频序列,该算法所恢复的视频序列的峰值信噪比比双线插值、方向插值算法提高了0.5 dB^3 dB,不仅避免了虚假边缘,而且也提高了方向插值的准确性,改善了恢复图像的主观效果。 展开更多
关键词 几何结构 错误隐藏 转折点 双线插值 方向插值 空域
下载PDF
修订的布卢姆认知教育目标分类学的理论意义与实践意义——兼论课程改革中“三维目标”说 被引量:92
6
作者 吴红耘 皮连生 《课程.教材.教法》 CSSCI 北大核心 2009年第2期92-96,共5页
修订的布卢姆认知教育目标分类学,是从知识类型和认知过程两个维度来界定智育目标。这具有重要的理论意义,即它有助于我们重新定义知识、智育目标和能力概念;它强调用目标分类指导学习、教学和评估以及三者的一致性,也具有重要的教... 修订的布卢姆认知教育目标分类学,是从知识类型和认知过程两个维度来界定智育目标。这具有重要的理论意义,即它有助于我们重新定义知识、智育目标和能力概念;它强调用目标分类指导学习、教学和评估以及三者的一致性,也具有重要的教育实践意义;它反对将目标和教学活动相混淆,具有重要的现实意义。 展开更多
关键词 修订的布卢姆认知教育目标分类学 知识维度 认知过程维度 课程改革 “三维目标”说
下载PDF
一种双论域层次化软件建模框架与实践 被引量:3
7
作者 杨德仁 王晓峰 +2 位作者 韩强 刘建平 周玉玺 《软件导刊》 2021年第3期238-241,共4页
软件复杂性来源于业务域复杂性与软件过程中的人为性;前者导致软件本质复杂性,后者导致软件偶然复杂性。基于MDA模型及其转化理念,首先提出一种基于双论域的多层次软件建模框架,以解决软件复杂性问题;其次探索该框架实现机制并给出实践... 软件复杂性来源于业务域复杂性与软件过程中的人为性;前者导致软件本质复杂性,后者导致软件偶然复杂性。基于MDA模型及其转化理念,首先提出一种基于双论域的多层次软件建模框架,以解决软件复杂性问题;其次探索该框架实现机制并给出实践集;然后比较业务域建模与软件域建模;最后提出解决软件复杂性的框架机制。该框架可应用于软件工程实践与教学实践。 展开更多
关键词 软件复杂性 双论域 层次化建模
下载PDF
多阈值推算定位技术研究 被引量:4
8
作者 何连跃 李思昆 《计算机研究与发展》 EI CSCD 北大核心 2000年第8期990-993,共4页
推算定位技术是分布交互仿真系统缓解通信量及实时性问题的重要手段 ,但目前的推算定位算法采用统一的阈值 ,没有区别对待远距离实体与近距离实体 ,造成通信资源的浪费 .提出多阈值推算定位技术 ,根据实体的兴趣度把责任域划分成若干子... 推算定位技术是分布交互仿真系统缓解通信量及实时性问题的重要手段 ,但目前的推算定位算法采用统一的阈值 ,没有区别对待远距离实体与近距离实体 ,造成通信资源的浪费 .提出多阈值推算定位技术 ,根据实体的兴趣度把责任域划分成若干子责任域 ,同时本地实体进行多级推算 ,每级推算对应不同的子责任域及阈值 .多阈值推算定位技术很好地解决了近距离实体的行为失真与系统通信量之间的矛盾 。 展开更多
关键词 分布交互仿真 子责任域 多阈值推算定位
下载PDF
随机覆盖目标信息系统的属性约简 被引量:3
9
作者 方连花 李克典 《计算机工程与应用》 CSCD 2014年第2期107-111,共5页
引入随机覆盖目标信息系统的概念,以证据理论中的信任测度和似然测度为基本工具,研究了协调随机覆盖目标信息系统的属性约简和不协调随机覆盖目标信息系统的正域约简问题,最后给出实例验证了约简方法的有效性。
关键词 随机覆盖信息系统 信任测度 似然测度 正域约简 辨识矩阵
下载PDF
《黄帝内经》中的概念隐喻 被引量:5
10
作者 刘臻 卢卫中 《齐鲁师范学院学报》 2013年第1期123-126,共4页
《黄帝内经》作为中华民族的重要文化遗产,该书内处处充满了各种概念隐喻,充分体现了中国人独特的思维方式,对《黄帝内经》的隐喻进行研究,无疑对于中医这个中华民族的独特文化现象和中医的独特思维方式的研究具有很大的促进作用。文章... 《黄帝内经》作为中华民族的重要文化遗产,该书内处处充满了各种概念隐喻,充分体现了中国人独特的思维方式,对《黄帝内经》的隐喻进行研究,无疑对于中医这个中华民族的独特文化现象和中医的独特思维方式的研究具有很大的促进作用。文章利用认知语言学的概念隐喻理论和目标域和源域的映射关系分析了该书的脏腑隐喻和阴阳隐喻,这不仅是对于该书的中医语言进行的研究,还是对中医的独特的思维方式和治疗方式进行的研究。 展开更多
关键词 黄帝内经 隐喻 源域 目标域
下载PDF
基于高阶时域有限差分算法的电磁波传播计算 被引量:6
11
作者 苏卓 谭峻东 +1 位作者 张俊 龙云亮 《电波科学学报》 EI CSCD 北大核心 2014年第3期431-436,共6页
利用FDTD(2,4)高阶时域有限差分(Finite-Difference Time-Domain,FDTD)算法并结合滑动窗口的思想,对电磁波传播特性进行了仿真计算.采用的高阶FDTD算法在空间上达到四阶精度,与二阶精度的传统FDTD算法相比,在相同每波长采样数的条件下,... 利用FDTD(2,4)高阶时域有限差分(Finite-Difference Time-Domain,FDTD)算法并结合滑动窗口的思想,对电磁波传播特性进行了仿真计算.采用的高阶FDTD算法在空间上达到四阶精度,与二阶精度的传统FDTD算法相比,在相同每波长采样数的条件下,数值色散误差能得到进一步的减少.在源脉冲传播较长距离时,数值色散的减少使得时域下脉冲扩展现象得到改善,滑动子窗口仍然能包含着激励源脉冲的全部信息,从而可更加准确地计算长距离电波传播特性.另外,在相同的数值色散误差容限下,每波长采样数比传统二阶FDTD方法有所减少,从而节省存储空间,加快计算速度. 展开更多
关键词 时域有限差分算法 高阶 数值色散 电波传播
下载PDF
铜绿假单胞菌含Pilz结构域蛋白基因的克隆及原核表达
12
作者 黄卫东 郭嘉义 《宁夏医科大学学报》 2010年第5期564-567,F0003,共5页
目的克隆铜绿假单胞菌含Pilz结构域蛋白基因并构建其原核表达载体,为进一步研究这七种含Pilz结构域蛋白是否为第二信使c-di-GMP潜在的受体分子奠定实验基础。方法提取铜绿假单胞菌PAO1基因组DNA,用PCR方法从中扩增出七种功能未知的含Pil... 目的克隆铜绿假单胞菌含Pilz结构域蛋白基因并构建其原核表达载体,为进一步研究这七种含Pilz结构域蛋白是否为第二信使c-di-GMP潜在的受体分子奠定实验基础。方法提取铜绿假单胞菌PAO1基因组DNA,用PCR方法从中扩增出七种功能未知的含Pilz结构域蛋白基因,将其克隆到原核表达载体pET32a中,在大肠杆菌BL21(DE3)中用IPTG诱导表达,表达产物通过十二烷基磺酸钠-聚丙烯酰胺凝胶电泳(SDS-PAGE)进行鉴定。结果成功扩增出七种含Pilz结构域蛋白基因并构建其原核表达载体,测序结果与NCBI数据库收录序列相一致。SDS-PAGE检验证明目的基因在大肠杆菌BL21中获得高效表达。结论从铜绿假单胞菌基因组中成功地克隆了七种含Pilz结构域蛋白基因,其构建的原核表达载体在大肠杆菌BL21中获得了高效表达。 展开更多
关键词 铜绿假单胞菌 c-di-GMP第二信使 Pilz结构域蛋白 基因克隆 原核表达载体构建
下载PDF
有监督不相关局部Fisher判别分析故障诊断 被引量:7
13
作者 李锋 王家序 +1 位作者 汤宝平 邓成军 《振动工程学报》 EI CSCD 北大核心 2015年第4期657-665,共9页
针对现有流形学习理论用于旋转机械故障诊断存在识别精度不高的问题,提出基于有监督不相关局部Fisher判别分析(Supervised Uncorrelated Local Fisher Discriminant Analysis,SULFDA)的新型故障诊断方法。首先构造全面表征不同故障特征... 针对现有流形学习理论用于旋转机械故障诊断存在识别精度不高的问题,提出基于有监督不相关局部Fisher判别分析(Supervised Uncorrelated Local Fisher Discriminant Analysis,SULFDA)的新型故障诊断方法。首先构造全面表征不同故障特征的时频域特征集,再利用有监督不相关局部Fisher判别分析将高维时频域故障特征集化简为区分度更好的低维特征矢量,并输入到K-近邻分类器中进行故障模式辨识。有监督不相关局部Fisher判别分析在类标签指导下最小化同类流形的离散度并最大化异类流形的离散度来实现类判别,还施加了不相关约束条件使所提取的特征统计不相关,提高了针对旋转机械的故障诊断精度。深沟球轴承故障诊断实验验证了该方法的有效性。 展开更多
关键词 故障诊断 旋转机械 时频域特征集 有监督不相关局部Fisher判别分析 流形学习
下载PDF
嗜酸乳杆菌GGDEF和EAL结构域相关蛋白的表达、纯化及活性分析 被引量:2
14
作者 何嘉辉 孙洁丽 +1 位作者 闫文娟 王方 《南方医科大学学报》 CAS CSCD 北大核心 2017年第5期633-639,共7页
目的鉴定嗜酸乳杆菌(Lactobacillus acidophilus)中含GGDEF和EAL结构域相关蛋白的功能。为进一步研究环二鸟苷酸(c-di-GMP)在该菌株中的调控机制奠定基础。方法从嗜酸乳杆菌ATCC4356基因组中PCR扩增出NH13_07045-GGDEF、NH13_07050和NH1... 目的鉴定嗜酸乳杆菌(Lactobacillus acidophilus)中含GGDEF和EAL结构域相关蛋白的功能。为进一步研究环二鸟苷酸(c-di-GMP)在该菌株中的调控机制奠定基础。方法从嗜酸乳杆菌ATCC4356基因组中PCR扩增出NH13_07045-GGDEF、NH13_07050和NH13_07055这3个基因片段,分别构建其重组表达质粒。经鉴定后,转入大肠杆菌表达宿主中,用异丙基-β-D-硫代吡喃半乳糖苷(IPTG)诱导表达重组蛋白,经直链淀粉树脂纯化后进行体外酶活性实验,再通过高效液相色谱检测反应产物。结果通过PCR扩增的目的基因片段经重组质粒双酶切后其大小与预期相符,测序结果与Gen Bank中嗜酸乳杆菌ATCC4356基因序列一致,表明重组质粒构建成功。SDS-PAGE和Western Blot检测表达的重组蛋白相对分子质量分别约为59000(含GGDEF结构域)、67000(含EAL结构域)和72000(含EAL结构域),与预期大小吻合。经树脂亲和柱纯化及浓缩获得目的蛋白。高效液相色谱分析结果显示,NH13_07045-GGDEF的表达产物体外无明显双鸟苷酸环化酶(DGC)活性,NH13_07050的表达产物体外具有磷酸二酯酶(PDE)活性,而NH13_07055的表达产物在体外无明显PDE活性。结论在本研究的3种基因中,NH13_07050的表达产物在体外具有磷酸二酯酶(PDE)的活性。为研究环二鸟苷酸在嗜酸乳杆菌中的调控机制提供了实验依据。 展开更多
关键词 嗜酸乳杆菌 环二鸟苷酸 GGDEF结构域 EAL结构域 酶活性检测 高效液相色谱
下载PDF
剪切波对HIFU经颅聚焦形成温度场影响的数值仿真研究 被引量:3
15
作者 张艳秋 张浩 +1 位作者 孙天宇 菅喜岐 《应用声学》 CSCD 北大核心 2019年第3期411-418,共8页
在高强度聚焦超声经颅治疗时,既有纵波又有剪切波,为了保障该治疗方法的安全有效性,有必要分析剪切波对HIFU治疗温度场的影响.该文基于人体头颅CT数据和曲率半径为150 mm的256阵元的半球相控换能器建立三维高强度聚焦超声经颅声波传播模... 在高强度聚焦超声经颅治疗时,既有纵波又有剪切波,为了保障该治疗方法的安全有效性,有必要分析剪切波对HIFU治疗温度场的影响.该文基于人体头颅CT数据和曲率半径为150 mm的256阵元的半球相控换能器建立三维高强度聚焦超声经颅声波传播模型,利用时域有限差分法结合Westervelt声波非线性传播方程、动量方程、质量守恒方程和Pennes生物热传导方程数值仿真其形成温度场,研究在相同输入功率、不同聚焦角度条件下对应阵元数进行激励时,剪切波对换能器形成温度场的影响.结果表明,随换能器聚焦角度减小,在几何焦点处形成的焦域面积逐渐增大,考虑剪切波形成的温度场达到65?C所需时间逐渐延长,焦点前移程度越大;在相同聚焦角度条件下,考虑剪切波的温度场达到65?C所需时间更短,旁瓣更少,在颅骨处的温度更高,对焦点前移几乎没有影响;随换能器聚焦角度减小,考虑剪切波的模型形成的焦域面积变化范围更大;幂指数函数形式对不同聚焦角度下焦域面积大小的拟合优度高,可预测不同聚焦角度换能器形成的焦域面积. 展开更多
关键词 高强度聚焦超声 剪切波 聚焦角度 温度场 时域有限差分
下载PDF
可见光通信中LED的非线性后失真补偿技术研究 被引量:1
16
作者 徐旭东 《微型机与应用》 2017年第22期78-82,90,共6页
在可见光通信系统中,发光二极管(Light Emitting Diode,LED)的非线性特性是可见光通信系统存在非线性失真的主要原因。针对可见光通信的LED非线性失真的补偿技术的研究主要分为预失真补偿和后失真补偿技术。由于预失真方法需要在发送端... 在可见光通信系统中,发光二极管(Light Emitting Diode,LED)的非线性特性是可见光通信系统存在非线性失真的主要原因。针对可见光通信的LED非线性失真的补偿技术的研究主要分为预失真补偿和后失真补偿技术。由于预失真方法需要在发送端增加一个物理反馈回路,因此这种方法的性价比并不高。与预失真方法相比,后失真方法从接收端对信号进行补偿,不需要额外的反馈回路。现有的后失真方法,如Volterra判决反馈均衡方法、自适应后失真补偿方法以及从频域均衡的角度对系统进行补偿的方法,都在很大程度上减轻了LED的非线性失真问题对可见光通信系统造成的影响。机器学习作为智能化的核心,将其与后失真技术相结合,同样可以在很大程度上减轻LED的非线性失真带来的影响。 展开更多
关键词 后失真 Volterra判决反馈均衡 自适应后失真 频域均衡 机器学习
下载PDF
基于数据压缩的二次扩频信号时域捕获方法 被引量:1
17
作者 罗正平 林静然 +1 位作者 李玉柏 彭启琮 《数据采集与处理》 CSCD 北大核心 2012年第3期394-398,共5页
提出了一种基于数据压缩的二次扩频信号时域捕获方法,可以在几乎不影响捕获性能的条件下,降低时域捕获的运算量,提高捕获速度。根据传统捕获法中重复数据的特点,本文提出了一种数据压缩方法:首先,利用NCO原理将接收数据按半码片边界进... 提出了一种基于数据压缩的二次扩频信号时域捕获方法,可以在几乎不影响捕获性能的条件下,降低时域捕获的运算量,提高捕获速度。根据传统捕获法中重复数据的特点,本文提出了一种数据压缩方法:首先,利用NCO原理将接收数据按半码片边界进行压缩;其次,根据二次扩频信号中PRN码的周期性特点进行周期压缩;最后,进行二维扩频码相位搜索。仿真结果表明该方法的捕获增益损失很小,并且在很大程度上降低了运算的冗余度。 展开更多
关键词 数据压缩 时域捕获 二次扩频
下载PDF
鱼腥蓝细菌PCC7120 alr3504基因缺失突变体的构建及表型分析
18
作者 戴燕 王莉 陈雯莉 《微生物学报》 CAS CSCD 北大核心 2008年第11期1532-1536,共5页
c-di-GMP是新发现的真细菌所特有的第二信使,其合成和降解由双鸟苷酸环化酶和磷酸二酯酶分别完成。经生物信息学分析,鱼腥蓝细菌PCC7120基因alr3504可能编码含有保守GGDEF结构域的双鸟苷酸环化酶。【目的】为了鉴定该基因的功能,【方法... c-di-GMP是新发现的真细菌所特有的第二信使,其合成和降解由双鸟苷酸环化酶和磷酸二酯酶分别完成。经生物信息学分析,鱼腥蓝细菌PCC7120基因alr3504可能编码含有保守GGDEF结构域的双鸟苷酸环化酶。【目的】为了鉴定该基因的功能,【方法】采用标记置换方法将alr3504缺失。【结果】敲除该基因后,发现缺失突变体的形态、生长速度及异形胞发育与野生型无明显差异,但在盐胁迫条件下,突变体比野生型对钠盐更敏感。【结论】可见alr3504虽不直接影响异形胞发育,但参与了其它信号途径,研究结果为阐明蓝细菌丰富而复杂的信号转导机制奠定了基础。 展开更多
关键词 鱼腥蓝细菌 c-di—GMP GGDEF结构域 双鸟苷酸环化酶 磷酸二酯酶
下载PDF
采用波数域成像方法研究中国南海及邻区岩石圈三维密度扰动
19
作者 侯静 方剑 何慧优 《武汉大学学报(信息科学版)》 EI CAS CSCD 北大核心 2024年第11期2091-2100,共10页
中国南海位于欧亚板块、太平洋板块和印度洋板块交汇处,经历了大陆破裂和海底扩张等复杂的构造活动。研究中国南海及邻区大尺度的岩石圈三维密度结构对于认识该地区深部构造特征、板块演化和动力学机制等具有十分重要的意义。目前对该... 中国南海位于欧亚板块、太平洋板块和印度洋板块交汇处,经历了大陆破裂和海底扩张等复杂的构造活动。研究中国南海及邻区大尺度的岩石圈三维密度结构对于认识该地区深部构造特征、板块演化和动力学机制等具有十分重要的意义。目前对该地区密度结构的研究多采用地震波剖面资料,大尺度区域性研究较少。重力数据的大尺度和高分辨率特点在研究大尺度三维密度扰动方面具有很大优势。因此,利用高精度的重力场模型数据,采用波数域三维密度成像方法反演了中国南海及邻区大尺度高分辨率的三维密度扰动。研究结果表明,岩石圈密度扰动分布结果呈现出不同深度的密度波动和异常分布。中央海盆下方存在相对邻区较低密度的地幔,该地幔与洋盆的高热流背景有关。中沙群岛、南沙海槽区域存在高密度异常,猜测这些地区高密度扰动可能是由于地幔热物质上涌导致高密度的地幔物质侵入到相对较低密度的下地壳中造成的。马尼拉海沟在地幔处显示出明显低密度,这是由于板块俯冲作用造成的,使密度较低的洋壳下沉到高密度地幔中。 展开更多
关键词 中国南海 重力异常 波数域三维密度成像 密度扰动
原文传递
事件结构与Domain
20
作者 熊利平 寇辉 《模糊系统与数学》 CSCD 北大核心 2012年第3期156-163,共8页
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态... 研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。 展开更多
关键词 事件结构 性质I L-DOMAIN di-domain
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部