The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and c...

In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml, an actorand goal-oriented security requirements modelling language for Socio-Technical Systems (STSs). STS-Tool allows designers to model a socio-technical system at a high-level of abstraction, while expressing constraints (security needs) over the interactions between the actors in the STS, and derive secu...

The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and c...

International’s FLAKEY were the firstand secondplace finishers, respectively, at the 1992 Robot Competition sponsored by the American Association for Artificial Intelligence. The two teams used vastly different approaches in the design of their robots. Many of these differences were for technical reasons, although time constraints, financial resources, and long-term research objectives also pla...

This paper presents technical specification to define temporal constraints for communication networks. Temporal statuses are generated to test the temporal validity of the exchanged data. Simulations are done to prove the validity of our model for sensors' communications.

INTOR: CRITICAL ANALYSIS OF INTOR-LIRE DESIGNS. A critical and comparative analysis of existing INTOR-like designs has been made. The national designs of the four MOOR Partners and the physical and technical constraints on which they are based have been evaluated. The modelling methods used in reactor design have been further developed and compared to test their consistency. Deep insight into t...

LINKÖPING Technical reports from the Automatic Control group in Linkk oping are available as UNIX-compressed Postscript les by anonymous ftp at the address ftp.control.isy.liu.se. Abstract. The computation of possible stationary orientations of an aircraft subjected to constraints on actuators is treated using methods from computer algebra. The same techniques are also used to investigate possi...

the iranian ministry of energy commands the regional electrical companies to install dg resources at 63kv/20kv substations and at the end of 20kv lines. the first and foremost challenge in installing these resources is deciding on the optimal place and capacity of these resources. this paper is aimed to propose an appropriate algorithm for siting and sizing such resources in bakhtar regional el...

Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of solution symmetries, and two different types of symmetry-breaking constraints to eliminate these symmetries at the modelling level. We discuss some preliminary computational results.

As experimentalists step up their pursuit of cold dark matter particles and neutrino masses, cosmological constraints are tightening. We compute the joint constraints on 11 cosmological parameters from cosmic microwave background and large scale structure data, and find that at 95% confidence, the total (cold+hot) dark matter density is hΩdm = 0.20 +.12 −.10 with at most 38% of it being hot (du...