巨型计算机工程设计描述模型

巨型机并行设计环境是巨型机工程设计自动化的发展趋势，它能有机地集成多领域ＣＡＤ工具，统一管理数据，统筹安排设计人员协同完成巨型机工程设计任务．本文介绍的设计描述模型是建立此类设计环境的基础．

雷达侦察信号环境描述与建模

信号环境仿真是检验雷达侦察设备性能的重要手段。针对雷达侦察信号环境时域、空域、频域、能域分布特点,对雷达侦察信号环境进行了数学描述,建立了雷达辐射源信号环境数学模型,为雷达侦察信号环境仿真奠定基础。

安塞油田坪桥水平井区储层精细描述

安塞油田坪桥水平井区长 6 1 1 小层为典型特低渗储层 ,主要沉积类型为三角洲前缘分流河道和分流间微相 ,通过对取心井的岩电关系分析 ,建立了岩石相测井解释模型 .在储层特征分析基础上 ,对水平井区长 6 1 1 小层完成了三维储层建模 ,内容包括井模型研究、三维构造建模、三维流动单元建模及三维岩石物理参数建模 .该区特低渗储层呈“叠合状”和“离散状”分布模式 ,所建三维流动单元模型及三维储层参数模型较客观地反映了地下储层特征 .

数字控制式LLC谐振变换器建模分析与验证

针对半桥LLC谐振变换器的建模及其验证展开分析,同时分析了数字控制对系统稳定性造成的影响,并给出采用数字控制时系统稳定性的解决方案。首先,通过扩展函数描述法得到传统的模拟域数学模型,并在Saber中搭建仿真模型,利用小信号分析法验证该数学模型的准确性,从而得出得到的系统数学模型具有参考性,由此提供了环路设计的基础;其次,采用数字控制,考虑到其离散特性,分析了数字控制对系统稳定性的影响,并通过Matlab仿真验证了该理论的正确性,最终设计出性能良好的数字PID补偿器;最后,针对实际应用场合,搭建实验平台,进行相关实验验证。

随机建模技术在江苏已开发油田的应用研究

江苏具有复杂小断块之称，构造破碎、沉积类型多样、储层横向变化大、非均质性严重、油藏规模小且类型多样。一大批已开发油田相继进入高含水、高采出程度开发阶段，开展以剩余油研究为中心的综合研究工作成为当务之急。为此在江苏已开发油田开展了随机建模方法应用研究。研究表明，针对不同沉积微相采用不同的随机建模技术切实可行，并已在江苏油田得到广泛推广应用。

基于路径描述的配网灾后供电恢复策略

配电网防灾建设薄弱,易受自然灾害侵袭而发生元件故障,导致非故障区域负荷失电。文中通过给出灾后供电恢复策略,对配电网的开关刀闸进行重构操作,改变负荷的供电路径,使失电负荷尽可能恢复供电。通过路径描述方法对配电网拓扑进行建模,采用深度优先算法在配网模型中搜索出所有可能的供电路径。以"确保所有重要负荷恢复供电,尽量恢复所有非重要负荷"为优化目标,建立优化方程组,求解可得配网的灾后重构拓扑及相应供电恢复策略。此算法不依赖配网潮流计算,可以显著提升计算效率,增强灾后供电恢复策略生成的实时性。

Description logics for fuzzy ontologies on semantic web

To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.

Simulation of extrusion process of complicated aluminium profile and die trial

The arbitrary Lagrangian-Eulerian（ALE） adaptive remeshing technology and the HyperXtrude software of transient finite element simulations were used on analogue simulation of aluminium extrusion processing.The field distributions of strain rate,stress,temperature and velocity of metal flow were obtained.The results are basically consistent with the experiment,which indicates that this method may successfully predict the defects in the actual extrusion process.

Fuzzy description logic based on vague sets

To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.

New reasoning algorithm based on EFALC

The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reasoning algorithm is given. This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques： recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.

Reasoning complexity for extended fuzzy description logic with qualifying number restriction

