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.     

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

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

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

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

Optimal Control of the Primary Drying Stage of Freeze Drying of Solutions in Vials Using Variational Calculus

The problem of operating freeze drying of pharmaceutical products in vials placed in trays of a freeze dryer to remove free water (in frozen state) at a minimum time was formulated as an optimal control problem. Two different types of freeze dryer designs were considered. In type I freeze dryer design, upper and lower plate temperatures were controlled together, while in type II freeze dryer design, upper and lower plate temperatures were controlled independently. The heat input to the material being dried and the drying chamber pressure were considered as control variables. Constraints were placed on the system state variables by the melting and scorch temperatures during primary drying stage. Necessary conditions of optimality for the primary drying stage of freeze drying process in vials are derived and presented. Furthermore, an approach for constructing the optimal control policies that would minimize the drying time for the primary drying stage was given. In order to analyze optimal control policy for the primary drying stage of the freeze-drying process in vials, a rigorous multi-dimensional unsteady state mathematical model was used. The theoretical approach presented in this work was applied in the freeze drying of skim milk. Significant reductions in the drying times of primary drying stage of freeze drying process in vials were obtained, as compared to the drying times obtained from conventional operational policies.     

Life is pleasant--and memory helps to keep it that way!

People's recollections of the past are often positively biased. This bias has 2 causes. The 1st cause lies in people's perceptions of events. The authors review the results of several studies and present several new comparative analyses of these studies, all of which indicate that people perceive events in their lives to more often be pleasant than unpleasant. A 2nd cause is the fading affect bias: The affect associated with unpleasant events fades faster than the affect associated with pleasant events. The authors review the results of several studies documenting this bias and present evidence indicating that dysphoria (mild depression) disrupts such bias. Taken together, this evidence suggests that autobiographical memory represents an important exception to the theoretical claim that bad is stronger than good. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

On the Way to Assess Emotions in Animals: Do Lambs (Ovis aries) Evaluate an Event Through Its Suddenness, Novelty, or Unpredictability?

Appraisal theories provide a framework that gives insight into emotions and could allow comparisons across species. According to these theories, events are first evaluated on their suddenness, novelty, and unpredictability. The authors examined the ability of lambs (Ovis aries) to evaluate an event according to these 3 criteria through 3 tests. The lambs responded to suddenness with a startle response coupled with an increase in heart rate and to novelty with an orientation response coupled with an increase of vagal activity. There was no clear evidence that lambs can detect the predictability of an event. Those results support the usefulness of appraisal theories to assess emotion in animals. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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

网络事件的关联检测是网络管理需要解决的一个关键问题,本文根据分布式网络管理的特点,首次明确定义了网络事件的基本关联关系,在此基础上提出了一种基于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.     

Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001     

Multiplicative cases from additive cases: Extension of Kolmogorov–Feller equation to parametric Poisson white noise processes

In this paper the response of nonlinear systems driven by parametric Poissonian white noise is examined.As is well known, the response sample function or the response statistics of a system driven by external white noise processes is completely defined. Starting from the system driven by external white noise processes, when an invertible nonlinear transformation is applied, the transformed system in the new state variable is driven by a parametric type excitation. So this latter artificial system may be used as a tool to find out the proper solution to solve systems driven by parametric white noises. In fact, solving this new system, being the nonlinear transformation invertible, we must pass from the solution of the artificial system (driven by parametric noise) to that of the original one (driven by external noise, that is known). Moreover, introducing this invertible nonlinear transformation into the Itô’s rule for the original system driven by external input, one can derive the Itô’s rule for systems driven by a parametric type excitation, directly. In this latter case one can see how natural is the presence of the Wong–Zakai correction term or the presence of the hierarchy of correction terms in the case of normal and Poissonian white noise, respectively. Direct transformation on the Fokker–Planck and on the Kolmogorov–Feller equation for the case of parametric input are found.