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.     

锦屏一级水电站左岸底层灌浆平洞深孔帷幕灌浆施工

锦屏一级水电站作为世界第一高的拱坝,在超高的水头和复杂的地质条件下,在底层灌浆洞中进行了超过170 m的深孔帷幕灌浆。施工中克服了各种不利条件,解决了多种非常规的施工技术难题,其经验可为其他类似工程提供参考。     

基于角色-权限-用户模型的通用权限设计与实现

用户与角色关联,角色与权限关联,角色是连接用户与权限的桥梁。通过这样的设计,可防止有相同权限的用户重复分配权限,而只是分配在同一角色下便可。此设计已经成功在COSL IT支持服务中心《党群在线服务平台》系统中应用,系统中的权限模块正常工作,保障了《党群在线服务平台》良好运行。     

基于Java框架的银医一卡通系统设计

介绍了一种基于信息共享的医院--银行一卡通的信息系统设计方案。该系统使用Web服务实现接口通信,通过自助服务器连接医院系统和银行系统实现医院与银行的信息共享。基于该系统,用户可以使用中国银行借记卡代替医院门诊卡就医,提供了良好的就医环境,提高了医疗效率。     

A CMAC-PD compound torque controller with fast learning capacity and improved output smoothness for electric load simulator

The compound architecture of CMAC (Cerebellar Model Articulation Controller) and PD (Proportional-Derivative) can effectively reduce the loading error and restrain the surplus torque of electric load simulators. But due to its generalization ability, the CMAC controller has an unsmooth output, which leads to the motor vibration even the divergence of control system. The unsmooth problem of CMAC is analyzed in this paper and a novel scalar cost function of CMAC is proposed, which consists of an error item and a weight smoothing item to guarantee fast learning capacity and improved output smoothness of CMAC. With the novel scalar cost function, a compound torque controller of PD and smooth CMAC is derived by using the gradient descent algorithm. Both the simulation and experimental results demonstrate that the novel CMAC-PD compound controller can effectively improve the output smoothness of the electric load simulator, eliminate the surplus torque and assure the stability of system as well.     

Determination of the molecular weight distribution of cellulose on calibrated gel columns

CMC samples obtained by gel filtration on a preparative scale were used to calibrate an agarose column. The relation between molecular weight and the peak elution volume for monodisperse samples were calculated as well as the relation between band broadening and the peak elution volume. In the calculations of the molecular weight distribution curves of the studied CMC samples, consideration was given to the variable band broadening by proper transformations of the experimental data, thus making it possible to obtain numerical solutions free from oscillations. The method admits a rapid determination of the molecular weight distribution of cellulose and related materials.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

RIAIL:大规模图上的可达性查询索引方法

图被广泛用来建模在社交网络、语义网、计算生物学和软件分析中的应用.可达性查询是图数据上的一种基础查询.当前,针对图上的可达性查询已经提出了一些索引算法,但是它们不能灵活地扩展到大的图数据.因此,提出了一种索引方法RIAIL(reachability index augmented by interval labeling).RIAIL将结点的标记信息表示成四元组.前两个元素是区间标记,编码生成树的可达性信息,后两个元素编码非树边的可达性信息.RIAIL查询时只需索引且索引创建代价小.最后,通过大量真实和人工生成数据集上的实验说明,RIAIL能够高效地处理可达性查询,并且可以简单地扩展到大的图数据.     

考虑转包的平行机供应链排序

研究一类考虑转包的供应链排序问题, 即工厂从客户处接受一批订单, 这些订单既可以由工厂完成, 也可以通过支付一定费用进行转包. 工厂需要确定被转包的订单集并安排未被转包订单的生产和运输. 针对工厂为平行机生产环境的情况, 以交货期限内完成所有订单的转包成本、生产成本与运输成本之和最小化为目标, 构建了问题的数学模型, 并设计了启发式算法. 最后通过数值实验结果表明了算法的有效性.

     

基于A-VFSA粒子发生器的PSO算法的研究

对超快速模拟退火算法进行改进(A-VFSA),并以此为粒子发生器,提出了PSO-PG算法.该算法通过粒子发生器对搜索域内粒子进行改进,从而生成一个精英粒子池;并根据随机策略从粒子池中选择粒子,作为初始种群,采用PSO算法进行优化,得到全局最优解.相比于标准PSO算法和LDW算法,PSO-PG算法拥有更好的稳定性和优化精度,能够更加快速地收敛到全局最优解,在一定范围内几乎不依赖于初始参数的选择.