SecMVX:Analysis on the Vulnerability of Multi-Variant Execution

As an active defenses technique,multivariant execution(MVX)can detect attacks by monitoring the consistency of heterogeneous variants with parallel execution.Compared with patch-style passive defense,MVX can defend against known and even unknown vulnerability-based attacks without relying on attack feature information.However,variants generated with software diversity technologies will introduce new vulnerabilities when they execute in parallel.First,we analyze the security of MVX theory from the perspective of formal description.Then we summarize the general forms and techniques for attacks against MVX,and analyze the new vulnerabilities arising from the combination of variant generation technologies.We propose SecMVX,a secure MVX architecture and variant generation technology.Experimental evaluations based on CVEs and SPEC 2006 benchmark show that SecMVX introduces 11.29%of the average time overhead,and avoids vulnerabilities caused by the improper combination of variant generation technologies while keeping the defensive ability of MVX.

Strategic Planning for Equitable RWIS Implementation:A Comprehensive Study Incorporating a Multi-variable Semivariogram Model

This paper extends the previously developed method of optimizing Road Weather Information Systems(RWIS)station placement by unveiling a sophisticated multi-variable semivariogram model that concurrently considers multiple vital road weather variables.Previous research primarily centered on single-variable analysis focusing on road surface temperature(RST).The study bridges this oversight by introducing a framework that integrates multiple critical weather variables into the RWIS location allocation framework.This novel approach ensures balanced and equitable RWIS distribution across zones and aligns the network with areas both prone to traffic accidents and areas of high uncertainty.To demonstrate the effectiveness of this refinement,the authors applied the framework to Maine’s existing RWIS network,conducted a gap analysis through varying planning scenarios and generated optimal solutions using a heuristic optimization algorithm.The analysis identified areas that would benefit most from additional RWIS stations and guided optimal resource utilization across different road types and priority locations.A sensitivity analysis was also performed to evaluate the effect of different weightings for weather and traffic factors on the selection of optimal locations.The location solutions generated have been adopted by MaineDOT for future implementations,attesting to the model’s practicality and signifying an important advancement for more effective management of road weather conditions.

面向容器级多变体的Mimicveth网卡设计与实现

聚焦于容器级多变体执行(MVX)过程,针对容器级多变体系统分发时存在容器不能一对多通信、报文信息不匹配和TCP协议握手失败的问题,以及表决时存在报文时序乱序和报文分段分片问题,提出一种基于Mimicveth网卡的多变体系统网络输入输出(I/O)分发表决方案。该Mimicveth网卡为分发代理、执行体、表决器之间建立一对多双向传输通道。实验验证,依托该Mimicveth网卡能够有效实现容器级多变体系统分发和表决,改善容器级多变体系统可用性,为后续面向容器的多变体系统研究发展提供了原型基础。

Stability analysis for nonlinear multi-variable delay perturbation problems

This paper discusses the stability of theoretical solutions for nonlinear multi-variable delay perturbation problems (MVDPP) of the form x′(t)=f(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t))), and εy′(t)=g(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t))), where 0<ε1. A sufficient condition of stability for the systems is obtained. Additionally we prove the numerical solutions of the implicit Euler method are stable under this condition.

Combined model based on optimized multi-variable grey model and multiple linear regression

The construction method of background value is improved in the original multi-variable grey model （MGM（1,m）） from its source of construction errors. The MGM（1,m） with optimized background value is used to eliminate the random fluctuations or errors of the observational data of all variables, and the combined prediction model together with the multiple linear regression is established in order to improve the simulation and prediction accuracy of the combined model. Finally, a combined model of the MGM（1,2） with optimized background value and the binary linear regression is constructed by an example. The results show that the model has good effects for simulation and prediction.

Prediction of rock mass rating using fuzzy logic and multi-variable RMR regression model

Rock mass rating system （RMR） is based on the six parameters which was defined by Bieniawski （1989） [1]. Experts frequently relate joint and discontinuities and ground water conditions in linguistic terms with rough calculation. As a result, there is a sharp transition between two modules which create doubts. So, in this paper the proposed weights technique was applied for linguistic criteria. Then by using the fuzzy inference system and the multi-variable regression analysis, the accurate RMR is predicted. Before the performing of regression analysis, sensitivity analysis was applied for each of Bieniawski parameters. In this process, the best function was selected among linear, logarithmic, exponential and inverse func- tions and finally it was applied in the regression analysis for construction of a predictive equation. From the constructed regression equation the relative importance of the input parameters can also be observed. It should be noted that joint condition was identified as the most important effective parameter upon RMR. Finally, fuzzy and regression models were validated with the test datasets and it was found that the fuzzy model predicts more accurately RMR than reression models.

