Irr: An algorithm for computing the smallest singular value of large scale matrices

For large-scale matrices, there is no practical algorithm to compute the smallest singular value with a satisfied relative accuracy. The widely used bidiagonalization Lanczos method can compute the largest singular value with good relative accuracy, but not the smallest one. In this paper we transform the smallest singular value of matrix A to the largest eigenvalue of (A^T A)^-1 and use Rayleigh-Ritz method, which is referred as Inverse-Rayleigh - Ritz (IRR) method. The technique computing quadratic form plays an important role in IRR. IRR takes no more flop cost and storage than Lanczos-like Krylov methods on A and gives more accurate results.     

浅谈软弱地基上堤坝的浅层非圆弧滑动分析

堤坝边坡稳定问题通常采用圆弧法进行计算分析,但当地基表层存在淤泥软土时,还应对堤坝进行浅层非圆弧滑动的稳定分析。本文以上海某圈围工程为例,通过稳定计算分析验证:地基表层为软弱土层的堤坝存在浅层非圆弧滑动较圆弧滑动更为不利的稳定问题,设计时应予以重视。     

休闲文化建设视野下创建全民健身新形式的研究

随着信息技术的发展、自动化程度的提高、现代化交通工具的普及,现代都市生活中休闲时间的增加和休闲运动形式的日趋丰富,休闲运动已成为影响人们生活状况的主要方面。全民健身活动开展18年来虽然取得了一定的成绩,但是也仍然存在一些不足,传统的体育活动已经不能满足人们的休闲健身需求,因此在休闲文化建设视野下,对休闲运动创建全民健身新形式进行初步研究是十分必要的。     

Experimental investigation on the stability of bride girder against tsunami forces

Bridges are the most useful part in the transportation network. Any disruption of the bridge structures may hamper the whole transportation system. In the last recent tsunamis, numerous number of bridges were structurally damaged by the tsunami waves. Lack of proper provisions of tsunami forces in the design guidelines also contributes to the augmentations of the damage level. Therefore, proper evaluation of the tsunami forces on the bridge girder should be introduced in the design promptly. In this study, laboratory experiments were carried out to reveal the damage mechanism of the bridge girder by assessing the exerted tsunami forces. Both broken and unbroken waves were considered for the analysis. The results showed that measured forces were larger for broken waves than those of unbroken waves. Maximum force of the broken waves was 4.59 times as large as the hydrostatic pressure. Also, waves reached the peak value more rapidly for larger wave heights than those of smaller ones. Additionally, a girder that is placed at a higher position is much vulnerable to tsunami hazard.     

面向工作流的RBAC模型研究

针对传统的基于角色的访问控制(RBAC)模型存在数据对象划分不清晰、权限分配不够灵活等问题,基于RBAC模型提出了工作流的概念.即将所有数据对象抽象成业务表单,为每个业务表单分配一个工作流,通过工作流的结点及分配的角色来解决用户与数据对象的权限控制问题.实验结果表明,该模型有效地实现了对数据实例的细粒度控制,具有较好实用性与可操作性,较好解决了相同角色对不同数据对象的不同访问权限控制问题.     

QPSchur: A dual, active-set, Schur-complement method for large-scale and structured convex quadratic programming

We describe an active-set, dual-feasible Schur-complement method for quadratic programming (QP) with positive definite Hessians. The formulation of the QP being solved is general and flexible, and is appropriate for many different application areas. Moreover, the specialized structure of the QP is abstracted away behind a fixed KKT matrix called K_o and other problem matrices, which naturally leads to an object-oriented software implementation. Updates to the working set of active inequality constraints are facilitated using a dense Schur complement, which we expect to remain small. Here, the dual Schur complement method requires the projected Hessian to be positive definite for every working set considered by the algorithm. Therefore, this method is not appropriate for all QPs. While the Schur complement approach to linear algebra is very flexible with respect to allowing exploitation of problem structure, it is not as numerically stable as approaches using a QR factorization. However, we show that the use of fixed-precision iterative refinement helps to dramatically improve the numerical stability of this Schur complement algorithm. The use of the object-oriented QP solver implementation is demonstrated on two different application areas with specializations in each area; large-scale model predictive control (MPC) and reduced-space successive quadratic programming (with several different representations for the reduced Hessian). These results demonstrate that the QP solver can exploit application-specific structure in a computationally efficient and fairly robust manner as compared to other QP solver implementations.     

电解金属锰和锰盐生产排放的酸浸废渣中锰的形态研究

将电解金属锰和锰盐生产中排放的酸浸渣进行预处理和分析研究，弄清锰在废渣中的存在形态及含量，对指导工业生产和环境评价，具有一定的经济、环保和社会效益。     

.NET技术在华中电网稳定分析和控制系统中的应用

如何对系统进行可靠稳定的在线暂态稳定控制是电力系统稳定控制的重要研究课题。通过对.NET企业战略的一些新技术分析后得出一种方案,利用面向无连接的数据集DataSet、XML文档处理类以及ADO.NET对稳定控制系统中的各种数据进行处理,通过XML Schem a实现数据库中数据与XML文档中各种数据结构与内容的同步,最后通过DOM接口将计算出的结果以及EMS数据一并在潮流图上显示。实践证明,该方案的提出,使稳定控制系统的快速性、稳定性与安全性以及扩展性等各方面都得到了明显的改善。     

向量场正则形理论在电力系统稳定分析中的应用

在线性化分析理论的基础上，给出了可以用于电力系统的向量场正则形理论的基本理论。其核心是通过非线性向量场的正则变换得到线性向量场，再通过正则反变换得到原系统高阶解析解：研究了把这一理论应用于电力系统稳定分析中所必须解决的关键问题和计算技术。最后，展望了这一理论在电力系统分析中应用的前景。     

基于N-S方程和序列二次规划的翼型优化设计

实际工程中的翼型设计通常是对某一性能良好的基本翼型进行局部改进以满足特定的工程要求。中将N—S方程流场分析程序和序列二次规划结合起来，发展了一种实用的翼型优化设计方法，用以提高基本翼型在多个设计点、在多种约束条件下的气动性能。由N—S方程计算得到的升力、阻力等气动参数构成目标函数，数值优化程序对其进行最优化。超临界翼型的设计算例表明，中发展的翼型优化方法设计质量高，所需机时少，易于实施，有较大的工程应用价值。