系统架构描述语言AADL的功能行为建模扩展

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

激光剥蚀电感耦合等离子体质谱法测定镀锌钢板镀层中的铅、镉、砷、锡和锑

本文以64Zn为内标,以纯锌标准物质作校准曲线,建立了激光剥蚀电感耦合等离子体质谱法（LA-ICP-MS）测定镀锌层中Pb、Cd、As、Sn和Sb的方法。研究了镀锌钢板镀层表面状态和LA的深度分辨率,选择单点剥蚀方式和ICP-MS时间分辨模式采集数据。在优化工作参数基础上,探讨了分馏效应,Pb、Sn的分馏因子接近1,As、Cd、Sb的分馏因子都小于0.8,因而认为Pb、Sn没有分馏效应,As、Cd、Sb存在分馏效应。测定了标准物质和实际样品,测定结果与标称值（ICP-MS测定值）基本相吻合,因而认为该方法是可行的。Pb、Cd、As、Sn和Sb的检出限分别为3、0.3、3、3和0.5 μg/g。     

多壁碳纳米管的球磨特性及其嵌锂行为

采用Raman光谱、TEM和恒流充放电技术研究在石油醚介质中球磨不同时间的多壁碳纳米管的结构、形貌和电化学嵌锂行为的变化.结果发现,球磨1h和5h,多壁碳纳米管的典型Raman峰强度随球磨时间的增加而降低,说明碳纳米管中的缺陷增多,管径变小,管长变短;但球磨5h和10h的峰强度相差不大,说明在石油醚介质中经一定时间球磨后再延长时间对其结构几乎无影响;且球磨前后Raman谱G线和D线的强度之比几乎不变,球磨对其石墨化程度影响不大.随球磨时间增加,可逆嵌锂容量相应增加.并分析了原因.     

氩气氛围电感耦合等离子体质谱分析性能的初步研究和应用

采用自制的氩气氛围电感耦合等离子体(ICP)离子源封闭装置,使ICP离子源与空气隔离,形成氩气氛围ICP离子源,研究了溶液雾化进样和激光剥蚀进样情况下电感耦合等离子体质谱(ICP-MS)的分析性能,证实氩气氛围ICP-MS在改善O、N、C、Ar等组成的多原子离子干扰方面具有明显的优势。在溶液进样的情况下,研究了¹¹B、²⁴Mg、²⁸Si、⁴²Ca、⁵³Cr、⁵⁴Fe、⁵⁵Mn、⁶⁰Ni、⁶⁵Cu、⁸⁹Y、¹¹⁵In、¹³⁷Ba、²⁰²Hg、²⁰⁸Pb等的线性相关系数、检出限和背景等效浓度,结果表明,对易受N、C、Ar等组成的多原子离子干扰的²⁴Mg、²⁸Si、⁴²Ca、⁵³Cr、⁵⁴Fe、⁵⁵Mn、⁶⁰Ni、⁶⁵Cu,其分析性能得到明显改善;对¹¹B、⁸⁹Y、¹¹⁵In、¹³⁷Ba、²⁰²Hg、²⁰⁸Pb等同位素没有负面影响。在激光剥蚀的情况下,紫铜中³¹P、⁵⁴Fe、⁵⁶Fe、⁶⁰Ni、⁶⁶Zn、¹⁰⁷Ag、¹²¹Sb、²⁰⁸Pb、²⁰⁹Bi等的分析性能都有所改善,尤其以⁵⁴Fe、⁵⁶Fe的改善更为明显。利用该技术,采用激光剥蚀ICP-MS测定了纯铜样品中P、Fe、Ni、Zn、Ag、Sb、Pb 和Bi等元素,测定结果与溶液雾化进样ICP-MS(SN-ICP-MS)基本吻合,各元素的检出限分别为6、24、3、1、1、1、1和0.01 μg/g。     

驾驶员疲劳检测中的眼睛定位算法

人眼状态与疲劳程度有很好的相关性,眼睛定位在驾驶员疲劳检测中有十分重要的地位。目前眼睛定位算法都是针对睁开的眼睛,不能定位闭合的眼睛。为了能够定位任意状态下的眼睛,提出了Adaboosting算法与几何模板融合的眼睛定位算法。在眼睛粗定位区域中用Ada-boosting算法检测睁开的眼睛,修改几何模板。对于Adaboosting算法中不能检测到眼睛时则用几何模板法进行眼睛定位。实验表明该算法有较好的检测率和运算速度。     

《建筑工程测量》课程的教学探究

《建筑工程测量》是建筑工程技术专业一门重要的专业基础课,必须采用“实践教学”,这门课程重在培养学生实际操作仪器和利用仪器的能力。本文针对高职教育的特点,提出在教学中要合理安排实践内容的举措,不断改进教学方法,以进一步提高学生的动手能力。     

稀土元素掺杂对LiFePO4正极材料电导率和电化学性能的影响

橄榄石型LiFePO4因其安全性能突出、价格低廉、绿色环保、循环性能优良等优点已成为最具应用潜力的新一代锂离子电池用正极材料。由于LiFePO4电子导电能力较低，因此其充放电容量有待进一步改进。采用水热合成法制备了纯LiFePO4和稀土元素La、Ce、Nd掺杂的LiFePO4纳米粉末。研究表明，掺杂后材料的电导率比未掺杂试样高2-3个数量级。电化学测试显示掺杂后LiFePO4的首次充放电容量提高2-5倍，其中掺Nd的效果最好。水热合成产物经高温碳包覆后，掺杂的LiFePO4/C复合材料也比纯的LiFePO4/C复合材料的放电容量高，表明掺杂稀土元素能有效提高橄榄石型LiFePO4的充放电容量。     

随机混成系统稀有属性的统计模型检测方法

统计模型检测,已成为随机混成系统安全性验证的重要方法.但对安全性要求较高的系统,其不安全事件和系统失效都是稀有事件.在这种情况下,统计模型检测很难采样到满足稀有属性的样本而变得不可行.针对该问题,提出了交叉熵迭代学习的统计模型检测方法:首先,使用连续时间马尔可夫链表示随机混成系统的路径概率空间,推导出路径空间上的参数化概率分布函数族;然后构造了随机混成系统路径空间上的交叉熵优化模型,提出了在路径空间上迭代学习最优重要性采样分布的算法;最后给出了基于重要性采样的稀有属性验证算法.实验结果表明:该方法能够有效地对随机混成系统的稀有属性进行验证;且在相同样本数量下,与一些启发式重要性采样方法相比,该方法的估计值能够更好地分布在均值附近,标准方差和相对误差减少超过了一个数量级.     

一种同步语言多线程代码自动生成工具

随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证.目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验,验证了所提方法的有效性.