肉桂特色资源加工利用产业发展现状

肉桂是我国特色经济林树种，我国肉桂种植面积和年产量均居世界首位。我国肉桂主要分布在两广地区，其中广西为14.9万hm²，广东为8.9万hm²，两地面积占全国肉桂分布总面积的95%以上。肉桂既是著名的香料又是传统的名贵中药，具有极高的经济价值，发展肉桂产业对于促进农民增收、维护健康中国有着重要的意义。本研究综述了肉桂资源量、分布情况及主要利用部位，介绍肉桂主要产品（如桂皮，桂枝，肉桂粉及肉桂油）及加工技术现状、产品质量控制及其分析检测方法，分析了产业未来的发展趋势，并提出了产业发展的对策和措施：加强肉桂标准化示范基地建设，提高优质资源供给能力；提高肉桂加工利用技术水平，延长产业链；培育肉桂龙头企业，提高产品市场竞争力。为我国肉桂特色资源加工利用产业的可持续发展提供一定的思路。     

基于设计情境与脑机反馈融合的产品设计知识需求感知技术

针对产品设计知识主动推送过程中设计人员的知识需求难以自动获取的问题,提出了一种基于设计情境与脑机反馈融合的产品设计知识需求感知方法。设计情境与脑机反馈融合构建知识需求感知框架,由动态变化的设计活动信息驱动生成设计情境实例序列,基于脑机反馈构建设计知识需求域。根据设计任务分解与产品结构的映射关系建立知识需求锚点,以设计情景激活知识需求锚点的方式动态关联当前设计内容,采用加权贝叶斯方法实现设计知识需求类型识别,并在数控机床数字化设计中对提出的需求感知方法进行了应用验证。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

PVC地板行业研究现状及发展趋势

概述了国内外PVC地板行业的生产及应用现状,比较了几种地板材料的优缺点,介绍了PVC地板生产技术的研究进展情况,分析了国内PVC地板行业的发展趋势。     

天然橡胶期货市场回顾及后市展望

2019年天然橡胶期货市场起起落落,沪胶价格继续低位震荡。2020年天然橡胶供大于求的局面仍不会发生根本性改变,由极端天气引发的天然橡胶市场行情变动可能会减小,汽车行业可能会在政策支持下再次振兴,尤其重型卡车市场会成为亮点,轮胎企业继续寻求扩大出口。2020年上半年,天然橡胶期货市场可能还会受到2019年异常天气和病害等的余波作用,胶价会达到一个相对的高点,价格底部抬升,但很难出现持续性上涨的市场行情。2020年下半年,随着天然橡胶产量的季节性增长,胶价可能会再次回落。