面向多服务的可灵活撤销的非对称公钥叛逆者追踪方案

Matsushita等人提出了一个可灵活撤销用户的公钥叛逆者追踪方案,但其方案是对称方案,并且没有提供多服务的功能。利用不经意多项式估值协议(OPE)和服务参数提出了一个改进的Matsushita方案。改进方案在保持了原Matsushita方案可灵活撤销用户、黑盒子追踪、安全性不变的基础上,增加了提供多种服务、防止叛逆者抵赖（非对称）等优点,整体性能好于Matsushita方案。     

A probabilistic model for performance analysis of cloud infrastructures

Analyzing the quantitative performance plays an important role in understanding and improving the quality of cloud computing systems and cloud‐based applications. In cloud computing, service requests from users go through numerous provider‐specific steps from the instant it is submitted to when the requested service is fully delivered. Quantitative performance analysis is not an easy task because of the complexity of cloud provisioning control flows and the increasing scale and complexity of real‐world cloud infrastructures. This work proposes a probabilistic queuing network‐based model for the performance analysis of cloud infrastructures. It considers expected task completion time and rejection probability as the performance metrics. Experimental performance data suggest the correctness of the proposed model. Copyright © 2015 John Wiley & Sons, Ltd.     

A hybrid case-based model for forecasting

An investigation is described into the application of artificial intelligence to forecasting in the domain of oceanography. A hybrid approach to forecasting the thermal structure of the water ahead of a moving vessel is presented which combines the ability of a case-based reasoning system for identifying previously encountered similar situations and the generalizing ability of an artificial neural network to guide the adaptation stage of the case-based reasoning mechanism. The system has been successfully tested in real time in the Atlantic Ocean; the results obtained are presented and compared with those derived from other forecasting methods.     

A robust reliable energy-aware urgent computing resource allocation for flash-flood ensemble forecasting on HPC infrastructures for decision support

Forecasting severe hydro-meteorological events under time constraints requires reliable and robust models, which facilitate energy-aware allocations on high performance computing infrastructures. We present an innovative approach to quantify the performance of six heuristics in selecting optimal allocations to distributed HPC resources for an ensemble of meteorological forecasts for a flash-flood producing storm in Genoa (Liguria, Italy) in October 2014. The computing environments are expected to be dynamic and heterogeneous in nature with varying availability, performance and energy-to-solution. The results of the allocations are assessed and compared. The aim is to provide a robust, reliable and energy-aware resource allocation for ensembles of forecasts for time-critical decision support.     

Lattice-based certificateless public-key encryption in the standard model

The notion of certificateless public-key encryption (CL-PKE) was introduced by Al-Riyami and Paterson in 2003 that avoids the drawbacks of both traditional PKI-based public-key encryption (i.e., establishing public-key infrastructure) and identity-based encryption (i.e., key escrow). So CL-PKE like identity-based encryption is certificate-free, and unlike identity-based encryption is key escrow-free. In this paper, we introduce simple and efficient CCA-secure CL-PKE based on (hierarchical) identity-based encryption. Our construction has both theoretical and practical interests. First, our generic transformation gives a new way of constructing CCA-secure CL-PKE. Second, instantiating our transformation using lattice-based primitives results in a more efficient CCA-secure CL-PKE than its counterpart introduced by Dent in 2008.     

A hybrid linear-neural model for time series forecasting

This paper considers a linear model with time varying parameters controlled by a neural network to analyze and forecast nonlinear time series. We show that this formulation, called neural coefficient smooth transition autoregressive model, is in close relation to the threshold autoregressive model and the smooth transition autoregressive model with the advantage of naturally incorporating linear multivariate thresholds and smooth transitions between regimes. In our proposal, the neural-network output is used to induce a partition of the input space, with smooth and multivariate thresholds. This also allows the choice of good initial values for the training algorithm.     

A model for preventive maintenance operations and forecasting

Equipment costs constitute the greatest majority of overall costs for semiconductor manufacturing. Therefore, maintaining high equipment availability has been regarded as one of the major goals in the industry. The ability to forecast correctly equipment preventive maintenance (PM) timing requirements not only can help optimizing equipment uptime but also minimizing negative impacts on manufacturing production efficiency. This research used grey theory and evaluation diagnosis to construct a PM forecasting model for prediction of PM timing of various machines. The results showed significant improvements of PM timing predictions compared to the existing method based on experience and an alternative method proposed by Li and Chang (Semiconductor Manufacturing Technology Workshop 2002: 10–11, pp. 275–277) for the same fab cases. Received: June 2005 / Accepted: December 2005     

A hybrid SVM-PSO model for forecasting monthly streamflow

