基于数学归纳法抽取循环程序研究

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。     

光通信中一种有效的差分脉冲位置宽度调制

考虑脉冲位置调制(PPM)在解调时需要严格的时钟同步和符号同步,而且功率越高,时隙越窄的问题,结合差分脉冲位置调制(DPPM)和脉冲宽度调制(PWM)提出了一种有效的调制方式--差分脉冲位置宽度调制(DPPM+PWM).研究了采用DPPM+PWM的红外通信系统在加性高斯白噪声干扰下的性能,对DPPM+PWM的符号结构、发射功率、带宽需求、传输容量以及误包率等特性进行了分析,并通过仿真与开关键控(OOK),PPM,PPM等调制方式进行了比较.结果表明DP-PM+PWM频带利用率高,传输容量大,不需要符号同步,且增加了脉冲信号的长度,大大简化系统实现,是一种很有实际应用价值的调制方式.     

支持多速率自适应的IEEE 802.11网络性能分析

针对基于自动速率回退(ARF)算法的多速率IEEE 802.11网络,给出了ARF算法分析的一种离散时间Markov链模型.模型的建立,考虑了节点在发送过程中,通过Basic与RTS/CTS模式的选择,对是否因为信道传输误码导致的失败进行的区分.利用算法模型,分析了节点在以随机概率选择不同发送模式的方式下,其采用各个传输速率的稳态概率分布,并在此基础上结合协议退避机制的研究,给出了多速率网络系统吞吐量性能的计算方法.通过大量的仿真实验,验证了模型分析方法具有很好的准确性,并讨论了算法以及MAC协议参数设置对网络性能的影响.     

生料浆配料过程磨机负荷的混合智能控制

针对在氧化铝生料浆配料过程中难以采用常规方法来控制磨机负荷状态的问题,提出了由负荷状态估 计模型和负荷调整模型组成的磨机负荷混合智能控制方法．负荷状态估计模型根据磨机的振动与电流信号,采用规 则推理方法估计出磨机的负荷状态．负荷调整模型采用案例推理方法自动调节磨机给料量,将负荷控制在合适范围 内．该方法成功应用于某氧化铝厂生料浆配料过程中,长期运行结果表明,提高了磨机台时产能,减少了“堵磨”故 障发生次数,提高了生产效率并节能降耗．     

面向事实性问题的答案选择技术研究综述

答案选择是问答系统的一个关键步骤,它的任务是从候选答案集中选择出最佳答案返给用户,其主要研究内容包括答案选择的标准、方法及评价。该文首先介绍了主要的答案选择标准,分析了答案选择标准与问答系统评测之间的关系。然后将答案选择策略分为基于冗余的策略、基于相似性的策略和基于推理的策略,分别对每种策略的主要答案选择方法和特点进行了概述。随后又介绍了答案选择的评价指标及答案验证评测。最后讨论了答案选择所面临的主要问题,并对其未来的发展方向进行了展望。     

推算定位算法在拦截策略中的研究与应用

机器人足球比赛中,研究有效的拦截对方球员的进攻和防守是一项关键的战术,以往开发的拦截策略中存在"漏拦"和"错拦"等现象,造成拦截成功率很低.将推算定位(Dead Reckoning,DR)算法用到拦截策略的研究中,有效估算出对方球员和球的下一步动向,实施有效拦截,提高了比赛过程中拦截判断的精度.对DR算法中的阈值的确定进行了分析和改进,提出一种判据函数,有效地解决动态门选取的问题;针对算法执行和网络的延时给予了延时补偿,提高系统的实时性,使拦截能够快速准确地实现.利用DR算法推算出赛场球和球员的运动趋势,指导赛场策略的生成并和队员的动作与位置的部署.实验数据表明,方法具有很强的优越性.     

基于遗传算法的污水处理模糊控制方法

模糊控制中的模糊推理规则和隶属函数的选取往往依据相关专家或技术人员的实际经验,对具有较强的非线性系统和未知动态环境条件下,其控制性能往往达不到很好的效果.使用遗传算法同时对隶属函数和模糊规则进行优化,从而使模糊推理规则和隶属函数的确定摆脱了人为经验的局限,提高了模糊控制的自适应能力.在此基础上设计出模糊控制器,并将其应用于污水处理溶解氧的控制中.实验结果表明,该控制器能够使溶解氧快速、准确地达到期望的要求.     

基于安全分级的网上信访系统的设计实现

设计实现了一个基于安全分级的网上信访系统,对信访业务过程进行安全分级,并基于安全分析采取不同的网络隔离手段保障系统安全,同时针对隔离系统的业务数据交换要求,规范了业务数据标准并予以实现。通过上述架构,可以安全地实现信访业务处理全过程信息化,从而加快了信访信息流转,提高了工作效率,方便了信访人、信访相关部门及关心信访工作的相关领导。     

计算机时代的设计效果图渲染新说

手工绘图时期非常注重各种绘图工具的学习,计算机的出现使得手工绘图工具对效果图的渲染变的不再重要。要想画好效果图,提高人脑的认识才是关键。本文从实践设计总结的经验出发,提出效果图渲染的学习,从认识上可以分为"全因素表现"和"快速表现";进一步又阐述了每种渲染在设计师的头脑认识上需要把握哪好些处理内容。     

设计化生存

从设计史看设计的变迁,我们能够直观地感觉到社会的发展和科技的进步所施加给设计的改变力量。数字化和信息化社会的来临正悄然改变着人类的社会生活,思维意识,以及行为方式。矛盾的消失,界限的模糊,一切被束缚和限制的东西得以解放和突围,"非物质"抢夺了设计师们的地盘却赠予他们更大的自由空间,新秩序的建立有赖于设计师快速转变自身角色从而实现新的设计化生存。