期刊文献+
共找到137篇文章
< 1 2 7 >
每页显示 20 50 100
Combining Symbolic tools with interval analysis. An application to solve robust control problems.
1
作者 Inès Ferrer-Mallorquí Josep Vehí 《American Journal of Computational Mathematics》 2014年第3期183-196,共14页
Complex systems are often subjected to uncertainties that make its model difficult, if not impossible to obtain. A quantitative model may be inadequate to represent the behavior of systems which require an explicit re... Complex systems are often subjected to uncertainties that make its model difficult, if not impossible to obtain. A quantitative model may be inadequate to represent the behavior of systems which require an explicit representation of imprecision and uncertainty. Assuming that the uncertainties are structured, these models can be handled with interval models in which the values of the parameters are allowed to vary within numeric intervals. Robust control uses such mathematical models to explicitly have uncertainty into account. Solving robust control problems, like finding the robust stability or designing a robust controller, involves hard symbolic and numeric computation. When interval models are used, it also involves interval computation. The main advantage using interval analysis is that it provides guaranteed solutions, but as drawback its use requires the interaction with multiple kinds of data. We present a methodology and a framework that combines symbolic and numeric computation with interval analysis to solve robust control problems. 展开更多
关键词 symbolIC COMPUTATION INTERVAL analysis Robust control
下载PDF
膏盐岩-碳酸盐岩共生层系岩石微相及储层特征——以阿布扎比B油田侏罗系Arab组为例
2
作者 彭渝婷 刘波 +7 位作者 石开波 刘航宇 付英潇 宋彦辰 王恩泽 宋本彪 邓西里 叶禹 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2024年第4期639-656,共18页
为探究膏盐岩–碳酸盐岩共生层系强非均质性问题,基于岩芯及测井资料,探究阿布扎比B油田Arab组岩石微相类型,分析各类微相的储层特征及优质储层主控因素。Arab组可识别出12种微相类型(MF1~MF12),微相类型及组合指示其为局限–蒸发背景... 为探究膏盐岩–碳酸盐岩共生层系强非均质性问题,基于岩芯及测井资料,探究阿布扎比B油田Arab组岩石微相类型,分析各类微相的储层特征及优质储层主控因素。Arab组可识别出12种微相类型(MF1~MF12),微相类型及组合指示其为局限–蒸发背景下萨布哈潮坪–潟湖–障壁滩沉积体系。微相类型控制储层品质,其中MF2及MF9~MF12孔喉较粗,连通性好,孔隙度和渗透率较高,是储层发育有利微相类型。MF2和MF10发育白云岩储层,储集空间以晶间孔、残余粒间孔及粒内溶孔为主;MF9,MF11和MF12发育颗粒灰岩储层,储集空间以粒间(溶)孔、铸模孔及粒内溶孔为主。相对海平面的震荡性变化导致各沉积相带在纵向上的有序叠置,不同沉积相带之间或同一沉积相带内微相类型及成岩作用的差异性是Arab组储层强非均质性的根本原因。障壁滩和潮上带是优质储层发育的有利相带,其中障壁滩相优质储层原生粒间孔保持较好,并叠加显著的早期暴露溶蚀,导致次生孔隙的产生和孔隙结构的改善;潮上带优质储层的发育受控于早期白云石化和准同生溶蚀作用,白云石化改善孔隙结构,有利于早期孔隙保存,分散状硬石膏的早期溶蚀产生大量次生孔隙,显著地改善了储层物性。 展开更多
关键词 膏盐岩–碳酸盐岩共生层系 Arab组 岩石微相类型 储层特征 储层主控因素
下载PDF
玻利维亚Cuprita铜矿及其周缘火山喷发-岩浆侵入构造特征与找矿预测
3
作者 杜玉龙 方维萱 《大地构造与成矿学》 EI CAS CSCD 北大核心 2024年第4期709-723,共15页
玻利维亚北部火山喷发-岩浆侵入构造具有明显的成岩成矿作用。本文采用构造岩相学填图研究Cuprita铜矿及其周缘火山喷发-岩浆侵入构造组合、物质组成和控矿规律。结果显示:在Cuprita铜矿及其周缘发育渐新世-中新世火山穹窿构造与火山岩... 玻利维亚北部火山喷发-岩浆侵入构造具有明显的成岩成矿作用。本文采用构造岩相学填图研究Cuprita铜矿及其周缘火山喷发-岩浆侵入构造组合、物质组成和控矿规律。结果显示:在Cuprita铜矿及其周缘发育渐新世-中新世火山穹窿构造与火山岩相体,叠加晚中新世岩浆侵入构造与侵入岩体,构造组合样式有火山穹隆构造-环形断裂、岩浆侵入构造-近EW向断裂、岩浆热液角砾岩筒(带)与热液角砾岩相体。从火山穹隆中心向外,火山岩相依次发育火山通道相、火山爆发相、火山溢流相、火山沉积岩相;橄榄辉长玢岩-闪长玢岩呈岩株、岩枝和岩床产出;在岩株顶部和产状突变处发育热液角砾岩相,包含6类热液角砾岩。火山穹隆构造-环形断裂控制了火山岩相-火山沉积岩相空间分布与矿床的形成、分布;岩浆侵入构造-EW向断裂控制了岩浆热液成矿作用的发生与矿体的产出;热液角砾岩相与岩浆热液角砾岩筒(带)为储矿构造岩相体与储矿构造样式。预测在Cuprita铜矿岩浆热液角砾岩筒深部和外围以寄生火山穹隆构造为中心等是有利的找矿预测区。 展开更多
关键词 火山喷发‒岩浆侵入构造 构造组合 物质组成 控矿规律 找矿预测标志 玻利维亚Cuprita铜矿
下载PDF
Carrier frequency and symbol rate estimation based on cyclic spectrum 被引量:3
4
作者 CAO Sisi ZHANG Weiyan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2020年第1期37-44,共8页
Carrier frequency and symbol rate estimation are the main contents of parameter estimation,which is the basis of modulation recognition and further processing of signals especially in non-cooperative communication.Wit... Carrier frequency and symbol rate estimation are the main contents of parameter estimation,which is the basis of modulation recognition and further processing of signals especially in non-cooperative communication.With the development of wireless communication,the signal transmission environment has become increasingly bad,causing more difficulties in parameter estimation.It is well known that the signal cycle spectrum is robust to noises and signal parameters are closely related.In practice,it is impossible to calculate the cyclic spectrum of infinite length data signals.When using finite length data to obtain a cycle spectrum,the truncation noise is induced,resulting in interference.It is necessary to overcome the influence of noises in order to improve the detection ability of discrete spectral lines.An improved method of the discrete spectral line extraction algorithm is proposed by reflecting the amplitude advantage of discrete spectral lines through salient features of continuous noises in discrete spectral line neighborhood. 展开更多
关键词 digital modulation signal carrier frequency symbol rate cyclic spectrum noise control
下载PDF
考虑不确定性多智能体系统的分布式容错控制
5
作者 王艳丽 孙利娟 《沈阳工业大学学报》 CAS 北大核心 2023年第5期582-586,共5页
针对多智能体系统中存在的不确定性、参数摄动和执行器故障等问题,设计了分布式容错控制方法.建立了包含不确定性的多智能体系统乘性和加性故障数学模型,在领导者和领域内智能体状态量的基础上,通过引入参数自适应律和符号函数设计出分... 针对多智能体系统中存在的不确定性、参数摄动和执行器故障等问题,设计了分布式容错控制方法.建立了包含不确定性的多智能体系统乘性和加性故障数学模型,在领导者和领域内智能体状态量的基础上,通过引入参数自适应律和符号函数设计出分布式容错控制律,采用Lyapunov定理证明了设计的容错控制系统的稳定性.通过对无人机编队的仿真结果表明,所提控制方法与自适应协同容错控制方法相比表现出了更优的稳定性、准确性和快速性,速度和航迹角的最大误差分别仅为0.3 cm/s和0.1°,表现出了优良的容错性能. 展开更多
关键词 多智能体系统 不确定性 执行器故障 参数自适应律 分布式 容错控制律 符号函数 稳定性
下载PDF
基于BPMN的指挥控制流程建模方法
6
作者 樊良优 姚小强 +2 位作者 王刚 刘伟 何晟 《火力与指挥控制》 CSCD 北大核心 2023年第8期118-125,共8页
针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进... 针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进行更新扩充,实现流程任务与原子服务的精准匹配和动态更新,从指挥员和开发人员两个维度上体现了指挥控制流程一体化建模的特点。通过区域防空反导流程案例,验证了基于BPMN指挥控制流程模型具备灵活扩展,动态重组的特点。 展开更多
关键词 指挥控制 云原生 业务流程建模符号 原子服务
下载PDF
单基地多输入多输出声呐的方位分辨力 被引量:7
7
作者 刘雄厚 孙超 +1 位作者 杨益新 卓颉 《声学学报》 EI CSCD 北大核心 2016年第2期163-173,共11页
为了研究波形分集和发射子阵对多输入多输出(multiple-input multiple-output:MIMO)声呐方位分辨力的影响,建立了同时适用于MIMO声呐和传统有源声呐的远场和近场波束图推导模型,证明了这两种声呐具有相同的方位分辨力。首先,将MIMO声呐... 为了研究波形分集和发射子阵对多输入多输出(multiple-input multiple-output:MIMO)声呐方位分辨力的影响,建立了同时适用于MIMO声呐和传统有源声呐的远场和近场波束图推导模型,证明了这两种声呐具有相同的方位分辨力。首先,将MIMO声呐发射阵划分为子阵无重合与子阵有重合两种情况,并对传统有源声呐的发射阵也进行相同的划分。据此,推导出两者的远场和近场阵列流型向量均可表示为发射与接收阵列流型向量的直积。接着,利用阵列流型向量的一致性证明了波束图(远场和近场)的一致性。进一步地,证明了发射子阵有重合的情况等效于对发射阵列进行幅度加权(发射阵列中间部分的阵元权值大于两端部分的阵元权值),其可获得更低的波束图旁瓣级但不能提高方位分辨力。理论分析与仿真结果表明:MIMO声呐的有效孔径等于发射与接收联合孔径,其方位分辨力由发射与接收阵列结构所决定,波形分集和发射子阵并未带来更高的方位分辨力。 展开更多
关键词 方位分辨力 有源声呐 多输入多输出 接收阵列 单基 多输入多输出 MIMO 有效孔径
下载PDF
基于控制规则的地图符号化技术研究 被引量:4
8
作者 李少梅 孙群 +1 位作者 刘海砚 周炤 《测绘科学技术学报》 北大核心 2009年第2期135-139,共5页
在数字地图符号化过程中,普遍存在着同一种地理要素由于其某一属性项取值的不同而采用不同的地图符号进行符号化的情况。另外,由于数字地图中没有记录说明注记的位置、字体、颜色、方式等相关信息,因此说明注记在符号化过程中缺乏定位... 在数字地图符号化过程中,普遍存在着同一种地理要素由于其某一属性项取值的不同而采用不同的地图符号进行符号化的情况。另外,由于数字地图中没有记录说明注记的位置、字体、颜色、方式等相关信息,因此说明注记在符号化过程中缺乏定位和显示的相关依据。为了灵活、有效地解决上述问题,总结并提出了地图符号化控制规则,通过对控制规则的解释来实现数字地图的符号化。这种地图符号化技术已在实际应用中取得预期的效果,证明了其可行性。 展开更多
关键词 地图符号化 控制规则 数字地图 地理要素
下载PDF
基于多源空间数据的显示机制研究 被引量:4
9
作者 武舫 王家耀 +1 位作者 田智慧 熊伟 《测绘信息与工程》 2006年第4期25-27,共3页
提出了显示顺序控制和符号显示控制样式两个新概念,解决了多源数据的综合管理显示问题,改善了地图要素在不同显示比例尺段的显示效果。
关键词 多源空间数据 可视化 显示顺序控制 符号显示控制样式
下载PDF
基于k近邻最弱前置条件的程序多路径验证方法 被引量:5
10
作者 郭曦 王盼 +1 位作者 王建勇 张焕国 《计算机学报》 EI CSCD 北大核心 2015年第11期2203-2214,共12页
程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性... 程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性的路径的问题,另外由于路径条件过长而难以求解也限制了它的使用范围.该文提出基于k近邻最弱前置条件的程序多路径验证方法,该方法通过后向符号分析对程序调用图的构建过程进行改进,同时对指定的程序检测点生成最弱前置条件,并以该最弱前置条件为引导信息使用符号执行的方法在保证检测点可达的前提下有针对性地生成对程序性质进行验证的精简路径集合.实验结果表明,该方法可以提高程序验证的精度和准确性,并减少误报. 展开更多
关键词 程序验证 静态分析 最弱前置条件 符号执行 控制流图
下载PDF
周期扰动控制一维映象混沌运动 被引量:5
11
作者 成雁翔 王光瑞 陈式刚 《计算物理》 CSCD 北大核心 1997年第3期264-268,共5页
从一维映象出发提出了周期扰动控制混沌的方法,给出了针对给定动力学目标计算和估计扰动幅度的方法。
关键词 混沌 控制 符号动力学 周期扰动 一维映象
下载PDF
青海东昆仑那更康切尔银矿地质特征及找矿远景浅析 被引量:28
12
作者 许远平 谢万洪 +2 位作者 杨永峰 何政伟 文军 《新疆地质》 CAS CSCD 北大核心 2014年第1期113-117,共5页
青海省那更康切尔银矿是近年来在青海东昆仑成矿带首次发现的独立中低温构造热液型银矿床,运用地、物、化综合手段评价,发现了3条银矿化带、7条银矿体。通过对那更康切尔银矿地质特征、控矿因素及找矿标志进行综合分析和研究,认为该矿... 青海省那更康切尔银矿是近年来在青海东昆仑成矿带首次发现的独立中低温构造热液型银矿床,运用地、物、化综合手段评价,发现了3条银矿化带、7条银矿体。通过对那更康切尔银矿地质特征、控矿因素及找矿标志进行综合分析和研究,认为该矿床具大型银矿的成矿潜力,以指导区内该类矿床找矿方向。 展开更多
关键词 那更康切尔 矿床地质特征 控矿因素 找矿标志 成矿远景
下载PDF
ARINC661目标符号显控方式的研究与设计 被引量:2
13
作者 赵科东 孙永荣 +2 位作者 周晓达 冯悦 孙旭东 《电光与控制》 北大核心 2017年第10期59-63,共5页
针对ARINC661座舱显控系统目标符号实现方式繁琐冗余、DF开发者工作量大的问题,研究了自定义窗体部件及其参数接口,设计了一种新型显示项,可以依据DF文件中的设置信息以及UA指令中的配置信息,组合出复杂的目标符号。仿真显示试验表明,... 针对ARINC661座舱显控系统目标符号实现方式繁琐冗余、DF开发者工作量大的问题,研究了自定义窗体部件及其参数接口,设计了一种新型显示项,可以依据DF文件中的设置信息以及UA指令中的配置信息,组合出复杂的目标符号。仿真显示试验表明,该设计合理,运行可靠,在不增加CDS内存占用率和通信指令的基础上,大大减小了预定义符号库以及DF开发者的工作量,同时也便于后期维护。 展开更多
关键词 座舱显控系统 ARINC661 目标符号 显控方式
下载PDF
军事标图系统中随机军标的生成与控制研究 被引量:8
14
作者 梅霞 郝建新 +1 位作者 汤晓安 李欢 《兵工自动化》 2007年第11期42-45,共4页
采用扫描线填充算法,通过确定控制点进行曲线拟合,以及确定要绘制点图标的点坐标,构建随机军标的生成模型和控制模型。随机军标的结构控制包括围线与箭标两类,前者首先确定开曲线类军标给定的起始、终止两个控制点,然后确定军标的控制轴... 采用扫描线填充算法,通过确定控制点进行曲线拟合,以及确定要绘制点图标的点坐标,构建随机军标的生成模型和控制模型。随机军标的结构控制包括围线与箭标两类,前者首先确定开曲线类军标给定的起始、终止两个控制点,然后确定军标的控制轴;后者单箭头箭标的控制则包括箭标形状的调整和箭头移动。将其应用于军事标图原型系统,应用结果验证了该模型正确可行。 展开更多
关键词 随机军标 生成模型 控制模型 军事标图系统
下载PDF
基于智能符号回归的路径规划A^*算法均衡控制方法 被引量:6
15
作者 周亮 陆锋 郑年波 《中国图象图形学报》 CSCD 北大核心 2010年第5期802-807,共6页
随着地图网站和在线导航系统的普及,多用户网络并发出行信息查询服务的需求日益增长。如何满足多用户并发路径查询效率需求,同时又使得路径查询精度可控,是网络地理信息服务的瓶颈技术问题。本文提出了一种多用户并发路径查询精度效率... 随着地图网站和在线导航系统的普及,多用户网络并发出行信息查询服务的需求日益增长。如何满足多用户并发路径查询效率需求,同时又使得路径查询精度可控,是网络地理信息服务的瓶颈技术问题。本文提出了一种多用户并发路径查询精度效率均衡控制方法,利用系统抽样和智能符号回归技术,根据动态变化的在线路径查询用户规模和系统响应效率容忍阈值,在经典的路径查询A*启发式算法基础上,根据大样本确定的路径查询严密算法和对应启发式算法得到的系统耗时比和精度比,实时自动确定启发式路径查询启发因子权重,有效平衡多用户并发路径查询的响应效率和精度损失,自适应地控制路径查询算法的精度和效率之间的平衡,在精度预先可控的前提下,最大限度地提升多用户并发路径查询效率,缩短用户的路径查询等待时间。 展开更多
关键词 路径规划 A*算法 均衡控制 智能符号回归
下载PDF
域F(z)上RLC电网络结构性质分析的计算机实现 被引量:1
16
作者 高国章 冯常奇 鲁凯生 《武汉理工大学学报(交通科学与工程版)》 2006年第1期73-76,共4页
介绍了在VC++中调用M ATLAB的几种典型方法,重点阐述了引擎调用,以及VC++中环境的设置.在研究多元有理函数域F(z)上RLC电网络的结构性质时,要建立其状态方程和能控(观)性矩阵,就要用到符号矩阵的运算.文中通过实例来说明调用M ATLAB符... 介绍了在VC++中调用M ATLAB的几种典型方法,重点阐述了引擎调用,以及VC++中环境的设置.在研究多元有理函数域F(z)上RLC电网络的结构性质时,要建立其状态方程和能控(观)性矩阵,就要用到符号矩阵的运算.文中通过实例来说明调用M ATLAB符号工具箱来进行符号矩阵的运算和利用M ATLAB自身的编辑器来处理数据的方法和优势. 展开更多
关键词 多元有理函数矩阵(RFM) RLC电网络 符号矩阵 能控(观)性
下载PDF
机器人动力学自动建模软件系统 被引量:5
17
作者 范守文 徐礼矩 《电子科技大学学报》 EI CAS CSCD 北大核心 1995年第3期249-254,共6页
提出了一种用数字一符号法建立机器人动力学模型的简便、高效方法,该方法将模型矩阵中各元素的推导问题转化为特定条件下应用动力学递推公式求解驱动力和驱动力矩的问题。文中引入了一种线性链表的动态数据结构,将建模过程中复杂的数... 提出了一种用数字一符号法建立机器人动力学模型的简便、高效方法,该方法将模型矩阵中各元素的推导问题转化为特定条件下应用动力学递推公式求解驱动力和驱动力矩的问题。文中引入了一种线性链表的动态数据结构,将建模过程中复杂的数字、符号混合处理过程转化为简单的矩阵运算过程,降低了建模的复杂性。研制了自动建立机器人动力学模型的计算机软件,可自动生成动力学模型的各矩阵元素,并以实时代码形式输出。 展开更多
关键词 机器人 动力学模型 实时控制 自动建模 软件
下载PDF
多输入多输出变量带误差模型的最坏情况频域辨识(英文) 被引量:3
18
作者 耿立辉 崔世钢 赵丽 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第10期1366-1372,共7页
本文将单输入单输出(SISO)变母带误差(EIV)模型的频域最坏情况辨识方法推广应用于多输入多输出(MIMO)情况.类似于SISO情况,多输入多输出变量带误差(MIMO EIV)模型的辨识模型集合由估计的系统名义模型及其最坏情况误差界描述.所估计的系... 本文将单输入单输出(SISO)变母带误差(EIV)模型的频域最坏情况辨识方法推广应用于多输入多输出(MIMO)情况.类似于SISO情况,多输入多输出变量带误差(MIMO EIV)模型的辨识模型集合由估计的系统名义模型及其最坏情况误差界描述.所估计的系统名义模型表征为正规右图符号,其最坏情况误差界具有可能的更少保守性,可利用EIV模型的先验信息和后验信息由v-gap度量量化得到.因此,这种模型集合非常适合于后期利用Vinnicombe提出的H。。回路成形法设计鲁棒控制器.最后,利用一数值仿真实例验证所提出辨识方法的有效性. 展开更多
关键词 最坏情况辨识 变量带误差(EIV)模型 多输入多输出(MIMO) 频域 v-gap度量
下载PDF
Web地图制图框架的研究和设计 被引量:3
19
作者 郭建忠 黄瑞阳 丁雅莉 《测绘科学技术学报》 CSCD 北大核心 2013年第1期10-14,共5页
传统的WebGIS在矢量图形编辑与可视化表达上的不足束缚了网络地图制图的发展,针对这一问题,设计了基于Silverlight的Web地图制图框架体系,研究了地图对象模型设计、矢量地图符号模型设计、地图控件与制图编辑模块设计和基于缓存的制图... 传统的WebGIS在矢量图形编辑与可视化表达上的不足束缚了网络地图制图的发展,针对这一问题,设计了基于Silverlight的Web地图制图框架体系,研究了地图对象模型设计、矢量地图符号模型设计、地图控件与制图编辑模块设计和基于缓存的制图数据存储策略等4个关键技术。在此基础上构建了实验原型系统。实验证明,基于Silverlight技术的丰富矢量图形编辑与表达能力,能为Web地图制图提供新的技术途径。 展开更多
关键词 Web地图制图 地图对象模型 矢量地图符号模型 地图控件 数据缓存
下载PDF
MicroStation环境下地图矢量数据全要素符号化研究 被引量:4
20
作者 刘海砚 肖强 《测绘学院学报》 2000年第2期138-141,共4页
MicroStation是进行地图生产的图形编辑平台。把地图矢量数据在MicroStation中进行全要素符号化是实现其地图生产出版的首要条件。文中就符号化的各项工作进行了全面的论述 ,内容包括属性编码研究 ,符号库建立 ,分层规定 ,符号化控制表... MicroStation是进行地图生产的图形编辑平台。把地图矢量数据在MicroStation中进行全要素符号化是实现其地图生产出版的首要条件。文中就符号化的各项工作进行了全面的论述 ,内容包括属性编码研究 ,符号库建立 ,分层规定 ,符号化控制表定义等 ,最后通过MDL编程实现了地图全要素的符号化。 展开更多
关键词 MICROSTATION 地图 矢量数据 全要素符号化
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部