开启数学之旅mothBoard

数学对许多人来说是那么生涩或难以理解,单纯的记忆式和口诀式的学习方式也并不是适合每个人。因为数学是研究数量、结构、变化以及空间模型等概念的一门科学,它需要缜密周详的逻辑推理才能够继续深入的进行学习。     

基于北斗卫星通信的航天测控频段故障诊断系统设计

针对传统航天测控频段故障诊断方法受到信息传输时延影响而导致诊断精准度低的问题,提出基于北斗卫星通信的航天测控频段故障诊断系统设计;硬件结构设计了判断故障类型的波头信号检测模块;通过地面接收机接收卫星发出的微弱信号,计算本机晶振脉冲数,以此修改北斗卫星通信数据;利用北斗授时模块,保证了输出时间的准确性,避免了延迟问题;软件部分用逻辑推理设计航天测控频段故障诊断流程,并使用北斗卫星诊断技术,纠正误差;由实验结果可知,该系统信号线松动脉冲信号诊断结果与实际情况一致,陀螺输出角度量漂移与实际值一致,误差为0,具有精准诊断结果.     

人工智能赢了围棋该担忧吗

近日,人工智能又一次成为焦点,谷歌旗下一家公司研制出的人工智能程序“阿尔法围棋”(AlphaGo)在比赛中5:0完胜欧洲冠军、职业围棋二段樊麾,有人评论这意味着机器“智商”有了重要突破。此前,计算机程序虽然在跳棋、国际象棋等棋类上击败过人类,但围棋战术复杂、路数更多,一直被视为人工智能最难破解的游戏,人类首次在围棋上败北,是这次引发震动的原因。下个月,谷歌旗下的DeepMind公司研发的人工智能“阿尔法围棋”,将与李世石     

一种子句重构的增强Tableau算法

利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.     

基于ASP.NET与Amzi! Prolog混合编程开发专家系统的研究

针对ASP.NET网站开发中可能遇到的逻辑推理问题,提出并实现了用Prolog语言与ASP.NET混合编程方法开发专家系统框架的方案,为开发基于Web的专家系统提供了一条方便快捷和高效的途径。此方案用ASP.NET2.0(C#)实现专家系统的Web用户界面,用Prolog语言实现推理过程,介绍了该专家系统的实现原理,给出了关键程序连接语句用来论述其结合技术,从而提高了软件开发的效率。     

基于小波和人工智能技术的车辆无缝定位技术研究

基于自适应神经模糊逻辑推理系统(ANHS),在全球定位系统(GPS)信号阻塞时,为惯性导航系统(INS)提供位置和速度修正量以提高系统的精度和鲁棒性.首先用小波对数据信号进行降噪处理;然后设定INS的位置或速度作为ANHS的输入参数,经训练后输出相应修正量,训练期望值为经小波多分辨率分析得到的位置误差和速度误差.实验表明,无GPS信号时定位精度比同条件下卡尔曼滤波精度提高约40%,因此该方法可为车辆提供可靠有效的导航定位服务.     

基于T-S模糊逻辑推理的非线性预测模型

建立了基于Takagi-Sugeno模糊逻辑推理的局部多元回归模糊模型(LMRF模型)，将其用于具有小样本数据和非线性特点的宏观非线性系统预测。在多维空间下用C-聚类方法划分模糊子空间，采用带3参数的广义高斯隶属函数．提高了预测的精度，后件参数的辨识采用最小二乘法将减少计算复杂度，交通流量预测实例表明，基于T-S模糊推理的局部多元回归模型用于交通系统能准确地表达交通流量与社会经济的复杂关系，相对于多元线性回归预测模型精度要高得多。     

万有引力常量的本质关系式

根据作者曾建立的系统势模型和万有引力势与电势的关系式,运用逻辑推理(演绎)和归纳综合相结合的方法,从经典物理学的源头——电流强度单位的定义和电量单位的定义出发,结合元电荷测定原理、质子的荷质比、气体分子动理论以及相对论质量公式,导出了万有引力常量G的关系式,从而很好地解释了万有引力常量G的测量值的大小、变化及其范围,揭示了万有引力常量G的本质,消减了一个物理基本常数。