部分三值逻辑中Sheffer函数的判定算法

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。     

城乡统筹背景下的土地流转——以重庆为例

2007年,重庆市成为全国统筹城乡综合改革配套试验区,从政策机制到重点工作部署成为实现统筹城乡国家发展战略的重要举措。其中,土地流转则成为促进农业现代化、发展城镇化,最终城乡经济社会一体化的关键节点。     

部分四值逻辑中准完备集的最小覆盖

根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。     

通用智能门禁管理机制

根据各种门禁的共同特点，以模式识别门禁为例，提出通用智能门禁管理机制。该管理机制使得系统的监控硬件趋近最小配置，对缩小系统体积、降低成本极为有利。该管理机制的主程序设计为单向闭环链结构，尽管监控硬件趋近最小配置，但不影响众多参数的设置与各项管理功能的实施，增加智能参数和操作功能而不增加系统软件的整体复杂度。该机制在以89C51为核心的系统上实现，其原理也适用其它计算机系统，同样也适用其它非模式识别智能门禁系统。     

部分二值逻辑中的判定

利用保关系的思想，定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。     

动态环境中的WiFi指纹自适应室内定位方法?

针对传统的基于WIFI信号的室内定位方法难以有效解决环境动态变化对RSSI值的影响问题,设计并实现了一种基于WIFI射频信号强度指纹的室内定位方法。该方法通过采用一种基于用户使用状况与布置定位参考点的方法来动态更新系统的WIFI指纹数据库,从而有效降低了在实际使用过程中用户手持手机的方向、用户的身体遮挡以及使用环境的动态变化对RSSI值所带来的影响。实验结果表明,本文设计并实现的定位方法比传统定位方法更稳定、易维护,同时也具有更高的定位精度和自适应性。     

基于Web的疫霉菌查询鉴定系统

本研究针对植物病原疫霉菌的鉴定需要,以培养性状、形态特征作为分类依据,利用计算机技术,建立植物病原疫霉菌分类数据库,构建疫霉菌查询鉴定系统。本研究基于WEB的交互方式,可以通过互联网完成疫霉菌信息的数据信息输入、动态查询和种类鉴定等功能。本研究将计算机学科应用于真菌分类学,对教学、科研具有较高的应用价值。     

基于随机性与确定性混合优化算法的 Jiles-Atherton磁滞模型参数提取

基于J-A磁滞模型模拟铁磁材料磁滞特性的关键是模型参数的精确快速辨识。该文针对现有J-A磁滞模型参数提取方法存在的收敛速度慢、求解精度低的问题,提出一种基于随机性优化算法——模拟退火(SA)与确定性优化算法——Levengerg-Marquardt(L-M)混合的J-A模型参数提取方法,该方法综合了SA算法全局搜索能力强以及L-M算法局部收敛速度快的优点。在迭代优化初期,采用SA算法快速锁定J-A模型参数的优化区域;继而根据引入的普适性混合算法切换过渡准则,将SA算法当前解赋予L-M算法;针对基于传统L-M算法提取J-A模型参数出现的病态矩阵问题,该文将J-A模型参数的灵敏度函数矩阵进行归一化处理,从而推导出适用于J-A模型参数快速辨识的归一化L-M算法,该算法在接收到SA算法提供的优化解后,将其作为该算法局部搜索的初始值。仿真及实验结果表明,所提混合算法兼具收敛速度快、提取精度高的优异性能。     

一款盲用邮件接收器的设计与实现

盲用邮件接收器是帮助视力障碍者阅读邮件而设计的。盲人借助语音导航,通过上下左右键就能阅读邮箱中的邮件内容。该文主要介绍了运用pop3协议对邮件进行接收,形成相应邮件树型列表,并调用文本朗读(tts)进行语音导航和邮件阅读的实现步骤。     

布尔置换与Costas阵列

研究了通信系统中重要的Castas阵列。给出一种简洁的证明一般布尔代数上的布尔置换的充要条件的方法,并依此给出了一类Costas阵列。