摘要：架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。

摘要：为开发环保无毒和无粉尘的便携干洗剂,选用聚乙烯醇(PVA)、水、乙醇、D-柠檬烯、硅胶和羧甲基纤维素(CMC)采用控制变量法初步制备了撕剥型干洗剂。以PVA、CMC、硅胶和D-柠檬烯的质量分数为自变量因素,去污效率为表征指标,取4因素7水平设计均匀实验。再以SPSS软件对结果进行回归分析得到数学模型,以MATLAB软件对模型进行计算,得到优化配比(质量分数,以体系总质量为基准):PVA 2488(牌号)为4.5%、CMC为1.5%、800目硅胶为7.5%、D-柠檬烯为11%。该配方去污效率可达97.08%。通过FTIR和SEM对干洗剂所得薄膜及织物进行结构表征和去污原理分析,并对织物的物理性能进行测试。结果表明,干洗剂对粉尘微粒与油渍的去污效果很好,织物上残留很少,织物仍保留着较好的服用性能。

摘要：在土培条件下,设计3个水分水平和2个施氮水平,研究水肥耦合对水稻汕优63不同生育阶段根系形态与活力的影响。结果表明:在低土壤水分条件下增加氮素供应水平能够显著增加根干重、根体积和促进根系的扎深。根系干重的垂直分布可用对数模型、乘幂模型、指数函数模型、多项式函数模型来表示,相关系数均在0.9以上,且以指数函数的模拟精度最高。轻度降低土壤水分,增加施氮量能迅速提高根系活跃吸收面积和根系α-萘胺氧化活力,促进根系快速生长;过度降低土壤水分对水稻根系活力有抑制作用。

摘要：针对食品品质快速检测的需求和人工嗅觉技术存在的检测范围窄、受环境湿度影响大等缺陷,根据金属卟啉化合物与有机小分子气体反应后发生颜色变化的原理,筛选二十多种对食品常见气味成分响应的金属卟啉制成可视传感器阵列。以食品腐败的常见特征气体为研究对象,对传感器阵列的选择性、检测范围、水蒸气对传感器的影响等特性进行初步研究。试验结果表明,设计的可视传感器阵列具有良好的选择性、灵敏性、重现性和稳定性,且受环境湿度影响不大,在食品品质的快速检测方面有广泛的应用前景。

摘要：本文构建了以特征函数和传递概率为传递函数的CF-GERT（characteristic function based GERT）模型，利用特征函数的性质，证明了CF-GERT网络串联结构、并联结构、自环结构的传递关系与信号流图等价传递参数计算完全相同，故可借鉴信号流图理论求解CF-GERT模型.考虑以梅森公式为基础的经典GERT解析算法需要分析复杂的网络拓扑结构，提出了CF-GERT网络的矩阵式表征方法，进而设计了CF-GERT的矩阵式求解算法，推导了期望、方差、等价特征函数的计算公式.若等价特征函数绝对可积，则利用傅里叶逆变换推导概率密度函数；否则，运用Fang等提出的COS方法推导.最后用两个案例说明了所提方法的有效性.

摘要：SRAP与TRAP是最近发展的新型分子标记系统,具有简单、高效、高共显性、重复性、易测序等优点,尤其是可检测基因的可译框(ORFs)区域。本文对分别在芸薹属作物与向日葵中开发的SRAP、TRAP标记系统的基本原理与分析程序进行介绍。引物设计是SRAP与TRAP分析的关键,目前已开发出多个SRAP正、反向引物;与SRAP标记技术无须任何序列信息不同,TRAP技术需要基于已知cDNA或EST序列信息设计固定引物才可进行PCR扩增;二者PCR条件采用复性变温法,前5个循环复性温度为35℃,后30～35个循环为50℃;扩增产物可在聚丙烯酰胺或琼脂糖凝胶上电泳,同位素或银染、EB检测。目前这两种标记系统已开始在多种作物的种质资源鉴定评价、遗传图谱构建(包括转录图谱)、重要性状标记乃至基因分离克隆等方面成功应用。

摘要：高放废物处置库中缓冲/回填材料的膨胀特性是评价其屏障性能的关键因素。受试验仪器等条件的限制,以往的膨胀试验基本都是在恒体积和恒应力这两种极端边界条件下开展的,无法有效反映处置库中的复杂应力–应变环境。研发了一套新型的多边界条件膨胀仪,集成了恒体积、恒应力和柔性等刚度3种边界条件。利用该膨胀仪对中国高庙子(GMZ)缓冲/回填材料开展了一系列膨胀试验,分析了边界条件对试样膨胀特性的影响。结果表明:研发的多边界条件膨胀仪具有操作简单、性能稳定等特点,能有效地模拟各种边界条件;边界条件对试样膨胀指标具有重要影响,对应的最终膨胀力关系为:恒体积>柔性等刚度>恒应力边界条件,最终膨胀率关系为:恒应力>柔性等刚度>恒体积边界条件;膨胀平衡极限(SEL)曲线可作为评价土体在复杂边界条件下水化时的最终体变和膨胀力的参考。研究结果对进一步认识土体的膨胀特性和指导高放废物处置库中缓冲/回填材料的设计具有一定参考意义。

摘要：设计了一种基于压缩感知(compressive sensing,CS)技术的双向中继信道(two-way relay channels,TWRC)估计方法,并具体采用正交匹配追踪算法(orthogonal matching pursuit,OMP)对OFDM系统下的信道脉冲响应进行估计。双向中继信道往往呈现出稀疏多径结构,这种结构会随着信号空间维数的增大而越加明显。传统的线性估计方法没有考虑到TWRC的潜在稀疏性,因而导致了对关键通信资源的过度使用。而基于CS的TWRC估计方法能够很好地利用这种传输信道的稀疏多径结构,与传统线性估计方法相比,在获得同样估计性能的前提下,需要的训练序列长度大大减少,有效地提高了频谱、能量等资源利用率。同时,所采用的OMP算法的时间复杂度主要依赖于信道稀疏度,因此计算效率往往比传统的方法高。仿真也证实了基于CS的TWRC估计算法的优越性。

摘要：为满足协作应用系统对用户操作的响应性和协作应用参与者的动态性要求 ,提出混合式的协作共享对象模型 ,集中的对象注册器协助动态管理共享对象组状态信息 ,复制式的共享对象副本将按快速串行化的事务处理方式执行 着重介绍了共享对象新的乐观并发控制和一致性维护技术 ,特别是将操作位置转换方法结合到复合对象的两阶段提交算法中 ,提高了用户操作的响应性 ;对象组采用动态管理 。

摘要：由于自身矿物结构,天然黏性土颗粒表面会形成阳离子聚集的扩散层引起黏性土颗粒产生表面电导率(?s)。不同的黏性颗粒成分黏性土具有不同的双电层结构,引起表面电导率的变化,使得天然黏性土自身电导率(?mix)十分复杂。文章通过配置不同膨润土成分含量(BF=0~70%)的膨润土-高岭土混合介质,以评估表面电导率对混合电导率的影响。同时回顾电导率模型,介绍可以用于评价表面电导率的有效介质模型,并使用改进的4电极电导率测试设备,分析不同膨润土含量混合介质表面电导率导电模型。研究结果表明,混合介质总体电导率以及表面电导率随着膨润土含量的增加而显著增加;同时将文中试验的研究结果与有效介质导电模型相结合,得出不同表面电导率的混合介质有效模型;最后,根据改进的有效介质模型与相关文献研究进行对比验证模型的适用性。