基于元建模的实时系统模型转换方法研究

通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的.转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性.     

混合式直流断路器快速机械开关特性研究及应用

国家大型风电、光伏等“绿色、低碳”新型清洁能源的并网消纳,迫切需要柔性直流输电新技术及新设备的开发研究。依托张北柔性直流电网试验示范工程,系统研究了混合式直流断路器的核心设备——快速机械开关。基于混合式直流断路器的工作原理及快速机械开关的性能要求,提出了多断口真空开关串联均压的高电压大电流快速机械开关实现方案;通过对快速机械开关分闸动态特性的有限元仿真计算,表明快速机械开关能够在2 ms内运动到耐受暂态开断电压绝缘距离;并通过电气性能试验对仿真计算结果进行了验证。研制成功的高电压大电流快速机械开关已投入张北柔性直流电网试验示范工程实际应用。     

PCAR：基于主成分分析的网络关键路径发现算法

大规模的网络进行动态流量监测的一个优化目标是有效减少观测对象,传统的方法通常根据流在空间的相关性减少测量对象。本文提出了一种基于主成分分析的网络的关键路径发现算法PCAR,它通过分析网络流量的时间和空间的相关性来发现网络中的关键路径。我们用Totem公布的Abliene流量数据检验了PCAR算法的有效性。实验表明,该算法与其它算法相比具有计算复杂性小、误判率低等特点。     

即食鲮鱼饼的加工工艺

研究了即食鲮鱼饼工业化生产的关键工艺条件,分析了几种加工辅料对鲮鱼饼质构的影响,确定了制作鲮鱼饼的较佳配方。结果表明,几个关键工艺条件为:鲮鱼肉在低温下5倍的清水漂洗2次;擂溃过程,空擂5 min、盐擂20 min、混合擂溃5 min,擂溃完成后的鱼饼于40℃恒温培养箱内凝胶化2 h;油炸(160℃,70 s)、真空包装后经高温高压(115℃,12 min)杀菌。鲮鱼饼配方各成分质量分数为:鲮鱼肉74%、食盐2%、Tg酶0.2%、淀粉10%、肥猪肉10%、香葱0.5%、味精0.5%、水2.8%。     

用于远程激光测距机的小体积高功率固体激光器

为了满足军用远程激光测距机对小体积高峰值功率固体激光器的应用需求, 采用短腔长、正交偏振电光调Q技术, 设计了小型风冷LD抽运Nd:YAG固体激光器, 并对样机进行了实验验证。结果表明, 激光器重量630g、重频20Hz、输出能量85mJ、脉冲宽度3.9ns、激光峰值功率21.8MW、束散角1.9mrad, 满足了小型化和高峰值功率的要求。该激光器具备较强环境适应性, 目前已实现工程化应用。     

飞秒激光蚀刻光纤微腔及其在光纤环衰荡腔中的应用

为了实现在光纤环衰荡腔(FLRD)系统中的微量气体液体传感,提出了利用飞秒激光微纳加工的方法加工微流体传感装置.利用800 nm的飞秒激光脉冲在普通980 nm,1550 nm的单模光纤上实现了直写光学微腔,微腔的宽度达到4 um,深度80 um.将在单模光纤刻蚀的光学微腔成功应用于光纤环衰荡腔系统之中.针对光纤环衰荡腔的系统装置,分析了该系统的探测原理,并对该系统应用于微流体吸收探测中所探测的衰荡时间、损耗及待测流体浓度的关系进行理论推导.利用此系统,实现了对微量流体浓度的吸收谱高灵敏度探测.     

光纤滤波器的原理、结构设计及其进展

介绍了光纤滤波器的原理、结构主要应用,提出了级联设计滤波器的概念.在总结典型级联式滤波器的基础上,详细分析了其结构设计及工作原理,评述了其优缺点.结合微结构光纤(MOF)及光栅的特殊性质,阐述了典型的微结构光纤滤波器的结构设计及工作原理,展爪了其典型应用.提出了级联微结构光纤及光栅设计滤波器方案,展望了光纤滤波器的发展,并指出了进一步拓展及应用的方向.     

富电子对苯二酚聚醚系列化合物在反相色谱上保留行为的探讨

本文探讨了组装超分子化合物的一个重要中间体——富电子对苯二酚聚醚链系列化合物在反相色谱上的保留行为。实验结果表明：使用溶解度参数理论处理溶质与流动相和固定相之间关系的模型：ｌｎｋ＝ＡΦ２Ｂ＋ＢΦＢ＋Ｃ＋ＥΦＢ和ｌｎｋ＝Ｂ０＋Ｂ１ΦＢ＋Ｂ２Φ２Ｂ＋Ｂ３ｌｎΦＢ能很好地描述容量因子和流动相组成之间的关系。     

一个面向电子商务的数据挖掘系统的设计与实现

在分析电子商务给数据挖掘系统设计带来的新特点的基础上,提出了一个面向电子商务的数据挖掘系统的设计与实现方案,并实现了一个基于ＣＯＲＢＡ平台的原型系统。     

基于多代种群进化信息改进的差分进化算法研究

差分进化算法是进化算法中一种性能较为优良的全局数值优化算法,已在人工智能、信号处理等方面取得广泛应用,但当前研究往往仅考虑进化过程中某一代种群的分布信息,而忽略进化过程中多代种群累积的分布信息,造成信息利用不充分。借助自适应协方差矩阵进化策略的思想,充分利用进化过程中累积的种群分布信息,同时,由于自适应协方差矩阵存在收敛早熟、易陷入局部最优的缺点,先后对变异和交叉操作进行相应改进,以平衡算法的全局搜索能力和局部搜索能力。首先,根据种群中个体适应度值进行排序,由余弦函数改进的概率模型计算个体参与变异操作的概率,基向量和差分向量中末端向量根据概率值降序选择,差分向量中起始向量升序选择,从而提高种群的搜索范围;然后,对协方差矩阵进行特征分解,并在由特征向量构建的坐标系中执行交叉操作,该种方式生成的实验向量更接近全局最优解。针对上述改进操作,采用IEEE CEC2014作为评估函数,实验结果表明,相比现有的差分进化改进算法,本改进算法的实验性能提升更为明显。