The long-term streamflow forecasts are very significant in planing and reservoir operations. The streamflow forecasts have to deal with a complex and highly nonlinear data patterns. This study employs support vector machines (SVMs) in predicting monthly streamflows. SVMs are proved to be a good tool for forecasting the nonlinear time series. But the performance of the SVM depends solely upon the appropriate choice of parameters. Hence, particle swarm optimization technique is employed in tuning SVM parameters. The proposed SVM-PSO model is used in forecasting the streamflow values of Swan River near Bigfork and St. Regis River near Clark Fork of Montana, United States. Further SVM model with various input structures is constructed, and the best structure is determined using various statistical performances. Later, the performance of the SVM model is compared with the autoregressive moving average model (ARMA) and artificial neural networks (ANN's). The results indicate that SVM could be a better alternative for predicting monthly streamflows as it provides a high degree of accuracy and reliability.     

基于CRL的证书撤销模型研究

分析了应用证书撤销列表(CRL)发布公共密钥基础设施(PKI)证书状态信息的传统模型，并提出了两种改善的模型：过量发布CRL模型和分段CRL模型．通过比较，改善后的模型相对于传统模型在一定程度上降低了CRL储存库峰值请求率，缩短了响应时间，使储存库在性能上有很大的提高。     

DW-RBAC: A formal security model of delegation and revocation in workflow systems

One reason workflow systems have been criticized as being inflexible is that they lack support for delegation. This paper shows how delegation can be introduced in a workflow system by extending the role-based access control (RBAC) model. The current RBAC model is a security mechanism to implement access control in organizations by allowing users to be assigned to roles and privileges to be associated with the roles. Thus, users can perform tasks based on the privileges possessed by their own role or roles they inherit by virtue of their organizational position. However, there is no easy way to handle delegations within this model. This paper tries to treat the issues surrounding delegation in workflow systems in a comprehensive way. We show how delegations can be incorporated into the RBAC model in a simple and straightforward manner. The new extended model is called RBAC with delegation in a workflow context (DW-RBAC). It allows for delegations to be specified from a user to another user, and later revoked when the delegation is no longer required. The implications of such specifications and their subsequent revocations are examined. Several formal definitions for assertion, acceptance, execution and revocation are provided, and proofs are given for the important properties of our delegation framework.     

Non-interactive multisignatures in the plain public-key model with efficient verification

Multisignatures extend standard digital signatures to allow an ad hoc set of users to jointly sign a message. Multisignature schemes are often evaluated from the following perspectives: (1) the cryptographic assumptions underlying the schemes; (2) the operational assumptions about the bootstrapping of the schemes in practice; (3) the number of communication rounds for signing a message; (4) the time complexity for signing a message; (5) the amount of communication for signing a message; (6) the time complexity for verifying a multisignature; (7) the length of the resulting multisignatures. Existing multisignature schemes achieve various trade-offs among these measures, but none of them can achieve simultaneously the desired properties with respect to all (or even most) of these measures. In this paper, we present a novel multisignature scheme that offers desired properties with respect to the above (1)–(7) simultaneously, except that it uses random oracles (which however are often required in order to design practical schemes). In particular, our scheme is featured by its weak operational (i.e., plain public-key) model, non-interactive signing, and efficient verification.     

A novel hybrid model for short-term wind power forecasting

Wind energy prediction has a significant effect on the planning, economic operation and security maintenance of the wind power system. However, due to the high volatility and intermittency, it is difficult to model and predict wind power series through traditional forecasting approaches. To enhance prediction accuracy, this study developed a hybrid model that incorporates the following stages. First, an improved complete ensemble empirical mode decomposition with adaptive noise technology was applied to decompose the wind energy series for eliminating noise and extracting the main features of original data. Next, to achieve high accurate and stable forecasts, an improved wavelet neural network optimized by optimization methods was built and used to implement wind energy prediction. Finally, hypothesis testing, stability test and four case studies including eighteen comparison models were utilized to test the abilities of prediction models. The experimental results show that the average values of the mean absolute percent errors of the proposed hybrid model are 5.0116% (one-step ahead), 7.7877% (two-step ahead) and 10.6968% (three-step ahead), which are much lower than comparison models.     

A multivariate heuristic model for fuzzy time-series forecasting.

Fuzzy time-series models have been widely applied due to their ability to handle nonlinear data directly and because no rigid assumptions for the data are needed. In addition, many such models have been shown to provide better forecasting results than their conventional counterparts. However, since most of these models require complicated matrix computations, this paper proposes the adoption of a multivariate heuristic function that can be integrated with univariate fuzzy time-series models into multivariate models. Such a multivariate heuristic function can easily be extended and integrated with various univariate models. Furthermore, the integrated model can handle multiple variables to improve forecasting results and, at the same time, avoid complicated computations due to the inclusion of multiple variables.     

A neural network forecasting model for integrated economic indicators

This paper considers forecasting models for integrated economic indicators. The first model is implemented as a fuzzy system, and the second one represents a fuzzy-neural module. Finally, we study the possibility of using the fuzzy system as a service tool in the fuzzy-neural module.     

A wavelet-based autoregressive fuzzy model for forecasting algal blooms

This paper proposes fuzzy models for forecasting the complex behavior of algal blooms. The models are developed through the integration of autoregressive models, the Takagi-Sugeno fuzzy model, and discrete wavelet transform algorithms. The premise parts of the proposed models are determined using the subtractive clustering technique and the consequent parts are optimized using weighted least squares. To train and validate the proposed fuzzy models, a large number of data sets were collected from Daecheong reservoir in Geum River in the Republic of Korea. The data include both water quality and hydrological variables. Total nitrogen, total phosphorous, dissolved oxygen, chemical oxygen demand, biochemical oxygen demand, pH, air temperature, water temperature and outflow water were evaluated as input signals while chlorophyll-a was used as an output. It is demonstrated from the simulation that the proposed fuzzy models are effective in forecasting algal blooms.     

A dynamic meta-learning rate-based model for gold market forecasting

In this paper, an improved EMD meta-learning rate-based model for gold price forecasting is proposed. First, we adopt the EMD method to divide the time series data into different subsets. Second, a back-propagation neural network model (BPNN) is used to function as the prediction model in our system. We update the online learning rate of BPNN instantly as well as the weight matrix. Finally, a rating method is used to identify the most suitable BPNN model for further prediction. The experiment results show that our system has a good forecasting performance.     

A hybrid artificial intelligence model for river flow forecasting

A hybrid hydrologic estimation model is presented with the aim of performing accurate river flow forecasts without the need of using prior knowledge from the experts in the field. The problem of predicting stream flows is a non-trivial task because the various physical mechanisms governing the river flow dynamics act on a wide range of temporal and spatial scales and almost all the mechanisms involved in the river flow process present some degree of nonlinearity. The proposed system incorporates both statistical and artificial intelligence techniques used at different stages of the reasoning cycle in order to calculate the mean daily water volume forecast of the Salvajina reservoir inflow located at the Department of Cauca, Colombia. The accuracy of the proposed model is compared against other well-known artificial intelligence techniques and several statistical tools previously applied in time series forecasting. The results obtained from the experiments carried out using real data from years 1950 to 2006 demonstrate the superiority of the hybrid system.     

A FCM-based deterministic forecasting model for fuzzy time series

The study of fuzzy time series has increasingly attracted much attention due to its salient capabilities of tackling uncertainty and vagueness inherent in the data collected. A variety of forecasting models including high-order models have been devoted to improving forecasting accuracy. However, the high-order forecasting approach is accompanied by the crucial problem of determining an appropriate order number. Consequently, such a deficiency was recently solved by Li and Cheng [S.-T. Li, Y.-C. Cheng, Deterministic Fuzzy time series model for forecasting enrollments, Computers and Mathematics with Applications 53 (2007) 1904–1920] using a deterministic forecasting method. In this paper, we propose a novel forecasting model to enhance forecasting functionality and allow processing of two-factor forecasting problems. In addition, this model applies fuzzy c-means (FCM) clustering to deal with interval partitioning, which takes the nature of data points into account and produces unequal-sized intervals. Furthermore, in order to cope with the randomness of initially assigned membership degrees of FCM clustering, Monte Carlo simulations are used to justify the reliability of the proposed model. The superior accuracy of the proposed model is demonstrated by experiments comparing it to other existing models using real-world empirical data.     

A SOM-based hybrid linear-neural model for short-term load forecasting

In this paper, a short-term load forecasting method is considered, which is based upon a flexible smooth transition autoregressive (STAR) model. The described model is a linear model with time varying coefficients, which are the outputs of a single hidden layer feedforward neural network. The hidden layer is responsible for partitioning the input space into multiple sub-spaces through multivariate thresholds and smooth transition between the sub-spaces. In this paper, we propose a new method to smartly initialize the weights of the hidden layer of the neural network before its training. A self-organizing map (SOM) network is applied to split the historical data dynamics into clusters, and the Ho-Kashyap algorithm is then used to obtain the separating planes' equations. Applied to the electricity markets, the proposed method is better able to model the smooth transitions between the different regimes, which are present in the load demand series because of market effects and season effects. We use data from three electricity markets to compare the prediction accuracy of the proposed method with traditional benchmarks and other recent models, and find our results to be competitive.