基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

一种安全的网络接入和远程家电控制方案

随着智能家居环境的出现和普及,远程接入和家电远程控制中的安全性成为十分重要的议题。文章分析了远程接入和网络家电控制中的安全问题,综合采用了一次性口令认证、SSL及组访问策略等技术,提出了一种安全的网络远程接入和远程家电控制方案。该方案适合需要高安全性的网络远程接入和基于家居服务器的智能家庭网络环境中的网络家电控制。     

三维地形支撑的不规则动态水面模拟方法

在传统三维地形中,水面以纹理贴图的方式表示,该方法表示的水面是静态的,不能满足各应用场景对动态水面的需求,文章针对这一问题提出三维地形支撑的不规则动态水面模拟方法。该方法采用动态水面替换原有静态纹理水面,分析深水区与浅水区水面的波动模型,在水面边界的约束下以叠加Gerstner波的方式实现水面的动态效果,获得具有较好视觉效果的动态水面和与地形完美结合的场景。实验结果表明,该方法能够实现各种不规则动态水面,做到形状定制,且与三维地形完美结合,较大幅度地提升了三维地形中水面动态特征的表现力,增强了场景真实感,具有良好的用户体验。