To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.

An improved constrained model predictive control approach for Hammerstein-Wiener nonlinear systems

Many industry processes can be described as Hammerstein-Wiener nonlinear systems. In this work, an improved constrained model predictive control algorithm is presented for Hammerstein-Wiener systems. In the new approach, the maximum and minimum of partial derivative for input and output nonlinearities are solved in the neighbourhood of the equilibrium. And several parameter-dependent Lyapunov functions, each one corresponding to a different vertex of polytopic descriptions models, are introduced to analyze the stability of Hammerstein-Wiener systems, but only one Lyapunov function is utilized to analyze system stability like the traditional method. Consequently, the conservation of the traditional quadratic stability is removed, and the terminal regions are enlarged. Simulation and field trial results show that the proposed algorithm is valid. It has higher control precision and shorter blowing time than the traditional approach.

Development and Optimization of an Alternative Methodology for Detection of Milk Adulteration by Water

This paper presents a process which allows the determination of milk adulteration by water. Considering the limitations of the reference method （cryoscopy）, the proposed methodology matches electrical conductivity and cryoscopy index measurements. Based on statistical procedures, a linear descriptive model is achieved to quantify adulteration of milk with water. It is also shown that electrical conductivity measurements allow the detection of adulteration with water and sodium chloride.

A FVCOM-Based Unstructured Grid Wave, Current,Sediment Transport Model,I.Model Description and Validation

An effort was made to couple FVCOM (a three-dimensional (3D),unstructured grid,Finite Volume Coastal Ocean Model) and FVCOM-SWAVE (an unstructured grid,finite-volume surface wave model) for the study of nearshore ocean processes such as tides,circulation,storm surge,waves,sediment transport,and morphological evolution.The coupling between FVCOM and FVCOM-SWAVE was achieved through incorporating 3D radiation stress,wave-current-sediment-related bottom boundary layer,sea surface stress parameterizations,and morphology process.FVCOM also includes a 3D sediment transport module.With accurate fitting of irregular coastlines,the model provides a unique tool to study sediment dynamics in coastal ocean,estuaries,and wetlands where local geometries are characterized by inlets,islands,and intertidal marsh zones.The model was validated by two standard benchmark tests: 1) spectral waves approaching a mild sloping beach and 2) morphological changes of seabed in an idealized tidal inlet.In Test 1,model results were compared with both analytical solutions and laboratory experiments.A further comparison was also made with the structured grid Regional Ocean Model System (ROMS),which provides an insight into the performance of the two models with the same open boundary forcing.

Comprehensive Characterization Model of Integrated Cotton Fiber Quality Index

An integrated cotton fiber quality index （ICFQI） model with cotton fiber qualities which can directly express cotton fiber integrated quality and spinning yarn quality was studied. The fiber length, strength, Micronalre （fiber fineness and fiber maturity）, uniformity of fiber length, and short fiber content are the pivotal indexes expressing ICFQI. All of the results above are the basic knowledge to build up the models of ICFQI. According to spinning consistency index （SCI）, spinning strength and spinning yarn integrated quality, ICFQI was the best choice. As the methods of ICFQI had quite a lot of advantages like explicit mechanism, few independent variables. The integrated fiber quality index had a significant positive correlation with yarn strength and spinning consistency, significant negative correlation with yarn evenness and yarn thin places. In additional, the model of the relationship between ICFQI and SCI was established as： SCI=0. 235 6·ICFQI ＋56.153. It was concluded that ICFQI value was the shared reference index for the testing of fiber inspection agency and the selection and distribution of raw cotton bales by textile mills.

Failure modes of coal containing gas and mechanism of gas outbursts

In order to explain the mechanism for gas outburst, the process of evolving fractures in coal seams is described using system dynamics with variable boundaries. We discuss the failure modes of coal containing gas and then established the flow rules after failure. The condition under which states of deformation convert is presented and the manner in which these convert is proposed. In the end, the process of gas outbursts is explained in detail. It shows that a gas outburst is a process in which the boundaries of coal seams are variable because of coal failure. If the fractures are not connected or even closed owing to coal/rock stress, fractured zones will retain a certain level of carrying capacity because of the self-sealing gas pressure. When the accumulation of gas energy reaches its limit, coal seams will become unstable and gas outbursts take place.

