Incremental join view maintenance on distributed log-structured storage

Modern database systems desperate for the ability to support highly scalable transactions and efficient queries simultaneously for real-time applications. One solution is to utilize query optimization techniques on the on-line transaction processing (OLTP) systems. The materialized view is considered as a panacea to decrease query latency. However, it also involves the significant cost of maintenance which trades away transaction performance. In this paper, we examine the design space and conclude several design features for the implementation of a view on a distributed log-structured merge-tree (LSMtree), which is a well-known structure for improving data write performance. As a result, we develop two incremental view maintenance (IVM) approaches on LSM-tree. One avoids join computation in view maintenance transactions. Another with two optimizations is proposed to decouple the view maintenance with the transaction process. Under the asynchronous update, we also provide consistency queries for views. Experiments on TPC-H benchmark show our methods achieve better performance than straightforward methods on different workloads.     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

基于不完全信道信息的D2D功率分配算法

针对蜂窝与终端直通(Device-to-device,D2D)混合网络中的不完全信道状态信息(Channel state information,CSI),提出了一种基于不完全CSI的最优功率分配算法。利用拉格朗日乘数法推导出了最优功率分配解的闭式表达式。相对于传统的最大发送功率分配方案,该最优解受信道信息误差的影响较小,具有较好的鲁棒性。仿真结果表明,本文算法可以节约发送功率,并得到更大的接收信噪比。     

磁场中双量子位Heisenberg模型的纠缠与量子相变

以双量子位Heisenberg模型为例,讨论了磁场方向对纠缠的影响。结果表明：一定温度下,保持磁场的大小不变,仅改变其方向,不仅能获得最大纠缠,还产生了量子相变。     

析架空输电线路上倍容导线的选择

架空输电线路项目扩容改造,当采用倍容导线时,需在技术和经济上对倍容导线进行比较分析。文章对这种导线的种类、特性情况作了介绍,通过在220kV线路上对倍容导线的选择分析,为同类案例的处理提供了借鉴和参考。     

导磁体在汽车零件感应加热中的应用技术

本文简单介绍了导磁体工作的基本原理，并给出在汽车零件大规模生产中所积累的导磁体应用的一些经验，以阐明如何更有效地使用导磁体。     

铸造铝合金轮毂T6热处理工艺的优化研究

研究了固溶时间、淬火停留时间及涂装烘烤工艺对A356合金铸造轮毂性能的影响规律并优化了T6热处理工艺，将淬火停留时间缩短到2h。研究表明：未涂装时优化工艺使合金抗拉强度达到240MPa，屈服强度达到181MPa。伸长率达到8％；涂装后抗拉强度达到262MPa，屈服强度达到179MPa，伸长率达到9％，接近并达到目前国内T6工艺的强度性能，超过了国内轮毂行业的强度性能标准，具有一定的生产实际意义。     

Preparation and characterization of TiO2 photoelectrode codoped with aluminum and boron and its application in dye-sensitized solar cell

Nanocrystalline titania films codoped with aluminum and boron were prepared by cathodic vacuum arc deposition. In the process, titanium alloy target was used under an O2/Ar atmosphere, and sensitization of films were carried out by natural dye-sensitized complex in anhydrous ethanol. The structure, surface morphology and UV-vis spectra of titania films codoped were measured by X-ray diffraction analysis, scanning electron microscopy and ultraviolet-visible spectrometer. Theas-deposited films are found to be amorphous. The films annealed were examinedto be of anatase structure with orientation along the (101) planes, the averagecrystal size is in the range between 41 and 45 nm. SEM results show that thereare some pores in the codoped titania films, the optical properties of the dye-sensitized films were also measured which reveals that the spectral responses of films shift to the visible region. Under simulated sunlight illumination, the overall energy conversion efficiency of dye-sensitized nanocrystalline solar cell is 0.9%.     

软起动器和变频器的时分多机复用技术及其应用

本文提出了时分多机复用的概念，并对其技术和应用加以具体说明，展现了该技术良好的应用前景。