共查询到20条相似文献，搜索用时 703 毫秒
1.
2.
一、引言逻辑函数具有表格式(真值表)、代数式及图形(K图)等三种表示形式,其中的K图表示由于具有相邻格可以合并的特点,因此,它在二值或多值逻辑函数的简化中提供了直观与方便的综合程序。然而,逻辑函数的图形表示受到变量数的限制,这是由于随变量数的增加,K图的规模按基数的幂次规律迅速增加。在二值逻辑中,为了扩大K图的适用范围已引入了降维K图的方法,它乃是把一个n变量的函数用一个m维(m相似文献
3.
1.涉及到代数多项式的Markov不等式的改进和拓广,J.Szabados曾问: 问题S 设f(x)为n次实零点的代数多项式,且在(-1,1)中没有零点,是否存在绝对常数C使得对于-1相似文献
4.
对一类有理数域上的代数曲线,构造出了它们的K2群中的一些元素,并证明了这些元素之间一些有趣的线性关系;同时,还讨论了这些元素的整性质. 相似文献
5.
首先简单介绍了对于有理数域上光滑射影曲线的Beilinson猜想,然后应用椭圆簇的知识指出了存在于费玛曲线K2群中的一个元素,最后在费玛曲线X3这个特殊情形下,将其L-函数与Eisenstein-Kronecker-Lerch级数明确地联系起来,从而验证了其L-函数满足的函数方程,以及它能在复平面上解析延拓的事实. 相似文献
6.
7.
布尔函数是否存在低次零化子,是代数攻击成功与否的关键。在定义了零化子相关度基础上,给出确定布尔函数存在低次零化子的算法。其核心思想是根据布尔函数与具有低次零化子函数之间的零化子相关度来判断布尔函数是否存在低次零化子。相对于直接计算布尔函数的低次零化子复杂度明显降低。 相似文献
8.
逻辑函数的或／与形式及其在数字电路设计中的应用 总被引：1，自引：0，他引：1
从代数与电路两方面对函数或／与形式的作用与应用进行了讨论，结果表明，或／与形式在用于电路实现时具有很大特点，因此在数字电路的设计时应该予以充分重视． 相似文献
9.
本文以免疫PID的SimuLink模型及其S函数为例引出代数环问题,分析了代数环的基本概念,指出了代数环对控制系统仿真的巨大危害,最后结合实际提出了几种消除代数环的方法.结果表明,代数环消除后提高了系统的仿真精度和运行速度. 相似文献
10.
分片代数曲线定义为二元样条函数的零点集。基于多元样条的基本理论,利用结式方法和DISCOVERER程序,讨论了低次样条空间S23(△)和S21(△)的Bezout数。 相似文献
11.
对求争最优化问题的极大熵方法中的关键函数－K－S函数的一致不变凸性作了讨论得出“K－S函数是一致不变凸的，则一定是不变凸的”结论，其于K－S函数的特殊熵参数，在证明K－S函数的一致不变凸性中，引入了一个很小的正数ε，以说明只要熵足够大，K－S函数就是一致不变凸的。 相似文献
12.
This paper develops a novel stability analysis method for Takagi–Sugeno (T–S) fuzzy systems with time-varying delay. New delay-dependent stability criteria in terms of linear matrix inequalities for time-varying delayed T–S fuzzy systems are derived by the newly proposed augmented Lyapunov–Krasovski (L–K) functional. This functional contains the cross terms of variables and quadratic terms multiplied by a higher degree scalar function. Different from previous results, our derivation applies the idea of second-order convex combination, and the property of quadratic convex function without resorting to the Jensen's inequality. Two numerical examples are provided to verify the effectiveness of the presented results. 相似文献
13.
历届中考的热点之一,就是运用二次函数解决数学问题或实际问题,此类题目经常需要用二次函数表达其中的变量关系,而求出二次函数的解析式是解题的关键。求二次函数解析式的方法有定义法、平移法、三点法、交点法、顶点法、对称法、旋转法、参数法、等量法等。 相似文献
14.
Magdi S. Mahmoud 《Journal of The Franklin Institute》2004,341(7):675-703
A class of linear parameter-varying time-delay systems where the state-space matrices depend on time-varying parameters and the time-delay is unknown but bounded is considered. Both notions of quadratic stability (using a single quadratic Lyapunov-Krasovskii function) and affine quadratic stability (using parameter-dependent Lyapunov-Krasovskii functions) are investigated. LMI-based delay-independent and delay-dependent conditions are derived for stability testing. Then, state-feedback controllers are designed which guarantee quadratic stability and an induced L2-norm bound. We use a parameter-independent quadratic Lyapunov-Krasovskii function for the case of dynamic output feedback control to develop LMI-based solvability conditions which are evaluated at the extreme points of the admissible parameter set. Numerical examples are presented. 相似文献
15.
Gerard Piel 《Journal of The Franklin Institute》1975,300(2):97-101
This paper shows that minimizing a quadratic cost function is not particularly useful for selecting a small number of controller gains in vehicle headway control. For cases in which a large number of controller gains are to be selected, the quadratic cost function may be useful, but the weighting parameter values cannot usually be chosen a priori if transient performance measures are of a particular interest. Examples illustrate how values of weights in a simplified cost function can be selected to yield acceptable transient performance. This performance is compared with that for a system containing only a few gains and optimized without recourse to a cost function. 相似文献
16.
Pauli Pedersen 《Journal of The Franklin Institute》1980,309(5):359-367
A quantitative stability analysis of the Carson-Cambi equation [(1 + ε cos t)(d2y/dt2) + py = 0] is carried through, using a new, effective approach. The results are compared with a recent perturbation analysis, and show that this should not be used for ε0.4. In the present analysis we go up to ε = 0.8, and, in fact, with less effort than the perturbation analysis involves. Detailed stability diagrams are presented. 相似文献
17.
相机标定是三维重构中的关键步骤,本文对在自标定下的两视图三维几何模型恢复进行研究。先采用SURF算法得到图像匹配点对,在此基础上,利用RANSAC鲁棒估计基础矩阵;然后根据Kruppa方程所推导出的二次方程自标定出相机内参数,进一步地,通过分解本质矩阵求解出相机外参数;最后,根据三角化法求得空间三维坐标值。实验结果证实,该方法具有效性和正确性,并且能够真实地再现物体的三维模型。 相似文献
18.
19.
社区卫生服务可持续发展的管理体制与运行模式探讨 总被引：2，自引：0，他引：2
孙洁 《科学．经济．社会》2010,28(2):87-90
社区卫生服务机构是新型医疗卫生服务体系的基础。目前一些社区卫生服务机构作为居民健康的＂守门人＂制度还没有完全建立起来,存在着财政补偿机制不到位、双向转诊机制缺位,以及基础设施建设和人才队伍建设滞后等问题和不足。本文针对上述问题提出相关政策建议。 相似文献
20.
多目标遗传算法NSGA—Ⅱ是解决0／1背包问题^[1]的有效算法,但是它还存在一定的缺陷,当0／1背包问题的规模较大时,这种方法很难收敛到Pareto最优边界,因此解的分布性不是很好,解集也很难收敛。针对此问题,提出基于ε支配的MOGA来求解0／1背包问题,通过实验验证该算法在求解分布性上优于NSGA-Ⅱ。 相似文献