结合Google Map影像的坐标转换实现

结合地形图、Google Map获取相同区域坐标点的方法计算布尔莎模型七参数,并在ERDAS平台上构建Spheroid.tab文件,实现影像从Xi'an_80向WGS_84坐标转换。此方法可应用到不同数据源的栅格数据坐标转换,转换后的精度误差范围可控制在7m之内,并可使大尺度、大范围的不同基准面椭球体下的影像坐标转换得到实现。

二进神经网络的Boolean函数化简

利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时,给出几个二进神经网络化简非线性可分Boolean函数的实例,具体说明该方法的有效性。

企业智能会计信息系统研究与设计——基于改进的Apriori算法和属性归纳学习算法

随着人工智能技术的发展,智能化会计核算系统成为会计发展的趋势。本文研究了会计核算智能化,重点在于实现学习和推理功能。采用机器学习算法,基于改进的关联规则挖掘算法(Apriori)和属性归纳学习算法,探索会计核算智能解决方案,促进会计人员的角色转变。本文结合会计实务流程,设计了智能会计核算系统,并实现了学习、推理和智能判断功能,为会计智能化研究与实践开辟了新途径。

基于b_j图计算逻辑函数布尔差分的新方法

分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.

地图图层系统为布尔代数系的证明及应用

布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元素的地图符号系统属于布尔代数系已经得到了证明.根据布尔代数的定义和充要条件,结合图层示例,论证了地图图层系统也是布尔代数系,这为地图图层系统在计算机的表示提供了计算机理论基础和数学工具.实例表明,不管是电子地图还是GIS中,都是利用图层来组织和管理地图数据库的.

基于K图的布尔差分计算的图形方法

基于 K图和降维 K图 ,讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法 .实例表明该方法具有直观、简单等特点 ,并且它能给出布尔差分的最简与 /或式 .

基于二分图完美匹配的布尔匹配算法

提出了一种改进的基于二分图完美匹配的布尔匹配算法 .该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题 ,避免了原算法中因乘积项过多而导致计算时间过长的缺点 .对 MCNC标准测试电路的实验结果表明 :与原算法相比 ,改进后的算法可以减少 2 1%左右的计算时间 .同时 ,文中提出了布尔变量强匹配的概念 ,它是对传统布尔匹配概念的引申 .

基于K图的布尔E-导数计算的图形方法

分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.

数字逻辑的神经网络设计

在讨论数字逻辑与神经元的关系后，提出一种利用前向三层神经网络实现任意布尔逻辑的设计方案。并引入卡诺图化简及最小项抑制的思想降低神经网络的实现复杂性。文中给出设计的原理及算法流程图。此方案结构简单可靠、学习速度快、易于硬件实现。

含任意项逻辑函数布尔差分的图形化算法研究

针对包含任意项的逻辑函数,提出了一种利用该类逻辑函数K图和bj图的图形转换来实现一阶布尔差分和二阶布尔差分计算的方法.实例表明,该图形方法具有简单、直接、方便的特点.

简化分解图在计算布尔e-导数中的应用

为简化与-或-非代数系统中一阶和n阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点.

关于旋转对称布尔函数性质之研究

旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、bj图、谱系数图中的特点.

布尔函数与形态算子关系的研究

以布尔代数理论和欧式空间中二值形态变换理论为基础,通过布尔函数引入一个结构化映射,对二值形态变换的基本运算(腐蚀、膨胀)进行了描述,探讨了布尔函数与形态变换的关系,以期为二值形态变换的扩展提供新的途径.

地图编绘的布尔代数运算原理及制图综合算子数学模型

根据基本集合X的幂集T(X)为布尔代数的数学原理,指出从基础底图X1 向编绘原图X2 实现的编绘过程实质上是布尔代数的运算过程。对选取、舍弃、派生、增补等制图综合算子分别给出了数学模型。

基于Bayesian网IP网络拥塞链路定位算法

在借助E2E路径性能主动探测技术进行内部拥塞链路推理的网络层析成像方法中,传统的利用路径探测计算链路丢包率的方法涉及线性方程组求逆,其计算量过大可能导致算法失效。对此,该文提出一种基于布尔代数的IP网络拥塞链路定位算法,通过对求解先验概率的线性方程组构造满秩系数矩阵,从而计算出各链路拥塞先验概率,再借助贝叶斯最大后验概率算法推理定位当前时刻拥塞链路集合。实验验证了该算法的有效性及准确性。

逻辑函数布尔c-导数的图形计算方法

基于逻辑函数1阶布尔c-导数,引入了k阶布尔c-导数的概念.提出了基于逻辑函数的K-图和降维K-图的1阶布尔c-导数和2阶布尔c-导数的图形计算方法,并通过实例展示了其求解过程.与代数法相比,该方法更直观有效,且能直接读出布尔c-导数的最简与/或式.所提出的用降维K-图计算逻辑函数布尔c-导数的方法在一定程度上解决了K-图规模随函数变量n的增加而迅速扩大的问题.

二元域上对称循环矩阵的非退化性

齐次旋转对称布尔函数与F2n在F2上的一类特殊正规基有着密切的联系,这类正规基的存在性依赖于二元域F2上n×n对称循环矩阵的可逆性.利用有限域上多项式的性质给出了F2上一类n×n对称循环矩阵的行列式计算公式,并由此得到一类特殊的可逆对称循环矩阵.

关于逻辑函数化简方法的研究

变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。

组合逻辑电路多故障测试生成算法的研究

针对布尔差分算法需要进行大量的异或运算,特别是求解多故障测试矢量时,求解高阶布尔差分更是繁琐的问题,依据卡诺图求解异或运算的方法,提出了获得多故障测试矢量的简便算法。该算法对单故障特别是多故障的测试矢量生成,无论故障数为多少,只要函数的变量数不变,就不会因故障数增加而使卡诺图法的求解难度增加,从而减少了多故障测试矢量生成时间。

S_(BOS)相邻逻辑对称序列构造与实现方法

本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜索”方法,对工程应用有着实际意义。