函数CRM展开式在固定极性下最小化的图形方法

分析了dj图、K图的性质,在此基础上提出了基于dj图、K图的函数CRM展开式在固定极性下最小化的图形方法.它具有直观、简单、易于掌握等特点.     

基于K图的逻辑函数OC展开式在固定极性下的化简

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点.     

基于K图的函数RM展开式在固定极性下的最小化

分析了K图的性质，发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性，在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法，该方法可以从K图直接得到函数的最小化的RM展开式，从而省略了传统的把K图转变为bj图再求最小化的步骤，它具有直观、简单、易于掌握等特点。此外，文中还提出了该方法的改进算法。     

基于异或运算的逻辑函数OC展开系数图与bj图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

基于异或运算的逻辑函数OC展开系数图与b_j图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

互斥变量dj图及其应用

在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模,并扩大了dj图的应用范围.     

对称函数的dj图表示及其应用

根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.     

逻辑函数最大项展开式和CRM展开式的转换

在逻辑函数的CRM展开式和两种新运算基础上，对函数量大项展开系数和CRM展开系统(dj系数)之间的关系作了较详细的讨论，并提出了两者的矩阵转换法，快速转换法和直接代入转换法，具备较好的实用性．     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

基于dj图的逻辑函数布尔偏导数的计算方法

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

基于0-1编码空间的谱系数图与bj图的互换

从函数最小项系数与基于（0,1）空间的谱系数以及bj系数的关系出发,引进了n-bj系数,进而提出了（0,1）空间的谱系数与bj系数的互换算法并给出了相应的图形转换方法和一种改进的跨图聚合圈法．实例表明,图形转换法具有简单、直接、方便等特点．     

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

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

基于排名学习和多源信息的地图匹配方法

融合多源信息能有效提高地图匹配的准确率。已有的地图匹配方法依赖于数学模型,当引入新类型的数据时, 需要重新设计数学模型或调整模型参数。为解决该问题,提出了一种端到端的数据驱动地图匹配方法。该方法不需要建立具体的数学模型,只需从匹配结果已知的数据中学习候选道路的评分函数：选出某GPS点的候选道路,利用评分函数对所有候选道路进行打分,选择分数最高的道路作为地图匹配结果。实验结果表明,该方法能直接利用新类型的数据提高地图匹配的准确率,能在数据缺失时避免准确率急剧降低。此外,具有与基于HMM方法相近的准确率和与基于夹角特征和距离特征方法相当的速度。     

CRM分解图的压缩及其化简

CRM分解图可以用来指导超大规模集成电路的设计和化简.本文在分析应用CRM分解图进行逻辑函数或符合式化简的基础上提出了逻辑函数的降维CRM分解图,给出了降维CRM分解图的定义和图形化简方法.实例表明,该图形方法有直观、简单等特点,它能给出逻辑函数的最简或-符合式,使电路实现比传统设计更简单、更有效.     

（0，1）编码的归一化Haar变换谱系数的图形表示及其与K图的转换

基于（＋1,-1）的谱技术在数字逻辑中有许多应用．为了进一步补充谱技术理论,从归一化的Haar矩阵出发,通过对矩阵的性质分析,提出了（0,1）编码的归一化的Haar变换谱系数图——R谱系数图;提出了R谱系数图与K图的基于折叠加减的图形互换法,并举例说明了转换过程．应用表明,对5变量以下的函数该方法具有简单、直观和准确的特点．进一步完善了（Q,1）编码的谱技术理论,有助于开拓谱技术在数字电路故障检测等方面的应用．     

CRM分解图的性质及其应用

针对或/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法--CRM分解图,给出了其特点和性质,并作了相应证明.此外,文中还讨论了对CRM分解图进行对称函数检测的方法,并以实例加以说明.本文的讨论揭示了CRM分解图的内在规律,有助于开拓CRM分解图的应用领域,可以用来指导超大规模集成电路的设计和化简,使电路实现较传统设计更简单、更有效.     

数字地图规范性质量评价探讨

遥感信息的广泛应用使数字地图的生产和更新周期明显加快,同时,因制图不规范而导致的数据产品质量问题也日益突出.基于地图制图规范和地图数字化技术规范,建立数字地图的规范性质量评价指标数据库,开发相应的分析评价模型和软件,实现数字地图规范性质量评价的定量化和自动化,有助于提高数字地图产品的规范化水平,提升数字地图产品的应用价值.