基于符号迁移图的互模拟验证算法

符号迁移图是传值进程的一种直观而简洁的语义表示模型。该模型由Hennessy和Lin首先提出 ,随后又被Lin推广至带赋值的符号迁移图。本文不但定义了符号迁移图各种版本 (基 /符号 )的强操作语义和强互模拟 ,提出了相应的强互模拟算法 ,而且通过引入符号观察图和符号同余图 ,给出了其弱互模拟等价和观察同余的验证算法 ,给出并证明了τ 循环和τ 边消去定理 ,在应用任何弱互模拟和观察同余验证算法之前 ,均可利用这些定理对所给符号迁移图进行化简。

军事信息系统互操作性设计与验证研究

军事信息系统互操作是联合作战中夺取制信息权的关键,同时也是提高作战效能的倍增器。本文通过研究与借鉴美军信息系统互操作性设计与验证的机制、流程与方法,提出了构建适用于我军信息系统互操作性设计与验证的方法及模型,为提高我军信息系统互操作水平提供有意义的参考。

军事信息系统互操作验证平台研究

军事信息系统互操作性是战场上夺取制信息权和提高作战效能的关键。文章通过研究借鉴美军互操作性评估理论与方法,结合我军信息系统现状,设计了一种互操作验证平台架构。基于统一体系架构的互操作验证平台,将各类验证工具集成互联,提供功能、性能、接口、标准等验证能力,实现验证工具的统一调度、验证脚本的自动执行、验证过程的实时监控、验证结果的直观展现。此外,基于统一的验证工具集成规范,本研究结合项目实践,持续积累和集成各类验证工具,为提升我军信息系统互操作水平提供有意义的参考。

暹罗炭疽菌中脂滴包被蛋白Cap20与乙酸激酶CsAck的互作研究

暹罗炭疽菌(Colletotrichum siamense)是一种重要的病原真菌,是我国橡胶树炭疽病(Colletotrichum leaf disease,CLD)的田间优势病原种,也是热带、亚热带地区许多其他农林作物炭疽病的主要病原种。脂滴是细胞的中性脂,存在于绝大多数真核细胞中,是细胞内甘油三酯的主要贮存形式。脂滴在细胞内可以参与脂质代谢、膜转运、蛋白降解和信号传导等。包被蛋白(perilipin)是脂滴表面最丰富的脂质相关蛋白,主要存在于动植物体内,对细胞内脂滴代谢起着重要的调控作用。Cap20是暹罗炭疽菌中包被蛋白的同源蛋白,前期证实Cap20是一个致病相关蛋白,它参与了炭疽菌附着胞膨压形成、脂滴数量和致病性。了解其互作蛋白和互作的生物学意义可能为深入了解脂滴包被蛋白参与的致病分子机制具有重要意义。课题组前期通过酵母双杂交技术在暹罗炭疽菌cDNA文库中筛选到一个与Cap20互作的候选蛋白乙酸激酶,本研究克隆了该乙酸激酶的编码基因,并进行了蛋白结构和同源蛋白聚类分析。结果表明,乙酸激酶编码基因的DNA大小为1312 bp,包括一个内含子,cDNA为1248 bp,编码415个氨基酸,含有一个乙酸激酶结构域,命名为CsAck。然后构建含6×his标签的原核表达载体PET32a-CsAck,利用其和含GST标签的pGEX6p-1-Cap20(先前构建)进行蛋白表达和纯化,获得含有6×His标签的融合蛋白CsAck和含有GST标签的Cap20。通过Pull down验证了Cap20和CsAck蛋白之间的体外互作。最后,构建含有潮霉素转移酶基因HPH的表达载体PXY203-CsAck-S和含有氯嘧磺隆抗性基因ILV1的表达载体pCB1532-GFP-Cap20,将它们共同转化暹罗炭疽菌野生型菌株获得转化子。Co-IP(Co-immunoprecipitation)的结果证实Cap20和CsAck在暹罗炭疽菌中可以相互作用。该结果证实了致病性相关蛋白Cap20和乙酸激酶CsAck在体外和体内均可发生蛋白互作,可为进一步研究Cap20在暹罗炭疽菌中的致病功能和调控机制奠定基础。

子网络级故障诊断中的误区分析

目前国内外流行的应用自验证ＳＴＣ和互验证ＭＴＣ来判定模拟电路子网络级故障的方法，面临着一个基础性核心问题：当解除撕裂端点必须全部可及的限制后，是否有误区存在？可及点分布应遵循什么规律？本文给出的定理回答了这些问题，并论证了撕裂端点全部可及，仅是文中所研究的无误区的一个特例而已。

Application of multiple attributes fusion technology in the Su-14 Well Block

