双逻辑函数的探测算法

本文提出一种双逻辑函数的探测算法。该算法直接从XOR逻辑的特点出发，即两个汉明距离为2的最小项可以由XOR逻辑表示。通过计算函数最小项之间的汉明距离，并分析其所具有的逻辑模式，给出用于探测适于双逻辑实现的判断条件。所提出的算法用C语言实现，结果应用于MCNCbenchmark上电路的判定测试，验证了算法的有效性。     

基于谱相关的CBOC信号参数盲估计

针对低信噪比下组合二进制偏移载波(CBOC)调制信号的参数盲估计问题,提出了利用谱相关对CBOC信号进行参数估计方法。首先给出了CBOC信号模型,然后根据CBOC信号的数据通道和导频通道之间有良好的正交性特点,详细推导出其谱相关函数可以化简为两个BOC信号谱相关函数的叠加,最后根据CBOC信号循环频率截面的特点进行峰值检索后,实现对伪码速率、载频速率和副载波速率的盲估计。推导结果和计算机仿真分析表明,该方法可以实现在低信噪比下对伪码速率、载频速率和副载波速率的有效估计。     

中国象棋游戏的设计与实现

通过对人下棋过程的分析,得出计算机行棋的整个流程以及计算机在实现人机互战中所采用的技术和知识,例如,估值函数、走法产生器、遍历算法、剪枝算法等。根据这些分析,具体地实现这些算法。但系统还有很多不完善的地方有待进一步提高。     

低信噪比下互相关时延估计器的FPGA实现

在时延估计算法中,相关法是一种经典的算法。时域互相关法可用来进行整数倍和非整数倍采样周期的时延估计,即使是在极低的信噪比（SNR）条件下,利用较多的数据也能获得准确和稳定的估计结果。为提高时延估计分辨率,给出了一种采用sinc函数对信号进行非整数倍采样周期延时的相关估计算法,通过仿真比较了未插值、两倍插值法和sinc函数延时法的估计精度和计算量,证明sinc函数延时法性能最优。基于现场可编程逻辑门阵列（FPGA）实现的改进型互相关时延估计器能够实现在低信噪比下时延差的准确估计。     

基于动态卡诺图的电路设计

在时序逻辑电路中,主要描述电路的工作状态,也就是触发器的状态转换,动态卡诺图就是为了适应这种工作状况从一般卡诺图引中出来的.利用动态卡诺图化简可以能够更简捷的求出触发器所需的数值,并且设计出更为简单的电路.通过本文,能够更为详细的了解利用动态卡诺图设计时序逻辑电路这一具体方法.     

Linux下逻辑卷管理的原理与实现

逻辑卷管理的做法是将几个物理的分区（或磁盘）通过软件组合成为一块看起来是独立的大磁盘（卷组）,然后将卷组再分成可使用分区逻辑卷,最终就能够挂载使用了。本文即阐述了逻辑卷管理的原理以及在Linux下逻辑卷管理的实现方法。     

语言逻辑习惯差异下的计算机辅助翻译通用性研究

计算机辅助翻译有广大的使用人群,涵盖范围也几乎覆盖全球,正是由于这种普遍需求揭示了计算机辅助翻译的不足与缺陷,如专业的局限性、文化和语言逻辑的差异性等,这些都使计算机辅助翻译在需求群体中呈现两面性：一面作为日常学习工作必不可少的工具,另一方面又十分不满辅助翻译的便捷性与有效性.文章从语言逻辑差异的角度出发,探讨计算机辅助翻译的通用局限性,综合目前国内外研究现状,探索计算机辅助翻译的未来方向.     

在《电子技术基础》教学中渗透观察教学法

理论来源于实践，这一过程中“观察”起到了至关重要的作用。通过“单相桥式整流电路”教学实例加以说明，“单相桥式整流电路”是一个理论和实践相融合的知识点，通过对电路元器件观察，对电路结构的观察，对“单相桥式整流电路”会有更深刻的理解，更重要的是能够在实践中灵活的运用。“观察法”在《电子技术基础》实际学习中还有很多应用。例如：在学习二极管的时候，通过一个透明的二极管观察二极管中的PN结；在学习三极管的时候，通过对一些三极管的观察，发现三极管引脚排列规律；在学习集成电路的时候，通过对集成电路芯片的观察，掌握集成电路引脚的排列规律；在学习放大电路的时候，通过示波器观察放大前后信号的变化，理解放大电路的作用；在学习卡诺图对逻辑函数进行化简的时候，通过对卡诺图的观察实现函数式的化简等等。     

试论法学研究的逻辑起点

法学流派的逻辑起点是法学研究的逻辑起点。自然法学派以理性作为构建其体系的逻辑起点;分析法学派以规则作为构建其体系的逻辑起点;社会法学派以法的社会实现作为构建其体系的逻辑起点。在当代,马克思主义法学对法学研究的逻辑起点做出了应有的贡献。     

数字逻辑课程教学方法的探讨

在数字逻辑课程的教学过程中，为了提高学生对数字逻辑课程的兴趣，让学生更好的理解数字逻辑课程的内容，采用将Multisim引入到教学过程中来。通过Multisim实现了教学的趣味性、知识连贯性以及创新能力培养想结合，取得了很好的教学效果。     

