Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

四川盆地上三叠统划分对比研究

四川盆地上三叠统对比长期存在混乱，给盆地整体评价带来困难。通过岩石地层、地震地层、事件地层及高分辨率旋回地层等多种方法讨论了须家河组与香溪群各岩性段的对比关系，得出了全盆地上三叠统的对比关系；指出须四段底可近似看成等时界面；须家河组下部地层自西向东、向南逐层超覆在雷口坡组之上，上部地层在盆地西北部自东南向西北方向剥蚀层位渐次变老。文章建议四川盆地上三叠统废除“香溪群”，统一使用“须家河组”，以利于对全盆地上三叠统进行油气资源整体评价与深化研究。     

网络安全事件的关联分析方法的比较研究

随着当前攻击手段和技术的日益复杂化,一次入侵事件往往需要多个步骤才能完成,这些步骤都是彼此相关的。但是传统的入侵检测集中于检测底层的入侵或异常,所检测到的结果也仅仅是一次完整入侵的一部分,所以不能将不同的报警结合起来以发现入侵的逻辑步骤或者入侵背后的攻击策略。关联分析技术将不同分析器上产生的报警进行融合与关联分析,极大地减少了报警的数量,降低了入侵检测的误报率,并且适当的减少了入侵检测的漏报率。文中在对网络安全事件关联分析方法的系统结构进行分析后,着重介绍了当前比较流行的几种网络安全事件关联分析方法,最后对各种方法进行了比较研究。     

Reconfigurable hardware implementation of a phase-correlation stereoalgorithm

This paper describes the implementation of a stereo-vision system using Field Programmable Gate Arrays (FPGAs). Reconfigurable hardware, including FPGAs, is an attractive platform for implementing vision algorithms due to its ability to exploit parallelism often found in these algorithms, and due to the speed with which applications can be developed as compared to hardware. The system outputs 8-bit, subpixel disparity estimates for 256× 360 pixel images at 30,fps. A local-weighted phase correlation algorithm for stereo disparity [Fleet, D. J.: {Int. Conf. Syst. Man Cybernetics 1:48–54 (1994)] is implemented. Despite the complexity of performing correlations on multiscale, multiorientation phase data, the system runs as much as 300 times faster in hardware than its software implementation. This paper describes the hardware platform used, the algorithm, and the issues encountered during its hardware implementation. Of particular interest is the implementation of multiscale, steerable filters, which are widely used in computer vision algorithms. Several trade-offs (reducing the number of filter orientations from three to two, using fixed-point computation, changing the location of one localized low-pass filter, and using L1 instead of L2 norms) were required to both fit the design into the available hardware and to achieve video-rate processing. Finally, results from the system are given both for synthetic data sets as well as several standard stereo-pair test images.     

基于有限状态的全周期序列混沌映射的研究

在有限长度的数字计算机中，混沌迭代序列是一个有限周期序列，其相关性能远远低于理想序列。基于skew tent映射，提出一种离散化的有限状态混沌映射，它允许精确的数值计算，没有舍入误差，通过选择合适的参数，映射能产生全周期长度的序列。仿真实验表明，归一化的序列平均周期对计算机精度不敏感，生成的二进制序列具有良好的相关性能。     

网络管理中事件关联检测机制的研究

网络事件的关联检测是网络管理需要解决的一个关键问题,本文根据分布式网络管理的特点,首次明确定义了网络事件的基本关联关系,在此基础上提出了一种基于Petri Net的事件关联检测机制,实现了基于事件内容的细粒度关联检测,并且在事件检测中充分考虑了时间因素,有效地提高了事件关联检测的准确性。     

用核磁共振测井确定渗透率的原理和方法分析

对常规测井和核磁共振测井的渗透率公式进行了比较 ,发现各渗透率公式存在相互联系。几种核磁共振测井渗透率公式的计算结果和实验室渗透率的对比表明核磁共振参数和渗透率有很好的相关性 ;改进的渗透率公式可以准确地求取岩心和地层的渗透率。     

CD++: a toolkit to develop DEVS models

The features of a toolkit for modeling and simulation based on the DEVS formalism are presented. The tool is built as a set of independent software pieces running on different platforms. Not only are the main characteristics of the environment presented, a focus on its use is also considered by inclusion of application examples for a variety of problems. Many models can be defined in an automated fashion, simplifying the construction of new models and easing their verification. The use of this formal approach has allowed the development of safe and cost‐effective simulations, significantly reducing development time. Copyright © 2002 John Wiley & Sons, Ltd.     

等偏移距自动初至静校正

茅金根 ,梁秀文 ,杨午阳 ,冯有奎 .等偏移距自动初至静校正 .石油地球物理勘探 ,2 0 0 2 ,37(5 ) :4 6 9～ 4 72　　本文提出一种自动计算静校正量的新方法。它首先在等偏移距道集内对相邻道的初至波采用高精度相关构建一个关于炮、检时差的超大矩阵方程 ,然后采用优化统计迭代算法求解炮点和检波点的静校正量 ,并用概率分布函数确定精确的炮、检静校正量 ,最后用误差校正函数消除炮、检静校正误差。实际资料处理结果表明 ,本方法自动、省时、精度高。     

心电图信号的频域分析

提出了一种简便有效的、由心电图（ECG）曲线提取QRS-T复合波的新方法，从而获得P波（当房颤未发生时）或f波（当房颤时）；利用功率谱、自相关、互相关等信号处理技术，对它进行了处理和分析，特别是，比较了未房颤时和发生房颤时的相关信息的显著差别。