OWL2Vec*: embedding of OWL ontologies

Machine Learning - Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing...     

Correction to: Parallel Single-Pixel Imaging: A General Method for Direct–Global Separation and 3D Shape Reconstruction Under Strong Global Illumination

International Journal of Computer Vision - In the original publication of the article, the name of the last author should be Yang Xu, instead of Xu Yang. “Xu” is the family name, and...     

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)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛效果,并且与已有的研究成果相比更具优势。     

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

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