期刊文献+
共找到171篇文章
< 1 2 9 >
每页显示 20 50 100
2-G-Motzkin路上的计数问题
1
作者 杨胜良 张愉媛 《兰州理工大学学报》 北大核心 2025年第3期150-155,共6页
引入2-G-Motzkin路的概念,利用符号化方法,拉格朗日反演公式和Riordan矩阵研究了2-G-Motzkin路上的一些计数问题,给出了相应的发生函数和计算公式.
关键词 2-G-Motzkin路 符号化方法 拉格朗日反演公式 Riordan矩阵 发生函数
在线阅读 下载PDF
基于符号级预编码的单比特雷达通信一体化系统发射波形设计
2
作者 何卓远 陈胜垚 +3 位作者 朱晗 席峰 李洪涛 刘中 《雷达学报(中英文)》 北大核心 2025年第4期854-866,共13页
在大规模多输入多输出(MIMO)通信和雷达系统中,采用单比特数模转换器(DAC)是一种降低发射系统硬件成本和功耗的有效方法。该文研究单比特量化下雷达通信一体化系统的发射波形设计,在给定通信服务质量约束下最小化雷达发射波束图的积分... 在大规模多输入多输出(MIMO)通信和雷达系统中,采用单比特数模转换器(DAC)是一种降低发射系统硬件成本和功耗的有效方法。该文研究单比特量化下雷达通信一体化系统的发射波形设计,在给定通信服务质量约束下最小化雷达发射波束图的积分旁瓣主瓣比,通过提升发射波束的功率集中程度以获得良好的发射波束赋形性能。针对单比特量化导致发射波形仅具有低自由度可行域的问题,该文采用符号级预编码技术,基于有益干扰(CI)原理充分利用空域和时域自由度来辅助波形设计。由于所提出的波形设计问题具有非凸分式二次目标函数和大量的非凸离散约束,该文提出了一种基于丁克尔巴赫(Dinkelbach)变换和交替方向乘子法(ADMM)的算法来有效求解该NP-难问题。仿真结果表明,所设计的波形能够显著降低对DAC分辨率的需求,并在满足下行用户通信质量需求的条件下具有良好的雷达发射波束图性能。 展开更多
关键词 雷达通信一体化 波形设计 单比特量化 符号级预编码 交替方向乘子法
在线阅读 下载PDF
乡村振兴背景下民生地图设计的理论框架与实践案例
3
作者 曹龑 罗竟妍 马广恩 《农业技术与装备》 2025年第8期56-58,共3页
立足市、县、乡镇不同空间尺度,采用不同地图表达手段,基于多元的地图符号设计方法,构建乡村振兴民生地图设计框架。以三明市为实践对象,通过三明市森林资源分布图、三明三元区乡村振兴示范线图、三明永安无人机三维乡村实景地图的3个... 立足市、县、乡镇不同空间尺度,采用不同地图表达手段,基于多元的地图符号设计方法,构建乡村振兴民生地图设计框架。以三明市为实践对象,通过三明市森林资源分布图、三明三元区乡村振兴示范线图、三明永安无人机三维乡村实景地图的3个典型案例实践成果,验证乡村振兴民生地图设计框架的可行性。 展开更多
关键词 乡村振兴 民生地图 实景三维 定点符号法 线状符号法
在线阅读 下载PDF
金牌收敛背景下奥运金牌非市场价值评估——基于上海居民支付意愿的实证分析
4
作者 王苑苑 刘东锋 《沈阳体育学院学报》 北大核心 2025年第2期1-8,44,共9页
在金牌数量趋于收敛的国际背景下,奥运金牌的非市场价值评估对于验证政府公共支出的合理性及公众对国家成就的认可具有关键作用。应用条件价值评估法和韦伯回归模型,以东京奥运会为例,通过上海居民奥运金牌的支付意愿估计其非市场价值... 在金牌数量趋于收敛的国际背景下,奥运金牌的非市场价值评估对于验证政府公共支出的合理性及公众对国家成就的认可具有关键作用。应用条件价值评估法和韦伯回归模型,以东京奥运会为例,通过上海居民奥运金牌的支付意愿估计其非市场价值。研究表明,奥运金牌具有显著的非市场价值,近半数的被调查上海居民表现出平均43.440元人民币/块的奥运金牌支付意愿;公众对奥运金牌的价值认知存在差异,其支付意愿受到象征性资本、消费资本和社会人口统计学变量的影响,而年轻群体和中等收入群体的支付意愿相对较低。奥运金牌不仅是体育成就的象征,也是国家软实力的重要组成部分。公众支付意愿反映了对国家体育成就的高度认可。基于此,建议强化奥运金牌价值传播体系,提升青少年和中低收入群体的体育参与度,构建体育精准化资源配置机制,以期为国家制定更为精准和有效的体育政策提供理论依据。 展开更多
关键词 奥运金牌 非市场价值 支付意愿 条件价值评估法 象征性资本
在线阅读 下载PDF
无意识设计系统方法的类型补充及方法细分
5
作者 张剑 蔡匀 《家具与室内装饰》 北大核心 2024年第9期31-37,共7页
深泽直人提出的无意识设计方法,因其在设计实践中具有文本表意有效性的显著优势,在日本设计界被广泛运用。在《设计的生态学》一书中,深泽直人将无意识设计分为两大基础类型:“客观写生”强调产品系统内两种新符号规约的生成及其意义的... 深泽直人提出的无意识设计方法,因其在设计实践中具有文本表意有效性的显著优势,在日本设计界被广泛运用。在《设计的生态学》一书中,深泽直人将无意识设计分为两大基础类型:“客观写生”强调产品系统内两种新符号规约的生成及其意义的传递;“重层性”侧重外部事物与产品之间相互的修辞解释。由于两大基础类型分类方式过于笼统,以使用者与产品间的三类环境所对应的四种符号来源为路径,对无意识设计进行类型的补充及方法的细分,分为三大类型、六种设计方法。无意识设计的典型结构主义特征表现在,文本表意与编写皆围绕四种符号规约展开,四种符号规约覆盖了使用者对产品三种认知方式的全域,且它们在来源上具有“先验”与“既有”的特征,这些保证了文本意义的精准与有效传递。因此,对无意识设计类型补充与方法细分,也是对结构主义产品文本表意有效性的方法总结,使之成为指导设计实践行之有效的系统化工具。 展开更多
关键词 无意识设计 系统方法 三类环境 四种符号来源 类型细分 结构主义 表意有效性
在线阅读 下载PDF
基于符号回归算法的结构性砂土损伤规律研究
6
作者 蒋明镜 张卢丰 +1 位作者 韩亮 姜朋明 《岩土力学》 EI CAS CSCD 北大核心 2024年第12期3768-3778,共11页
破损参数是用来描述岩土材料由胶结状态向无胶结状态转化的变量,合理地描述结构性土的破损演化规律是建立结构性土本构模型的关键。目前,大多损伤规律的研究先假设破损参数的表达式,随后通过拟合室内试验结果获取相关参数,从而确定损伤... 破损参数是用来描述岩土材料由胶结状态向无胶结状态转化的变量,合理地描述结构性土的破损演化规律是建立结构性土本构模型的关键。目前,大多损伤规律的研究先假设破损参数的表达式,随后通过拟合室内试验结果获取相关参数,从而确定损伤规律,这些损伤规律的合理性及适用性有待验证。为得到统一的具有微观意义的结构性砂土损伤规律显式数学表达式,提出了一种基于符号回归的损伤规律预测模型。首先,基于具有微观物理意义的破损参数定义式,建立不同离散元(distinct element method,DEM)损伤数据库。其次,采用组合输入变量的方法在等向压缩和等p真三轴压缩应力路径上进行参数筛选(p为平均有效应力),结合基于遗传编程的符号回归(genetic programming-based symbolic regression,GPSR)算法,得到不同复杂度的损伤表达式。最终对比不同表达式的预测误差和泛化误差,选择表现最好的表达式为结构性砂土损伤规律,即GPSR损伤规律。对比前人经典损伤规律表达式,在不同DEM损伤数据库上进行适用性分析。结果表明,GPSR损伤规律将破损参数表示为塑性偏应变εs、归一化的平均有效应力p/py以及中主应力系数b的函数,可以很好地反映结构性土向重塑土转变的过程;GPSR损伤规律在不同损伤数据库上良好的预测精度进一步证明了其在不同岩土材料上的适用性。研究成果对建立结构砂土本构模型具有一定参考价值。 展开更多
关键词 结构性砂土 离散单元法 机器学习 符号回归 损伤规律
在线阅读 下载PDF
融合局部感知Transformer模型的微积分方程求解 被引量:1
7
作者 卢林 朱兆旻 吴宁 《广西大学学报(自然科学版)》 CAS 北大核心 2024年第3期606-619,共14页
针对局部信息在数学表达式的符号计算中非常重要,而Transformer模型通常存在局部缺失从而忽略字符间的语义信息的问题,提出一种将一维卷积(Conv1d)和Transformer模型相结合的符号计算模型Convld_Transformer。该模型通过在嵌入层中引入... 针对局部信息在数学表达式的符号计算中非常重要,而Transformer模型通常存在局部缺失从而忽略字符间的语义信息的问题,提出一种将一维卷积(Conv1d)和Transformer模型相结合的符号计算模型Convld_Transformer。该模型通过在嵌入层中引入卷积网络提取局部特征信息,可有效增强局部感知。此外,还提出了一种生成一类偏微分方程数据集的算法,该算法结合特征线法和常微分方程变换,可实现对常系数一阶线性(pde1_cc)、变系数一阶线性(pde1_vc)以及满足一定条件的二阶抛物线偏微分方程(parapde2_cc)的求解。实验结果表明:Conv1d_Transformer模型在函数积分任务中相比Transformer模型精度更高,在解决pde1_cc、pde1_vc和parapde2_cc问题时准确率分别达到了96.00%、77.18%和86.18%,其性能要优于Mathematica和SymPy数学求解器。 展开更多
关键词 符号计算 一维卷积 函数积分 微分方程 特征线法
在线阅读 下载PDF
基于两轴分析法的地域文化品牌形象构建研究 被引量:2
8
作者 孙华锋 郑林欣 《家具与室内装饰》 北大核心 2024年第3期85-91,共7页
文章旨在将非遗手工艺作为重要的乡村文化资源进行品牌赋能,并从符号学的视角探索具有地域特色的乡村文化品牌形象构建路径。通过文化意象认知实验,筛选出“地域文化”和“非遗手工艺”两个维度的文化符号作为品牌形象的共性要素;并通... 文章旨在将非遗手工艺作为重要的乡村文化资源进行品牌赋能,并从符号学的视角探索具有地域特色的乡村文化品牌形象构建路径。通过文化意象认知实验,筛选出“地域文化”和“非遗手工艺”两个维度的文化符号作为品牌形象的共性要素;并通过设计调查,解析品牌的个性要素。基于索绪尔的两轴分析法,将品牌个性要素与共性要素共置于两轴中进行品牌符号的推演与转译。最终,建立了个性与共性两个维度的品牌符号数据库,构建了品牌符号的两轴推导模型,完成了黔东南地域文化品牌“知布知竹”的设计实践。具有地域特色的文化品牌形象由共性要素与个性要素两个维度的符号构建而成,本研究借助符号学的方法模型,更好地指导了设计实践,提升了品牌形象的精神内涵,实现了形与韵的统一。 展开更多
关键词 地域文化 非遗手工艺 文化符号 两轴分析法 品牌形象构建
在线阅读 下载PDF
新型时间序列相似性度量方法研究 被引量:24
9
作者 刘懿 鲍德沛 +3 位作者 杨泽红 赵雁南 贾培发 王家钦 《计算机应用研究》 CSCD 北大核心 2007年第5期112-114,共3页
基于时间序列符号化后的特点,创造性地提出了一种新型相似性度量方法——符号化的统计向量空间法(SAX[1]Statistical Vector Space,SSVS)。将这种度量方法用于S&P500指数的股票数据聚类实验,并与经典相似性度量方法比较,结果表明这... 基于时间序列符号化后的特点,创造性地提出了一种新型相似性度量方法——符号化的统计向量空间法(SAX[1]Statistical Vector Space,SSVS)。将这种度量方法用于S&P500指数的股票数据聚类实验,并与经典相似性度量方法比较,结果表明这种新的方法能够高效地从整体趋势的角度度量时间序列的相似性,有很好的实际意义和应用前景。 展开更多
关键词 时间序列 相似性度量 数据挖掘 符号化
在线阅读 下载PDF
一种基于隐喻思维的产品设计创意方法 被引量:21
10
作者 余从刚 赵江洪 《包装工程》 CAS CSCD 北大核心 2013年第12期68-71,共4页
以设计创意激发为目的,研究隐喻的认知思维特点,结合符号的形式性和意义性,通过形式相似和意义相似构建产品设计创意的新方法,并提出一套具有操作性的设计流程,最后通过实际案例初步验证了理论研究的可行性。
关键词 隐喻 符号 创意 方法
在线阅读 下载PDF
符号迭代法解算椭球大地测量学反问题 被引量:13
11
作者 李忠美 边少锋 孔海英 《海洋测绘》 2013年第2期27-29,33,共4页
简要介绍了符号迭代法的基本思想;以椭球大地测量学中常见的反问题为例,借助具有强大符号运算功能的计算机代数系统Mathematica,采用该方法对其进行了解算,推导出了这些问题解析解的符号表达式。结果表明,符号迭代法计算过程简单,便于理... 简要介绍了符号迭代法的基本思想;以椭球大地测量学中常见的反问题为例,借助具有强大符号运算功能的计算机代数系统Mathematica,采用该方法对其进行了解算,推导出了这些问题解析解的符号表达式。结果表明,符号迭代法计算过程简单,便于理解,可用于解决大地测量学其他类似问题。 展开更多
关键词 大地测量学 符号迭代法 反问题 符号表达式 MATHEMATICA
在线阅读 下载PDF
一种分布式吴方法计算模型 被引量:3
12
作者 武永卫 杨广文 +2 位作者 杨宏 郑纬民 林东岱 《软件学报》 EI CSCD 北大核心 2005年第3期384-391,共8页
吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法“分而治之”的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境下实现的分布式吴方法计算框架.... 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法“分而治之”的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境下实现的分布式吴方法计算框架.首先分析了吴方法分布式计算需求,并以特征列计算为例来说明吴方法分布式计算算法,然后讨论了符号计算基本数据类型:大整数和多项式的消息传递方法,最后简单给出了在网格环境下基于符号计算软件系统 ELIMINO 和网格中件间 Globus Toolkits 3 的分布式吴方法计算环境的设计、实现与实验结果. 展开更多
关键词 分布式计算 吴方法 符号计算
在线阅读 下载PDF
有限精度时间自动机的可达性检测 被引量:5
13
作者 晏荣杰 李广元 +2 位作者 徐雨波 刘春明 唐稚松 《软件学报》 EI CSCD 北大核心 2006年第1期1-10,共10页
为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号... 为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足. 展开更多
关键词 有限精度时间自动机 符号化方法 模型检测 可达性
在线阅读 下载PDF
一种基于PN序列加权前导的自适应OFDM符号同步算法 被引量:6
14
作者 石峰 胡登鹏 +1 位作者 王晨 张尔扬 《电子与信息学报》 EI CSCD 北大核心 2011年第5期1166-1171,共6页
该文对传统的基于PN序列加权前导的定时度量进行了理论分析,并提出了一种自适应OFDM符号同步算法。新算法在改进PN序列加权前导的基础上,综合利用循环前缀的重复特性和基于PN序列加权前导定时度量的分布特性设计定时方案,依据一定范围... 该文对传统的基于PN序列加权前导的定时度量进行了理论分析,并提出了一种自适应OFDM符号同步算法。新算法在改进PN序列加权前导的基础上,综合利用循环前缀的重复特性和基于PN序列加权前导定时度量的分布特性设计定时方案,依据一定范围内定时度量的最大值自适应地进行符号同步估计。理论分析和仿真结果表明,和传统的基于PN序列加权前导的符号同步方法相比,新提出的方法可降低符号同步估计的误检概率,有效提高系统的定时性能。 展开更多
关键词 OFDM 符号同步 PN序列 自适应方法
在线阅读 下载PDF
手绘非规则军标图形的结构化识别方法 被引量:4
15
作者 张友根 吴玲达 +1 位作者 宋汉辰 邓维 《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第3期72-77,83,共7页
在基于草图的态势标绘系统中,线状和面状军标图形通常是依具体地形、战况、意图等标绘的,没有规则的形状,难以采用基于表观的方法进行识别。针对这类手绘非规则军标图形提出了一种结构化识别方法,基于非规则军标图形集的特点定义了9种... 在基于草图的态势标绘系统中,线状和面状军标图形通常是依具体地形、战况、意图等标绘的,没有规则的形状,难以采用基于表观的方法进行识别。针对这类手绘非规则军标图形提出了一种结构化识别方法,基于非规则军标图形集的特点定义了9种图元和4种图元间空间结构关系,将图形表示为图元向量和图元结构关系矩阵,通过匹配图元向量和图元结构关系矩阵来识别图形类别,并估计未知图形与模板图形之间的图元对应关系。实验结果表明:本文方法能有效克服图形形状变化的影响,对手绘的常用非规则军标图形的类别和图元对应关系具有较高的识别正确率和识别速度。 展开更多
关键词 手绘图形识别 非规则军标图形 结构化识别 图元
在线阅读 下载PDF
基于UML的CTCS-3级列控系统需求规范形式化验证方法 被引量:10
16
作者 刘金涛 唐涛 +1 位作者 徐田华 赵林 《中国铁道科学》 EI CAS CSCD 北大核心 2011年第3期93-99,共7页
采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相... 采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改。以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证。 展开更多
关键词 列车控制系统 需求规范 形式化方法 UML 符号模型检验
在线阅读 下载PDF
关于电磁理论中矢量符号法的一些研究 被引量:1
17
作者 唐晋生 黄雪梅 +2 位作者 周伟中 杨儒贵 盛克敏 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第1期84-85,100,共3页
对文献[6,8]的符号矢量法进行了较深入的分析和研究后,发现原有的理论还存在一些需要改进的地方,在此基础上提出了一些建议。关于符号矢量法的命名问题、定义式中所包含的物理意义、三个基本算符的使用限制以及它们的命名问题都进行了... 对文献[6,8]的符号矢量法进行了较深入的分析和研究后,发现原有的理论还存在一些需要改进的地方,在此基础上提出了一些建议。关于符号矢量法的命名问题、定义式中所包含的物理意义、三个基本算符的使用限制以及它们的命名问题都进行了完整的论述,使这套理论体系更加完善、合理。 展开更多
关键词 矢量符号法 算符 符号矢量 矢量符号
在线阅读 下载PDF
基于遗传禁忌混合算法的电力系统无功优化 被引量:53
18
作者 谭涛亮 张尧 《电网技术》 EI CSCD 北大核心 2004年第11期57-61,共5页
为了使遗传算法(GA)和禁忌搜索算法(TS)的优点被保持,缺点被削弱,提出了电力系统无功优化的遗传禁忌混合算法(GATS);针对电力系统无功优化中控制变量的离散性和连续性相混合的特点,提出了混合编码策略并相应地采用启发式算术进行杂交。... 为了使遗传算法(GA)和禁忌搜索算法(TS)的优点被保持,缺点被削弱,提出了电力系统无功优化的遗传禁忌混合算法(GATS);针对电力系统无功优化中控制变量的离散性和连续性相混合的特点,提出了混合编码策略并相应地采用启发式算术进行杂交。用GATS算法对IEEE30节点系统进行了无功优化计算,并就优化结果和简单遗传算法(SGA)及二进制编码的禁忌搜索法(TSB)的优化结果进行了比较,结果表明GATS方法具有更好的收敛性和更强的全局寻优能力。 展开更多
关键词 电力系统 无功优化 电能质量 电压稳定性 遗传禁忌混合算法 遗传算法 禁忌搜索算法
在线阅读 下载PDF
符号修辞方法在产品设计中的应用 被引量:9
19
作者 李春富 张义 《包装工程》 CAS CSCD 北大核心 2009年第4期105-107,共3页
从符号学理论的修辞方法出发,详细介绍了符号修辞方法的基本类型以及各类型的特征;通过案例分析符号修辞方法的具体应用,阐述符号修辞方法在产品设计中的作用。
关键词 符号 修辞方法 隐喻 换喻 提喻 讽喻
在线阅读 下载PDF
基于吴方法的不变式生成算法 被引量:6
20
作者 周宁 吴尽昭 王超 《北京交通大学学报》 CAS CSCD 北大核心 2012年第2期1-7,共7页
在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系... 在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系统的能力;建立了基于吴方法的非线性不变式自动生成算法,该算法不使用加强的归纳条件,并可以直接处理约束方程. 展开更多
关键词 程序验证 不变式生成 符号计算 吴方法
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部