Image super-resolution based on multi-space sparse representation

Sparse representation provides a new method of generating a super-resolution image from a single low resolution input image. An over-complete base for sparse representation is an essential part of such methods. However, discovering the over-complete base with efficient representation from a large amount of image patches is a difficult problem. In this paper, we propose a super-resolution construction based on multi-space sparse representation to efficiently solve the problem. In the representation, image patches are decomposed into a structure component and a texture component represented by the over-complete bases of their own spaces so that their high-level features can be captured by the bases. In the implementation, a prior knowledge about low resolution images generation is combined to the typical base construction for high construction quality. Experiment results demonstrate that the proposed method significantly improves the PSNR, SSIM and visual quality of reconstructed high-resolution image.     

Prediction-based realistic 3D model compression

The benefit of using the geometry image to represent an arbitrary 3D mesh is that the 3D mesh can be re-sampled as a completely regular structure and coded efficiently by common image compression methods. For geometry image-based 3D mesh compression, we need to code the normal-map images while coding geometry images to improve the subjective quality and realistic effects of the reconstructed model. In traditional methods, a geometry image and a normal-map image are coded independently. However a strong correlation exists between these two kinds of images, because both of them are generated from the same 3D mesh and share the same parameterization. In this paper we propose a predictive coding framework, in which the normal-map image is predicted based on the geometric correlation between them. Additionally we utilize the strong geometric correlation among three components of normal-map image to improve the predicting accuracy. The experimental results show the proposed coding framework improves the coding efficiency of normal-map image, meanwhile the realistic effect of a 3D mesh is significantly enhanced.     

XRQ-Ⅱ型开车燃烧控制系统的结构及应用

XRQ-Ⅱ型开车燃烧控制系统由泵组、阀组、燃烧器、快速关断阀门及控制柜等组成,燃料经油枪喷嘴雾化喷出在燃烧器中安全稳定地燃烧,控制柜保证供油及点火、火焰检测.在600 kt/a硫磺制酸系统焚硫炉烘炉及催化剂升温中的实际应用表明,XRQ-Ⅱ型开车燃烧控制系统具有便于自控操作、提高焚硫炉烘炉内衬质量、缩短催化剂升温时间等优点.     

Rheologic behaviors of A356 aluminum alloy billet produced by semisolid continuous casting process

The experiments for rheologic behaviors of semisolid continuous casting billets of A356 alloy in semisolid state had been carried out with a multifunctional rheometer. The results show that the deformation rate increases with loading time, the maximum strain reaches to 120％ (which is one time larger than that of traditional mold casting billet) and the strain can be rapidly eliminated to 10％ after unloading. Moreover, there is a critic stress for billet deformation even in semisolid state, which is named as critic shear stress. This stress increases with the decreasing of heating time. The theologic behaviors can be expressed by five elements mechanical model (H_2- [N_1|H_2]-[N_2|S]) and can be modified with the increasing of heating time.     

钢-铝铅半固态铸轧复合界面研究

针对钢-铝铅半固态复合界面的特点,采用界面铁铝化合物比率对钢-Al-28Pb半固态铸轧复合界面进行了定量研究,并且利用人工神经网络技术建立了界面铁铝化合物比率与复合参数(如钢板预热温度、Al-28Pb半固态浆料固相率、铸轧速度等)之间的关系模型.结果表明:与复合界面最大界面剪切强度相对应的界面铁铝化合物比率为71.5%,也就是说,合理的钢-Al-28Pb半固态铸轧复合界面应由71.5%的铁铝化合物构成.     

泵站同步电动机起动过程及故障分析

文章通过定性分析同步电动机的异步启动原理、启动过程中的转矩变化,结合明山和大东口泵站在同步电动机启动过程中出现的的实际问题处理,提出了一些合理的改进措施。     

带 2细分结构的四边形化

在Morse函数理论的基础上,提出一种新的从三角网格中建立四边形网格多分辨率表示的方法．先由人工指定或从拉普拉斯矩阵的特征函数中提取临界点,计算带约束的拉普拉斯方程得到光滑的Morse函数．函数的临界点（极大、极小和鞍点）有规律地分布在模型表面,在三角网格表面梯度场的引导下, 生成临界点间流线,得到临界点间的拓扑关系．通过临界点交换规则,同样是采用流线的方法,得到更精细的四边形网格。 最终可实现无需参数化而仅用流线方法来建立不同多分辨率表示的四边形网格。     

基于数学归纳法抽取循环程序研究

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。     

SQL编译器的语义分析研究

SQL是一种结构化查询语言,它是当今的标准数据库语言,所有主要的数据库系统都使用它。文中主要讲解了基于Linux系统的SQL语言编译器语义分析方法。