Integrating trust into the CyberCraft Initiative via the Trust Vectors model [Application Notes]

This research supports the hypothesis that the Trust Vector model can be modified to fit the CyberCraft Initiative, and that there are limits to the utility of historical data. This research proposed some modifications and expansions to the Trust Model Vector, and identified areas for future research.     

Modelling and simulation of KNbO3 ceramics dispersion

The dispersion of potassium niobate (KNbO₃) ceramics is analysed using the multiple-arc approach. This has revealed a high frequency arc that is unattainable by the Cole-Cole single arc analysis. The temperature dependence of the new arc is derived through the spread parameter of the relaxation distribution and interpreted in terms of the ferroelectric property of the KNbO₃ ceramics. It is shown that the overall dispersion behaviour of the ceramics is mainly due to the existence of two distinctly different polarisation mechanisms. The arc approach has also provided an effective tool for network simulation of dispersion whereby the ceramics are modelled by nine parallel R-C branches over the frequency range 10²-10⁵ Hz used     

A low-diffusion MUSCL scheme for LES on unstructured grids

We are interested in the development of large-eddy simulation (LES) methods for compressible flows in complex geometries. The starting point is a numerical scheme applicable to unstructured tetrahedrizations, conservative, upwind of MUSCL type and vertex centered. A low-diffusion version stabilized with sixth-order spatial derivatives is proposed. The obtained scheme is combined with two LES models, derived from the Smagorinsky model and its dynamic version. The basic test-case chosen is the flow around a square cylinder. Calculations around a forward-swept wing and a business jet are also presented.     

Evaluating software reuse alternatives: a model and its application to an industrial case study

We propose a model that enables software developers to systematically evaluate and compare all possible alternative reuse scenarios. The model supports the clear identification of the basic operations involved and associates a cost component with each basic operation in a focused and precise way. The model is a practical tool that assists developers to weigh and evaluate different reuse scenarios, based on accumulated organizational data, and then to decide which option to select in a given situation. The model is currently being used at six different companies for cost-benefit analysis of alternative reuse scenarios; we give a case study that illustrates how it has been used in practice.     

Dynamically identifying regenerative cycles in Simulation-based Optimization Algorithms for Markov chains

Simulation-based algorithms for maximizing the average reward of a parameterized Markov chain often rely upon the existence of a state which is recurrent for all choices of parameter values. The question of which recurrent state should serve to mark the end of a regenerative cycle is a very important practical consideration in applications. Even when all of the states of the process are recurrent, some states tend to be visited more often than others, and lengthy renewal cycles tend to result in high variance estimates of the gradient. To address this difficulty, we analyze a mechanism for adjusting this special state dynamically (i/sup */-adaptation) as applied to the "batch" simulation-based optimization algorithm of a previous paper. We show that the desirable convergence properties of the original "batch" algorithm are retained with i/sup */-adaptation, namely the almost sure convergence of the parameter vector to a critical point.     

Nonlinear control synthesis by convex optimization

A stability criterion for nonlinear systems, recently derived by the third author, can be viewed as a dual to Lyapunov's second theorem. The criterion is stated in terms of a function which can be interpreted as the stationary density of a substance that is generated all over the state-space and flows along the system trajectories toward the equilibrium. The new criterion has a remarkable convexity property, which in this note is used for controller synthesis via convex optimization. Recent numerical methods for verification of positivity of multivariate polynomials based on sum of squares decompositions are used.     

Probability-Theoretic and Statistical Analysis of Dictionary Texts

We consider probability-theoretic and statistical models and methods for computing the characteristics of dictionary structures. Results of a statistical analysis of several commonly used dictionaries are presented in order to test the adequacy of the computing methods proposed.     

Evaluation of passive microwave snow water equivalent algorithms in the depth hoar-dominated snowpack of the Kuparuk River Watershed, Alaska, USA

This research investigates the utility of passive microwave remote sensing instruments to accurately determine snow water equivalent (SWE) over large spatial extents. Three existing Special Sensor Microwave Imager (SSM/I) snow water equivalent algorithms produced by Chang, Tait and Goodison were evaluated for their ability to determine snow water equivalent in a snowpack containing substantial depth hoar, large faceted snow crystals. The Kuparuk River Watershed (8140 km²) test site on the North Slope of Alaska was chosen for its snowpack containing a think depth hoar layer and long history of ground truth data. A new regional snow water equivalent algorithm was developed to determine if it could produce better results than the existing algorithms in an area known to contain significant depth hoar. The four algorithms were tested to see how well they could determine snow water equivalent: (1) on a per pixel basis, (2) across swath-averaged spatial bands of approximately 850 km², and (3) on a watershed scale. The algorithms were evaluated to see if they captured the annual spatial distribution in snow water equivalent over the watershed. Results show that the algorithms developed by Chang and from this research are generally within 3 cm of the spatially averaged snow water equivalents over the entire watershed. The algorithms produced by Chang, Tait, and in this research were able to predict the basin-wide ground measured snow water equivalent value within a percent error range from −32.4% to 24.4% in the years with a typical snowpack. None of the algorithms produce accurate results on a pixel-by-pixel scale, with errors ranging from −26% to 308%.     

Neural-Net Analysis of the Plasticity of ÉP-450 Ferrite–Martensite Steel with Different Alloying Element Concentrations

The results of a computational experiment with a neural-net model simulating the effect of the chemical composition on the plastic properties of ÉP-450 steel are presented. It is shown that computer-aided development of reactor steel with prescribed properties is, in principle, possible.