单参数变换群中L算子的性质和应用

通过无穷小变换引入单参数变换群（OPG）中的L算子,介绍并证明L算子的几个重要性质,在此基础上给出了其性质的一个应用.     

基于UCON和空间牵制的数字音乐版权保护

使用控制是近几年提出的对数字化对象进行访问使用的新型访问控制模型。介绍使用控制模型在数字音乐版权保护的应用,分析它在版权保护方面的缺点,并针对这个缺点提出空间牵制方法进行改进处理,从而提高其版权保护性能。     

你玩车,还是被车玩?

正如今的汽车,早已不再是代步工具那么简单。它的身上承载着包括驾驶文化、企业设计、机械特性等太多令我们着迷的东西。但即便这样,全球各地的汽车迷和有车家庭里,他们对车型、性能和空间的要求,也都不尽相同。或许,这便是差异的美好。我们在驾驶中感受乐趣的同时,也被这个家伙,深深地掌控着。     

盾安“云空调”

盾安中央空调自从1998年创立以来,至今已走过16个年头。在步入新世纪以来,中国的政治、经济和技术发生了前所未有的巨大变化,特别在新的信息技术层出更迭,中央提出＂以信息化带动工业化,发挥后发优势,实现社会生产力的跨越式发展＂的背景下,中央空调制造业的竞争环境、发展模式和活动空间等发生了深刻变革。面对这些挑战,盾安中央空调人积极创新、不断进取,创造出盾安＂云空调＂的概念。     

关于一类算子的共鸣定理

本文将证明一类非线性算子的共鸣定理。设Λ 是任意指标集,X 是一个第二纲的赋β*范空间,Xλ是赋准范空间(λ∈Λ),Aλ是X 到Xλ内的次减算子,当{Aλ}满足本文中定理1的条件时,有 * 成立。（注：*处为公式）
     

空间情形下旋转曲面面积的计算

运用积分微元法给出空间曲线旋转任意角度所形成的旋转曲面面积的一般计算公式,其它已知的旋转曲面面积公式是它的特殊形式,从而将平面曲线的旋转曲面面积推广到了空间情形.     

空间的时间化——从系统科学到生成论

系统科学的时空观经历三个阶段的发展,形成了以时间为主导、空间时间化的演化时空观。新的时空观是从系统科学提升为生成论、从科学到哲学的关键。生成论"生之"、"成之"的两个维度本身就内含了新的时空观;潜有→缘有→显有的生成过程与分形理论发展的新的空间观若合符节;生成元包含了新的时空观的全部内涵。     

B(H)上的算子Sharp偏序

设H是复可分的Hilbert空间,B(H)是H上的所有有界线性算子构成的代数。利用算子矩阵技巧,首先给出了B(H)上的算子Sharp偏序的刻画,其次研究了B(H)上的算子Sharp偏序的性质,最后给出了B(H)上的算子Sharp偏序与其他算子偏序的关系。     

A high-level synthesis based dual-module redundancy with multi-residue detection （DMR-MRD） fault-tolerant method for on-board processing satellite communication systems

On board processing （OBP） satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset （SEU） is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy （TMR） is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis （HLS） is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26％ compared to TMR,while fault missing rate is 0.15％.     

SwiftArray: Accelerating Queries on Multidimensional Arrays

Scientific instruments and simulation programs are generating large amounts of multidimensional array data.Queries with value and dimension subsetting conditions are commonly used by scientists to find useful information from big array data,and data storage and indexing methods play an important role in supporting queries on multidimensional array data efficiently.In this paper,we propose SwiftArray,a new storage layout with indexing techniques to accelerate queries with value and dimension subsetting conditions.In SwiftArray,the multidimensional array is divided into blocks and each block stores sorted values.Blocks are placed in the order of a Hilbert space-filling curve to improve data locality for dimension subsetting queries.We propose a 2-D-Bin method to build an index for the blocks’value ranges,which is an efficient way to avoid accessing unnecessary blocks for value subsetting queries.Our evaluations show that SwiftArray surpasses the NetCDF-4 format and FastBit indexing technique for queries on multidimensional arrays.