基于语义层行为结构的变换对形式化格局识别技术的再探究*

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。     

改良BBS法评价聚氨酯发泡催化剂

改良BBs法用光电法测发泡高度-时间曲线,用机械手完成投掷钢球动作,过程用微机控制。本文对此法测得的三乙胺、四甲基乙二胺、二甲基乙醇胺、双(二甲基氨基乙基)醚、三乙烯二胺等催化剂在聚氨酯软质泡沫塑料形成过程中的胶化-发泡曲线进行了讨论,并评价了它们的催化特性。改良BBs法与手工BBs法相比,具有检测精度高,样本采集点多的优点。     

用改进扩展有限元法研究重力坝强震断裂过程

采用改进的扩展有限元法(Extended Finite Element Method,XFEM),即引入虚结点的XFEM,在静力功能基础上实现了动力断裂分析功能,并用于强震中结构多条裂缝的同时扩展分析。采用混凝土Ⅰ型和Ⅰ-Ⅱ混合型动力断裂试验进行了精度验证,然后将该方法应用于Koyna坝的地震开裂分析。结果表明,这一方法在求解混凝土Ⅰ型和Ⅰ-Ⅱ混合型动力断裂问题方面具有良好精度,其避免了网格不断重剖分的问题,也无需采用开裂单元的子域积分来描述非连续位移场,即可实现单元内连续断裂过程的模拟。     

A regularization method for a Cauchy problem of Laplace's equation in an annular domain

In this paper, we propose a new regularization method based on a finite-dimensional subspace generated from fundamental solutions for solving a Cauchy problem of Laplace's equation in an annular domain. Based on a conditional stability for the Cauchy problem of Laplace's equation, we obtain a convergence estimate under the suitable choice of a regularization parameter and an a-priori bound assumption on the solution. A numerical example is provided to show the effectiveness of the proposed method from both accuracy and stability.     

Parallel R-Point Explicit Block Method for Solving Second Order Ordinary Differential Equations Directly

A new parallel R-point explicit block method for solving second order ordinary differential equations (ODEs) directly is developed. The method computes the numerical solution of the equations at three points simultaneously. Each problem was tested on the shared memory parallel computer Sequent S27 using both the sequential and parallel implementations of the new method and the conventional 1-point method. Numerical results are presented comparing the two methods in terms of the number of steps taken, accuracy and execution times. The results indicate the advantages of using the parallel implementation of the new method for solving second order ODEs directly particularly when the step size becomes finer.     

Removal of Contrived Chaos in Finite-difference Methods

A chaos-free numerical method will be developed for the solution of a system of non-linear initial-value problems (IVP's) associated with the transmission dynamics of two HIV subtypes. It will be shown that integration of this four-dimensional system with some standard numerical integrators like the fourth-order Runge-Kutta algorithm leads to scheme-dependent numerical instabilities.     

Unconditionally stable C1-cubic spline collocation method for solving parabolic equations

This article aims to present a new approach based on C¹-cubic splines introduced by Sallam and Naim Anwar [Sallam, S. and Naim Anwar, M. (2000). Stabilized cubic C¹-spline collocation method for solving first-order ordinary initial value problems, Int. J. Comput. Math., 74, 87–96.], which is A-stable, for the time integration of parabolic equations (diffusion or heat equation). The introduced method is an example of the so-called method of lines (the solution is thought to consist of space discretization and time integration), which is an extension of the 1/3-Simpson's finite-difference scheme. Our main objective is to prove the unconditional stability of the proposed method as well as to show that the method is convergent and is of order O (h ²)?+?O (k ⁴) i.e. it is a fourth-order in time and second-order in space. Computational results also show that the method is relevant for long time interval problems.     

NUMERICAL STUDY OF NON-AQUEOUS PHASE LIQUID TRANSPORT IN A SINGLE FILLED FRACTURE BY LATTICE BOLTZMANN METHOD

In this article,the Non-Aqueous Phase Liquid(NAPL)transport in the single filled fracture was studied with the Shan-Chen multi-component multiphase Lattice Boltzmann Method(LBM)with special consideration of wettability effects.With the help of the model,the contact angle of the non-wetting phase and wetting phase interface at a solid wall could be adjusted.By considering a set of appropriate boundary conditions,the fractured conductivity was investigated in condition that the NAPL blocks the channels in the single filled fracture.In order to study the wettability effects on the NAPL transport,a constant driving force was introduced in the Shan-Chen multi-component multiphase LBM.Flow regimes with different wettabilities were discussed.Simulated results show that the LBM is a very instrumental method for simulating and studying the immiscible multiphase flow problems in single filled fracture.     

浅谈如何做好井队职工一人一事思想政治工作

一人一事的思想政治工作既是党的思想政治工作的传家宝,也是解决群众问题的金钥匙。做好企业的一人一事思想政治工作就是要为职工群众解难帮困、化解矛盾,调动他们的工作热情。要做职工的思想政治工作,主要三个方面入手:一是要准确掌握队伍思想状况;二是要拿准职工思想脉搏;三是要运用行之有效的工作方法。     

对石油钻井队正职干部的考核工作初探

科学考核和评价干部,是激励干部创先争优,推进企业绩效持续提升、不断跨越的有效途径,是加强干部队伍建设的基础性工作。胜利油田渤海钻井一公司党委对井队正职的分类量化考核进行大胆探索,制定了《钻井队正职干部综合考评规定(暂行)》,建立健全了井队正职干部能上能下的岗位管理机制,形成创先争优的良好氛围,推进"人才强企"战略实现跨越式发展。