UML活动图到时间Petri网的映射方法

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。     

OC门限流电路在串励电机控制中的研究

针对传统的以霍尔加磁环对电机电流进行检测再保护的电流限制的方法,提出了0C门硬件限流电路,该电路突破了传统的思路,不对电流进行采样,直接通过硬件电路对电机电流进行限州保护,即以设定的最大电流通过开关管所产生的压降作为0C门电路的参考值,以实际电流通过开关管所产生的压降作为比较值与参考值进行比较。当实际电流大于设定的最大电流时,0C门电路的输出关闭驱动开关管的控制电路,从而关断开关管,反之,当实际电流小于最大电流时,开关管正常工作,从而实现了对过电流进行快速的限制保护,确保了保护电路中的电流不会超过设定的最大电流。应用结果表明,该电路具有响应时间短,控制精度高,成本低等特点。所以其具有较高的应用推广价值。     

支持LRT的失败恢复算法及其事务性质分析

研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求。提出一种基于失败类型的恢复算法(包括向前、向后和替代恢复),其是一种基于扩展Petri网的形式化建模方法,为实现松弛ACID属性,引入状态托肯、数据托肯和QoS托肯,增加失败变迁和补偿变迁。失败发生时,动态计算终止依赖点TDP和补偿集,依据任务之间的控制流、数据流、时序、状态和行为依赖,获取任务的失败类型,选择合适的恢复策略,构造一个支持无缝添加/删除失败恢复的可执行模型。     

一种应用于全印制电子沉铜催化浆料制备及其应用

制备出一种应用于全印制电子沉铜催化浆料,采用电化学工作站的开路电位-时间(OCP-t)的技术,测定活化浆料引发沉铜的Emix-t曲线,比较不同含银量对引发过程的影响;在此基础上,应用于制造电子标签(RFID)。结果表明:随银含量增大,缓慢生成铜活性中心的诱导时间越短,活性越高;沉铜催化浆料及其对应的工艺加成法制作的电子标签导电性和结合力符合工业化要求,可以作为一种全印制电子技术来推广应用。     

激光在含有光学元件的湍流中传输时的光束偏转

光学元件可能抑制或者加强大气湍流对激光传输性能的影响.研究了激光束在含有光学元件的湍流大气中的传输问题.根据空间滤波器原理,推导了激光束的随机偏转的解析表达式.作为一个特例,研究了高斯光束通过含有单个凸透镜的湍流大气的光束偏转,对其进行了数值计算,并与不存在光学元件时的光束漂移进行了对比.研究表明:不论光束是准直还是非准直的,光束偏转整体上都随传输距离的增加而增加,变化趋势基本一致,当传输距离相等时,存在凸透镜时的光束偏转都要小于不存在透镜时的光束漂移,激光传输性能得到改善.     

匀速直线运动模糊图像复原的改进算法

提出了一种改进的运动模糊图像复原算法,先用方向微分思想鉴别出运动模糊方向,然后采用求微分模糊图像自相关函数的方法鉴别模糊尺度,从而构造出最为近似的点扩散函数（Point Spread Function,PSF）。针对振铃效应问题,用最优窗法对图像进行处理,最后利用维纳滤波法与图像均衡法相结合的改进算法对运动模糊图像进行复原。实验结果表明,该算法可以取得较好的复原效果。     

透镜与电池间距对聚光光伏系统特性影响的实验研究

实验研究了聚光太阳电池上光照强度、短路电流、开路电压、电池温度和光电转换效率随菲涅耳透镜与电池的距离变化关系。结果表明,聚光条件下,太阳电池性能的提高主要源于短路电流的变化,而不是开路电压;聚光后,太阳电池与透镜距离为焦长时,输出功率可以达到最大值;太阳电池的最大单位光强转换效率需要把太阳电池放到透镜焦点前。本文研究结果对于聚光光伏系统的研制具有指导意义。     

信息系统测试监理要点分析研究

系统测试是项目验收的重要工作,也是保证软件项目质量的重要手段,系统测试工作的规范化、标准化、科学化,更有利于提高测试结果的准确性,从而提高项目的质量;依托东营软件园甲骨文公共技术服务平台项目,介绍了信息系统的类型及信息系统项目测试的流程,探讨了系统测试的关注点,分析了基于IBM云平台基础架构对Oracle软件产品进行二次开发配置的系统测试的流程及监理工作要点,实现了对系统测试的监理工作内容及要点的分析,指出了系统测试监理对软件工程监理的重要性。     

纳米TiO_2半导体催化活性的研究进展

纳米TiO2半导体催化技术具有广阔的应用前景,近年来半导体光催化已成为功能陶瓷材料、光化学、环境保护、生物技术等领域的研究热点之一。本文简要介绍了近年来国内外纳米TiO2半导体光催化剂的研究进展,主要包括纳米TiO2光催化剂的作用机理及结构的影响;提高催化活性的方法,指出了表面贵金属沉积、复合半导体、金属离子掺杂和表面光敏化是提高催化活性和催化效率的有效途径。     

G.723.1双速率语音编解码算法在TMS320VC5402上的实现

本文先简单介绍了G.723.1双速率编解码算法标准，然后根据TI公司的DSP芯片TMS320VC5402的性能特征，在深入分析G.723.1标准的C源代码后，对算法进行了一系列优化。文中详述了这些优化方法。最后介绍了一个实际的硬件实现。