In this study area the geological conditions are complicated and the effective sandstone is very heterogeneous.The sandstones are thin and lateral and vertical variations are large.We introduce multi-attribute fusion technology based on pre-stack seismic data, pre-stack P-and S-wave inversion results,and post-stack attributes.This method not only can keep the fluid information contained in pre-stack seismic data but also make use of the high SNR characteristics of post-stack data.First,we use a one-step recursive method to get the optimal attribute combination from a number of attributes.Second,we use a probabilistic neural network method to train the nonlinear relationship between log curves and seismic attributes and then use the trained samples to find the natural gamma ray distribution in the Su-14 well block and improve the resolution of seismic data.Finally,we predict the effective reservoir distribution in the Su-14 well block.

Cross Spectral Estimation and Its Application in Missile Systems

A new method based on cross-spectrum estimation for the verification and validation of computer simulation models is expounded in accordance with the characteristics of missile systems. The new method can expose the differences between two time processes in several aspects and can also give quantitative analysis results about the statistical consistence between them. An application to an actual anti-tank missile system simulation is presented and the calculated results confirm the effectiveness of the method. The approach can also be employed to verify the simulation models of other dynamic systems.

Numerical simulation of tire/soil interaction using a verified 3D finite element model

The compaction and stress generation on terrain were always investigated based on empirical approaches or testing methods for tire/soil interaction.However,the analysis should be performed for various tires and at different soil strengths.With the increasing capacity of numerical computers and simulation software,finite element modeling of tire/terrain interaction seems a good approach for predicting the effect of change on the parameters.In this work,an elaborated 3D model fully complianning with the geometry of radial tire 115/60R13 was established,using commercial code Solidwork Simulation.The hyper-elastic and incompressible rubber as tire main material was analyzed by Moony-Rivlin model.The Drucker-Prager yield criterion was used to model the soil compaction.Results show that the model realistically predicts the laboratory tests outputs of the modeled tire on the soft soil.

Agent-Based Simulation for Interconnection-Scale Renewable Integration and Demand Response Studies

This paper collects and synthesizes the technical requirements, implementation, and validation methods for quasi-steady agent-based simulations of interconnectionscale models with particular attention to the integration of renewable generation and controllable loads. Approaches for modeling aggregated controllable loads are presented and placed in the same control and economic modeling framework as generation resources for interconnection planning studies. Model performance is examined with system parameters that are typical for an interconnection approximately the size of the Western Electricity Coordinating Council(WECC) and a control area about 1/100 the size of the system. These results are used to demonstrate and validate the methods presented.

Numerical Investigation of an Oscillating Airfoil using Immersed Boundary Method

Based on the immersed boundary method, a numerical simulation for an oscillating airfoil is established and a preliminary analysis of the oscillating airfoil is presented with an emphasis on the physical understanding of fluid-structure interaction. In order to validate the method, two simulation cases： oscillating circular cylinder at low K-C number and two degrees of freedom oscillating cylinder are carded out first and the results are in good agreement with the previous re：searches. In the oscillating airfoil simulation, it is found that the reduced velocity U^＊. is a very sensitive factor and especially U^＊-2.8 is the critical stable boundary in the present work. The method shows the predominance of time saving in computational process for such a complicated fluid-structure interac- tion problem.

Negative exponential behavior of image mutual information for pseudo-thermal light ghost imaging： observation, modeling, and verification

When using the image mutual information to assess the quality of reconstructed image in pseudothermal light ghost imaging, a negative exponential behavior with respect to the measurement number is observed. Based on information theory and a few simple and verifiable assumptions, semi-quantitative model of image mutual information under varying measurement numbers is established. It is the Gaussian characteristics of the bucket detector output probability distribution that leads to this negative exponential behavior. Designed experiments verify the model.

Study and verification on dispersion coefficient in wave field

Transport and diffusion caused by coastal waves have different characteristics from those induced by flows. Through solving the vertical diffusion equation by an analytic method, this paper infers a theoretical formula of dispersion coefficient under the combined action of current and waves. It divides the general dispersion coefficient into six parts, including coefficients due to tidal current, Stokes drift, wave oscillation and interaction among them. It draws a conclusion that the contribution of dispersive effect induced by coastal waves is mainly produced by Stokes drift, while the contributions to time-averaged dispersion coefficient due to wave orbital motion and interaction between current and waves are very small. The results without tidal current are in agreement with the numerical and experimental results, which proves the correctness of the theoretical derivation. This paper introduces the variation characteristics of both the time-averaged and oscillating dispersion coefficients versus relative water depth, and demonstrates the physical implications of the oscillating mixing coefficient due to waves. We also apply the results to the costal vertical circulation and give its characteristics compared to Stokes drift.