Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time

This paper extends the algorithms which were developed in Part I to cases in which there is no affine schedule, i.e. to problems whose parallel complexity is polynomial but not linear. The natural generalization is to multidimensional schedules with lexicographic ordering as temporal succession. Multidimensional affine schedules, are, in a sense, equivalent to polynomial schedules, and are much easier to handle automatically. Furthermore, there is a strong connection between multidimensional schedules and loop nests, which allows one to prove that a static control program always has a multidimensional schedule. Roughly, a larger dimension indicates less parallelism. In the algorithm which is presented here, this dimension is computed dynamically, and is just sufficient for scheduling the source program. The algorithm lends itself to a divide and conquer strategy. The paper gives some experimental evidence for the applicability, performances and limitations of the algorithm.     

On problem transformability in VLSI

The two basic performance parameters that capture the complexity of any VLSI chip are the area of the chip,A, and the computation time,T. A systematic approach for establishing lower bounds onA is presented. This approach relatesA to the bisection flow, . A theory of problem transformation based on , which captures bothAT ² andA complexity, is developed. A fundamental problem, namely, element uniqueness, is chosen as a computational prototype. It is shown under general input/output protocol assumptions that any chip that decides ifn elements (each with (1+)lognbits) are unique must have =(nlogn), and thus, AT²=(n ²log² n), andA= (nlogn). A theory of VLSI transformability reveals the inherentAT ² andA complexity of a large class of related problems.This work was supported in part by the Semiconductor Research Corporation under contract RSCH 84-06-049-6.     

Study on Surface Engineering of Normalized Steels Subjected To Machine

Engineering the surfaces of components to improve the life and performance of parts used in automotive and aerospace engineering is the active area of research. Suitable Thermal/Mechanical/Thermo mechanical surface engineering treatments will produce extensive rearrangement of atoms in metals and alloys and corresponding marked variations in Physical, Chemical and Mechanical properties. Among the more important of these treatments are heat treatment processes such as hardening by Quenching, Induction hardening and Case Carburizing which rely on phase transformations to produce desired changes in mechanical properties. Other processes where phase transformation occur are casting, welding and machining etc. [1] Phase transformation may be homogeneous or heterogeneous. Homogeneous involves rearrangements in the structure of the material taking place simultaneously in all parts of the solid, while the heterogeneous transformation involves structural changes which are more localized. Alternatively they could be called as Isothermal and Nonisothermal transformation. But irrespective of the classification, these transformations alter the structure of the material giving rise to changes in the mechanical and physical properties of the processed material. It is of interest to review some consequences of surface modification in isothermal (Normalizing) and nonisothermal transformations (Machining) of low carbon steels.     

轴流式转轮三元粘性流动数值计算

为进一步提高轴流式转轮的设计精度与性能,采用时均Navier-Stokes控制方程,标准k-ε湍流模型及SIMPLEC算法,对一轴流定浆式水轮机转轮内三元粘性流动进行了数值模拟。提出了水力损失计算方法,获得了转轮的预测效率。分析了转轮内部流场分布规律,建立了叶片表面压力在包角范围内的变化曲线,有助于认识转轮内真实流动现象,为改善设计提供可视化数据支持。     

冲压成形仿真过程中有限元网格模型的建立

网格模型对冲压成形模拟的精度和效率影响极大 ,文中阐述了有限元网格模型建立的方法 ,并从单元尺寸、单元类型、自适应网格再划分技术等方面论述了如何解决精度与效率的问题。     

FracSym: Automated symbolic computation of Lie symmetries of fractional differential equations

In this paper, we present an algorithm for the systematic calculation of Lie point symmetries for fractional order differential equations (FDEs) using the method as described by Buckwar & Luchko (1998) and Gazizov, Kasatkin & Lukashchuk (2007, 2009, 2011). The method has been generalised here to allow for the determination of symmetries for FDEs with n$n$ independent variables and for systems of partial FDEs. The algorithm has been implemented in the new MAPLE package FracSym (Jefferson and Carminati 2013) which uses routines from the MAPLE symmetry packages DESOLVII (Vu, Jefferson and Carminati, 2012) and ASP (Jefferson and Carminati, 2013). We introduce FracSym by investigating the symmetries of a number of FDEs; specific forms of any arbitrary functions, which may extend the symmetry algebras, are also determined. For each of the FDEs discussed, selected invariant solutions are then presented.     

分光光度法测定微量表面活性剂在油/水体系中的分配系数

测定微量阴离子表面活性剂浓度的分光光度法被推广到测定油相中的微量阴离子表面活性剂浓度,进而用于表面活性剂在油/水体系中分配系数的测定.两种情形下氯仿层的吸光度只取决于测量体系中自由阳离子表面活性剂的浓度,因此可用单一阳离子的标准曲线作工作方程.用该法测定油相和水相中的阴离子表面活性剂浓度,工作方程斜率不同,测量下限分别可达2.5×10-5 mol·L-1和1×10-6mol·L-1.     

基于虚拟磁盘的携带型操作系统加密方案

针对移动硬盘的加密系统分区无法被正确辨识而导致误格式化的问题,应用文件系统过滤驱动技术,结合硬盘主引导程序及分区表机理,对现有的基于虚拟磁盘的移动硬盘加解密方案进行了改进,在加密分区包含可运行操作系统的情况下,增加了盘符自动隐藏及恢复的功能。以开源加密软件Truecrypt为例,利用安装了视窗操作系统的固态移动硬盘进行测试。结果表明,在不影响加密操作系统正常运行的同时,盘符自动隐藏及恢复功能避免了用户的误格式化操作,从而提高了移动硬盘加密系统分区的安全性和隐蔽性。     

Computer Algebra Derivation of the Bias of Linear Estimators of Autoregressive Models

Abstract. A symbolic method which can be used to obtain the asymptotic bias and variance coefficients to order O(1/n) for estimators in stationary time series is discussed. Using this method, the large‐sample bias of the Burg estimator in the AR(p) for p = 1, 2, 3 is shown to be equal to that of the least squares estimators in both the known and unknown mean cases. Previous researchers have only been able to obtain simulation results for the Burg estimator's bias because this problem is too intractable without using computer algebra. The asymptotic bias coefficient to O(1/n) of Yule–Walker as well as least squares estimates is also derived in AR(3) models. Our asymptotic results show that for the AR(3), just as in the AR(2), the Yule–Walker estimates have a large bias when the parameters are near the nonstationary boundary. The least squares and Burg estimates are much better in this situation. Simulation results confirm our findings.     

基于Matlab和电容感应的室内定位系统

提出了一种基于Matlab和电容感应的室内三维定位系统的设计方法。该系统主要由三维电容极板、电容采集模块、信号频率采集模块、实时串口通信模块、Matlab显示模块等组成。系统依据电容感应原理,通过测量监测区域三维电容基板之间电容值的变化量,换算出被测物体相对极板的距离,并通过Matlab图像显示窗口显示被测物体对应的三维位置。该室内定位系统特别适用于对进入监测区域的活动物体进行实时定位监测。