期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,672篇文章
< 1 2 … 84 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
列车通信网络时间触发调度模型的等价化简技术
1
作者 朱广超 聂晓波 +3 位作者 李洋涛 李宗辉 聂晨浩 马可 《铁道学报》 北大核心 2025年第3期73-80,共8页
时间敏感网络因其高确定性及低时延特性逐步成为列车通信网络的下一步发展方向。它通过时间触发调度精确地指定数据流在网络节点中的发送时间,从而保障数据流端到端的确定性实时传输。时间触发调度模型通常形式化为可满足性约束模型,由... 时间敏感网络因其高确定性及低时延特性逐步成为列车通信网络的下一步发展方向。它通过时间触发调度精确地指定数据流在网络节点中的发送时间,从而保障数据流端到端的确定性实时传输。时间触发调度模型通常形式化为可满足性约束模型,由于调度模型数据流数量庞大,且参数不同,造成当前约束规模冗余而庞大,严重影响调度性能。针对该问题,挖掘时间触发传输机制的特点,提出时间触发调度模型的两个化简条件,并证明该化简是等价化简,即化简前后可行解空间不变;给出计算化简模型的算法,并基于可满足性求解器Z3实现了时间触发的增量调度工具;基于列车通信网络拓扑及流配置,对提出的时间触发调度模型等价化简技术进行性能评估。试验结果表明:相比于传统的时间触发调度模型,本文提出的等价化简技术缩小约束规模7.9%,缩小变量规模21%,提升调度性能26.1%。 展开更多
关键词 列车通信网络 确定性实时传输 时间触发 调度模型 等价化简
在线阅读 下载PDF
大道至简,何必化简为繁
2
作者 张东良 《中华武术》 2025年第1期45-45,共1页
如今武术界有一种现象:真功渐失,而各种新套路却如雨后春笋般一再增多,令人叹矣,忧矣。试以太极拳为例来说明。各流派太极拳本有自己的传统套路。为了普及发展,创编了24式简化太极拳,我们欢迎简化太极拳。为了统一标准以备裁判,我们欢... 如今武术界有一种现象:真功渐失,而各种新套路却如雨后春笋般一再增多,令人叹矣,忧矣。试以太极拳为例来说明。各流派太极拳本有自己的传统套路。为了普及发展,创编了24式简化太极拳,我们欢迎简化太极拳。为了统一标准以备裁判,我们欢迎竞赛套路。 展开更多
关键词 武术界 简化太极拳 大道至简 竞赛套路 化简为繁 统一标准 创编
在线阅读 下载PDF
问题情境中的数学思维训练——以“分数化简与约分”为例
3
作者 马武本 《数学之友》 2025年第4期70-72,共3页
数学思维能力的培养是小学数学教学的重要目标.通过在问题情境中设计分数化简与约分的教学活动,引导学生在具体问题中运用数学思维方法,探索分数化简与约分的本质,形成关于分数等值的深刻理解.研究表明,在问题情境中进行数学思维训练,... 数学思维能力的培养是小学数学教学的重要目标.通过在问题情境中设计分数化简与约分的教学活动,引导学生在具体问题中运用数学思维方法,探索分数化简与约分的本质,形成关于分数等值的深刻理解.研究表明,在问题情境中进行数学思维训练,能有效促进学生掌握分数化简与约分的方法,提升学生分析问题、解决问题的能力,帮助学生形成严谨的数学思维习惯. 展开更多
关键词 问题情境 数学思维 “分数化简与约分”
在线阅读 下载PDF
自由选择工作流网的可靠完备化简规则集 被引量：3
4
作者 张曼 段振华 王小兵 《软件学报》 EI CSCD 北大核心 2013年第5期993-1005,共13页
流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠... 流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化. 展开更多
关键词 自由选择工作流网 流程化简 合成 化简规则的可靠性 化简规则集的完备性
在线阅读 下载PDF
改进的居民地要素模板匹配化简方法
5
作者 李安平 翟仁健 +3 位作者 殷吉崇 朱丽 徐杨斌 万瑞康 《测绘科学技术学报》 2024年第5期541-550,共10页
针对基于转角函数的模板匹配化简方法易出现的3类化简错误,即模板库找不到合适的化简模板、计算形状相似度时错误选择模板、化简结果出现位置及方向偏差等问题,提出一种改进的居民地要素模板匹配化简方法。首先构建基于转角函数的无偏... 针对基于转角函数的模板匹配化简方法易出现的3类化简错误,即模板库找不到合适的化简模板、计算形状相似度时错误选择模板、化简结果出现位置及方向偏差等问题,提出一种改进的居民地要素模板匹配化简方法。首先构建基于转角函数的无偏相似性度量模型,减小居民地与模板之间的形状相似性度量误差,然后将匹配过程划分为“粗匹配”和“精匹配”两个阶段,克服形状相似性度量对边界起始点选择的敏感性,提高匹配效率,最后针对化简区域或邻近区域已有更小尺度居民地数据的情况,研究模板库自动扩充方法,提高模板库的完备性。通过真实数据试验分析,验证了本文方法在化简中能保持居民地的主体形态特征,实现不同尺度的化简。与现有方法相比,本文方法能够有效克服3类化简错误,提高对复杂居民地的化简率,使化简居民地与模板之间的形状吻合度更高。 展开更多
关键词 模板匹配 转角函数 居民地化简 制图综合 模板库 相似性度量
在线阅读 下载PDF
教你三招化简对数式
6
作者 张洪军 王佩其 《中学生数理化（高一数学）》 2024年第11期3-3,共1页
在解答对数的求值问题、最值问题、单调性问题、参数问题时,要先对对数式进行化简,那么化简对数式有哪些招数?
关键词 最值问题 化简 对数式 求值问题 单调性问题
在线阅读 下载PDF
一种顾及空间关系约束的线化简算法 被引量：27
7
作者 李成名 郭沛沛 +2 位作者 殷勇 武鹏达 顾腾 《测绘学报》 EI CSCD 北大核心 2017年第4期498-506,共9页
线要素化简在制图表达与综合领域一直是研究的热点和难点之一。然而,经典化简算法多针对单独线要素进行处理,缺乏对该线要素与周边线要素之间整体空间关系的考虑,并且,存在计算结果生硬(D-P算法)、局部极值点缺失,特别是在曲度较大之处... 线要素化简在制图表达与综合领域一直是研究的热点和难点之一。然而,经典化简算法多针对单独线要素进行处理,缺乏对该线要素与周边线要素之间整体空间关系的考虑,并且,存在计算结果生硬(D-P算法)、局部极值点缺失,特别是在曲度较大之处出现相交异常(L-O算法)等问题。为此,本文提出一种顾及空间关系约束的线化简算法,建立线要素全局化简方法(LGSM)和矢量位移、面积位移等5类评价指标。采用等高线、河流和道路3类线要素实际数据进行了试验,充分检验了本文算法的优越性,其处理结果符合开方根模型规律,降低了曲线复杂度,在保证全局空间关系不变条件下,不仅更好地保持了曲线整体形状特征,而且光滑美观、精度高。 展开更多
关键词 线化简 空间关系约束 全局化简方法 开方根模型
在线阅读 下载PDF
随机Petri网模型中变迁的串、并联性能等价化简技术 被引量：28
8
作者 田立勤 林闯 周文江 《电子学报》 EI CAS CSCD 北大核心 2002年第8期1134-1137,共4页
随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简... 随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简技术提供一个坚实的基础 .另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构 ,所以对随机Petri网模型变迁的串、并联的化简 ,特别是能够推导出它的性能等价的数学公式就显得很有必要 .本文详细阐述了随机Petri网变迁的串并联的模型化简技术 ,推导出了变迁的串、并联化简的性能等价公式 ,并给出一个化简的例子 ,最后对结果的相关问题进行了分析 . 展开更多
关键词 随机PETRI网 模型化简 串联 并联 变迁化简 性能等价方程 SPN
在线阅读 下载PDF
逻辑函数的代数化简法技巧剖析
9
作者 李惠英 《浙江水利水电专科学校学报》 2008年第3期91-94,共4页
代数化简法可化简任意逻辑函数,但目前尚未形成一套完整系统的方法,没有一个固定的步骤可遵循,具有一定的试探性.能否尽快合理地对逻辑函数进行化简,很大程度上取决于化简者的经验、技巧、洞察力及对公式掌握与运用的熟练程度,特别是经... 代数化简法可化简任意逻辑函数,但目前尚未形成一套完整系统的方法,没有一个固定的步骤可遵循,具有一定的试探性.能否尽快合理地对逻辑函数进行化简,很大程度上取决于化简者的经验、技巧、洞察力及对公式掌握与运用的熟练程度,特别是经验、技巧,如增加冗余项、配项等,一直以来是教师教学与学生学习的一个难点.将代数化简法与卡诺图化简法有机结合起来,借助卡诺图化简法,对代数化简法的应用经验与技巧作了剖析,做到有章可循. 展开更多
关键词 化简 代数化简法 经验与技巧 卡诺图化简法
在线阅读 下载PDF
多条海岸线协同化简的层次化三角网分区法 被引量：11
10
作者 张立华 唐露露 +1 位作者 贾帅东 戴泽源 《测绘学报》 EI CSCD 北大核心 2019年第4期520-531,共12页
针对当前海岸线自动综合方法仅考虑单条线要素,未有效考虑其与附近海岸线之间的空间邻近关系,提出一种用于多条海岸线协同化简的层次化三角网分区法。首先,利用约束Delaunay三角网对能否化简的区域进行划分和标识;然后,利用二叉树构建... 针对当前海岸线自动综合方法仅考虑单条线要素,未有效考虑其与附近海岸线之间的空间邻近关系,提出一种用于多条海岸线协同化简的层次化三角网分区法。首先,利用约束Delaunay三角网对能否化简的区域进行划分和标识;然后,利用二叉树构建层次关系模型,对各区域实体进行有序组织;最后,有序地对可化简的标识区域进行渐进式化简,并对局部狭窄区域进行自适应夸大,从而实现多海岸线的协同化简。试验结果表明:本文方法可克服复杂区域海岸线化简产生的图理性问题,可明显提高海岸线的化简质量。 展开更多
关键词 制图综合 海岸线化简 层次关系 协同化简
在线阅读 下载PDF
顾及拓扑一致性的水系三维曲线化简 被引量：4
11
作者 刘民士 龙毅 费立凡 《测绘学报》 EI CSCD 北大核心 2016年第4期494-501,共8页
鉴于常规曲线化简方法应用于水系曲线化简时难以顾及水系要素的三维特征及其拓扑关系,本文提出了一种顾及拓扑一致性的水系三维曲线化简方法。该方法首先对D-P算法进行三维扩展,实现水系中单条河流三维曲线化简,然后构建水系树结构表达... 鉴于常规曲线化简方法应用于水系曲线化简时难以顾及水系要素的三维特征及其拓扑关系,本文提出了一种顾及拓扑一致性的水系三维曲线化简方法。该方法首先对D-P算法进行三维扩展,实现水系中单条河流三维曲线化简,然后构建水系树结构表达其拓扑关系,最后按照水系树的层次顺序依次进行河流曲线化简和干流与支流的拓扑关系重构。试验结果表明,该方法化简精度高,既能保持水系的三维形态特征,又能保证河流交汇处的拓扑一致性。 展开更多
关键词 D-P算法 拓扑关系 三维曲线化简 水系化简
在线阅读 下载PDF
三角函数化简与求值的四种常用方法
12
作者 汪乐 张启兆 《中学生数理化（高一数学）》 2024年第12期24-25,共2页
三角函数化简与求值的原则是“三看”:一看角,看各角之间的差异与联系,将角进行转化;二看函数名称,看函数名称之间的差异,确定使用的公式,如切化弦等;三看次数,看各项的次数之间的差异与联系,确定使用的公式,如降幂、升幂等。
关键词 求值 三角函数化简 函数名称 常用方法 三看 次数 公式
在线阅读 下载PDF
聚焦三角函数化简与求值的“主角”
13
作者 徐春生 《中学生数理化（高一数学）》 2024年第12期6-6,共1页
三角函数的化简与求值是三角函数中的一个常见题型,而“变角”是化简与求值的重要形式,是化简与求值的主角,其主要的变换方法有单角化复角、复角化单角、复角化复角。
关键词 三角函数 求值 变换方法 角化 常见题型 化简 主角
在线阅读 下载PDF
有条件的分式化简与求值问题的解题策略
14
作者 章瑜 《数理天地（初中版）》 2024年第1期51-52,共2页
有条件的分式化简与求值问题,历来是中考的必考题型.本文结合几则典例,提出有条件的分式化简与求值问题的解题策略,以提高学生解题能力,提升学生数学素养.
关键词 初中数学 分式化简 求值
在线阅读 下载PDF
初中阶段化简绝值的几种方法小结
15
作者 母万里 《数理天地（初中版）》 2024年第1期18-20,共3页
著名数学家华罗庚说过:“数缺形时少直观,形少数时难入微;数形结合百般好,隔离分家万事休.”“数”与“形”作为数学问题中两个最主要的基本要素与研究对象,二者相互独立又紧紧相联,构建成一个和谐完美的统一体,相互融合,相互渗透,相互... 著名数学家华罗庚说过:“数缺形时少直观,形少数时难入微;数形结合百般好,隔离分家万事休.”“数”与“形”作为数学问题中两个最主要的基本要素与研究对象,二者相互独立又紧紧相联,构建成一个和谐完美的统一体,相互融合,相互渗透,相互转化.本文给出初中阶段绝对值的几种化简方法,希望能够帮助学生们更好理解绝对值,化简绝对值. 展开更多
关键词 初中数学 绝对值 化简
在线阅读 下载PDF
代数式中“整式”与“分式”的化简求值方法探究
16
作者 孙飞 《数理天地（初中版）》 2024年第7期4-5,共2页
代数式是数学中常见的一类表示式,它由变量、常数和运算符组合而成.而整式和分式则是代数式的两种常见形式,整式是只包含有理数系数的代数式,它的各项之间通过加法和减法运算符连接;分式是含有分母的代数式,它的各项之间通过加法和减法... 代数式是数学中常见的一类表示式,它由变量、常数和运算符组合而成.而整式和分式则是代数式的两种常见形式,整式是只包含有理数系数的代数式,它的各项之间通过加法和减法运算符连接;分式是含有分母的代数式,它的各项之间通过加法和减法运算符连接,但是可以存在除法运算.在代数式中,整式和分式常常需要进行化简和求值的操作,整式的化简和求值相对较简单,可以进行合并同类项、提取公因式等操作;分式的化简和求值则相对复杂,需要考虑分子和分母的因式分解、约分等操作. 展开更多
关键词 初中数学 代数式 化简求值
在线阅读 下载PDF
一种减少CNOT门数量的Clifford+T电路化简算法
17
作者 卜登立 《渤海大学学报(自然科学版)》 2024年第4期288-294,共7页
T门数量或T门深度是常用的评价容错Clifford+T电路的成本指标.然而Clifford+T电路中的CNOT门对量子计算效率的影响也不能被忽略.为减少Clifford+T电路的CNOT门数量,设计了一种使用模板电路化简Clifford+T电路的算法.使用Clifford+T电路... T门数量或T门深度是常用的评价容错Clifford+T电路的成本指标.然而Clifford+T电路中的CNOT门对量子计算效率的影响也不能被忽略.为减少Clifford+T电路的CNOT门数量,设计了一种使用模板电路化简Clifford+T电路的算法.使用Clifford+T电路验证所设计化简算法的结果表明,所设计的化简算法能够在不改变T门数量和不增加T门深度的前提下,将Clifford+T电路的CNOT门数量平均减少12.58%,同时将CNOT门深度平均降低5.35%. 展开更多
关键词 Clifford+T电路 CNOT门 模板电路 化简
在线阅读 下载PDF
以角的关系探索三角函数的化简求值
18
作者 唐光伟 《数理天地（高中版）》 2024年第17期34-35,共2页
新课程标准在“四基”“四能”方面,对学生和教师都提出了更高的要求.学生每天都有一定的练习量,在课堂上有课堂作业,教师可能还布置相应的课外作业,目的只有一个,那就是要提高学生的“四能”,即发现问题和提出问题的能力,分析和解决问... 新课程标准在“四基”“四能”方面,对学生和教师都提出了更高的要求.学生每天都有一定的练习量,在课堂上有课堂作业,教师可能还布置相应的课外作业,目的只有一个,那就是要提高学生的“四能”,即发现问题和提出问题的能力,分析和解决问题的能力.在长期的教学实践中不断研究探索,发现寻找角的关系有助于探索三角函数的化简求值. 展开更多
关键词 三角函数 角的关系 化简求值
在线阅读 下载PDF
一种基于特征环的复杂网络结构化简方法 被引量：1
19
作者 胡飞虎 荆娟娟 +1 位作者 刘露露 马贝龙 《计算机科学》 CSCD 北大核心 2013年第6期52-56,共5页
具有复杂连接关系的网难以进行结构分析和运行控制。基于特征环的网络化简方法,保持了原有网络的特性并有效降低了网络连接的复杂程度。网的研究基于单重有向图,在连接和路径概念的基础上,定义了环路径和复合环路径,进而引入了特征点和... 具有复杂连接关系的网难以进行结构分析和运行控制。基于特征环的网络化简方法,保持了原有网络的特性并有效降低了网络连接的复杂程度。网的研究基于单重有向图,在连接和路径概念的基础上,定义了环路径和复合环路径,进而引入了特征点和普通点的概念,并给出了单纯特征环和复合特征环的定义。给出了基于特征环的网结构化简原则和化简算法,结合实例对网络结构的化简进行了探讨。结果证明该方法可以有效化简复杂网络,但特征环的选择顺序不同时,网络化简的结果也可能不同。 展开更多
关键词 复杂网络 网络化简 图化简 复合环 特征环 工作流
在线阅读 下载PDF
逻辑函数的立体化简法及其实现 被引量：1
20
作者 陶永明 《计算机应用与软件》 CSCD 北大核心 2012年第11期309-311,共3页
逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简... 逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数。使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理。 展开更多
关键词 逻辑函数化简 立体化简法 逻辑函数立方体 CubeScape
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 84 下一页 到第 页
使用帮助 返回顶部