基于符号零压缩二叉决策图的装配可行性判定方法

为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。     

提高立体仓库自动化水平的Flexsim仿真

以自动化立体仓库的现有设备为基础,提出一些可以提高立体仓库自动化水平的优化措施,在满足正常生产需求的条件下达到了减少仓储储位10%的核心目标.Flexsim仿真模型的运行结果表明:采用优化措施之后比当前运作情况下的单体包仓库最大利用率提高12.36%,多体包仓库平均利用率提高5.32%,整板仓库平均利用率提高1.27%,且工厂对安全存货的需求不受影响.     

含公用备件系统的可靠性研究与分析

针对微小卫星对可靠性、重量和体积的苛刻要求,提出一种公用备件与冷备份并存的系统设计方案。利用故障树基本理论和MonteCarlo仿真的方法对该系统的可靠性进行建模、分析和计算。结果表明,该方案保留了公用备件系统节省重量与体积的优点,同时能够保证该系统的可靠性在2年内与三机冷备份处于同一数量级。     

给软件穿上“护甲”浅谈软件“加壳”技术

小编以前就是程序员，对软件开发中的辛苦深有体会，有时仅仅是几行代码，也要反复修改几个小时才行，所以我想不管是专业的软件开发公司还是共享软件的作，谁都不愿意自己辛勤开发出的软件被人轻易破解甚至改头换面为人家的“原创”。这时，如何提高软件的安全防护性就成了每个软件开发人员的必修课题。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议，用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比，乐观电子合同签订协议更为复杂，从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法，应用模型检测方法分析安全协议时，前提和关键是对协议及其执行环境进行准确和全面的建模。     

串行通讯中的波特率设置和误差分析

波特率设置的误差是串行通讯中一个非常重要的参数。本文作者首先介绍了MCS 51单片机串行通讯中波特率的设置方法,然后分析了波特率的误差来源,并着重介绍了几种波特率误差的消除方法。     

陈根龙:为人类健康做贡献

正龙富在保健电器这一领域奋斗了15年,坚持的方向就是为人类健康做贡献。保健电器是新兴朝阳产业,在没有国家与相关行业标准制约、没有相关组织机构管理的情况下,保健电器在发展过程中存在准入门槛低、产品质量参差不齐、低价竞争等不利因素。经过两年多的筹备工作,保健电器行业终于成立了自己的专业委员会,让行业内的企业有了自己的娘家。中国家用电器协会保健电器专业委员     

新型DRF3150热模锻压力机的设计

新型DRF3150热模锻压力机,在引进德国奥姆克技术基础上,充分消化吸收奥姆克热模锻压力机技术的优点并进行优化设计。具有结构可靠、传动平稳、精度高、操作维修方便等特点,广泛应用于汽车、农机、工程机械以及阀门、轴承等领域,是一种成批或大量生产黑色和有色金属模锻件的专用设备。     

CES2016:创新当道

正当地时间2016年1月6日,国际消费类电子产品展览会(以下简称CES2016)在有"赌城"之称的美国拉斯韦加斯拉开帷幕,吸引了众多消费类电子企业、初创公司、高科技公司和全球各国媒体前来。除了家电、消费电子等传统产品,CES2016还将智能穿戴设备、3D打印、无人机、智能家居、虚拟现实等创新技术和产品展示推向新的高度,《电器》记者也真正体验了一把"赌城"变"堵城"。