Results 1 to 10 of about 344 (99)
Zhejiang Daxue xuebao. Lixue ban, 2023 研究了一类一阶半正周期边值问题u'(t)=λa（t）[f（u（t））-k], t∈[0,1],u(0)=u(1)正解的存在性，其中，k>0为常数，λ>0为参数。权函数a：[0，1]→R为连续函数，f或是定义在[0，∞)上的非负连续函数，满足 f(0)=0且在无穷远处是次线性的，或是定义在(0，∞)上的正连续函数且在0处具有奇异性。运用上下解方法证明了该问题正解的存在性。
杨伟(YANG Wei)
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2022 运用截断函数方法以及变指数在加权Sobolev空间中的嵌入关系，通过选取适当的检验函数，证明了一类非线性椭圆方程熵解的存在性。
DAILili(代丽丽)
doaj +1 more source
Graphical method of detecting linear functions and partial linear functions(线性函数和部分线性函数的图形检测方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 线性函数是布尔代数中常用的特殊函数之一，本文根据线性函数、部分线性函数的定义与性质，提出了检测线性函数与部分线性函数六个定理.在此基础上，给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法，并举例说明具体检测过程.
ZHAOMin-xiao(赵敏笑) +2 more
doaj +1 more source
Tabular method of detecting linear function and linear variable(检测线性函数与线性变量的表格方法)
Zhejiang Daxue xuebao. Lixue ban, 2006 讨论了线性函数、部分线性函数和线性变量的定义、性质和定理，提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.
LIANYi-qun(练益群) +2 more
doaj +1 more source
Properties of linear function and its application(线性函数的性质及其应用)
Zhejiang Daxue xuebao. Lixue ban, 2006 给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质.根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.
LUHui-juan(陆慧娟) +1 more
doaj +1 more source
Graphic method of detecting special Boolean function based on dj-map(基于dj图检测特殊布尔函数的图形方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法.给出了求的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法.此外，还讨论了求的dj图的改进的图形方法.
LIANYi-qun(练益群)
doaj +1 more source
Method of detecting special logic function based on Boolean e-derivative(基于布尔e导数的特殊逻辑函数检测方法)
Zhejiang Daxue xuebao. Lixue ban, 2014 布尔代数中的特殊逻辑函数具有独特的性质，而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法，在介绍线性函数、自双反函数以及布尔e导数概念的基础上，提出了利用布尔e导数判别线性函数和自双反函数的定理，给出了基于布尔e导数检测线性函数、自双反函数的方法，并通过3个实例，展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.
ZHAOMeiling(赵美玲)
doaj +1 more source
Uniform B-spline of order four with two independent shape parameters(具有两个独立形状参数的四阶均匀B样条)
Zhejiang Daxue xuebao. Lixue ban, 2007 首先给出四阶五次样条函数空间的基础解系，由此得到四阶五次均匀B样条空间一组线性无关的基函数，在此基础上给出具有两个独立形状参数的四阶均匀B样条函数，定义了具有两个独立形状参数的多项式曲线，此曲线以三次均匀B样条曲线为特殊情况，具有与三次均匀B样条曲线相同的端点性质和连续性，同时扩大了调节曲线形状的范围，使曲线调节更加灵活多样.
ZUOChuan-gui(左传桂) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2008 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理，给出了相应谱系数图的特点，得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点.
ZHOUZhen-feng(周振峰) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2017 利用现有势函数构造基于Metaball的过渡曲线，此过渡曲线无法兼具拟高阶连续性与形状可调性.针对这一问题，巧妙地从一种带形状参数的曲线模型出发，构造一类带形状参数的有理势函数，并研究该势函数的性质.所构造的有理势函数具有统一的数学模型，不仅能使过渡曲线在端点处达到拟Ck连续，而且还可通过修改形状参数的值调整过渡曲线的形状.实例表明，通过调整有理势函数的次数及形状参数的取值可构造出满足不同拟连续性且形状不同的过渡曲线，以满足实际应用需要.
LIJuncheng(李军成) +1 more
doaj +1 more source