期刊文献+
共找到104篇文章
< 1 2 6 >
每页显示 20 50 100
Nonlinear symbolic LFT model for UAV
1
作者 涂海峰 刘莉 《Journal of Beijing Institute of Technology》 EI CAS 2015年第2期143-150,共8页
A nonlinear modeling framework is presented for an oceanographic unmanned aerial vehicle (UAV) by using symbolic modeling and linear fractional transformation (LFT) techniques . Consequently, an exact nonlinear sy... A nonlinear modeling framework is presented for an oceanographic unmanned aerial vehicle (UAV) by using symbolic modeling and linear fractional transformation (LFT) techniques . Consequently, an exact nonlinear symbolic LFT model of the UAV is derived in a standard M-A form where M represents the nominal, known, part of the system and A contains the time-varying, uncertain and nonlinear components. The advantages of the proposed modeling approach are that: it not only provides an ideal starting point to obtain various final design-oriented models through subse- quent assumptions and simplifications, but also it facilitates the control system analysis with models of different levels of fidelity/complexity. Furthermore, a linearized symbolic LFT model of the UAV is proposed based on the LFT differentiation, which is amenable directly to a sophisticated linear ro- bust control strategy such as μ synthesis/analysis. Both of the derived LFT models are validated with the original nonlinear model in time domain. Simulation results show the effectiveness of the pro- posed algorithm. 展开更多
关键词 nonlinear symbolic modeling linear fractional transformation unmanned aerial vehicle
下载PDF
Linear Regression Analysis for Symbolic Interval Data
2
作者 Jin-Jian Hsieh Chien-Cheng Pan 《Open Journal of Statistics》 2018年第6期885-901,共17页
In the network technology era, the collected data are growing more and more complex, and become larger than before. In this article, we focus on estimates of the linear regression parameters for symbolic interval data... In the network technology era, the collected data are growing more and more complex, and become larger than before. In this article, we focus on estimates of the linear regression parameters for symbolic interval data. We propose two approaches to estimate regression parameters for symbolic interval data under two different data models and compare our proposed approaches with the existing methods via simulations. Finally, we analyze two real datasets with the proposed methods for illustrations. 展开更多
关键词 linear Regression symbolIC INTERVAL Data CENTRE Method Least SQUARES ESTIMATE
下载PDF
面向高速移动环境的二级信号检测算法
3
作者 王华华 张旭 李峰 《计算机应用》 CSCD 北大核心 2024年第4期1236-1241,共6页
正交时间序列复用(OTSM)可以以更低的复杂度实现类似正交时频空间(OTFS)调制的传输性能,为未来需要低复杂度收发器的高速移动性通信系统提供一种有前景的解决方法。针对现有的基于时域的高斯-赛德尔(GS)迭代均衡效率不高的问题,提出二... 正交时间序列复用(OTSM)可以以更低的复杂度实现类似正交时频空间(OTFS)调制的传输性能,为未来需要低复杂度收发器的高速移动性通信系统提供一种有前景的解决方法。针对现有的基于时域的高斯-赛德尔(GS)迭代均衡效率不高的问题,提出二级信号检测算法。首先在时域进行低复杂度线性最小均方误差(LMMSE)检测,其次采用连续超松弛(SOR)迭代算法进一步消除残余符号干扰。为进一步提高收敛效率和检测性能,对SOR算法进行线性优化得到改进SOR(ISOR)算法。仿真实验结果表明,与SOR算法相比,ISOR算法在增加较低复杂度前提下可以提升检测性能并加快算法收敛。与GS迭代算法相比,ISOR算法采用16QAM调制且误码率为10-4时有1.61 dB的增益。 展开更多
关键词 正交时间序列复用 正交时频空间调制 连续超松弛 信号检测 线性最小均方误差 符号干扰
下载PDF
基于误差分治的神经网络验证
4
作者 董彦松 刘月浩 +4 位作者 董旭乾 赵亮 田聪 于斌 段振华 《软件学报》 EI CSCD 北大核心 2024年第5期2307-2324,共18页
随着神经网络技术的快速发展,其在自动驾驶、智能制造、医疗诊断等安全攸关领域得到了广泛应用,神经网络的可信保障变得至关重要.然而,由于神经网络具有脆弱性,轻微的扰动经常会导致错误的结果,因此采用形式化验证的手段来保障神经网络... 随着神经网络技术的快速发展,其在自动驾驶、智能制造、医疗诊断等安全攸关领域得到了广泛应用,神经网络的可信保障变得至关重要.然而,由于神经网络具有脆弱性,轻微的扰动经常会导致错误的结果,因此采用形式化验证的手段来保障神经网络安全可信是非常重要的.目前神经网络的验证方法主要关注分析的精度,而易忽略运行效率.在验证一些复杂网络的安全性质时,较大规模的状态空间可能会导致验证方法不可行或者无法求解等问题.为了减少神经网络的状态空间,提高验证效率,提出一种基于过近似误差分治的神经网络形式化验证方法.该方法利用可达性分析技术计算非线性节点的上下界,并采用一种改进的符号线性松弛方法减少了非线性节点边界计算过程中的过近似误差.通过计算节点过近似误差的直接和间接影响,将节点的约束进行细化,从而将原始验证问题划分为一组子问题,其混合整数规划(MILP)公式具有较少的约束数量.所提方法已实现为工具NNVerifier,并通过实验在经典的3个数据集上训练的4个基于ReLU的全连接基准网络进行性质验证和评估.实验结果表明,NNVerifier的验证效率比现有的完备验证技术提高了37.18%. 展开更多
关键词 神经网络 模型抽象 符号传播 线性近似 分治
下载PDF
Admissibility Conditions for Symbolic Sequences in Dynamics of Digital Filter with Two's Complement Arithmetic
5
作者 袁利国 傅新楚 余荣忠 《Journal of Shanghai University(English Edition)》 CAS 2005年第5期377-384,共8页
In this paper, we discuss a class of piecewise linear hyperbolic maps on the 2-torus. These maps arise in the second-order digital fdter with two' s complement arithmetic. By introducing codings underlying the map op... In this paper, we discuss a class of piecewise linear hyperbolic maps on the 2-torus. These maps arise in the second-order digital fdter with two' s complement arithmetic. By introducing codings underlying the map operations, we give some admissibility conditions for symbolic sequences and find some periodic properties of these symbolic sequences. Then we use these conditions to check the admissibility of periodic symbol sequences. 展开更多
关键词 CODING piecewise linear map admissibility condition symbolic dynamics. coding piecewise linear map admissibility condition symbolic dynamics.
下载PDF
Symbolic dynamics of Belykh-type maps
6
作者 Denghui LI Jianhua XIE 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI CSCD 2016年第5期671-682,共12页
The symbolic dynamics of a Belykh-type map (a two-dimensional discon- tinuous piecewise linear map) is investigated. The admissibility condition for symbol sequences named the pruning front conjecture is proved unde... The symbolic dynamics of a Belykh-type map (a two-dimensional discon- tinuous piecewise linear map) is investigated. The admissibility condition for symbol sequences named the pruning front conjecture is proved under a hyperbolicity condition. Using this result, a symbolic dynamics model of the map is constructed according to its pruning front and primary pruned region. Moreover, the boundary of the parameter region in which the map is chaotic of a horseshoe type is given. 展开更多
关键词 discontinuous piecewise linear map symbolic dynamics pruning front primary pruned region HORSESHOE
下载PDF
COATES GRAPH APPROACH FOR GENERATING SYMBOLIC NETWORK FUNCTION
7
作者 虞希清 陆生勋 《Journal of Electronics(China)》 1989年第4期378-385,共8页
In this paper, symbolic code matrix ,constant matrix and count matrix are defined .The first twomatrices are used to describe the elemental expression of augmented matrix and the nede admittance equa-tion is thus obta... In this paper, symbolic code matrix ,constant matrix and count matrix are defined .The first twomatrices are used to describe the elemental expression of augmented matrix and the nede admittance equa-tion is thus obtained. The third matrix is used to obtain the incoming degree matrix, and according to thematrix all the 1- factors of the Coates graph are given. By using the data code, the determinant is expandedand the same items in the expansion are merged. Thus the symbolic network function in which no term can-cellation occurs is generated. 展开更多
关键词 linear NETWORK ANALYSIS symbolIC NETWORK function TOPOLOGICAL NETWORK ANALYSIS
下载PDF
基于EEMD的固定分段数分段线性表示方法
8
作者 刘学彬 梁智飞 +1 位作者 朱卫平 祝凯 《计算机技术与发展》 2023年第11期202-208,共7页
针对采用单一启发式规则的分段线性表示方法存在局部最优化和无法准确预计分段数目的问题,提出了基于集合经验模态分解(EEMD)的固定分段数分段线性表示方法。该方法通过将集合经验模态分解和重构思想引入分段线性表示方法研究中,同时将... 针对采用单一启发式规则的分段线性表示方法存在局部最优化和无法准确预计分段数目的问题,提出了基于集合经验模态分解(EEMD)的固定分段数分段线性表示方法。该方法通过将集合经验模态分解和重构思想引入分段线性表示方法研究中,同时将自底向上算法的拟合误差阈值改进为分段数阈值来解决上述两个问题。首先,通过模态重构思想过滤掉细节信息,提取到全局性分段点;然后,根据各初始分段子序列的波动程度,确定子序列段内分段点数量分布;最后,采用基于分段数阈值的自底向上方法将子序列合并到要求的分段数。该方法不仅继承了自底向上方法拟合误差小的优点,同时克服了局部最优化以及不能预计分段数的缺点。通过仿真实验证明了该方法克服了局部性的缺点,并有效减弱了噪声的干扰。相比现有方法,在压缩率相同的情况下,该方法的拟合误差更小。最终,在压裂施工时序数据趋势提取的应用中也验证了其有效性。 展开更多
关键词 时间序列 分段线性表示 集合经验模态分解 模态重构 符号化 自底向上
下载PDF
复杂线状符号的设计及优化算法研究 被引量:21
9
作者 吴小芳 杜清运 +1 位作者 徐智勇 蔡忠亮 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2006年第7期632-635,共4页
针对地图线状符号中的需求,提出了利用自定义线型设计线状符号的新方法,以解决常规线型符号绘制的问题。此外,考虑到线状符号在拐角处易产生严重变形以及出现断裂、自相交等情况,提出了采用符号自适应性及双仿射变换方法的解决途径,实... 针对地图线状符号中的需求,提出了利用自定义线型设计线状符号的新方法,以解决常规线型符号绘制的问题。此外,考虑到线状符号在拐角处易产生严重变形以及出现断裂、自相交等情况,提出了采用符号自适应性及双仿射变换方法的解决途径,实现符号化绘制,增强符号的可视化效果。 展开更多
关键词 线状符号 符号化 符号自适应性 双仿射变换
下载PDF
地图线状符号图案单元的优化配置方法 被引量:16
10
作者 郭庆胜 郑春燕 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2002年第5期499-504,共6页
在分析地图线状符号的分解与组合等特征的基础上 ,提出了线状符号的优化配置方法和常见的线状符号之间的空间关系的处理方法 ,并着重讨论了顾及格式塔理论的虚线型线状符号优化配置算法。
关键词 线状符号 优化配置 空间关系 格式塔理论 地图符号
下载PDF
GIS符号库中复杂线状符号设计技术的研究 被引量:29
11
作者 何忠焕 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2004年第2期132-134,共3页
针对GIS符号库中复杂线状符号的设计 ,从线状单元的衔接、特殊位置成员、单元的整体变化、符号的异常等方面提出了改进的方法 。
关键词 GIS 线状符号 线状单元 单元变化
下载PDF
CorelDraw线状地图符号库的设计 被引量:3
12
作者 刘洋 郭庆胜 +2 位作者 魏智威 柳其志 魏嘉 《测绘工程》 CSCD 2017年第7期66-70,75,共6页
在CorelDraw中绘制有些线状地图符号需要使用程序控制,无法直接调用CorelDraw的线状符号绘制功能。文中基于图元组合的思想,依据CorelDraw软件的特点,对常用地图中的线状符号进行分类、组织和存储,建立相应的线状地图符号库,设计专门的... 在CorelDraw中绘制有些线状地图符号需要使用程序控制,无法直接调用CorelDraw的线状符号绘制功能。文中基于图元组合的思想,依据CorelDraw软件的特点,对常用地图中的线状符号进行分类、组织和存储,建立相应的线状地图符号库,设计专门的线状地图符号编辑器,实现对线状地图符号的统一编辑与管理,并且为不同类型的线状地图符号绘制设计相应的算法,最后利用CorelDraw提供的VBA二次开发环境实现文中所提出的方法,实验效果很好,可满足地图生产的需要。 展开更多
关键词 符号库 图元 线状地图符号 编辑器
下载PDF
线状符号的分解与组合 被引量:6
13
作者 郭庆胜 《武汉大学学报(信息科学版)》 EI CSCD 1993年第S1期78-82,共5页
线状符号是地图上常用的符号,本文在分析其构造原理的基础上,提出了规则线状符号的逻辑构造函数。同时为了能够满足地图的视觉效果需要,讨论了在机助实现过程中的一些算法。
关键词 规则线状符号 构造原理 逻辑构造函数 基本图案单元
下载PDF
面向GIS的线状符号开放式多元设计方案 被引量:6
14
作者 吴自银 《海洋通报》 CAS CSCD 北大核心 2003年第1期70-76,共7页
提出一种跨越专业限制,用于快速绘制任意曲率曲线的开放式线状符号"组合配置法 设计方案,即用主干线、辅助线、辅助圆和点符号等四种子线型的有机组合描述目标线型,并详细论述了其数据结构、文件结构及子线型的实现方法。同时... 提出一种跨越专业限制,用于快速绘制任意曲率曲线的开放式线状符号"组合配置法 设计方案,即用主干线、辅助线、辅助圆和点符号等四种子线型的有机组合描述目标线型,并详细论述了其数据结构、文件结构及子线型的实现方法。同时还提出伪码法用于解决满足国标要求的图廓整饰线,并对裁剪法作了简要阐述。上述线型设计方法已成功设计、实现并应用于"海底地形成图系统 (MBChart) ,已服务于大陆架海底成图项目。 展开更多
关键词 线状符号 GIS 地理信息系统 “组合配置法” 数据结构 文件结构 裁剪法 伪码法 海底成图
下载PDF
语言与文字之华:“隐喻”·“比兴” 被引量:4
15
作者 白晓东 李璐 《西北大学学报(哲学社会科学版)》 CSSCI 北大核心 2008年第1期80-85,共6页
以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了"隐喻"、"比"、"兴"的异同,得出以下结论:这三个概念虽共有类比性、暗示性,但"比"中"源范畴"与"目标范畴"的关系... 以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了"隐喻"、"比"、"兴"的异同,得出以下结论:这三个概念虽共有类比性、暗示性,但"比"中"源范畴"与"目标范畴"的关系较"兴"更显明且逻辑性强,与"隐喻"一致。相较于隐喻"两点一线"的逻辑认知功能,"兴"的工作机制呈现为多维的、并置呼应的直觉共鸣,反映出中国二元互动有机思维。同时,西方的"象征"因其"象"与所"征"约定俗成关系,类似中国"香草美人"手法,所以同于"比"和"隐喻"而异于"兴"。 展开更多
关键词 隐喻 比兴 象征 线性逻辑 并置呼应
下载PDF
面向数据挖掘的时间序列符号化方法研究 被引量:29
16
作者 李斌 谭立湘 +1 位作者 章劲松 庄镇泉 《电路与系统学报》 CSCD 2000年第2期9-14,共6页
针对时间序列的数据挖掘首先需要将时间序列(Time Series)数据转换为离散的符号序列(Symbol Sequences),本文提出了一个简单高效的时间序列符号化方法,该方法的特点:一是利用线性化分段表示法所独有的形态分割与表达能力实现了... 针对时间序列的数据挖掘首先需要将时间序列(Time Series)数据转换为离散的符号序列(Symbol Sequences),本文提出了一个简单高效的时间序列符号化方法,该方法的特点:一是利用线性化分段表示法所独有的形态分割与表达能力实现了时间序列的分段与表示;二是利用神经网络模糊聚类算法实现了时间序列的在线聚类。提出以矢量间形态相似性度量作为聚类依据。并利用该方法实现了对金融领域时间序列数据的符号化转换。 展开更多
关键词 时间序列 符号化 数据挖掘 线性化分段 神经网络
下载PDF
东方音乐的美学特征 被引量:2
17
作者 韩沙霖 于涛 《武汉理工大学学报(社会科学版)》 CSSCI 2015年第4期617-621,共5页
东方音乐同西方音乐最大的差异在于西方音乐具有高度的人工性、科学性、技术性,而东方音乐的生成与发展都具有原生态的自然性。由此决定了东方音乐的混生性、原生态的自然性、音乐内涵的象征性和曲式和旋律结构的线性等特征。直至近代,... 东方音乐同西方音乐最大的差异在于西方音乐具有高度的人工性、科学性、技术性,而东方音乐的生成与发展都具有原生态的自然性。由此决定了东方音乐的混生性、原生态的自然性、音乐内涵的象征性和曲式和旋律结构的线性等特征。直至近代,东方音乐也没有创造出键盘乐器,因此,不可能形成统一准确的定音规范,难以发展出和声系统,也就不可能发展出"和声型的、立体的旋律"和复调音乐。 展开更多
关键词 东方音乐 混生性 自然性 象征性 线性旋律
下载PDF
异步FIFO的模型检验方法 被引量:1
18
作者 罗莉 欧国东 +2 位作者 刘彬 徐炜遐 窦强 《计算机科学》 CSCD 北大核心 2012年第3期268-270,共3页
跨时钟域(Clock Domain Crossing,CDC)设计和验证是SOC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法,利用模型检验工具SMV,建立了异步FIFO的有限状态机模型,使用时序逻辑LTL对该模型和属性进行了描述和验证。实验结果达到要求... 跨时钟域(Clock Domain Crossing,CDC)设计和验证是SOC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法,利用模型检验工具SMV,建立了异步FIFO的有限状态机模型,使用时序逻辑LTL对该模型和属性进行了描述和验证。实验结果达到要求,同时表明该方法是行之有效的。与传统的模拟和仿真等验证方法相比较,模型检验具有能够自动进行、验证速度快、不用书写测试激励等优点。 展开更多
关键词 CDC(Clock Domain Crossing) 异步FIFO LTL 符号模型检验 SMV
下载PDF
空时分组码系统中WL-Kalman均衡算法 被引量:1
19
作者 郝黎宏 李广军 熊兴中 《计算机应用研究》 CSCD 北大核心 2010年第7期2674-2676,共3页
根据空时分组码(STBC)系统的编码特点,提出了一种低复杂度的基于宽线性(WL)处理的Kalman均衡算法。该算法针对STBC系统,利用宽线性处理的思想,采用Kalman均衡算法对接收信号及其复共轭联合进行处理,有效地减轻了由频率选择性衰落信道引... 根据空时分组码(STBC)系统的编码特点,提出了一种低复杂度的基于宽线性(WL)处理的Kalman均衡算法。该算法针对STBC系统,利用宽线性处理的思想,采用Kalman均衡算法对接收信号及其复共轭联合进行处理,有效地减轻了由频率选择性衰落信道引起的码间干扰(ISI)。对所提出的均衡算法在不同环境下进行了仿真验证。结果表明,与传统的线性均衡器相比,该算法明显提高了系统的性能,具有实际应用价值。 展开更多
关键词 空时分组码 卡尔曼滤波 宽线性处理 码间干扰
下载PDF
广义自缩序列的线性复杂度 被引量:1
20
作者 董丽华 胡予濮 孙红波 《电子学报》 EI CAS CSCD 北大核心 2008年第7期1373-1377,共5页
周期与线性复杂度的稳定性是衡量周期序列伪随机性质的一个重要指标.本文在给出广义自缩序列的线性复杂度的上界之后,借助伽罗瓦域中的若干理论,分析了该类序列的线性复杂度的稳定性,包括广义自缩序列在单符号插入、删除变换和少量符号... 周期与线性复杂度的稳定性是衡量周期序列伪随机性质的一个重要指标.本文在给出广义自缩序列的线性复杂度的上界之后,借助伽罗瓦域中的若干理论,分析了该类序列的线性复杂度的稳定性,包括广义自缩序列在单符号插入、删除变换和少量符号替换操作下的线性复杂度的变化情况,给出了变化后序列的线性复杂度的具体表达式. 展开更多
关键词 线性复杂度 单符号删除 单符号插入 符号替换
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部