逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集 ,并根据布尔除、布尔减的运算规则和性质 ,从最小项、最大项展开式出发 ,推导了任意逻辑函数在这两个完备集中的规范展开式 .得到的展开式形式简单 ,容易记忆 ,与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷 .本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义 .

逻辑函数在布尔减-除-非代数系统中的标准DOS和SOD展开式

本文首先证明了布尔减、布尔除与非运算构成完备集,并根据布尔减、布尔除与非运算的运算规则和性质,从与或非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减除非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式。最后举例说明了二个代数系统中展开式之间的转换。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发.

基于改进布尔约减级数分层的大数据流滞后相关性挖掘方法

为了提高大数据流滞后相关性序列挖掘效率,提出基于改进布尔约减级数分层的大数据流滞后相关性挖掘方法.该方法根据原数据流两段序列的序列均值对大数据流序列进行布尔变换,有效降低布尔约减计算开销.通过序列元素转换及还原,缩减序列元素的数目,克服传统算法在滞后相关性计算时需要计算所有数据流序列元素之间滞后相关性的弊端.实验表明,文中方法可有效减少运算时间,在保证精度的同时提高运算效率.

逻辑函数的减-非和除-非展开式的最小化方法

讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开 ,给出了减 -非和除 -非逻辑函数的化简公式 .在此基础上提出了减 -非和除 -非逻辑函数的代数化简法以及图形化简法 ,并给出了化简实例 .

逻辑函数的减-异或、除-符合展开式的最小化方法

本文根据布尔减-异号、除-符合代数系统中的规范展开式,给出了布尔减-异或、除-符合逻辑函数的代数化简法和图形化简法。

逻辑函数的规范XOS和COD展开式

从香农展开定理出发,推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式,并给出了相应的图形表示.

一种变比齿条齿廓设计优化方法

提出一种变比齿条数字设计方法。该方法克服了布尔减运算法不能精确建模的弊端;将变比齿轮齿条副中的渐开线齿轮离散成端截面方向上无限薄的齿轮元的集合,建立了变比齿条齿廓点高度值计算的数学模型;通过布尔减运算建模法确定变比齿条齿廓包络区间及变比齿条各个齿廓点对应的渐开线齿轮转角范围和变比齿条位移范围;采用数值计算方法求解变比齿条齿廓点高度值计算的数学模型,得到变比齿条齿廓点云模型。试制了样件,测试了变比齿轮齿条副的实际传动比,通过理论传动比曲线与实际传动比曲线的对比验证了该方法的有效性。

用Jaleo制作电影胶片效果

Jaleo是运行在SGI平台上的后期制作软件,它具有强大的编辑合成功能。下面,我们就利用软件所提供的工具来制作一个飘动变形的电影胶片。