高数教学中“数形之美”

数形结合是数学中数学表达式与几何图形相结合的过程,数学美是于抽象的数学逻辑之中暗含的规律美。在高数教学中,穿梭于数学严密的抽象思维之间,也不乏深深地体味着数形结合带给我们的美感。当思维凝聚一点,数学的亲切的、美丽的东西与你很接近,象老朋友的悄悄话,有待我们细细品尝,甜甜回味。     

MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。     

基于位置信息的HMIPv6快速切换方案

针对RSVP在HMIPv6下域间(inter-handover)切换延时过大,不能满足实时业务的要求。本文提出一种基于位置信息的HMIPv6快速切换方案,即移动节点进行域间切换时,根据移动节点的运动轨迹预测即将去往的接入路由器,从而提前注册及预留资源。     

智能逻辑分析仪显示部分的硬件与软件支持

阐述我们研制的智能逻辑分析仪的显示部分的硬件与软件支持。该部分主要采用大规模集成电路M6845P(即CRTC)芯片,使得仪器电路简单,功能丰富,可以控制显示波形及数据,并用二进制、八进制、十六进制显示数据,同时还可用汉字显示工作清单。当在微机部分控制下数据采集结束后,通过编程将显示方式置入M6845P内部的寄存器中,然后CRTC即可脱机运行,以各种方式显示采集的数据及波形。此外,还介绍了该部分的软件的主程序及中断处理子程序。     

军用装备大规模可编程逻辑器件设计计价方法

大规模逻辑编程器件已在军用装备中得到了广泛应用,但目前为止国家还没有相关文件和标准明确其价格评估.长此以往对军用装备的质量必将产生一些不利影响.同时,缺乏科学成本预测工具和价格审核手段的现状,对装备经费资源也会造成很大浪费.根据实际工作经验,分析了影响大规模逻辑编程器件设计价格的主要因素和注意事项,提出了一套大规模逻辑编程的新评估计价方法.     

迎角受限的高超声速飞行器固定时间鲁棒控制

针对高超声速飞行器动力学模型强耦合、非对称时变迎角限制、气动参数高度不确定以及跟踪误差收敛速率要求高等问题,设计了一种考虑非对称时变迎角限制的高超声速飞行器固定时间非奇异切换控制策略。为了解决非对称时变迎角限制问题,首先限制迎角虚拟控制器的幅值并设计固定时间误差补偿系统补偿迎角虚拟控制器饱和带来的不利影响,然后设计了一种新的光滑切换的非对称时变障碍函数限制迎角跟踪误差,从而使迎角满足非对称时变限制。光滑切换技术以及固定时间收敛技术也应用于其他虚拟控制律和实际控制律的设计中,以避免奇异值问题并且保证闭环系统的固定时间稳定。此外,设计了一种固定时间稳定的鲁棒补偿器用以补偿系统不确定性带来的不利影响。严格的数学推导证明了本文方法的正确性,仿真结果验证了本文方法的有效性和优越性。     

无线传感器网络时间同步协议动态切换机制

针对当前无线传感器网络时间同步协议通用性差的问题,提出了基于主动编程思想的时间同步协议动态切换机制,设计了能够动态适配的时间同步协议切换框架,重点讨论了节点间相互通信、时间戳标记、协议切换、本地时间与全局时间的转换等4个关键问题,并且在TinyOS（Tiny Operating System,微操作系统）平台上对新机制进行了仿真验证,比较了新机制同2种主流时间同步协议之间的性能差异.仿真结果表明：新机制能实现时间同步协议的动态配置,提高协同效率,节省切换开销,具有良好的应用前景.     

可编程器件的VHDL设计

新型的可编程逻辑器件（ＰＬＤ）已经显著改变了数字系统的设计过程，且超高速集成电路硬件描述语言（ＶＨＤＬ）在设计流程中的作用日益显著，简要讨论在ＰＬＤ的ＶＨＤＬ设计中的一些注意事项，以期提高ＶＨＤＬ编码的效率和精确度。     

论企业财务目标的特点及建立基础

建立财务目标是企业财务管理首要环节，长期以来，人们更多地从纵向角度关注企业财务目标的演进，分析每一种演进的意义。本文试从横向角度阐述财务目标与其财务管理活动相比较布存在的各种特点，结果财务目标的理论意义、历史沿革、现实环境和内在逻辑因素提出其建立基础，旨在从理论和实务上更为有效、快速地确立财务目标。     

基于神经网络的智能刀具状态检测系统

可靠的在线刀具磨损状态检测是柔性制造系统、计算机集成制造系统以及自动化机床必不可少的一个环节。文中论述了用反传神经网络与一类模糊神经网络分析处理由力传感器和声发射传感器所测得的刀具状态信号，识别出刀具的磨损情况，从而进一步实现刀具磨损状态的在线检测，控制自动机床及时更换刀具。本研究对四种规格的钻头的磨损情况进行了全程检测，并比较分析了反传神经网络与模糊神经网络对这一问题的有效性。实验结果表明，这两种方法对处理刀具磨损状态检测均有显著的效果与很高的准确性。用一类模糊神经网络处理多传感器信息是实现刀具状态在线检测的一个极为有效的方法。