论文部分内容阅读
给出了ｎ变元３值逻辑函数为ｎ－１阶相关免疫的充要条件，明确给出了这类函数的代数结构式，且在ｎ〉３时，给出了构造更大一类ｎ变元ｎ－１阶相关免疫平衡ｍ值逻辑函数的方法，最后分析了相关免疫３值逻辑函数的计数问题。
n变元n—1阶相关免疫3值逻辑函数的代数结构
【摘 要】
：
给出了ｎ变元３值逻辑函数为ｎ－１阶相关免疫的充要条件，明确给出了这类函数的代数结构式，且在ｎ〉３时，给出了构造更大一类ｎ变元ｎ－１阶相关免疫平衡ｍ值逻辑函数的方法，最后分析了相关免疫３值逻辑函数
【机 构】
：
郑州信息工程学院信息研究系
【出 处】
：
工程数学学报
【发表日期】
：
1999年4期
其他文献
给出了非奇H-矩阵的一些新的充分条件和充要条件．这些条件推广了黄廷祝(1994年)，逄明贤(1989年)、沈光星(1990年)的相关结果．使非奇H-矩阵的判定问题在理论上更为完善．这些条件也
目的观察有高危出血倾向的尿毒症患者应用微量肝素持续滴入法在血液透析中的抗凝效果。方法将40例有高危至极高危出血倾向的尿毒症患者，随机分成对照组和观察组各20例，分别应用
在Baaach空间中利用半序理论和混合单调迭代技术，再使用一个新的比较结果，研究了非线性脉冲型微分-积分方程韧值同题的最大和最小广义拟解对的存在性．
目的观察血栓通脉汤在脑血栓患者治疗中的应用疗效。方法我院2017年7月至2018年7月收治的64例脑血栓患者为本次研究对象,按照临床治疗中是否联合血栓通脉汤治疗将所有患者分
目的 分析利伐沙班与华法林在深静脉血栓形成(DVT)患者治疗中的疗效对比.方法 选入2016年3月~2018年3月我院收治的下肢DVT患者68例,随机分为对照组(n=34)和观察组(n=34),对照
考虑中立型时滞微分方程：［ｘ（ｔ）－Ｒ（ｔ）ｘ（ｔ－ｒ）］′＋Ｐ（ｔ）ｘ（ｔ－τ）－Ｑ（ｔ）ｘ（ｔ－σ）＝０其中Ｐ，Ｑ∈Ｃ（［ｔ０，∞），Ｒ＋］），Ｒ∈Ｃ（［ｔ０，∞），Ｒ）．ｒ，τ，σ∈Ｒ＋，文章中获得了上方程所有解振动的新判据，同时讨论了正解的存在性及非振动解的渐近性。
通过几个矩阵形式的微分恒等式，建立了几个关于二阶自共轭微分系统（Ｐ（ｔ）Ｙ’（ｔ）‘＋Ｑ（ｔ）Ｙ（ｔ）＝０的预备解及其导函数的Ｓｔｕｒｍ比较定理，推广了若干经典结论。
研究了具有马氏到达过程（ＭＡＰ）和相位型（ＰＨ）启动时间的离散时间排队模型，证明了系统的稳态队长分布具有矩阵几何形式，得到了来到系统顾客的稳态等待时间分布。
本文考虑以下泛函微分方程的边值问题：“ｘ＇（ｔ）＝ｆ（ｔ，ｘｔ）（０≤ｔ≤ｂ），ｘ０＝ｘｂ″及“ｘ“（ｔ）＝ｆ（ｔ，ｘｔ，ｘ＇（ｔ）（０≤ｔ≤ｂ＿，ｘ０－ψ，ｘ（ｂ）＝Ｂ”。利用基于度理论的不动定理，给上述边值问题有解的某些充分条件。
研究一类对称的脉冲型随机控制的平稳问题（平均期望费用问题），不仅证明了最优Ｉｍｐｕｌｓｅ控制的存在性，而且构造了一个最佳脉冲控制。