Cooperative communications with hierarchical modulation in downlink OFDMA based cellular networks

Cooperative transmission is a promising way to improve system performance in orthogonal frequency division multiple access (OFDMA) based cellular networks.This paper proposes two heuristic cooperation ...     

一种基于Event-B语言的时间触发系统建模方法

安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题，验证时耗少，适用于高并发系统。然而，常规的Event-B方法缺乏时间语义表达结构，特别是缺乏对可提高系统可预测性的时间触发属性的支持。首先，介绍支持时间触发系统的抽象建模框架TTEB,从系统行为和实现2个抽象层次对时间属性进行建模和精化。然后，通过有序事件链组成的时间触发转移描述行为层时间触发属性；通过全局时钟到分布式本地时钟的精化和分解实现行为模型到实现模型的转化；运用时间触发转移建模分布式时钟周期同步。最后，基于从车跟车系统建模与验证说明方法的可用性和有效性。     

基于时间自动机的AADL端到端流规约验证方法

体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具，可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而，AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果，尤其是对于资源动态分配的实时系统。为解决结果不精确的问题，可结合基于系统有穷状态空间遍历的模型检验方法。首先，将实时系统AADL模型转换为时间自动机(TA)模型，以TA为理论体系进行模型检验。其次，基于反应链的需求分类定义端到端延迟需求表达模式。最后，给出对应需求模式的观察者模型，与系统模型并行组合，优化模型验证的时空资源消耗。     

江西工业能效影响因素及提升路径探析

现阶段我省能源消费的主体是工业,其能源消费量占全社会能源消费总量的70%以上,实现"十二五"节能降耗目标任务,提高工业能源利用效率是关键。通过对近几年我省工业能效情况分析,找出制约我省工业能效提升的关键问题,并在此基础上提出未来实现能效提升的根本出路。     

螺旋立铣刀切削力建模分析及加工优化研究

铣削加工中铣刀切削刃与工件的相互作用是一个快速、复杂的变化过程,且其受力变化是其它一切物理量变化的根源,因此研究在铣削加工过程中铣削力具有重要意义。这里研究了切削深度对切削力的影响,提出了一个快速反映切削力波动的切削系数。通过时域分析了在不同切削系数状况下的切削力波动与工件加工质量从而验证了方法的有效性。研究结果表明选择合理的切削系数可以降低切削力波动。因此可以通过选择合理的切削深度在保证加工质量的同时提高切削效率。     

苗族文化在鞋靴设计中的美学表现和寓意传递

为了让鞋靴设计富有中国传统文化气息,将苗族文化与鞋靴设计相结合。苗族文化是中国文化的一个重要组成部分,具有鲜明的文化特点,以苗族文化在鞋靴设计中的应用为研究内容,阐述了苗族文化的传统工艺、苗族图腾及纹样种类,将苗族工艺、图腾纹样以及苗族色彩具体应用于鞋靴设计,实现苗族文化与鞋靴设计的完美融合,从而为现代化鞋靴赋予新的文化内涵。     

高压处理大豆分离蛋白水解物对羊肉糜凝胶特性及贮藏期氧化稳定性的影响

为研究添加不同高压处理(0.1、100、200、300MPa)的大豆分离蛋白水解物(soy protein isolate hydrolysate,SPIH)对羊肉糜凝胶特性及贮藏期间氧化稳定性的影响,以未添加水解物的羊肉糜为对照组,测定了羊肉糜的质构、流变特性和微观结构,同时检测了在4℃贮藏8d的过程中,羊肉糜的色差、酸价、硫代巴比妥酸值、羰基及总巯基含量。结果表明:与对照组相比,添加不同高压处理的SPIH的羊肉糜硬度、弹性及回复性显著提高(P＜0.05);升温过程中,添加不同高压处理的SPIH的羊肉糜弹性模量G′均先下降后上升,且在整个升温过程中,SPIH处理压力为200MPa时,羊肉糜的G′值始终最高;同一频率振荡下,添加200MPa处理的SPIH的羊肉糜G′值也最高;扫描电镜结果显示,与对照组相比,添加水解物的羊肉糜结构更加致密均匀;随着贮藏时间的延长,添加不同压力下原料肉质量2.0%的SPIH能够抑制羊肉糜的b^*值(黄度)、酸价、硫代巴比妥酸值和羰基含量的上升以及L^*值(亮度)、a^*值(红度)和总巯基含量的下降,且200MPa处理的SPIH抑制脂肪、蛋白质氧化的效果最为显著(P＜0.05)。因此,200MPa处理的SPIH能够改善羊肉糜的凝胶特性及提高贮藏期间氧化稳定性。     

Action of Selenium Compounds on the Cellular Metabolism by Microcalorimetry

A new method is introduced to study the action between biomaterials and organism. By using an LKB- 2277 bioactivity monitor and ampoule method, the fundamental thermogenesis curves of the metabolic process of pk-15 and the toxic effect of three kinds of selenomorpholine compounds on it were studied at 37℃. From the thermogenesis curves, the heat released by pk-15 metabolism was calculated. The results show that the selenium compounds all have toxic action on the metabolism process of pk-15 at the range of experimental concentrations. The sequence of the toxic action of selenium compounds is: Na2SeO3>β- ( N- selenomorpholine) -ethyl phenyike-tone hydrochloride > selenomorpholine.     

Thermochemical Studies of the Toxic Action of Heavy MetalIons on Escherichia coli by Microcalorimetry

1　ＩｎｔｒｏｄｕｃｔｉｏｎＣｈｅｍｉｃａｌｓｓｕｃｈａｓｈｅａｖｙｍｅｔａｌｓａｎｄｏｒｇａｎｉｃｃｏｍ ｐｏｕｎｄｓｐｏｓｓｉｂｌｅｈａｖｅｅｆｆｅｃｔｓｏｎｔｈｅｅｎｖｉｒｏｎｍｅｎｔａｎｄｔｈｒｅａｔｓｔｏｈｕｍａｎｈｅａｌｔｈ .Ｈｏｗｅｖｅｒ,ａｇｒｉｃｕｌｔｕｒｅ ,ｉｎｄｕｓｔｒｙ ,ａｎｄｍｅｄｉｃｉｎｅｒｅｌｙｏｎｔｈｅｕｓｅｏｆｐｒｅｃｉｓｅｌｙｔｈｅｓｅｃｈｅｍｉｃａｌｓ .Ｐｒａｃｔｉｃａｌｒｅｓｏｌｕｔｉｏｎｏｆｔｈｅｓｅｃｏｎｆｌｉｃｔｉｎｇｉｎｔｅｒｅｓｔｓｒｅｑｕｉｒｅｓ…