Visualizing “typical” and “exotic” Internet traffic data

The threat of cyber attacks motivates the need to monitor Internet traffic data for potentially abnormal behavior. Due to the enormous volumes of such data, statistical process monitoring tools, such as those traditionally used on data in the product manufacturing arena, are inadequate. “Exotic” data may indicate a potential attack; detecting such data requires a characterization of “typical” data. We devise some new graphical displays, including a “skyline plot,” that permit ready visual identification of unusual Internet traffic patterns in “streaming” data, and use appropriate statistical measures to help identify potential cyberattacks. These methods are illustrated on a moderate-sized data set (135,605 records) collected at George Mason University.     

“Paraprogramming” manufacturing information systems

Computer integrated manufacturing (CIM) is creating unexpected problems for a growing number of manufacturing companies. Manufacturers are finding it especially difficult to attract programmers who are both willing and able to develop the highly complex software that integrates existing accounting, sales, production, engineering, and quality control information subsystems. Consequently, many companies abdicate their responsibility for manufacturing information systems and seek third party support ranging from consulting assistance to a total takeover of the company's information resources and operations. Companies that “give away” their internal information system capabilities to third parties will ultimately lose control of their enterprise information, a danger to be avoided. Off-the-shelf software for desktop computers has become sufficiently powerful to help solve a major portion of this serious problem. We hypothesize that manufacturing engineers (and others) can be trained to use packaged software to leverage their company's systems programming capabilities. In effect they would become “paraprogrammers” who would help design, develop, and maintain manufacturing information systems. This new type of professional would not require a computer science or similar educational background, but could be trained to satisfy many specialized programming needs in a manner similar to how paramedics and paralegals are trained and used in the medical and legal professions, respectively. This paper reports on the early stages of research to determine whether or not product design engineers can use a desktop relational database management system and its various command languages to develop a master bill of material information system (BOMIS). The purpose of the research is to evaluate the amount of programming complexity reduction and increased operational effectiveness that can be achieved through paraprogramming by manufacturing engineers.     

Integration of “Components” to Test Software Components

We present an ongoing research project aimed at developing a framework for component-based testing, in which we re-use and suitably combine some existing tools: the system architecture and the components are specified by the UML, and specifically the recently proposed UML Components methodology; the test cases are derived by applying the Cow_Suite, an environment for UML-based testing, previously conceived for the integration testing of OO systems; and the tests are codified and executed within the CDT, a framework under development, allowing for the decoupling between the abstract specification of tests, which is made against an architectural model, and their concrete execution, which needs to take into account the component implementations.     

The depth of monotone Boolean functions with multi input “AND” and “OR” gates

The problem of maximum depth of monotone Boolean functions is investigated when k-input AND and OR gates are used for realisation.     

“Probability transforms” of digital pictures

Let g be any local property (e.g., gray level or gradient magnitude) defined on a digital picture. Let p_g(z) be the relative frequency with which g has value z. At each point (x,y) of the picture we can display p_g[g(x,y)], appropriately scaled; the result is called the p_g transform of the picture. Alternatively, we can use joint or conditional frequencies of pairs of local properties to define transforms. This note gives examples of such transforms for various gs and discusses their possible uses and limitations.     

Information retrieval expert system “matchmaker”

This paper describes the information system used to search for a potential matrimonial partner. The search is based on comparison of the subject's record, which consists of his/her answers to about 400 items of a specially designed questionnaire, to the records of the potential partners. The basic principle of the system is representation of the set of candidates for the client with psychological warnings about potential “conflict zones” in relationships between client and candidate rather than a ranking of candidates based on hypothetical “psychological compatibility” indices.     

Decision support for “messy” problems

Problems that are non-quantitative and not bound to a narrow knowledge domain have been served unsatisfactorily by decision support and expert systems. Alternative techniques that address this type of problem are explained here using two key concepts: problem type dependent process support and domain related knowledge. Process support refers to the program steps and the data items useful in finding the solution. Domain related knowledge is knowledge drawn from a specific domain, yet through abstraction applicable to a wider range of problems. Results of preliminary empirical analyses suggest that both concepts are useful.     

Alias types for “environment-aware” computations

In previous work with Bono we introduced a calculus for modelling “environment-aware” computations, that is computations that adapt their behavior according to the capabilities of the environment. The calculus is an imperative, object-based language (with extensible objects and primitives for discriminating the presence or absence of attributes of objects) equipped with a small-step operational semantics.In this paper we define a type and effect system for the calculus. The typing judgements specify, via constraints, the shape of environments which guarantees the correct execution of expressions and the typing rules track the effect of expression evaluation on the environment. The type and effect system is sound w.r.t. the operational semantics of the language.     

An ergonomic evaluation of VDTs“”

Eight VDTs of different trademarks were analysed in relation to the following properties:

( a) Contrasts of luminance between the screens on the one hand and source documents, as well as other surfaces of the VDT, on the other.

(b) Oscillation degree, sharpness and stability of characters.

( c) Face and legibility of characters.

( d) Dimensions, mobility and reflection degrees of the keyboards.

Special equipment was developed and standardized conditions were applied to the measurements.

The eight VDTs showed essential differences for all the parameters, which might be partially responsible for eye strain and postural complaints. It can be concluded that customers should pay more attention to ergonomic qualities when choosing a VDT. But such an endeavour remains useless if the customer does not, at the same time, look for a proper design of the whole workstation including the working environment.     

A Calculus for “environment-aware” computation

We present a calculus for modelling “environment-aware” computations, that is computations that adapt their behaviour according to the capabilities of the environment. The calculus is an imperative, object-based language with extensible objects, equipped with a labelled transition semantics. A notion of bisimulation, lifting to computations a correspondence between the capabilities of different environments, is provided. Bisimulation can be used to prove that a program is “cross-environment”, i.e., it has the same behaviour when run in different environments.