Recent Implementations in LASP 3.0:Global Neural Network Potential with Multiple Elements and Better Long-Range Description

LASP(large-scale atomistic simulation with neural network potential)software developed by our group since 2018 is a powerful platform(www.lasphub.com)for performing atomic simulation of complex materials.The software integrates the neural network(NN)potential technique with the global potential energy surface exploration method,and thus can be utilized widely for structure prediction and reaction mechanism exploration.Here we introduce our recent update on the LASP program version 3.0,focusing on the new functionalities including the advanced neuralnetwork training based on the multi-network framework,the newly-introduced S^(7) and S^(8) power type structure descriptor(PTSD).These new functionalities are designed to further improve the accuracy of potentials and accelerate the neural network training for multipleelement systems.Taking Cu-C-H-O neural network potential and a heterogeneous catalytic model as the example,we show that these new functionalities can accelerate the training of multi-element neural network potential by using the existing single-network potential as the input.The obtained double-network potential Cu CHO is robust in simulation and the introduction of S^(7) and S^(8) PTSDs can reduce the root-mean-square errors of energy by a factor of two.

Modeling of electrode system for three-phase electric arc furnace

To simulate the process of electrode operation, a dynamic model describing the electrode system of three-phase electric arc furnace was developed. This new model can be divided into three submodels in terms of the practical situation. They are the power supply system model the electric arc model and the hydraulic actuator system model. According to the basic circuit theory, the power supply system model where the high voltage transmission circuit and mutual inductances were considered, was set up. The electric arc model, which was novel for the electrode control, served as the electrical load and was connected to the power supply system model. The hydraulic actuator system model consists of the proportional valve part that is modeled to capture the dead-zone nonlinear characteristics and the hydraulic cylinder part where the impact of the load force is taken into account. By comparing simulation data and actual data, the results show that the electrode system model is proved to be accurate.

Vertical vibration of a floating pile in a saturated viscoelastic soil layer overlaying bedrock

An axisymmetrical analytical solution is developed to investigate the vertical time-harmonic vibration of a floating pile in a saturated viscoelastic soil layer overlaying bedrock. The soil is described by porous medium model established by Boer, while the pile is described by a beam vibration theory. By using separation theory of differential operator and variables to solve the dynamic governing equations for the soil, the fundamental solutions for the soil reactions on side and bottom of the pile are obtained. The dynamic impedance of the pile head is then derived by solving the vibration equation for the pile according to the compatibility condition between the pile and the soil. The proposed model is validated by comparing special cases of our model with the existing results. Numerical examples are presented to analyze the vibration characteristics of the pile.

Simplified Wave Models Applicability to Shallow Mud Flows Modeled as Power-Law Fluids

Simplified wave models- such as kinematic,diffusion and quasi-steady- are widely employed as a convenient replacement of the full dynamic one in the analysis of unsteady open-channel flows,and especially for flood routing.While their use may guarantee a significant reduction of the computational effort,it is mandatory to define the conditions in which they may be confidently applied.The present paper investigates the applicability conditions of the kinematic,diffusion and quasisteady dynamic shallow wave models for mud flows of power-law fluids.The power-law model describes in an adequate and convenient way fluids that at low shear rates fluids do not posses yield stress,such as clay or kaolin suspensions,which are frequently encountered in Chinese rivers.In the framework of a linear analysis,the propagation characteristics of a periodic perturbation of an initial steady uniform flow predicted by the simplified models are compared with those of the full dynamic one.Based on this comparison,applicability criteria for the different wave approximations for mud flood of power-law fluids are derived.The presented results provide guidelines for selecting the appropriate approximation for a given flow problem,and therefore they may represent a useful tool for engineering predictions.