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

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

企业电子商务采纳与应用关键影响因素实证研究

以创新扩散理论与文献为依据构建了企业电子商务采纳与应用关键影响因素模型,并以长三角地区企业为主体进行了问卷调查。在利用SPSS对调查结果进行信度分析的基础上,采用结构方程模型对假设模型进行了实证,研究结论有助于企业认清自身所处的环境与条件,了解电子商务技术采纳行为形成的机理,有效管理电子商务技术采纳与应用活动。     

基于最短道路的城市公交智能咨询系统的研究与实现

研究基于最短道路的城市公交智能查询系统,首先针对城市公交线路网络图建立数学模型;然后研究基于上述数学模型的数据库建立方法和相应的算法设计,和以Dijkstra算法为基础的、基于道路最短的公交线路查询算法,并通过简单模拟数据验证算法的有效性;最后简要介绍按此思想设计实现的城市公交智能查询系统.     

手功能康复机器人的鲁棒控制研究

以手功能康复机器人为研究对象,对被控对象建立数学模型,推导鲁棒控制器,基于simMechanics建立仿真模型,实现手功能康复机器人的鲁棒控制系统。考虑到手功能康复机器人是帮助偏瘫患者进行康复训练并最大限度地诱发患肢的主动作用,控制器中加入偏瘫患者的主动作用函数。控制系统在MATLAB／Simulink的环境下仿真,结果表明所设计的鲁棒控制器能适应不同程度的偏瘫患者,具有较佳的动态特性和很强的鲁棒性能。     

三维物体表面形状检测技术的深入研究

本文对三维检测技术做了简要的介绍,给出了迈克耳逊干涉仪、电子散斑干涉法（ESPI/DSPI）、三角检测法的检测原理,同时对三维轮廓检测技术做了深入的研究。     

基于DM642的AdaBoost人脸检测算法优化与实现

本文首先介绍了Adaboost人脸检测算法的基本原理,指出了现有人脸检测算法多数都是基于PC机实现,没有具体应用于实际的嵌入式系统中。因此提出了基于TMS320DM642实现人脸检测算法,并阐述了算法性能优化的方案。优化后人脸检测算法满足了实时性要求,检测CIF图像速度达到36帧/秒,为实际应用奠定了基础。     

草坪灌溉机器人定位技术的研究

草坪灌溉机器人最基本功能之一是在草坪规划的喷洒栅格中能够自动定位,继而启动喷灌系统完成该栅格的灌溉任务。鉴于草坪景观的要求,不宜在草坪设置各种标杆辅助定位。本研究通过分析两轮独立驱动机器人在行走过程中输入控制量和输出位姿的关系,建立了机器人定位模型,使其能够在草坪上划分的栅格中定位;试验表明该模型对机器人在草坪中的定位与控制是有效的,本系统研究的定位与控制模型对机械构造要求低,成本低,有利农业机器人的推广使用。     

基于Outlook的支持BASE91编码邮件的实现

目前广泛采用的编码方法是Base64,其编码效率达到75%,而由何大可教授提出的一种新编码方法:Base91将进一步减少数据扩展率,使编码效率增加到81.25%.推广Base91在实际中使用,便可大大节省网络带宽.通过监控Outlook2003的发送流程,反汇编其关键文件,查找到与编码有关的函数地址,通过替换目标编码函数地址为Base91编码地址从而达到应用Base91编码的目的,开发出一个具有Base91编码功能的Outlook2003插件包.     

非一致分类数据集的一致化与特征选择

采用不一致性或含有冗余特征的样本数据集往往会降低分类的质量和效率.提出了一种将分类数据集一致化,并在此基础上选择最小特征变量集的方法.该方法首先根据贝叶斯公式,将非一致数据归为最可能的一类,使数据集一致化,然后在一致数据集上,定义类别区分矩阵,选择最小特征变量集,并给出了在类别区分矩阵上搜索最小特征变量集的启发式搜索策略.采用UCI标准数据集的实验结果表明,提出的方法可有效地删除数据集的不一致性,选择的最小特征变量集可准确区分各类数据并降低数据的维数.     

基于WPKI的双因素认证方案

随着基于互联网的服务(电子商务、电子政务)的普及,为企业资源访问提供强认证的需求显得非常重要,因此双因素认证成为研究的重点.然而当前的双因素认证系统存在信道单一、部署成本昂贵的问题.利用STK技术设计了一个能够实现WPKI功能的安全SIM卡--PK-SIM卡,将WPKI引入基于SIM卡的认证系统中,利用加密短消息作为信息载体,设计并实现了一个双因素身份认证系统.重点介绍了该的组成原理、工作流程,并分析了系统的安全性.