企业经营战略逻辑的研究综述

在“十四五”规划的背景下,我国正处于重要的战略机遇期,对于企业而言,如何把握好当下的局势做出最优的经营战略选择,成为了经营的关键。当前社会的主要矛盾是不平衡不充分的发展与人们日益增长的美好生活需要之间的矛盾,其中,人们日益增长的美好生活需要,与营销学领域中价值的内涵不谋而合。因此,企业要在供给侧结构性改革的发展趋势之下突破重围,关键在于如何更好地为各类消费者实现价值创造。作为指导企业战略和行动的价值导向,价值主导逻辑中的服务主导逻辑近年来逐渐受到了学术界和企业的关注。本文以企业经营战略逻辑为研究对象,从战略导向的演变、在具体经营中的应用情况和理论延伸进行了探讨,并结合时代的发展方向和经济发展需求对企业经营战略逻辑未来的研究进行了展望,以期让指导企业战略和行动的价值导向更好地服务企业经营。     

计算机专业"数字逻辑"课程的教改探索

数字逻辑是计算机专业的一门重要基础课.本文从如何优化教学内容,改革教学方法和手段及改善评估体系三方面进行了相关阐述.积极引入VHDL语言,合理开展双语教学,有效使用网络教学模式,是教学研究中的重点.     

法律逻辑

逻辑是一门关于思维的学科,而法律逻辑作为一门逻辑学与法学的交叉学科,是研究法律及司法实践中的思维形式、思维规律、思维方法的逻辑学分支。法学研究和司法工作的复杂严谨和高度专业性,决定了逻辑运用在法学领域的重要地位,无论是在法律实务中,还是在立法、司法等环节都要求法律职业者具备严密的推理、论证能力,深刻的理解力,独特的思维方式。     

基于布尔逻辑的负载均衡控制实现方法

负载均衡控制有利于实现相关设备的均衡出力,可避免出现部分设备出力过度而另一部分出力不足的情况。要实现负载均衡的自动控制,需要对设备序列的状态进行组合判断,在现代工业控制系统中布尔逻辑是其潜在控制语言,文章分析了负载均衡的驱动机理,并依此设计基于布尔逻辑的控制回路,试验表明可对投用设备序列的状态进行有效判断定位,从而实现负载均衡的自动控制,提高系统的灵活性和可靠性。     

对逻辑经验主义认识论的一般考察

20世纪初形成起来的逻辑经验主义，是到今天还在西方国家的科学家和知谚分子中产生巨大影响的哲学思潮。他们的哲学任务，在于研究科学，特别是自然科学的认识论问题，在于考察科学知识的基础和目标。介绍了逻辑经验主义运动的两个主要阶段，即逻辑实证主义和物理主义。指出了逻辑经验主义在这两个阶段所暴露出的问题，并对逻辑实证主义和物理主义分别做了理论批判。     

寒风吹进798

艺术家为798的未来担忧,是艺术家的本能;在最短时间内实现利益最大化是商人的逻辑。两种逻辑各自保持着自己的方向,只是难有交集。     

一类特殊的幂指函数求导法

求幂指函数的导数是《高等数学》一元函数微积分学中的一个难点。教学过程中发现，学生对此类问题很容易出错。这里在对数求导法的基础上，给出一种求幂指函数的导数的方法，帮助学生求解幂指函数的导数。     

计划经济历史终结的一种逻辑透视

本文通过经济模式逻辑比较分析得出,在一定条件下,主导的自然经济、商品经济都能实现经济活动的目的性和平衡性,而主导性的计划经济却会背离经济活动的基本目的性和平衡性。基于计划经济在经济目的统一性、经济手段的平衡性上存在的基本逻辑错谬和障碍,得出计划经济不能作为一种基本的主导的经济形态正常地存在于人类经济生活的过去、现在和将来;由此作出计划经济历史终结的一种基本逻辑结论,对于认识计划经济现象和问题具有启迪意义。     

一种新的通用航空机载防撞逻辑设计方法

由于机载防撞系统(TCAS)是针对具有较大垂直高度变化率的大型飞机设计的，系统设定条件和与之相关的解脱建议并不能适用于通航飞机。针对通用航空的防撞问题，提出了一种基于马尔可夫决策过程(MDP)的防撞逻辑设计方法。首先，将飞机空中相遇过程的动态模型转换为离散转移函数；然后，基于防撞系统结果事件末端效用函数进行MDP建模，采用动态规划方法导出了最优防撞逻辑的迭代方程；最后，给出了通航飞机最优化防撞逻辑的设计流程并对最优防撞逻辑进行了计算机仿真。仿真结果表明，通过调整效用比参数可以在保证安全性能的同时有效降低系统告警率。在垂直相遇高度小于30 m的相遇过程占比高达18〖WT《Times New Roman》〗%〖WTBZ〗的情况下，当告警率大于0.85时系统的碰撞概率仅为2.88×10-4左右。该设计方法对我国在低空空域通用飞机防撞系统的研究具有一定的参考价值。     

对不同类型消费函数的测定

在目前消费函数应用中存在一个普遍问题:即利用同一类型的函数描述不同类型的消费行为。为了提高统计分析的可靠性,有必要提出一个新的分析方法——虚拟变量法。以此讨论在不同的情况下,如何测定不同类型的消费函数。