基于CSP的进程行为取证方法研究

针对取证过程中所获取的进程异常行为,提出进程行为事件重建犯罪过程的方法.该方法使用CSP(通信顺序进程)理论来形式化描述具有威胁乃至破坏性的进程操作及进程间的通信,根据系统保存的进程行为记录建立进程通信状态模型,使用基于路径搜索的进程行为解释算法分析模型内所有可能的进程通信序列,形成进程通信行为规则,在排除不符合规则的通信序列的基础上,找到能够形成合理证据链的通信序列.通过案例分析进行了证据的形式化及CSP建模,给出了进程行为的具体分析解释和原型系统,验证该方法的可行性和有效性.     

Asymmetric Evolution of Two Two-Level Atoms Induced by Position-Dependent Excitation Phase

We report a phenomenon of asymmetric evolution of two two-level atoms which results from pump laser phase based on the model of[Phys.Rev.Lett.101(2008) 153601].Other than investigating the dynamical behavior of whole system,in this paper we investigate the effects of the pump laser phase on dynamic behavior of each atom.We find that two atoms show asymmetry both in time evolution of(population) excitation probability and quantum correlation with environment due to the quantum interference induced by pump laser phase as well as the dipole-dipole interaction.These phenomena are deeply related to the dynamical behavior of the whole system,therefore we can understand the dynamical behavior of whole system caused by pump laser phase from this point of view.     

CSP热轧CVC工作辊凸度范围的分析及选择

为更好地发挥CVC工作辊凸度调控能力,保证带钢板形质量,现场跟踪测试某CSP热轧生产线CVC工作辊实际窜辊情况,发现不同机架CVC工作辊辊形在使用过程中表现出窜辊形式的多样性,并反映出凸度控制能力不合适等问题.在对热轧不同机架的板形控制特点、热轧工作辊磨损对凸度调控能力的影响、CSP各机架不同的弯辊调控功效以及CSP大压下率的特点进行分析研究的基础上,提出了CSP热轧F1～F7机架从强到弱的CVC凸度控制能力选择原则,并相应给出了正态分布、抛物线分布、均匀往复窜辊三种不同的窜辊策略.     

Q235钢CSP轧制时动态再结晶行为研究

利用Gleeble-1500热模拟实验机研究Q235钢连铸坯CSP轧制时在高温变形过程中的动态再结晶行为.结果表明,在高变形温度和低应变速率条件下Q235钢易发生动态再结晶;在回归相应的数学模型后,建立了Q235钢的热变形方程式.对Q235钢连铸坯热变形后的组织进行分析,发现奥氏体发生动态回复后转变的铁素体组织中也有动态再结晶晶粒.     

以TEOS为硅源的聚硅硫酸铁中铁的形态分布研究

利用正硅酸乙酯代替传统硅酸钠制备活性硅酸,使之与聚合硫酸铁反应而得到聚硅硫酸铁絮凝剂。 由于正硅酸乙酯水解很缓慢,容易控制,可得到铁硅分布均匀、重现性好的产物;这有利于进行聚硅硫酸铁中铁的形态研究。采用Fe-Ferron逐时络合比色法和红外光谱法研究了聚硅硫酸铁絮凝剂中铁和硅的形态分布。研究结果表明：聚硅硫酸铁絮凝剂中Fe(a)形态较多,Fe(b)和Fe(c)含量相对较少。在一定时间内,随着熟化时间的延长,Fe(a)和Fe(b)含量有所下降,Fe(c)含量有所增加;但是当熟化时间到达5 d后,三种形态的变化不大。研究还显示聚硅硫酸铁絮凝剂中铁和硅的形态与其在聚合硫酸铁和聚硅酸中是不同的;聚合硫酸铁与活性硅酸并非简单的复合,而是发生了复杂的化学反应,生成了一种重现性好的新型无机高分子聚硅硫酸铁絮凝剂。     

Comparative study of travelling-wave and numerical solutions for the coupled short pulse （CSP） equation

The Lie symmetry analysis is performed for the coupled short plus (CSP) equation. We derive the infinitesimals that admit the classical symmetry group. Five types arise depending on the nature of the Lie symmetry generator. In all types, we find reductions in terms of system of ordinary differential equations, and exact solutions of the CSP equation are derived, which are compared with numerical solutions using the classical fourth-order Runge-Kutta scheme.     

Issues arising in the construction of QSSA mechanisms: the case of reduced n-heptane/air models for premixed flames

A model reduction methodology, based on the quasi steady-state approximation (QSSA), is employed for the construction of reduced mechanisms in the case of an n-heptane/air premixed flame. Several issues related to the construction of these reduced mechanisms are discussed; such as the influence of the size of the starting skeletal mechanism, the stiffness reduction, and the truncation/simplification of (i) the expressions of the global rates and (ii) the steady-state relations. The starting point for the reduction is two skeletal mechanisms that involve 177/768 and 66/326 species/reactions, respectively [J. Prager, H.N. Najm, M. Valorani, and D.A. Goussis, Skeletal mechanism generation with CSP and validation for premixed n-heptane flames, Proc. Combust. Inst. 32 (2009), pp. 509–517] and which were derived from the detailed mechanism of Curran et al. [H.J. Curran, P. Gaffuri, W.J. Pitz, and C.K. Westbrook, A comprehensive modeling study of iso-octane oxidation, Combust. Flame 129 (2002), pp. 253–280], which involves 561/2538 species/reactions. From these two skeletal mechanisms, a number of reduced mechanisms of various sizes are produced and analysed. The validity of the reduced mechanism with the minimum size is demonstrated by considering its accuracy regarding the mass fractions of major and minor species, the temperature, and the flame speed, over a wide range of equivalence ratios and pressures.     

扩展时间事件图的分析

本文研究了一类扩展时间事件图的分析问题，证明了系统的输出时间序列有三类．有限序列，准周期序列，近似于Dlogp q的序列．     

Minesweeper on graphs

Minesweeper is a popular single player game. It has been shown that the Minesweeper consistency problem is NP-complete and the Minesweeper counting problem is #P-complete. In this paper, we present efficient algorithms for solving these problems for Minesweeper graphs with bounded treewidth. Our algorithms turn out to be much better than those based directly on dynamic programming. The algorithms mostly use of algebraic operations on multivariate polynomials, so that one may use existing software to implement them easily.     

基于Microsoft密码体系的数字信封的实现

介绍了微软密码体系结构和组成、Microsoft证书的管理和使用方法,详细说明了利用证书和CryptoAPI(cryptographic application programming interface,加密应用程序接口)函数实现数字信封的原理、步骤以及算法.最后,利用Win2K颁发的数字证书、算法对多个文本数据进行加解密处理,结果表明所实现的数字信封技术能够保证信息传输的保密性和真实性,算法速度快,能满足实际应用的要求.