Texture compensation with multi-scale dilated residual blocks for image denoising

Neural Computing and Applications - Deep convolutional neural networks have achieved great success for image denoising recently. However, increasing the depth of the neural network cannot...     

基于MAX16802B的水下相机控制系统设计

水下相机对海洋生物科学研究有重要意义,其控制系统的设计关键在于光源控制方案以及电源效率的提高;提出并实现了一种基于低功耗微控制器、高亮LED光源以及LED控制驱动器MAX16802B的水下相机控制系统,详细介绍了系统组成,并给出了基于低功耗策略的硬件和软件优化设计方案;实验结果表明,该设计方案电路结构简单,稳定性好,电源效率达75%以上,能够满足长时间水下拍摄工作;在实际海下测试中,按20分钟的拍摄间隔需求,水下相机可连续工作2个月以上。     

基于无线通信技术的FFU风机群控系统

针对大型洁净工程实现自动化控制的需要,利用数字无线通信技术,设计了一种新型网络化的多风机过滤器单元(FFU)群控系统,详细介绍了系统的组成实现原理和软硬件设计方法;系统间采用基于射频收发芯片nRF2401实现数据的无线收发,有效地减少了系统布线和设计成本,提高了系统的组网灵活性和适用性;对设计开发的系统进行了测试实验,实验结果表明该系统数据通信正确可靠,系统具有结构简单、组网灵活、监控效果好和可扩展性强等优点。     

Timing analysis of MSC specifications with asynchronous concatenation

Message Sequence Chart (MSC) is a graphical and textual language for describing the interactions between system components, and MSC specifications (MSSs) are a combination of a set of basic MSCs (bMSCs) and a High-level MSC that describes potentially iterating and branching system behavior by specifying the compositions of basic MSCs, which offer an intuitive and visual way of specifying design requirements. With concurrent, timing, and asynchronous properties, MSSs are amenable to errors, and their analysis is important and difficult. This paper deals with timing analysis of MSC specifications with asynchronous concatenation. For an MSC specification, we require that for any loop, its first node be flexible in execution time and its any associated external timing constraint be enforced on the entire loop. Such an MSC specification is called a flexible loop-closed MSC specification (FLMSS). We show that for FLMSSs, the reachability analysis and bounded delay analysis problems can be solved efficiently by linear programming. The solutions have been implemented into our tool TASS and evaluated by experiments.     

环氧树脂-聚丙烯酸酯乳液型复合薄膜粘合剂

本文主要叙述了环氧-丙烯酸酯聚合乳液的合成,以及该乳液粘合剂的配制;讨论了该乳液粘合剂的粘合性能及耐水、耐溶剂性能。     

时间Petri网与CAGA算法相结合的并行测试研究

在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法(CAGA)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛效果,并且与已有的研究成果相比更具优势。     

一种基于固件的云系统策略文件完整性安全机制

针对云系统服务器之间共享策略文件所面临的完整性安全威胁,提出一种新的基于固件的策略安全机制。该机制可在云系统服务器平台之间安全且快速地进行共享策略文件交互,并可对共享策略文件进行完整性校验,进而提高协同工作的服务器所共享策略文件的安全性。实验结果表明,该机制有效实现了云系统环境下共享策略文件的完整性安全,同时提高了云系统管理员的管理效率。     

Gel formation in diimide‐hydrogenated polymers

The hydrogenation of diene‐based polymers via diimide is a very attractive alternative to the conventional catalytic hydrogenation route based on gaseous molecular hydrogen. However, serious crosslinking always accompanies it and limits the end‐use properties of the polymers. Gel formation in polymers that are hydrogenated via diimide has been investigated in detail through an inspection of all the chemical reactions involved in the process. The results indicate that hydrogen peroxide decomposition, some reactions related to oxygen, and the redox reaction between hydrogen peroxide and hydrazine are capable of generating radicals. However, radicals generated in the aqueous phase do not appear to initiate the crosslinking of diene‐based polymers in the latex form. It is proposed that the primary radicals giving rise to crosslinking are generated in the polymer phase in situ, and the step responsible for generating these organic radicals is possibly the diimide disproportionation reaction. © 2005 Wiley Periodicals, Inc. J Appl Polym Sci 96: 1122–1125, 2005     

高聚合度聚氯乙烯的加工性能

本文对高聚合度聚氯乙烯(H-PVC)的发展及其优异的物理机械性能作了简要介绍;着重分析了H-PVC的加工性能和表征方法,并讨论了分子特性和颗料特性及加工组成、加工条件对加工性能的影响,提出了改进H-PVC加工性能的方法。