卫星通信系统QOS管理的策略提炼

针对基于策略的DVB—RCS卫星通信系统服务质量管理,提出一种策略提炼模型,结合实例给出目标提炼过程。该模型以线性时态逻辑为基础,在提炼模式的辅助下从高层目标中提取出低层策略,可以有效保证策略提炼过程的正确性、合理性及一致性。在系统设计阶段,该模型用于指导系统功能规划与设计,在系统运行阶段,该模型为网络管理人员提供高层策略向系统设备行为的映射方法。     

Three dimensional discontinuous Galerkin methods for Euler equations on adaptive conforming meshes

In the numerical simulation of three dimensional fluid dynamical equations, the huge computational quantity is a main challenge. In this paper, the discontinuous Galerkin (DG) finite element method combined with the adaptive mesh refinement (AMR) is studied to solve the three dimensional Euler equations based on conforming unstructured tetrahedron meshes, that is according the equation solution variation to refine and coarsen grids so as to decrease total mesh number. The four space adaptive strategies are given and analyzed their advantages and disadvantages. The numerical examples show the validity of our methods.     

Multiple levels of cell by cell Adaptive Mesh Refinement in the Lagrangian step of the ALE code CORVUS

A multi-level cell by cell Adaptive Mesh Refinement (AMR) hydrodynamics capability has been developed for the Lagrangian step of the 2D Arbitrary Lagrangian Eulerian (ALE) code CORVUS. Connectivity arrays are used rather than a hierarchical data structure. We solve only on the dynamic unstructured mesh rather than on every level of a refinement hierarchy. The strength, artificial viscosity, slide and programmed burn methods have been generalised to work with AMR. Results are presented for a range of Lagrangian test problems.     

基于动态网格细分的烟雾模拟

提出了一种基于动态网格细分的烟雾模拟方法,该方法主要采取图形设备上的动态网格管理对烟雾进行并行处理以达到泊松方程的迭代求解。为了实现高性能,利用高速缓存以提高存取权限和适应硬件的能力。实验结果表明,该方法能够实现比较快速的模拟,结果比较令人满意。     

基于几何特征和力学特性的自适应网格生成算法

为获得适合有限元分析的满意网格划分,提出了平面域的基于几何特征和力学特性相结合的自适应网络生成方法,实现了应力集中区的网格局部加密及平稳变密度的网格自动剖分,通过实例表明本方法实用性强、效果良好。     

Data Refinement of Remote Procedures

Recently the action systems formalism for parallel and distributed systems has been extended with the procedure mechanism. This gives us a very general framework for describing different communication paradigms for action systems, e.g. remote procedure calls. Action systems come with a design methodology based on the refinement calculus. Data refinement is a powerful technique for refining action systems. In this paper we will develop a theory and proof rules for the refinement of action systems that communicate via remote procedures based on the data refinement approach. The proof rules we develop are compositional so that modular refinement of action systems is supported. As an example we will especially study the atomicity refinement of actions. This is an important refinement strategy, as it potentially increases the degree of parallelism in an action system. Received February 1999 / Accepted in revised form July 2000     

A Timed Verification of the IEEE 1394 Leader Election Protocol

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error situation. This paper presents a formal model of the leader election protocol in the language IOA and a correctness proof. Hereby, it is shown that under certain timing restrictions the protocol behaves correctly. The timing parameters in the IEEE 1394 standard documentation obey the restrictions found in this proof.     

解Hamilton-Jacobi方程的无振荡局部加密方法

０．引 言 近年来,Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程（简称Ｈ－Ｊ方程）的数学理论与数值逼近已引起人们越来越多的关注．Ｈ－Ｊ方程不仅在原有的领域例如控制论、微分几何等有非常重要的应用［８］,而且不断开拓新的应用领域,例如用于网格生成［５］以及流体界面的水平集方法计算 ［９,１２,１３,１５］等．由于 Ｈ－Ｊ方程解的导数会出现间断,导致解曲面（线）出现尖点或纽结等现象［７］,故如何做到既节省计算时间,又能在光滑区域高精度数值求解和较好地分辨间断是一个十分重要的问题．文卜］通过在每个坐标方向构造单变量的…     

低铬X70管线钢组织及其抗CO2

为了明确Cr的质量分数高低对埋地用输油输气管线钢性能的影响,设计了4种Cr的质量分数的X70管线钢,研究了不同Cr的质量分数下管线钢组织及其力学性能,并采用高温高压反应釜进行了实验钢的CO₂腐蚀试验.结果表明：钢中加入0.1%~0.8%的Cr后,其组织均由针状铁素体和准多边形铁素体构成,Cr元素均呈现明显的沿晶界分布状态;随着Cr的质量分数的增加,钢板强度随之升高,晶界中Cr分布密度随之增大,Cr（OH）₃在腐蚀产物膜中的富集量增加,促使钢板的平均腐蚀速率降低;同时由于Cr（OH）₃可以有效阻碍阴离子穿透腐蚀产物膜,因而大大减少了Cl-的催化作用导致的点蚀,使得钢板点蚀速率明显降低.     

滚筒式露天采矿机在某露天矿的应用预评价

滚筒式露天采矿机以其卓越的挖掘性能,避免了传统采矿工艺中的穿孔、爆破、粗碎等工作,也可以避免爆破震动对露天边坡造成的次生危害;其超强的选采分采性能,可以实现精细化采矿,极大地降低矿石的损失贫化管理难度。根据实际地质条件、采矿工艺及矿体赋存条件,预评价该设备在某露天矿应有广阔的应用前景。