A method is provided for modifying an image. The method comprises displaying an image, the image comprising a portion of an object; and determining if an edge of the object is in a location within the portion. The method further comprises detecting movement, in a member direction, of an operating member with respect to the edge. The method still further comprises moving, if the edge is not in the location, the object in an object direction corresponding to the detected movement; and modifying, if the edge is in the location, the image in response to the detected movement, the modified image comprising the edge in the location.

Information processing apparatus, information processing method and program

A decision method for elementary algebra and geometry

A data storage and retrieval device and method is disclosed. The device includes at least one magnetic storage medium configured to store target data and at least one re-configurable logic device comprising an FPGA coupled to the at least one magnetic storage medium and configured to read a continuous stream of target data therefrom, having been configured with a template or as otherwise desired to fit the type of search and data being searched. The re-configurable logic device is configured to receive at least one search inquiry in the form of a data key and to determine a match between the data key and the target data as it is being read from the at least one magnetic storage medium. This device and method can perform a variety of searches on the target data including without limitation exact and approximate match searches, sequence match searches, image match searches and data reduction searches. This device and method may be provided as part of a stand-alone computer system, embodied in a network attached storage device, or can otherwise be provided as part of a computer LAN or WAN. In addition to performing search and data reduction operations, this device may also be used to perform a variety of other processing operations including encryption, decryption, compression, decompression, and combinations thereof.

Intelligent data storage and processing using fpga devices

This paper presents new results that allow one to compute the set of states that can be robustly steered in a finite number of steps, via state feedback control, to a given target set. The assumptions that are made in this paper are that the system is discrete-time, nonlinear and time-invariant and subject to mixed constraints on the state and input. A persistent disturbance, dependent on the current state and input, acts on the system. Existing results are not able to address state- and input-dependent disturbances and the results in this paper are, therefore, a generalization of previously published results. One of the key aims of this paper is to present results such that one can perform the relevant set computations using polyhedral algebra and computational geometry software, provided the system is piecewise affine and the constraints are polygonal. Existing methods are only applicable to piecewise affine systems that either have no control inputs or no disturbances, whereas the results in this paper remove this limitation. Some simple examples are also given that show that, even if all the relevant sets are convex and the system is linear, convexity of the set of controllable states cannot be guaranteed.

/pdf/reachability-analysis-of-discrete-time-systems-with-4mpzsqbtkq.pdf

Reachability analysis of discrete-time systems with disturbances

Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key, and the process of encryption is reversed by decryption which uses the same user-supplied key. Block ciphers are fundamental to modern cryptography, in fact they are the most widely used cryptographic primitive useful in their own right, and in the construction of other cryptographic mechanisms. In this book the authors provide a technically detailed, yet readable, account of the state of the art of block cipher analysis, design, and deployment. The authors first describe the most prominent block ciphers and give insights into their design. They then consider the role of the cryptanalyst, the adversary, and provide an overview of some of the most important cryptanalytic methods. The book will be of value to graduate and senior undergraduate students of cryptography and to professionals engaged in cryptographic design. An important feature of the presentation is the authors' exhaustive bibliography of the field, each chapter closing with comprehensive supporting notes.

The Block Cipher Companion

Some important classes of optimization problems originating from the optimal design of semiconductor memories such as SRAM, aiming at boosting the yield rate, are studied. New optimization methods for the classes based on a symbolic algorithm called quantifier elimination, combined with numerical computation, are proposed. The total efficiency of the design process is improved by reducing the number of numerical yield-rate evaluations. In addition, useful information such as the explicit relations among design variables, objective functions, and the yield rate, is provided.

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

We analyze the security of the SEED block cipher against differential attacks. SEED is a 16-round Feistel cipher developed by the Korea Information Security Agency. The SEED proposers estimated their cipher against differential cryptanalysis in a self-estimation document and found a six-round differential characteristic with probability 2 -130 . We present an improved method of examining the differential characteristics of SEED and show three six-round differential characteristics with probability 2 -124 . These characteristics allow us to attack seven-round SEED, which surpasses the proposers estimation. Our differential attack needs 2 126 chosen-plaintext pairs and 2 126 computations of the F function to deduce the subkey used in the last round of seven-round SEED.

Differential cryptanalysis of a reduced-round SEED

A design support apparatus for determining a plurality of objective functions for modeling an object having a plurality of elements, each of the elements providing variable geometrical parameters, the design support apparatus includes a memory for storing the variable geometrical parameters and a processor for executing a process including: determining boundary information associated with specified geometrical parameters of the elements which indicate a state of contact between the elements, dividing the variable geometrical parameters into a plurality of groups on the basis of the boundary information, and determining the plurality of objective functions for each of the groups by using the variable geometrical parameters.

Design support apparatus

A design support apparatus includes: a logical expression substitution unit to substitute a part of the logical expression, which includes a function expression of the design variables and a quantifier attached to the design variable, with a substitution variable; a quantifier elimination unit to generate a relational expression including the substitution variable and design variables without the quantifier by eliminating the design variable to which the quantifier is attached from the logical expression; a sampling point generation unit to generate a plurality of sampling points corresponding to the design variables and the substitution variable included in the relational expression; a possible range computation unit to compute, for each of the sampling points, a possible range that the relational expression may take, by calculating values of remaining design variables included in the relational expression based on the relational expression; and a possible range display unit to display the possible range.

Support apparatus and method

PROBLEM TO BE SOLVED: To suggest a plurality of design shapes close to Pareto optimal solution to provide a hint for thinking of a new base shape by displaying the Pareto optimal solution based on an objective function and allowing analysis of a set of design parameters mapped close to the optimal solution. SOLUTION: A logical expression showing logical relation between optional two or three objective functions of a plurality of expression-approximated objective functions is calculated (101-104), and a possible area in an optional objective space is displayed based thereon (105). According to position designation on the possible area by a user, the set of the design parameters in a design space corresponding to a neighborhood area of a position in the objective space based on the position designation is calculated (106, 107). The calculated set of the design parameters is classified into a plurality of groups, and a representative design shape corresponding to each group is calculated and displayed (108, 109). COPYRIGHT: (C)2010,JPO&INPIT

Hitoshi Yanami

Papers

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

Differential cryptanalysis of a reduced-round SEED

Design support apparatus

Support apparatus and method

Device and method for classifying/displaying design shape having similar property and different shape, and program