吉化精化厂开始建万吨级高活性聚异丁烯装置

吉化集团公司精细化学品厂开始建设万吨级高活性聚异丁烯生产装置。     

全球医药精化化学品发展评述（上）

近几年，全世界化工产品年总销售额约为1．5万亿美元，其中精细化学品和专用化学品约为3800亿美元，年均增长率在5％～6％，高于化学工业2～3个百分点。预计至2010年，全球精细化学品市场仍将以6％的年均速度增长。2008年，世界精细化学品市场规模将达到4500亿美元。目前，世界精细化学品品种已超过10万种。     

汽巴精化汽车用抗刮塑料添加剂投放市场

10月在美国底特律举行的美国塑料工程协会热塑性聚烯烃（SPETPO）会议上，汽巴精化推出了一种新颖塑料添加剂，可以提高汽车工业应用中的聚丙烯／热塑性聚烯烃（PP／TPO）复合物的抗擦刮性能，拓宽这些材料在汽车上的应用。据公司称，可以用在仪表板、门内板、门柱内饰汽车内饰系统上以及保险杠、后部封条外饰系统上。     

基于本体知识推理的QoS区分服务策略精化方法

策略精化过程的主要难点在于网络的不同层次之间缺少统一的知识表示,且在不同层次的知识之间,缺少必要的映射和推理机制。为此,研究一种通过本体知识推理实现策略自动精化的方法。将本体工程引入策略网络系统,利用本体对网络知识进行定义,利用语义Web规则描述语言对底层策略行为进行语义描述,建立不同层次间的自动化推理机制。以QoS区分服务应用场景为例,实现了策略的自动精化过程。     

福清王牌精化推出高性价比环保环氧地坪固化剂

针对国内的地理环境和环氧地坪综合性能的要求，福清王牌精细化工有限公司开发了新型无溶剂环氧地坪面涂料用改性胺固化剂，该系列产品包括Kingcure365、365M、365F。作为夏季用产品的365，具有比通用品更好的固化和硬度增展特性，并且不损失其表面效果如流平性、光泽等；而中等固化产品365M可用于春秋季节，同时保持与365相同特性；365F则是365的快速固化产品，主要在低温、冬季条件下应用。     

印度医药精化企业2006业绩增长显著

印度最大的制药企业南新制药公司2006年销售额增长了17%，达到13．6亿美元；净利润增长了1倍，达到1．17亿美元。其中，公司在北美和BRICS（巴西、俄罗斯、印度、中国和南非）市场实现的销售额占到企业全部销售额的65％；在印度以外市场实现的销售额增长了18％，达到10．6亿美元，占企业全部销售额的79%。     

汽巴精化2004年销售量增加6％

汽巴精化宣布2004年全年销售额达到70．3亿瑞士法郎，与2003年相比，依据当地货币计算的销售额增长8％，根据瑞郎计算的销售额增长6％。排除兼并的影响，集团销售额依据当地货币计算增长2％，但是由于汇率的改变，主要是美元的持续疲软，导致依据瑞郎计算持平。2004年集团的净收入，经过调整和专项性收费，是3．11亿美元，而2003年是3．44亿美元。营业收益经过这些特殊项目后，依据瑞郎计算和依据当地货币计算分别下降9％和1％。     

宽板弯曲成形过程中板厚变化精化模型

基于弹塑性力学基本理论,在考虑板材真实本构关系基础上建立了宽板板厚变化精细化模型。同时,借鉴分三层思想,较好地考虑了宽板在弯曲成形过程中部分纤维层应力反号过程,因此具有较好的精确性和较强的普适性。最后,以铝板为例进行分析,发现计算值和实验值吻合较好。本文研究成果为深入研究弯曲变形过程和科学制定弯曲成形工艺具有一定的理论价值和实用意义。     

基于精化的TrustZone多安全分区建模与形式化验证

TrustZone作为ARM处理器上的可信执行环境技术,为设备上安全敏感的程序和数据提供一个隔离的独立执行环境.然而,可信操作系统与所有可信应用运行在同一个可信环境中,任意组件上的漏洞被利用都会波及系统中的其他组件.虽然ARM提出了S-EL2虚拟化技术,支持在安全世界建立多个隔离分区来缓解这个问题,但实际分区管理器中仍可能存在分区间信息泄漏等安全威胁.当前的分区管理器设计及实现缺乏严格的数学证明来保证隔离分区的安全性.详细研究了ARM TrustZone多隔离分区架构,提出一种基于精化的TrustZone多安全分区建模与安全性分析方法,并基于定理证明器Isabelle/HOL完成了分区管理器的建模和形式化验证.首先,基于逐层精化的方法构建了多安全分区模型RMTEE,使用抽象状态机描述系统运行过程和安全策略要求,建立多安全分区的抽象模型并实例化实现分区管理器的具体模型,遵循FF-A规范在具体模型中实现了事件规约;其次,针对现有分区管理器设计无法满足信息流安全性验证的不足,设计了基于DAC的分区间通信访问控制,并将其应用到TrustZone安全分区管理器的建模与验证中;再次,证明了具体模型...