网络融合边界的电信DoS攻击检测*

为了检测网络融合边界的电信拒绝服务攻击,首先针对攻击的类型分别提出了基于呼叫统计或流量信号分析的检测方法,并采用分步骤的策略设计了检测系统,将两种检测算法分别应用于粗检测步骤,再通过精检测步骤确认攻击并找出攻击源.模拟实验结果表明,该方案能够有效地检测出典型的攻击,并能够实时在线检测,具有良好的实用价值,为应对网络融合所带来的新安全问题提供了一种解决方案.     

企业价值链价值分配的优化研究

为研究价值链中各企业间价值合理分配的问题,在明确企业价值链中各参与者关系的基础上,从价值分析和成本分析入手,针对价值链中各参与者的不同行为模式,对企业价值链的稳定性问题和价值链调整的合理性问题进行了分析,并给出了价值链稳定性及调整合理性的判定公式和相应经济学解释.阐述了在价值贞献和价值分配之间产生偏差的原因和几种情况,依据博弈论原理建立了价值链价值分配议价模型,模型分析表明存在唯一的子博弈完美均衡,最终可以得到一个均衡策略.研究结果为合理构建和调整企业价值链提供了理论依据.     

刚体动力学初值问题的拟变分原理及其应用

随着科学技术的发展,对刚体动力学提出新的要求.应用变积方法,建立了刚体动力学初值问题的拟变分原理.推导出刚体动力学初值问题的拟变分原理的拟驻值条件.建立了刚体动力学初值问题的广义拟变分原理,说明了应用广义拟变分原理求得问题的解析解和数值解的途径.借助算例说明了应用变分方法来研究刚体动力学初值问题的优越性.     

4－氨基安替比林比色法测定水中苯胺类

基于苯胺与４－氨基安替比林的显色反应提出一种新的苯胺测定方法。本方法可以测定浓度为０．０２～４０ｍｇ／ｌ的苯胺水样，方法的回收率为９５．９％～１０２％，相对标准偏差为０．６３％～１．９７％。     

Experimental study on temperature stress calculation and temperature control optimization of concrete based on early age parameters

Temperature control curve is the key to achieving temperature control and crack prevention of high concrete dam during construction,and its rationality depends on the accurate measurement of temperature stress.With the simulation testing machine for the temperature stress,in the present study,we carried out the deformation process tests of concrete under three temperature curves：convex,straight and concave.Besides,we not only measured the early-age elastic modulus,creep parameters and stress process,but also proposed the preferred type.The results show that at early age,higher temperature always leads to greater elastic modulus and smaller creep.However,the traditional indoor experiments have underestimated the elastic modulus and creep development at early age,which makes the calculated value of temperature stress too small,thus increasing the cracking risk.In this study,the stress values of the three curves calculated based on the strain and early-age parameters are in good agreement with the temperature stress measured by the temperature stress testing machine,which verifies the method accuracy.When the temperature changes along the concave curve,the law of stress development is in consistent with that of strength.Under this condition,the stress fluctuation is small and the crack prevention safety of the concave type is higher,so the concave type is better.The test results provide a reliable basis and support for temperature control curve design and optimization of concrete dams.     

无线传感网络关键技术及在环境监测中的应用

回顾了无线传感网络技术的发展历史,对无线传感网络的结构和关键技术进行详细阐述;综述了无线传感网络技术在环境监测中的研究及应用现状,对该技术的发展方向和趋势作一展望.     

Incremental join view maintenance on distributed log-structured storage

Modern database systems desperate for the ability to support highly scalable transactions and efficient queries simultaneously for real-time applications. One solution is to utilize query optimization techniques on the on-line transaction processing (OLTP) systems. The materialized view is considered as a panacea to decrease query latency. However, it also involves the significant cost of maintenance which trades away transaction performance. In this paper, we examine the design space and conclude several design features for the implementation of a view on a distributed log-structured merge-tree (LSMtree), which is a well-known structure for improving data write performance. As a result, we develop two incremental view maintenance (IVM) approaches on LSM-tree. One avoids join computation in view maintenance transactions. Another with two optimizations is proposed to decouple the view maintenance with the transaction process. Under the asynchronous update, we also provide consistency queries for views. Experiments on TPC-H benchmark show our methods achieve better performance than straightforward methods on different workloads.     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

Finite difference method for dynamic response analysis of anchorage system简

Based on some assumptions, the dynamic analysis model of anchorage system is established. The dynamic governing equation is expressed as finite difference format and programmed by using MATLAB language. Compared with theoretical method, the finite difference method has been verified to be feasible by a case study. It is found that under seismic loading, the dynamic response of anchorage system is synchronously fluctuated with the seismic vibration. The change of displacement amplitude of material points is slight, and comparatively speaking, the displacement amplitude of the outside point is a little larger than that of the inside point, which shows amplification effect of surface. While the axial force amplitude transforms considerably from the inside to the outside. It increases first and reaches the peak value in the intersection between the anchoring section and free section, then decreases slowly in the free section. When considering damping effect of anchorage system, the finite difference method can reflect the time attenuation characteristic better, and the calculating result would be safer and more reasonable than the dynamic steady-state theoretical method. What is more, the finite difference method can be applied to the dynamic response analysis of harmonic and seismic random vibration for all kinds of anchor, and hence has a broad application prospect.