二维欧拉程序中一种新的分界面跟踪技术

１．引言 二维流体力学计算方法按其采用Ｌａｇｒａｎｇｅ坐标系还是Ｅｕｌｅｒ坐标系,分为Ｌａｓｒａｎｇｅ方法和 Ｅｕｌｅｒ方法两大类． Ｌａｇｒａｎｇｅ坐标是随材料质团运动的,由于每个有限网格点总是与初始时同一部分流体相联系,所以拉氏程序能够清晰显示解域内部多种物质的分界向和自由界向,而且描述材料分界面的运动是自动完成的．然而在二维计算中,当材料发生大变形时,拉氏网格发生扭曲,甚至使相邻网格彼此相交和重叠,使计算过程无法进行下去．因此,Ｌａｇｒａｎｇｅ方法在二维计算中有其局限性,只能用了变形较小的模…     

定理证明辅助工具PVS剖析

ＰＶ查斯坦福机构开发的强大的规约。验证系统,它的适用领域广泛,在概要介绍ＰＶＳ的构成。功能后,着重分析了ＰＶＳ的规约语言,验证系统的特点,以及使得ＰＶＳ灵活,强大的设计决策和内在机制。     

Implementing the Davis–Putnam Method

The method proposed by Davis, Putnam, Logemann, and Loveland for propositional reasoning, often referred to as the Davis–Putnam method, is one of the major practical methods for the satisfiability (SAT) problem of propositional logic. We show how to implement the Davis–Putnam method efficiently using the trie data structure for propositional clauses. A new technique of indexing only the first and last literals of clauses yields a unit propagation procedure whose complexity is sublinear to the number of occurrences of the variable in the input. We also show that the Davis–Putnam method can work better when unit subsumption is not used. We illustrate the performance of our programs on some quasigroup problems. The efficiency of our programs has enabled us to solve some open quasigroup problems.     

Estimation of the Bivariate Stable Spectral Representation by theProjection Method

A method of estimating the spectral representation of a generalized bivariatestable distribution is presented, based on a series of maximum likelihood (ML)estimates of the stable parameters of univariate projections of the data. Thecorresponding stable spectral density is obtained by solving a quadraticprogram. The proposed method avoids the often arduous task of computing themultivariate stable density, relying instead on the standard univariate stabledensity. The paper applies this projection procedure, under the simplifyingassumption of symmetry, to simulated data as well as to foreign exchangereturn data, with favorable results. Kanter projection coefficients governingconditional expectations are computed from the estimated spectral density. For the simulated data these compare well to their known true values.     

Simulation and fabrication of piezoresistive membrane type MEMS strain sensors

Two piezoresistive (n-polysilicon) strain sensors on a thin Si₃N₄/SiO₂ membrane with improved sensitivity were successfully fabricated by using MEMS technology. The primary difference between the two designs was the number of strips of the polysilicon patterns. For each design, a doped n-polysilicon sensing element was patterned over a thin 3 μm Si₃N₄/SiO₂ membrane. A 1000×1000 μm² window in the silicon wafer was etched to free the thin membrane from the silicon wafer. The intent of this design was to fabricate a flexible MEMS strain sensor similar in function to a commercial metal foil strain gage. A finite element model of this geometry indicates that strains in the membrane will be higher than strains in the surrounding silicon. The values of nominal resistance of the single strip sensor and the multi-strip sensor were 4.6 and 8.6 kΩ, respectively. To evaluate thermal stability and sensing characteristics, the temperature coefficient of resistance [TCR=(ΔR/R₀)/ΔT] and the gage factor [GF=(ΔR/R₀)/] for each design were evaluated. The sensors were heated on a hot plate to measure the TCR. The sensors were embedded in a vinyl ester epoxy plate to determine the sensor sensitivity. The TCR was 7.5×10⁻⁴ and 9.5×10⁻⁴/°C for the single strip and the multi-strip pattern sensors. The gage factor was as high as 15 (bending) and 13 (tension) for the single strip sensor, and 4 (bending) and 21 (tension) for the multi-strip sensor. The sensitivity of these MEMS sensors is much higher than the sensitivity of commercial metal foil strain gages and strain gage alloys.     

RBF网学习的进化优选算法

讨论了用正交最小二乘算法训练ＲＢＦ网的不足之处,然后引入了选择路径的概念,在此基础上,提出了ＲＢＦ网隐层节点选取的进化优选算法,仿真结果表明,在不同的精度要求下,用进化优选算法均能设计出比正交最小二乘算法更小的ＲＢＦ网。     

蒙特卡罗法及其在射弹散布仿真中的应用

作战仿真的真实性需要对抗双方火力射击效果的真实体现。文中提出了一种利用蒙特卡罗法进行射弹散布仿真的方法 ,并将结果与实际情况进行了比较。该方法已用于装甲兵数字化作战仿真实验室的作战仿真中     

在VB5.0中创建自定义类

首先介绍了ＶＢ５．０中创建自定义的基本步骤,然后详细描述了如何向类中添加属性、方法和事件。     

仿真可信性的研究综述

从概念性研究、技术方法和工程应用等三个方面综述了仿真可信性研究的发展。．     

《ASP网页制作》教学方法探索与实践

ASP是微软公司推出的一种基于浏览器的网络数据库编程技术,是Windows环境下B／S结构应用的主要编程工具。通过理论教学和实验环节,结合学生的实际情况,改进考核方法,可使学生注重提高编程能力和实际应用能力,并通过开发项目的方式,达到学以致用的效果。