期刊文献+
共找到32篇文章
< 1 2 >
每页显示 20 50 100
基于流形拓扑的三维空间实体形式化描述 被引量:19
1
作者 郭薇 陈军 《武汉测绘科技大学学报》 CSCD 1997年第3期201-206,共6页
阐述了三维空间实体语义概念及空间实体之间拓扑性质形式化描述的意义,以组合及点集拓扑理论为基础,给出了基于k-维伪流形的三维空间实体的语义定义。将单纯同调理论用于流形,通过单纯形和单纯复形间的几何构造关系,揭示出三维空... 阐述了三维空间实体语义概念及空间实体之间拓扑性质形式化描述的意义,以组合及点集拓扑理论为基础,给出了基于k-维伪流形的三维空间实体的语义定义。将单纯同调理论用于流形,通过单纯形和单纯复形间的几何构造关系,揭示出三维空间实体的拓扑性质并给出三维空间实体的形式化描述方法。 展开更多
关键词 组合拓扑 三维空间实体 形式化 GIS 流形拓扑
原文传递
雷达海杂波测量试验回顾与展望 被引量:29
2
作者 丁昊 刘宁波 +2 位作者 董云龙 陈小龙 关键 《雷达学报(中英文)》 CSCD 北大核心 2019年第3期281-302,共22页
在复杂海洋环境条件下,海上目标探测性能受海杂波的影响很大。海杂波影响因素众多,机理复杂,特征描述和抑制难度大,需要开展长期、系统、持续、深入研究。开展海杂波测量试验并获取不同参数影响下的测量数据,是有效支撑该研究的重要前... 在复杂海洋环境条件下,海上目标探测性能受海杂波的影响很大。海杂波影响因素众多,机理复杂,特征描述和抑制难度大,需要开展长期、系统、持续、深入研究。开展海杂波测量试验并获取不同参数影响下的测量数据,是有效支撑该研究的重要前提。该文重点围绕海杂波测量试验情况,从岸基试验和机载试验两个方面,对加拿大、南非、澳大利亚、美国、西班牙、德国等国家开展的典型外场试验进行了归类梳理和总结,回顾了美国和日本开展的造浪池海杂波测量试验,并简要介绍了国内开展的海杂波测量试验和烟台的海上目标探测试验中心建设情况。最后,对后续试验仍需重点关注的方向做了展望,包括系统性、持续性的海杂波测量试验仍需进一步开展,任务背景牵引的海杂波测量试验及数据分析仍需强化,面向智能雷达应用的海杂波和目标回波数据集亟需构建。 展开更多
关键词 海杂波 目标探测 测量试验 特征描述 雷达
下载PDF
人造血管的发展与应用 被引量:7
3
作者 吴长福 王文祖 《产业用纺织品》 2003年第8期4-7,共4页
本文介绍了人造血管的历史、使用的材料、加工的方法、性能要求和表征指标 ,以及人造血管在显微外科临床上的应用与国内外人造血管的发展状况。
关键词 医用纺织品 人造血管 性能 表征指标 发展 应用
下载PDF
支持模型驱动开发的软构件形式化描述方法 被引量:2
4
作者 侯金奎 王成端 《计算机应用》 CSCD 北大核心 2015年第9期2692-2700,共9页
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探... 针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。 展开更多
关键词 模型驱动的软件开发 模型转换 特性描述 语义验证
下载PDF
Some Concepts on Statistical Models of Relating Mechanical Properties to Chemical Composition
5
作者 Jun Wu~(1)) Chaobin Hao~(2)) Yana Wang~(1)) Shiqi Li~(1)) Linjie Yang~(1)) 1) Metallurgy School, UST Beijing, Beijing 100083, China 2) Chinese Nuclear Information Center 《International Journal of Minerals,Metallurgy and Materials》 SCIE EI CAS CSCD 1998年第2期84-86,共3页
Following the basic principle of modem multivariate statistical analysis theory, the description model, prediction model and control model to relate chemical compositions and mechanical properties of steels are introd... Following the basic principle of modem multivariate statistical analysis theory, the description model, prediction model and control model to relate chemical compositions and mechanical properties of steels are introduced. As an example, the total flowchart of components and structure/properties description, prediction and control model for chemical composition and mechanical properties of 20 and A_2 steel are presented. 展开更多
关键词 mechanical property statistical model PREDICTION description CONTROL
下载PDF
电声领域专利申请撰写的典型问题研究 被引量:1
6
作者 张春伟 袁野 +3 位作者 陈嘉佳 王振佳 丁沙 乔毅 《电声技术》 2012年第S1期20-22,共3页
近年来,电声领域的专利申请量迅速增长,各大企业和科研机构逐渐认识到,并且也开始使用专利来维护权益。专利制度运用的前提是一份有效且稳定的专利权。分析介绍了电声领域撰写申请文件中一些典型的问题,对权利要求和说明书的撰写进行了... 近年来,电声领域的专利申请量迅速增长,各大企业和科研机构逐渐认识到,并且也开始使用专利来维护权益。专利制度运用的前提是一份有效且稳定的专利权。分析介绍了电声领域撰写申请文件中一些典型的问题,对权利要求和说明书的撰写进行了细致分析说明,并介绍了电声领域专利申请中的一些注意事项。 展开更多
关键词 电声领域 专利申请 知识产权 权利要求 说明书
下载PDF
汉英特殊被动句对比研究 被引量:1
7
作者 杨吉风 《西安外国语大学学报》 2012年第4期25-28,38,共5页
英汉特殊被动句的句法和语义有某些相通之处。句法上,均可以违背被动化所特有的句法条件,而语义均倾向于表述主语的某种特征或持久性状态。特征读取取决于一种抽象的运作机制:事件论元抑制。事件抑制把舞台层面事件转变为个体层面状态,... 英汉特殊被动句的句法和语义有某些相通之处。句法上,均可以违背被动化所特有的句法条件,而语义均倾向于表述主语的某种特征或持久性状态。特征读取取决于一种抽象的运作机制:事件论元抑制。事件抑制把舞台层面事件转变为个体层面状态,这种意义转变需要通过建立话题—述题这一述谓关系来解释。英汉特殊被动句在这种述谓关系的建立机制方面既有共性又有差异。 展开更多
关键词 特征描写 事件论元 英汉对比
下载PDF
汉英特殊被动句对比研究——基于事件语义框架
8
作者 杨吉风 《北京航空航天大学学报(社会科学版)》 2013年第2期93-98,共6页
基于事件语义框架和Davidson事件论元抑制这一分析机制,对于汉英特殊被动句进行了对比研究。汉英特殊被动句的句法和语义有某些相通之处。句法上,均可以违背被动化特有的句法条件,而语义均倾向于表述主语的某种特征或持久性状态。特征... 基于事件语义框架和Davidson事件论元抑制这一分析机制,对于汉英特殊被动句进行了对比研究。汉英特殊被动句的句法和语义有某些相通之处。句法上,均可以违背被动化特有的句法条件,而语义均倾向于表述主语的某种特征或持久性状态。特征读取取决于一种抽象的运作机制:事件论元抑制。事件抑制把舞台层面事件转变为个体层面状态。汉英特殊被动句在特征描写形成机制方面既有共性又有差异。 展开更多
关键词 特殊被动句 特征描写 事件论元抑制 汉英对比
下载PDF
储层物性受控于剥蚀面的地质建模——以江汉盆地钟市油田为例
9
作者 李君 李少华 +1 位作者 程琛 郑勇 《海相油气地质》 北大核心 2014年第1期74-78,共5页
江汉盆地钟市油田西北边大型的剥蚀面对储层物性的影响较大。通过计算和分析,认识到油田的储层物性沿东南方向,越靠近剥蚀面,物性越差,分析得到的结果与实际地质情况相吻合。基于这种情况,在建模过程中将这种地质认识及分析结果融入到... 江汉盆地钟市油田西北边大型的剥蚀面对储层物性的影响较大。通过计算和分析,认识到油田的储层物性沿东南方向,越靠近剥蚀面,物性越差,分析得到的结果与实际地质情况相吻合。基于这种情况,在建模过程中将这种地质认识及分析结果融入到了实际模型的建立中,结果比较好地体现了储层物性随剥蚀面的变化特点,同时对模拟结果的可靠性进行了检验。 展开更多
关键词 储层物性 地层剥蚀面 储层描述 储层地质建模 模型检验
下载PDF
从《有产业的人》看高尔斯华绥创作的现代性
10
作者 张莉 《南阳理工学院学报》 2016年第5期88-91,共4页
作为英国20世纪现实主义小说三杰之一——高尔斯华绥的成名作,亦是其《福尔赛世家》家世小说的开篇之作,无论从思想上还是艺术上来看,《有产业的人》无疑都堪能折射出高尔斯华绥创作的卓绝之处。基于此,本文拟以此小说为蓝本,从叙事视... 作为英国20世纪现实主义小说三杰之一——高尔斯华绥的成名作,亦是其《福尔赛世家》家世小说的开篇之作,无论从思想上还是艺术上来看,《有产业的人》无疑都堪能折射出高尔斯华绥创作的卓绝之处。基于此,本文拟以此小说为蓝本,从叙事视角、作者出面、互文、情节结构四个方面出发,纵横双向、立体多维地发掘探索诺贝尔文学奖所言的"描述的卓越艺术"之所在,并以此为依据,佐证高尔斯华绥小说创作叙事的现代性和永恒的文学价值。 展开更多
关键词 高尔斯华绥 有产业的人 描述 现代性
下载PDF
英汉特殊被动句对比研究
11
作者 杨吉风 《天津外国语大学学报》 2012年第3期8-15,共8页
传统上仅从语法论元的提升或抑制角度来解释被动化的功能,在此基础上探讨被动化功能的特征描写。英汉特殊被动句的句法和语义有某些相通之处,句法上均可以违背被动化所特有的句法条件,而语义均倾向于表述主语的某种特征或持久性状态。... 传统上仅从语法论元的提升或抑制角度来解释被动化的功能,在此基础上探讨被动化功能的特征描写。英汉特殊被动句的句法和语义有某些相通之处,句法上均可以违背被动化所特有的句法条件,而语义均倾向于表述主语的某种特征或持久性状态。特征读取取决于一种抽象的运作机制:事件论元抑制。事件论元抑制把舞台层面事件转变为个体层面状态,这种意义转变需要通过建立话题—述题这一述谓关系来解释。英汉特殊被动句在这种述谓关系的建立机制方面既有共性又有差异。 展开更多
关键词 特征描写 事件论元抑制 英汉对比
下载PDF
数字权益管理技术 被引量:38
12
作者 张晓林 《现代图书情报技术》 CSSCI 北大核心 2001年第5期3-7,10,共6页
简要描述数字权益管理的整体机制和技术框架 ,介绍权益描述语言、数字内容保护技术、权益管理机制等的技术要求和范例系统。
关键词 数字权益管理 知识产权 权益描述语言 保护技术 DRM 管理机制
下载PDF
快速气相色谱及其在石油勘探中的应用 被引量:16
13
作者 李江陵 武庆河 《录井技术》 2002年第2期54-60,共7页
该文在对Datalog综合录井系统快速气相色谱仪简介的基础上,探讨了快速气相色谱特点;通过实例分析阐述了快速气相色谱在现场应用过程中,对薄层分析、地质导向、电性对比和岩性描述几个方面的重要作用。快速气相色谱投入现场应用,拓展了... 该文在对Datalog综合录井系统快速气相色谱仪简介的基础上,探讨了快速气相色谱特点;通过实例分析阐述了快速气相色谱在现场应用过程中,对薄层分析、地质导向、电性对比和岩性描述几个方面的重要作用。快速气相色谱投入现场应用,拓展了气测录井服务的领域,为快速钻井条件下,及时识别油气层,指导安全优化钻井起到了进一步的保障作用。 展开更多
关键词 快速气相色谱 石油勘探 应用 气测录井 分析周期 解释 薄层 电性对比 岩性描述
下载PDF
渗透率粗化在精细油藏描述中的应用研究 被引量:6
14
作者 王家华 马媛 《电脑知识与技术》 2010年第2期942-943,共2页
比较了渗透率粗化的几种算法,分析了在建立渗透率粗化模型过程中可能出现的问题,结合实例,建立了渗透率粗化模型,研究了渗透率粗化在精细油藏描述中的应用。
关键词 渗透率粗化 算法 属性建模 精细油藏描述
下载PDF
知识产权强国指标体系构建与分析 被引量:6
15
作者 陈燕 陈泽欣 谢小勇 《中国科学院院刊》 CSCD 2016年第9期979-988,共10页
随着世界范围内技术革命和产业变革不断加快,知识产权作为一种新兴生产要素,对激励创新发挥着越来越重要的战略性作用。建设知识产权强国,增强知识产权对我国经济和产业发展的积极推动作用和基础保障作用势在必行。文章从知识产权强国... 随着世界范围内技术革命和产业变革不断加快,知识产权作为一种新兴生产要素,对激励创新发挥着越来越重要的战略性作用。建设知识产权强国,增强知识产权对我国经济和产业发展的积极推动作用和基础保障作用势在必行。文章从知识产权强国的内涵出发,尝试构建一套用以反映知识产权强国特征的评价指标体系,从知识产权能力、知识产权绩效和知识产权环境3个方面对我国的知识产权综合发展状况开展指数评价和国际比较分析,并结合评价结论,对当前形势下加快知识产权强国建设提出相关建议。 展开更多
关键词 知识产权强国 特征描述 指标体系
原文传递
可编程逻辑器件设计新思路 被引量:1
16
作者 刘达 龚建荣 《微电子技术》 2003年第1期23-27,共5页
可编程逻辑器件在集成电路的发展中占有重要地位。深亚微米与超深亚微米技术的发展使可编程逻辑器件向系统级可编程芯片转移。本文详细阐述了基于IP的系统级可编程芯片的设计策略。
关键词 可编程逻辑器件 电子设计自动化 复杂可编程逻辑器件 系统级可编程芯片 PLD
下载PDF
基于时序逻辑的仿真系统行为验证方法
17
作者 彭丹华 吴正雄 +1 位作者 李廷鹏 耿宏峰 《现代电子技术》 2023年第5期175-179,共5页
仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系... 仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系统行为验证方法。该方法首先根据真实系统和实测数据,结合专家经验,对所关注的仿真系统行为属性进行提取;其次,利用时序逻辑语言对提取的待验证属性进行形式化描述;然后,运行仿真系统并获得相应的输出数据,利用验证算法自动检验仿真数据是否满足给定的属性,从而实现行为验证;基于对武器装备体系对抗仿真领域的验证属性分析,选取度量区间时序逻辑作为属性的形式化描述语言;最后,通过一个防空对抗仿真系统的验证示例,表明了该方法的有效性。 展开更多
关键词 仿真系统 行为验证 可信性评估 时序逻辑 行为属性提取 形式化描述 数据检验
下载PDF
结构性软黏土一维压缩变形特性的数学描述 被引量:4
18
作者 柯文汇 陈健 +3 位作者 盛谦 房强 卞晓曼 赵青 《长江科学院院报》 CSCD 北大核心 2016年第7期87-92,共6页
为了研究结构性软黏土一维压缩变形特性的影响,在软黏土一维压缩结构破坏特征的基础上,揭示了压缩指数随孔隙比的变化规律,提出了土体结构渐进破坏的数学描述模式;基于上述描述模式,首先推导了一维压缩曲线的数学表达式,分析了结构效应... 为了研究结构性软黏土一维压缩变形特性的影响,在软黏土一维压缩结构破坏特征的基础上,揭示了压缩指数随孔隙比的变化规律,提出了土体结构渐进破坏的数学描述模式;基于上述描述模式,首先推导了一维压缩曲线的数学表达式,分析了结构效应参数对压缩曲线性状的影响规律;然后利用10种典型结构性软黏土的一维压缩试验结果对数学描述模式进行了验证,并以Mexico City clay为例,将描述模式和其他6种常用描述模式的模拟效果进了对比分析;最后分析了软黏土结构效应参数随(w-wP)的变化规律,通过线性回归得出了结构效应参数的经验关系式。研究结果表明提出的描述模式能较准确地描述一维条件下结构性软黏土的压缩变形的结构破坏特征。成果为建立结构性软黏土的本构模型提供了一定的理论基础,也为进一步研究结构性软黏土的变形特性提出了新的思路。 展开更多
关键词 软黏土 土体结构性 结构破坏 压缩特性 数学描述 原始压缩曲线 结构效应参数
下载PDF
FPGA技术在核安全级仪控系统中的应用探讨 被引量:4
19
作者 尹宝娟 毛从吉 +1 位作者 张宓 黄伟杰 《自动化仪表》 CAS 北大核心 2013年第11期53-55,58,共4页
FPGA技术因其具有集成度高等特点而得到了快速广泛的应用。在核电站仪控系统数字化升级改造过程中,FPGA技术可否应用、如何应用已成为一项紧迫研究的重要课题。分析了FPGA的技术特点及其应用于核电站仪控系统中面临的挑战,提出了在使用... FPGA技术因其具有集成度高等特点而得到了快速广泛的应用。在核电站仪控系统数字化升级改造过程中,FPGA技术可否应用、如何应用已成为一项紧迫研究的重要课题。分析了FPGA的技术特点及其应用于核电站仪控系统中面临的挑战,提出了在使用标准、开发过程、设计技术和工具选用等方面可能的应对措施。最后,对FPGA在国内的后续应用进行了探讨。 展开更多
关键词 IP核 现场可编程门阵列 安全级仪控系统 软件开发过程 硬件描述语言
下载PDF
复杂断块区浊积岩储层描述方法研究及应用
20
作者 商伟 《科学技术创新》 2023年第6期61-64,共4页
以地震属性预测和反演技术为主的浊积岩储层描述方法在构造相对简单的地区应用效果好,然而对于构造复杂,断裂破碎的地区,该方法预测精度明显降低。基于相控属性建模的浊积岩有效储层描述方法,利用精细构造解释结果,建立三维构造模型,在... 以地震属性预测和反演技术为主的浊积岩储层描述方法在构造相对简单的地区应用效果好,然而对于构造复杂,断裂破碎的地区,该方法预测精度明显降低。基于相控属性建模的浊积岩有效储层描述方法,利用精细构造解释结果,建立三维构造模型,在构造模型的基础上,利用井震联合约束,建立岩相模型,此模型为约束条件,建立孔、渗属性模型。在辛镇地区沙三中浊积岩储层描述中,从岩相模型可计算出砂体的厚度,依据单砂体厚度大于3 m预测了储层分布范围,而通过孔隙度和渗透率等属性模型,划定标准(即:孔隙度大于10%、渗透率值大于50 mD)预测有效储层分布范围,预测结果与探明范围对比,吻合效果较好。 展开更多
关键词 相控属性建模 储层描述 约束条件
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部