期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现
1
作者 邱建林 陈建平 +1 位作者 顾翔 王波 《江南大学学报(自然科学版)》 CAS 2007年第6期718-722,共5页
提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,... 提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证. 展开更多
关键词 积项扩展 逻辑优化 多输入多输出 逻辑函数 算法
下载PDF
积项集合的补集算法 被引量:1
2
作者 邱建林 王波 《微机发展》 2001年第2期11-14,共4页
在逻辑综合的领域内 ,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法 ,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比 。
关键词 数字集成电路 设计 积项集合 逻辑综合 补集算法
下载PDF
重叠积项的分离算法
3
作者 王波 《计算机应用与软件》 CSCD 1998年第3期29-34,共6页
本文提出了一个分离重叠积项的算法。该算法在逻辑测试、函数最小化等逻辑综合的领域有重要作用。文中还给出了一个基于积项分离原理的判全域算法。
关键词 分离 重叠积项 算法 逻辑函数
下载PDF
求解多项式方程组的综合消元法 被引量:1
4
作者 张纪元 汪萍锋 李学领 《上海海运学院学报》 北大核心 2003年第3期257-261,共5页
给出一多项式组(PS)与一三角型组(TS)同解的一个判断准则,充分利用伪除法、结式消无法和主幂积项消无法的优点,形成求一多项式组(PS)格鲁布纳基(GS)的综合消元法,并构造了该法的计算步骤。实例计算表明,综合消元法具有计算效率高、消元... 给出一多项式组(PS)与一三角型组(TS)同解的一个判断准则,充分利用伪除法、结式消无法和主幂积项消无法的优点,形成求一多项式组(PS)格鲁布纳基(GS)的综合消元法,并构造了该法的计算步骤。实例计算表明,综合消元法具有计算效率高、消元效果好等优点。 展开更多
关键词 式方程组 综合消元法 伪除法 结式消元法 主幂积项消元法 格鲁布纳基 代数方程 计算方法
下载PDF
分母含有平方因子的二项式系数级数 被引量:2
5
作者 张来萍 陈艳丽 及万会 《河南教育学院学报(自然科学版)》 2017年第1期9-18,共10页
根据一个已知级数,使用积分裂项方法得到分母含1个平方因子的二项式系数级数和平方因子与1个、2个、3个的1次因子乘积的二项式系数级数和交错的二项式系数级数.所给出二项式系数级数的和式是函数形式,并给出分母含有平方因子的二项式系... 根据一个已知级数,使用积分裂项方法得到分母含1个平方因子的二项式系数级数和平方因子与1个、2个、3个的1次因子乘积的二项式系数级数和交错的二项式系数级数.所给出二项式系数级数的和式是函数形式,并给出分母含有平方因子的二项式系数数值级数恒等式. 展开更多
关键词 式系数 平方因子 分裂 级数
下载PDF
关于分母为奇平方因子的二项式系数倒数级数 被引量:1
6
作者 张来萍 唐永鲁 及万会 《河北北方学院学报(自然科学版)》 2018年第3期1-10,共10页
目的根据一个已知级数,给出分母为平方因子,平方因子与1个、2个、3个奇因子乘积的二项式系数倒数级数。方法利用正弦积分与Clausen函数,用积分-裂项法给出分母为平方因子,平方因子与1个、2个、3个奇因子乘积的二项式系数倒数级数。结果... 目的根据一个已知级数,给出分母为平方因子,平方因子与1个、2个、3个奇因子乘积的二项式系数倒数级数。方法利用正弦积分与Clausen函数,用积分-裂项法给出分母为平方因子,平方因子与1个、2个、3个奇因子乘积的二项式系数倒数级数。结果给出分母含有平方因子的二项式系数倒数数值恒等式。结论所给出二项式系数级数的和式是函数形式。 展开更多
关键词 式系数 平方因子 Clausen函数 倒数 分裂 级数
下载PDF
两量子比特海森堡XY模型中的热纠缠 被引量:1
7
作者 吴克栋 曹万强 《湖北大学学报(自然科学版)》 CAS 北大核心 2006年第4期375-378,384,共5页
研究外加非均匀磁场下包含交叉积项的两量子比特海森堡XY模型中的热纠缠,计算了纠缠度量:C.仔细讨论存在交叉积项时非均匀磁场对基态纠缠和热纠缠的影响.
关键词 交叉积项 海森馒XY模型 热纠缠 量予比特
下载PDF
关于等比数列的两个问题
8
作者 刘世泽 《高等函授学报(自然科学版)》 2003年第2期28-28,42,共2页
本文主要研究等比数列前n项积、前 2n项积与前 3n项积之间的关系 ,前n项和、前 2n项和与前 3n项和之间的关系 ,以及它们的应用。
关键词 等比数列 前n 前N 中学数学
下载PDF
L( 1,2)-edge- labeling for necklaces 被引量:1
9
作者 贺丹 林文松 《Journal of Southeast University(English Edition)》 EI CAS 2014年第4期550-554,共5页
For a graph G and two positive integers j and k an m-L j k -edge-labeling of G is an assignment from the set 0 1 … m-to the edges such that adjacent edges receive labels that differ by at least j and edges at distanc... For a graph G and two positive integers j and k an m-L j k -edge-labeling of G is an assignment from the set 0 1 … m-to the edges such that adjacent edges receive labels that differ by at least j and edges at distance two receive labels that differ by at least k.Theλ′j k-number of G denoted byλ′j k G is the minimum integer m overall m-L j k -edge-labeling of G.The necklace is a specific type of Halin graph.The L 1 2 -edge-labeling of necklaces is studied and the lower and upper bounds on λ′1 2-number for necklaces are given.Also both the lower and upper bounds are attainable. 展开更多
关键词 channel assignment L j k -edge-labeling Cartesian product Halin graph NECKLACE
下载PDF
非连续增算子的不动点定理及其应用 被引量:1
10
作者 李冰冰 吴献超 《宁波大学学报(理工版)》 CAS 2013年第1期63-68,共6页
给出了Banach空间的一个增算子不动点定理,将这一定理应用到Banach空间含间断项的二阶非线性脉冲积-微分方程,给出了一类方程的最大解和最小解的存在性定理.应用以上2个定理并通过建立比较定理,讨论了Banach空间含间断项的二阶非线性脉... 给出了Banach空间的一个增算子不动点定理,将这一定理应用到Banach空间含间断项的二阶非线性脉冲积-微分方程,给出了一类方程的最大解和最小解的存在性定理.应用以上2个定理并通过建立比较定理,讨论了Banach空间含间断项的二阶非线性脉冲积-微分方程的初值问题的最大解、最小解的存在性,并且在应用定理时仅用锥正规,减弱了刘笑颖等提出的锥正则条件. 展开更多
关键词 增算子 不动点 含间断的脉冲-微分方程 初值问题
下载PDF
Exact Traveling Wave Solutions for a Kind of Generalized Ginzburg-Landau Equation 被引量:8
11
作者 LIUCheng-Shi 《Communications in Theoretical Physics》 SCIE CAS CSCD 2005年第5期787-790,共4页
Using a complete discrimination system for polynomials, new exact traveling wave solutions for generalized Ginzburg-Landau equation are obtained. The method has general meaning for many similar problems.
关键词 generalized Ginzburg-Landau equation elementary integral method polynomialcomplete discrimination system
下载PDF
Application of Eigenkets of Bosonic Creation Operator in Deriving Some New Formulas of Associated Laguerre Polynomials 被引量:1
12
作者 FAN Hong-Yi WANG Tong-Tong 《Communications in Theoretical Physics》 SCIE CAS CSCD 2008年第8期315-320,共6页
Using the resolution of unity composed of bosonic creation operator's eigenkets and annihilation operator's un-normalized eigenket, which is a new quantum mechanical representation in contour integration form, we de... Using the resolution of unity composed of bosonic creation operator's eigenkets and annihilation operator's un-normalized eigenket, which is a new quantum mechanical representation in contour integration form, we derive new contour integration expression of associated Laguerre polynomials L^ρm (|z|^2) and its generalized generating function formula. A series of recursive relations regarding to L^ρm (|z|^2) are also deduced in the context of the Fock representation by algebraic method. 展开更多
关键词 bosonic creation operator Laguerre polynomials contour integration
下载PDF
三类数列极限的解法 被引量:2
13
作者 蔡俊青 《高等数学研究》 2021年第6期26-29,共4页
本文针对未定式的数列极限、n项和的数列极限以及n项积的数列极限这三类不能直接应用数列极限的四则运算法则求解的数列极限展开研究,分别给出了对应的求解方法及实例分析.
关键词 未定式 n n
下载PDF
Study on the Concept of Per Capita Cumulative Emissions and Allocation Options 被引量:3
14
作者 Shengmin Yu Xiang Gao Cuimei Ma Lihua Zhai 《Advances in Climate Change Research》 SCIE 2011年第2期79-85,共7页
Global long-term emission reduction targets need well defined options for equitable allocation of greenhouse gas emissions. Scholars from developing countries put forward the concept of equitable per capita cumulative... Global long-term emission reduction targets need well defined options for equitable allocation of greenhouse gas emissions. Scholars from developing countries put forward the concept of equitable per capita cumulative emission rights. There are four possible operational definitions resulting from this concept. These potential options for allocation of emission rights are expressed with mathematical equations. Through simple simulation, this paper reveals the advantages, disadvantages and characteristics of each option. 展开更多
关键词 climate change global long-term target per capita historical cumulative emission right equitable allocation
下载PDF
Designing Bézier surfaces minimizing the L^2-norm of the Gaussian curvature
15
作者 MO Guo-liang WU Ming-hua 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2007年第1期142-148,共7页
In freeform surface modelling, developable surfaces have much application value. But, in 3D space, there is not always a regular developable surface which interpolates the given boundary of an arbitrary piecewise smoo... In freeform surface modelling, developable surfaces have much application value. But, in 3D space, there is not always a regular developable surface which interpolates the given boundary of an arbitrary piecewise smooth closed curve. In this paper, tensor product Bézier surfaces interpolating the closed curves are determined and the resulting surface is a minimum of the functional defined by the L2-integral norm of the Gaussian curvature. The Gaussian curvature of the surfaces is minimized by the method of solving nonlinear optimization problems. An improved approach trust-region form method is proposed. A simple application example is also given. 展开更多
关键词 ensor product polynomial surfaces Gaussian curvature L^2-integral norm Texture mapping Nonlinear optimization
下载PDF
A New Differential Formula About Product of Polynomials and Its Application in Multi-electron State Physics
16
作者 FAN Hong-Yi 《Communications in Theoretical Physics》 SCIE CAS CSCD 2006年第3X期419-422,共4页
We derive a new differential formula about a kind of product of polynomials and then apply it to analyze some properties of multi-electron state "related to Laughlin wave function". The entangled state representatio... We derive a new differential formula about a kind of product of polynomials and then apply it to analyze some properties of multi-electron state "related to Laughlin wave function". The entangled state representation for describing electrons in uniform magnetic field is used. 展开更多
关键词 new differential formula product of polynomials multi-electron state
下载PDF
On the Evaluation Overlap Integrals with the Same and Different Screening Parameters Over Slater Type Orbitals via the Fourier-Transform Method
17
作者 M.Yavuz N.Yükcü E.OEztekin H.Yilmaz S.Doendür 《Communications in Theoretical Physics》 SCIE CAS CSCD 2005年第1期151-158,共8页
In this paper, derivation of analytical expressions for overlap integrals with the same and different screening parameters of Slater type orbitals (STOs) via the Fourier-transform method is presented. Consequently, it... In this paper, derivation of analytical expressions for overlap integrals with the same and different screening parameters of Slater type orbitals (STOs) via the Fourier-transform method is presented. Consequently, it is relatively easy to express the Fourier integral representations of the overlap integrals with same and different screening parameters mentioned as finite sums of Gegenbauer, Gaunt, binomial coefficients, and STOs. 展开更多
关键词 overlap integrals gegenbauer polynomials slater type orbitals
下载PDF
An Approach to Chromaticity of K_4-homeomorphs
18
作者 PENGYan-ling 《Chinese Quarterly Journal of Mathematics》 CSCD 2004年第3期253-261,共9页
We introduce a new method for studying the chromaticity of K4-homeomorphs,by which some new results are obtained.
关键词 K4-homeomorphs chromatic equivalence chromatic polynomial
下载PDF
一种针对有扰动项的耦合可积非色散方程的修正残差谐波平衡求解方法(英文)
19
作者 Yiu-yin LEE 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2019年第4期300-304,共5页
目的:本文将改进残余谐波平衡方法用于求解有扰动项的耦合可积非色散方程,并简化取得破解方案的过程。创新点:1.在取得每一阶段破解方案的过程中,只需处理一条非线性代数方程式及一组线性代数方程式;2.能找出旧方法不能找出的非线性答... 目的:本文将改进残余谐波平衡方法用于求解有扰动项的耦合可积非色散方程,并简化取得破解方案的过程。创新点:1.在取得每一阶段破解方案的过程中,只需处理一条非线性代数方程式及一组线性代数方程式;2.能找出旧方法不能找出的非线性答案。方法:1.使用理论推导、方程式替换及残余谐波平衡方法;2.通过仿真模拟,推导震动位移与频率之间的关系(图1)以及位移与速度之间的关系(图2)。结论:1.成功将改进残余谐波平衡方法应用于有扰动项的耦合可积非色散方程;2.通过与其他方法产生的数据进行比较,验证了所提方法的可行性和有效性(表1–3)。 展开更多
关键词 大幅自主震动 残余谐波平衡 有扰动的耦合可非色散方程
原文传递
对一个常见数列不等式的探究与推广
20
作者 储百六 《中学教研(数学版)》 2017年第12期23-25,共3页
文章通过对一个常见数列不等式的分析、证明、推广、寻根,指出一种解决与数列前n项积有关不等式的通用方法,该方法既能证明不等式,又能发现不等式.
关键词 不等式 前n估界 沃尔斯不等式
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部