摘要：绿色是世界公认的环保色。当前,一场以"环保"为主要诉求的"绿色革命"正以前所未有的浩大之势席卷全球。企业的"绿色革命"是指企业在价值观念以及在生产、消费和营销过程中的彻底改变,由此实现从产品的设计、制造到消费的全过程全部绿色化,并使被排出的废弃物得到有效回收和利用。企业绿色革命的必要性源于以下几个方面:我国的生态文明建设和绿色发展呼唤企业作出彻底改变,开展绿色革命;推进供给侧结构性改革需要企业作出彻底改变,开展绿色革命;全球性竞争要求中国企业作出彻底改变,开展绿色革命。企业绿色革命的实现,一方面凭借于国家和整个社会的努力,另一方面有赖于企业自身的彻底变革。

摘要：提出了一种基于差分进化算法的模型检测算法,用以解决模型检测中的死锁检测问题。模型检测方法通过抽象出一个系统的模型和定义关于该系统的具体规范,模型检测器就可以自动验证系统是否满足规范。由于一般的显式模型检测器是采用确定性算法来完成检测的(如深度优先搜索),因此在对状态空间较大的系统进行检测时,模型检测的效率较低,甚至不能完成检测。为了缓解这种问题,提出了一种基于差分进化算法的启发式模型检测算法。同时基于原有算法框架扩展了基于路径的编码、模拟退火、关键参数自适应等操作用于提高算法表现。结果表明,该算法可以在较少的时间内找到含有死锁状态的反例路径,并且与确定性算法和2种不确定性算法(粒子群算法,遗传算法)比较,在状态搜索方面与生成反例长度方面均有更好的表现。

摘要：对存在未知外界干扰、参数不确定问题的刚–液–柔多体耦合航天器姿态控制进行了研究。将液体燃料的晃动等效为球摆模型,挠性附件假设为欧拉–伯努利梁,运用拉格朗日方法建立航天器的动力学方程。将外界干扰、航天器转动惯量的参数不确定性以及液体晃动和挠性附件振动带来的耦合干扰归结为集总干扰,设计干扰观测器对其进行补偿;在干扰观测器的基础上,设计一种模糊滑模控制律。在原有的终端滑模控制基础上采用模糊控制对切换增益进行改进,达到抑制系统抖动的目的。数值仿真结果表明:所设计的模糊终端滑模控制律不仅能够实现充液挠性航天器的姿态机动,而且能够有效抑制液体晃动和挠性附件的振动,具有更好的控制性能。

摘要：网络学习空间平台是一个以教师、学生和家长为服务对象的网络化社交学习平台,能够建立优质教育资源的共建共享机制,让教师在网络上开展教学和教研活动,让学生进行个性化学习,推进教学方式与学习方式变革,实现教育的公平均衡发展。网络学习空间平台是实现"网络学习空间人人通"的重要支撑,因此规划和设计好网络学习空间平台,对我国教育信息化建设有非常重要的意义。本文参考国际空间站的设计理念,以未来教育空间站为例,详细论述了网络学习空间平台的发展构想,通过对网络学习空间平台发展目标、功能价值定位和技术定位等方面进行建设规划,进一步分析设计出网络学习空间平台横向和纵向两个方向的逻辑架构层次关系,并总结得到网络学习空间平台的建设策略。

摘要：讨论了MPEG-4编码器中码率控制的工作原理,并基于ARM7TDMI设计、实现了一种流控算法模块,通过软件仿真及在视频硬件编码器中的实际应用和测试,证明该设计工作稳定,能够实时控制视频编码器的输出比特流。

摘要：为确保因管制方式变更造成系统及运行环境变化带来的风险保持在可控范围,提出基于粗糙集模糊神经网络的安全评估模型。利用粗糙集在属性约简与规则提取方面的优势实现关键风险源提取,降低模糊神经网络数据输入维度、精简网络拓扑结构、缩短网络训练与学习时间;借助模糊神经网络在具有较强容差性和抗噪音能力前提下进行分类的能力,实现系统安全等级评定。为便于模型应用与推广,借助Visual Basic(VB)与MATLAB这2种语言将评估模型编译为可视化操作软件,该软件具有从指标体系中识别关键风险源、系统安全等级评估、评估信息汇总这3项功能。实验结果表明,该软件可从24个风险评估指标中提取出对系统安全影响最为关键的4项风险指标,系统安全等级评定为3级。该评估软件具有易于安装维护、操作简便、理论化程度高等优点,是对空管运行单位定量安全评估的一次创新尝试。

摘要：对沥青混凝土摊铺机行驶系统数字控制器进行了研究。重点研究了恒速控制技术 ,将 PID控制和模糊控制引入行驶系统数字控制器的设计中 ,利用 MATLAB语言对整个行驶系统的数学模型进行了仿真分析 ,证明了模糊自整定 PID控制效果要优于传统 PID控制。

摘要：依据试验测试，着重论述了辐照度是红外加热、干燥、固化设备和人体理疗仪器设计中的一个极为重要的参数，其量值和分布的均匀性直接关系到加热干燥质量和人体理疗效果。

摘要：传统智能数据驱动机械剩余寿命预测存在两个问题:(1)预测起始时间的确定精度不高(2)实体之间数据分布的显著差异,为此提出一种基于数据对齐的深度对抗性神经网络机械寿命预测。利用生成性对抗性神经网络学习机器健康状态下的数据分布,建立系统异常的有效指标,确定预测的预测起始时间。将学习到的特征进一步用于剩余寿命估计,并对不同实体的数据比对引入对抗训练。在学习子空间中通过数据对齐策略来提取实体不变特征,弥补数据分布差异,提高了数据驱动程序方法的泛化能力。最后利用两组加速滚动轴承退化测试数据集验证了所提出的预测方法,结果表明提出的方法能够有效提升预测精度,并且有效解决了数据差异问题。

摘要：为了降低套筒成本,方便现场施工,在前期试验的基础上,设计制作了一组小型化钢制套筒,完成了31个小型化套筒灌浆连接件的拉拔试验,并基于Mises屈服准则对筒壁应力的实测值与计算值进行了对比.结果表明:当钢筋锚固长度为1.0la(la为套筒灌浆钢筋计算锚固长度)时,除一个试件滑丝外,18个试件均为接头外钢筋拉断破坏,且抗拉强度均大于连接钢筋抗拉强度标准值;当钢筋锚固长度为0.6la时,除一个试件钢筋拉断外,11个试件均为钢筋拔出破坏,且残余承载力约为试件极限承载力的1/2;筒壁应力的实测值与计算值吻合较好,建立的筒壁应力计算式可以为灌浆套筒设计提供参考.