TRIZ理论与KANO模型的集成研究

在简单介绍TRIZ理论和KANO模型的基础上，建立了TRLZ理论与KANO模型的集成模型，给出了集成后的工作流程。讨论了基本质量与预期失效分析、工作质量与经典TRLZ工具、兴趣质量与直接进化理论之间的相互关系，以及三种工具与三种类型的质量进行集成的具体方法。     

绿色质量功能展开及其应用研究

为了满足顾客对质量、成本和环保的综合要求，需要在产品概念设计阶段充分考虑这三个因素。为此，本文在传统质量功能展开的基础上，将环境因素集成到质量功能展开，形成绿色质量功能展开方法学，并将其分为产品概念分析和最佳产品概念选择两个阶段。随后，给出了它的体系结构和功能展开的详细步骤。最后，以办公桌的质量功能展开为例，对其进行了验证。     

关于半线性波动方程全局吸引子的存在性

讨论微分方程中半线性波动方程解的性质。给出了半线性波动方程的存在性,建立Ｃ°──半群,运用Ｈａｌｅ的可收缩理论,证明该半群存在全局吸引子。     

企业产品质量管理系统

为解决企业产品质量管理工作中存在的问题,更高效、便捷的执行产品质量管理制度,介绍了一套企业产品质量管理的信息化实施方案。采用面向对象的分析和设计方法,运用统一建模语言中的常用概念和视图建模,重点描述使用用例图、类图和时序图的开发过程,最后使用基于B/S的结构实现该系统。     

初等不等式的可读证明的自动生成

结合不等式的证明及可渎证明的自功生成这两个问题，以初等不等式及部分三角形不等式为研究对象，运用人工智能的技术，对目标不等式、条件及证明方法分类模型化的方法，实现了一个基于规则的逆向演绎系统，它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程，该系统可以移植到智能教育软件中。     

凸轮轴磨削误差及补偿分析

提出了凸轮轴磨削误差产生的原因,以及凸轮轴磨削误差的变化规律,从数学模型和软件仿真2个方面分析了凸轮轴磨削中误差的变化规律,提出了误差补偿的方法。通过该方法,可获得理想的凸轮轮廓和较高的表面质量。     

基于赋权交易模型的区块链技术的档案管理研究

为了保障电子档案管理的安全性,基于赋权交易模型的区块链技术对档案管理进行研究。首先建立一个基于区块链技术的框架,具有通用性、易维护性和易搭建性等特点;然后,由于UTXO模型没有解决非确定数值的交易,故针对档案特性对区块链交易中使用的UTXO模型进行改进,提出ET(赋权交易)模型;由于档案管理需要高成本以及高时效性,故采用Fabric的联盟链作为区块生成的方法,以此来降低成本、提高性能。仿真实验结果表明,基于赋权交易模型的区块链技术大大提升了档案管理的稳定性及可用性。     

基于网络的楼宇数字多媒体播放系统方案解析

本文针对一个实际基于TCP/IP的计算机网络环境,采用中心服务器、媒体播放器及其他相关软件建设的一个播放系统的架构和解决方案,该系统由服务器完全控制客户端的各种行为,包括控制状态、切换播放内容.该系统支持多种视音频文件格式,可以根据需要实时地在同一显示单元上显示多画面或单一画面视频电视图像、伴音.系统具备单播和组播等功能,能够根据不同的要求显示相应的字幕及信息组合.     

逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

装机指南

低档配置方案 本期低端配置我们还是推荐采用Tualatin核心的赛杨CPU,配合以技嘉的815EP主板,以Intel产CPU和技嘉主板的一向品质保证,稳定性大可放心。显卡是市场上MX400显卡中的比较高档版本的七彩虹MX400黄金版,价格现在也非常便宜,仅售500元。硬盘我们采用了支持最新ATA133标准的屋钻三代40GB