Multi-Variable Flocking Control for Multi-Agent Systems via a Received Signal Strength Indicator

A novel flocking control approach is proposed for multi-agent systems by integrating the variables of velocities, motion directions, and positions of agents. A received signal strength indicator （RSSI） is applied as a variable to estimate the inter-distance between agents. A key parameter that contains the local information of agents is defined, and a multi-variable controller is proposed based on the parameter. For the position control of agents, the RSSI is introduced to substitute the distance as a control variable in the systems. The advantages of RSSI include that the relative distance between every two agents can be adjusted through the communication quality under different environments, and it can shun the shortage of the limit of sensors. Simulation studies demonstrate the effectiveness of the proposed control approach.

The Research and Application of Prediction Control in Multi-variable Control Process

The modern industrial control objects become more and more complicated,and higher control quality is required, so a series of new control strategies appear,applied,modified and develop quickly.This paper researches a new control strategy- prediction control-and its application in Multi-Variable Control Process.The research result is worthy for automatic control in pro- cess industry.

ENHANCING GROUND RESOLUTION OF TM6 BASED ON MULTI-VARIATE REGRESSION MODEL AND SEMI-VARIOGRAM FUNCTION

It is well known that Landsat TM images are the most widely used remote sensing data in various fields.Usually,it has 7 different electromagnetic spectrum bands,among which the sixth one has much lower ground resolution compared with the other six bands.Nevertheless,it is useful in the study of rock spectrum reflection,geothermal resources exploration,etc.To improve the ground resolution of TM6 to the level as that of the other six bands is a problem .This paper presents an algorithm based on the combination of multivariate regression model with semivariogram function which can improve the ground resolution of TM6 by "fusing" the data of other six bands.It includes the following main steps: （1） testing the correlation between TM6 and one of TM15,7.If the correlation coefficient between TM6 and another one is greater than a given threshold value,then select the band to the regression analysis as an argument.（2） calculating the size of the template window within which some parameters needed by the regression model will be calculated; （3） replacing the original pixel values of TM6 by those obtained by regression analysis; （4） using image entropy as a measurement to evaluate the quality of the fused image of TM6.The basic mechanism of the algorithm is discussed and the V C ++ program for implementing this algorithm is also presented.A simple application example is given in the last part of this paper,showing the effectiveness of the algorithm.

PRECISE INTEGRAL ALGORITHM BASED SOLUTION FORTRANSIENT INVERSE HEAT CONDUCTION PROBLEMSWITH MULTI-VARIABLES

By modeling direct transient heat conduction problems via finite element method (FEM) and precise integral algorithm, a new approach is presented to solve transient inverse heat conduction problems with multi-variables. Firstly, the spatial space and temporal domain are discretized by FEM and precise integral algorithm respectively. Then, the high accuracy semi-analytical solution of direct problem can be got. Finally, based on the solution, the computing model of inverse problem and expression of sensitivity analysis are established. Single variable and variables combined identifications including thermal parameters, boundary conditions and source-related terms etc. are given to validate the approach proposed in 1-D and 2-D cases. The effects of noise data and initial guess on the results are investigated. The numerical examples show the effectiveness of this approach.

Strong/weak limits and strong/weak differentials of multi-variable indeterminate forms. III: Transformations

Various transforms of the indeterminate forms are presented in this part, which include simplification in spherical coordinates, origin translation, axis alteration, transformation of limit conservation and application of Xh?K0. Fundamental factors for numerical simplification are provided respectively for bi-variable indeterminate forms, tri-variable indeterminate forms and the universal extending multiplier.

Strong/weak limits and strong/weak differentials of multi-variable indeterminate forms. I: Deduction and geometric illustration

Strong and weak limits as well as strong and weak differentials of multi-variable indeterminate forms are discussed based on the thorough exploration of differentiation to solve the strong and weak limits and differentials of unitary indeterminate forms. The fruit of this work is going to be reported in three parts. The first part presents the standard analysis on this subject which supplements, systematizes and advances L. Hospital抯 principles on differential calculus by applying special ,general, and limit guaranteeing theories together with K(t) and XhK0 theories. The combination of theoretical analysis and geometric signification makes the derivation intuitional, visual and easy to perceive.

Strong/weak limits and strong/weak differentials of multi-variable indeterminate forms. II: Supplementary annotations and analysis

Supplementary annotations on special forms 1to 4, discussion on the general characteristics of K(t) and K(t, t), and analyses on two noticeable limits are presented in this part. It is demonstrated that strong and weak parabolic transforms can be employed to change the standard form of a multi-variable indeterminate form into xmK type, hence to derive the standard formulae of the limit and the differential.

基于多源异构数据的飞机总装集成测试

