Results 1 to 10 of about 65 (64)
时变体数据传输函数设计及其在行星际数值模拟结果可视化中的应用
Kongjian kexue xuebao, 2023 为便于太阳风暴行星际传播数值模型结果可视化分析，提出一种针对时变模拟数据体绘制的传输函数设计算法（Transfer Function for Time-varying Volume data，TFTV）。该算法首先基于KNN（K-Nearest Neighbors，KNN）背景差分法提取运动区域；然后，利用频率调谐（Frequency Tuned，FT）显著性算法检测日冕物质抛射（Coronal Mass Ejection，CME），并设计颜色反映射算法查找CME与背景的分界阈值；最后 ...
祝 艳, 钟 鼎坤
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2007 冗余函数和自反函数是特殊的布尔函数，本文阐述了冗余函数和自反函数的定义，提出了冗余函数和自反函数的性质，讨论了冗余函数和自反函数的图形检测方法，并用实例说明之.通过计算机编程操作，可以得到用于多变量冗余函数和自反函数检测的快速算法.
RENBing(任兵) +1 more
doaj +1 more source
New method of testing self-dual function and self negative function on bj-map(基于bj图检测自双反函数和自反函数的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质，给出了基于bj图获得变量全部取反的逻辑函数的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以及可并行处理等优点.
ZHENGHui-qun(郑惠群) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2007 基于冗余函数、自反函数及自双反函数的定义和性质，利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.
LIKe(郦可), CHENXie-xiong(陈偕雄)
doaj +1 more source
智能科学与技术学报, 2023 针对具有不确定性四旋翼无人机姿态跟踪问题，提出了基于极值搜索的鲁棒控制方法。首先，建立四旋翼无人机非线性姿态模型，并考虑模型参数的不确定性，设计鲁棒控制器来确保跟踪误差动态的有界性。然后，将鲁棒控制器与无模型学习算法结合，设计基于学习的控制器，从而自动迭代地调整鲁棒控制器的反馈增益，并在线优化期望性能成本函数。最后，通过MATLAB进行数值仿真，所述控制方法的系统稳态跟踪误差相较于经典鲁棒控制方法降低了0.246，证明了所述方法鲁棒性和优越性。
郭大力, 赵中原, 罗子娟
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
PROMELA based formal verification for safety-critical software
Xibei Gongye Daxue Xuebao, 2022 聚焦安全关键软件, 研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型, 验证属性相关函数到PROMELA模型的2类映射规则; 根据映射规则提出由C程序自动生成PROMELA形式模型的算法, 并对算法进行理论分析; 针对C程序中5种故障类型, 分别给出基于PROMELA模型的形式化验证方法, 并分析验证的范围; 覆盖各类故障的验证范围, 为每类故障类型选取12个C程序案例进行实证研究 ...
XING Liang +3 more
doaj +1 more source
Graphic method of detecting special logic function with arbitrary term(检测含任意项特殊逻辑函数的图形方法)
Zhejiang Daxue xuebao. Lixue ban, 2014 线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发，提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法，并举例说明了具体检测过程.应用结果表明，该图形方法具有直观，便捷等特点.
LIXiaohua(厉晓华) +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, 2013 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发，讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质，并给出了相应的证明，为方便快捷地实现故障检测和密码学函数的构造奠定理论基础.
FANGWei-jie(方伟杰) +2 more
doaj +1 more source