Motorola

About: Motorola is a company organization based out in Schaumburg, Illinois, United States. It is known for research contribution in the topics: Signal & Communications system. The organization has 27298 authors who have published 38274 publications receiving 968710 citations. The organization is also known as: Motorola, Inc. & Galvin Manufacturing Corporation.

Variable frequency vibratory alert method and structure

Abstract: A portable vibratory alerting device (20) is part of a resonant system (20, 30) and has a resonant vibrator (60) for both generating a vibrational alert and sensing the resonant frequency of the resonant system. The vibrator (60) is driven by a variable frequency driver (76, 78), and thereafter the resonant frequency is measured by a sensor (82). A vibration controller (72) causes the frequency of the vibrator to be substantially equal to the resonant frequency of the system. Alternately, a portable alerting device (520) has both a vibrator (160) and a sensor (166) for sensing the amplitude of a vibratory alert at various frequencies. A vibration controller (72) generates a vibratory alert at an optimum frequency in response to the sensed amplitudes.

An industrial strength theorem prover for a logic based on Common Lisp

Abstract: ACL2 is a reimplemented extended version of R.S. Boyer and J.S. Moore's (1979; 1988) Nqthm and M. Kaufmann's (1988) Pc-Nqthm, intended for large scale verification projects. The paper deals primarily with how we scaled up Nqthm's logic to an industrial strength" programming language-namely, a large applicative subset of Common Lisp-while preserving the use of total functions within the logic. This makes it possible to run formal models efficiently while keeping the logic simple. We enumerate many other important features of ACL2 and we briefly summarize two industrial applications: a model of the Motorola CAP digital signal processing chip and the proof of the correctness of the kernel of the floating point division algorithm on the AMD5/sub K/86 microprocessor by Advanced Micro Devices, Inc.

Control channel provisioning and signaling

Abstract: There is provided a communication device and a base unit, and methods thereof, for determining control information. The communication device receives a control channel message associated with the communication device in a control region on a first carrier from a base unit. The communication device also determines a set of resources in a search space within the control region, attempts to decode the set of resources in the search space for the control channel message, and determines control information from the decoded control channel message. The base unit generates a control channel message comprising control information associated with the communication device, determines a set of resources in a search space within a control region, selects a subset of resources within the determined set of resources for transmitting the control channel message, and transmits the control channel message on the selected resources in the control region on a first carrier.

GPS GDOP metric

Abstract: The authors present a review of the GDOP metric as used in GPS. Their goal is to review this metric and many of its known bounds as well as to report some new results. They use a formal linear algebraic framework to aid further study and insight.

Dynamic maximum power point tracker for photovoltaic applications

Abstract: A dynamic process for reaching the maximum power point of a variable power source such as a solar cell is introduced. The process tracks maximum power nearly cycle-by-cycle during transients. Information from the natural switching ripple instead of external perturbation is used to support the maximizing process. The method is globally stable for DC-DC power converters, provided that a switching action is present. A prototype boost power converter that uses this method for control can follow power transients on time scales of a few milliseconds. This performance can be achieved with a simple analog control structure, which supports power processing with minimum loss.