本文指出民机总装集成测试生产线集成了操作人员、工装设备、生产物料、工艺路径、生产环境等多源异构生产信息,是典型的复杂信息系统;对飞机生产线的建模仿真需要反映工程实际变量,综合考虑工艺技术和生产管理多个维度。为此,本文提出了基于5M1E的异构数据多层网络建模框架,将生产要素和生产实体分层解耦,工艺过程直接和生产要素相关联,生产要素再通过有向连边具象化为生产所需的实体。该模型建模方式更为直观,便于同时表达工艺过程对于人、机、料、环等因素的依赖。对于测试工艺过程,通过搭建DDS网络、解析飞机数据网络、获取飞机实时状态,保证了总装集成测试的有效。

多变体系统服务质量及损耗评估方法

多变体系统利用多样化技术和动态冗余策略从架构层面实现系统的高安全性和高可靠性,然而现有研究很少涉及多变体系统服务质量(QoS)的量化评估。针对以上问题,提出一种多变体系统QoS及损耗评估方法。首先,在多变体系统架构形式化建模的基础上,基于QoS属性及权重矩阵提出QoS评估模型和流程,并使用信息熵法则评估QoS属性的重要程度;然后,构造典型的多变体系统测试实例,设计并选取影响系统性能和安全性的QoS属性;最后,量化评估系统的QoS属性权重、QoS值、QoS差异和损耗,其中,性能属性平均损耗15.86个百分点,安全属性增益4.98个百分点。评估结果表明多变体机制存在QoS损耗,但它的安全属性带来了一定程度的QoS增益,可为构造高QoS以及低QoS损耗的多变体系统提供一些参考。

An Efficient Maple Program for Calculating Adomian Polynomials

The immense quest for proficient numerical schemes for the solution of mathematical models featuring nonlinear differential equations led to the realization of the Adomian decomposition method (ADM) in the 80th. Undoubtedly, the solution of nonlinear differential equations using ADM is presided over by the acquisition of Adomian polynomials, which are not always easy to find. Thus, the present study proposes easy-to-implement Maple programs for the computation of Adomian polynomials. In fact, the proposed algorithms performed remarkably on several test functions, consisting of one- and multi-variable nonlinearities. Moreover, the introduced programs are advantageous in terms of simplicity;coupled with the requirement of less computational time in comparison with what is known in the literature.

多变体系统风险评估与动态防御方法

多变体系统被提出以从架构层面实现信息系统的高安全和高可靠,但其安全性受到严重挑战。针对此问题,本文基于通用漏洞评分系统(CVSS)提出系统漏洞风险评估模型,对基于K多数裁决的多变体系统进行攻击建模,基于漏洞风险以及攻击行为提出执行体动态切换算法。最后构建了一个典型的多变体系统来评估漏洞风险与系统安全的相关性,以及算法带来的安全增益。评估结果表明,漏洞风险与多变体系统安全呈负相关,且算法约提高了10%~67%的抗攻击能力,该算法能够有效提高系统的安全性。

农户响应农业面源污染治理教育引导机制的行为研究——以测土配方施肥项目为例

由于农业面源污染的特殊性质以及政府监管治理机制的无效率,农业面源污染的治理机制从侧重于政府监管发展为以教育培训手段为主。文章利用四川省实地调研数据,将农户的行为响应分为对农业面源污染教育培训项目的认知、参与意愿及最终参与行为响应三个阶段,并构建Multi-variate Probit模型分析不同阶段的影响因素。结果显示:农户个人禀赋、种植特征、社会资本及治理机制反应等变量在不同行为响应阶段具有显著影响;培训班的可获得性在每个行为响应阶段都具有正向的显著影响。

基于多Agent协作的设计问题求解框架

提出了以多Ａｇｅｎｔ协同方式来构造系统的问题求解框架．建立了一个Ａｇｅｎｔ逻辑模型并介绍了其基本实现机制．重点提出了一个完整的基于多Ａｇｅｎｔ协作的变型设计支持系统框架，并将其中的Ａｇｅｎｔ功能划分为管理服务型、设计求解型和方法工具型等几类．最后，具体分析了其中的构件设计Ａｇｅｎｔ的实现机制．

一类多变量控制系统的解耦控制

该文提出在静态增益系数评价多变量控制耦合程度的基础上 ,增加动态耦合度和静态交叉耦合率二个概念 ,能更全面地评价多变量控制系统的耦合程度。对于 2× 2多变量控制系统 ,按系数正、负号的个数分为奇耦合和偶耦合 ,并证明奇耦合系统都能用解耦方法改善控制品质 ,同时给出解耦控制的计算方法。该方法可在电站控制系统得到广泛的应用。图 3参