Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.     

Sufficient and necessary conditions of separability for bipartite pure states in infinite-dimensional systems

The PHC criterion and the realignment criterion for pure states in infinite-dimensional bipartite quantum systems are given. Furthermore, several equivalent conditions for pure states to be separable are generalized to infinite-dimensional systems.     

Reverberation nulling and echo enhancement at low frequency using waveguide invariance

Based on the fact that the transfer function vector between a source receiver array and the dominant scatterer of boundary reverberation at a range can be obtained from the corresponding reverberations scattered from this range cell, a reverberation nulling concept using time reversal processing has been proposed. However, current reverberation nulling methods have certain limitations when applied into practice, which would null boundary reverberation and target echo simultaneously. As a solution, a passive reverberation nulling and echo enhancement method at low frequency using waveguide invariance is proposed in this paper. In this method, the reverberation subspace for the target range cell is not obtained directly from the return signals scattered by the target range cell but from the return signals scattered by a range cell located before the target using waveguide invariance, so as to suppress the reverberation embodied in the target echo by passive reverberation nulling. Besides, a range-dependent optimal weighting vector rather than conventional projector matrix is deduced to null the reverberation component meanwhile maximizing the target echo, thereby enhancing the echo-to-reverberation ratio furthest. Numerical simulations in typical range-independent shallow water environment demonstrate the efficacy and the improved performance of the proposed method for echo-to-reverberation enhancement.     

基于形式化概念分析和概念相似性度量的程序重组方法

形式化概念分析已被证明是一种支持模块重组的有效工具.然而,在使用概念分析进行模块重组时,仍存在一些问题有待进一步解决.本文提出一种自动化的遗留软件重组方法,用于从识别的模块化方案中获取一种最佳解决方案.通过在概念分析过程中引入概念抽象、哑概念和概念相似性度量等新的特性,有助于解决现有方法的不足.概念抽象用于表示候选模块...     

大口径光学元件微纳加工与检测技术研究与应用

超精密金刚石砂轮磨削是大口径先进光学元件微纳加工的主要技术,是实现确定性批量加工的重要保证.以实现高精度、高效率、高自动化程度加工为目的,阐述了大口径光学元件微纳加工与检测的加工技术系统,详细分析高精度加工设备及工艺控制、大尺寸检测、加工环境监控、快速抛光、表面织构化等研究应用情况.     

连通交换环上的上三角矩阵代数保持矩阵逆的模自同构

设R是有单位元1的连通交换环(R中除0和1外无其它幂等元),f是R上n阶上三角矩阵模Tn(R)到Tn(R)上的模自同构,如果对于任意的可逆矩阵A∈Tn(R),都有f(A)可逆,且满足(f(A))-1=f(A-1),则称f是保矩阵逆的模自同构.本文刻画了Tn(R)上保持矩阵逆的模同构.     

基本养老保险关系转移持续探讨

2010年伊始实行的<城镇企业职工基本养老关系转移持续办法暂行办法>为我国跨地区养老保险关系实现顺畅转移提供了可能,但是在其实践过程中却存在参保与收益水平差异、异地对接困难、自我流动难以转移等问题.经过研究分析,认为只有采取加强政府间协调、加快社保信息化建设、提高经办人员素质、加大宣传力度等,新办法才能不断完善,促进我国社会保障制度的进步.     

形象进度图法编制桥梁工程施工进度计划

文章提出了工程进度计划编制常用方法横道图和网络计划图的优缺点,介绍了形象进度计划图法的编制方法,并以此法举例编制大桥进度计划,指导大桥开工后的施工组织安排。     

相控阵天线板有限元动力学仿真分析

文章首先介绍了天线板滑倒过程的有限元动力学仿真;然后对仿真结果进行了分析,并初步得出了天线板的刚度和强度是符合要求的结论;最后,提出了如何提高天线板刚度和强度的措施,如合理设计框架的梁、应用新材料等措施。     

光电技术产业发展现状及其对策

光电技术产业作为21世纪的朝阳产业,被很多专业人士及国家所看好。甚至有专家认为,一个国家光电产业的发展如何、发达与否,已成为衡量一个国家综合国力的重要标尺。文章简要阐述了当前全球及我国、本省和扬州地区光电产业的发展状况,并提出相应对策。这些研究,将对推动本地区光电产业发展提供重要依据。