An exact approach is developed to determine the optimum machining conditions and tool allocation decisions simultaneously to minimize the total production cost on a CNC turning machine. There are multiple machining operations and we consider a set of alternative cutting tool types for each operation. The existing tool management approaches at the system level fail to relate the tooling issues t...

Additive layer manufacturing is emerging as the next generation in part manufacture. It is being adopted by aerospace, tool making, dental and medical industries to produce and develop new conceptual designs and products due to its speed and flexibility. It has been noted that parts produced using additive layer manufacturing are not to a consistent quality. Variations have been recorded showin...

Existing algorithms for learning Boolean networks (BNs) have time complexities of at least O(N · n), where n is the number of variables, N is the number of samples and k is the number of inputs in Boolean functions. Some recent studies propose more efficient methods with O(N · n) time complexities. However, these methods can only be used to learn monotonic BNs, and their performances are not sa...

In this paper, we propose an e cient method of constructing states in bottom-up tree pattern matching with dynamic programming technique for optimal code generation. This method can be derived from some relations over tree patterns. The proposed scheme is more e cient than other scheme because we can avoid unfruitful tests with the smaller size of the scheme. Furthermore, the relevant analyses ...

Most computer systems require user authentication, which has led to an increase in the number of passwords one has to remember. In this paper we explore if spatial visual cues can be used to improve password recollection. Specifically, we consider if associating each character in a password to user-defined spatial regions in an image facilitates better recollection. We conduct a user study wher...

The vigenere is weak because of key periodicity, but the fake one-time pad based on a random number generator removes that periodicity. This fake one-time pad, however, requires seed-based random number generation and it is therefore a mathematical linear sequence, which lends itself to various flaws as well. I propose that the vigenere can be modified from its base implementation, without rely...

We show that the new pseudo-random number function, introduced recently by M. Naor and O. Reingold, possesses one more attractive and useful property. Namely, it is proved that for almost all values of parameters it produces a uniformly distributed sequence. The proof is based on some recent bounds of character sums with exponential functions. ( 2001 Academic Press

The Square Wave Method (SWM), previously introduced for the analysis of signals and images, is presented here as a mathematical tool suitable for the analysis of time series and signals. To show the potential that the SWM has to analyze many different types of time series, the results of the analysis of a time series composed of a sequence of 10,000 numerical values are presented here. These va...

MITRE'S Evolvable Real-Time Comma& Control, and Communications (C3) project funa'ed under the Air Force Mission Oriented Investigation and Experimentation (MOIE) program attempts to develop an approach that would enable current real-time systems to evolve into the systems of the future. The project has chosen Airbonze Warning and Control System (AWACS) as an example to test the concepts and arc...