Type System Completeness and Correctness CheckerThe project is to develop a program much like Alloy (download from Daniel Jackson's site at MIT) that will work specifically with type systems of experimental languages that will produce counter examples or illustrative examples of code fragements corresponding to type systems. The main difference from Alloy would be the concrete syntax used for counter exampes, which would not be OO-like class diagrams, but type strings such as Dictionary<string, alpha>Frequency Domain Audio Editor or AutoTuner.Audio processing programs such as Celemony work in the frequency domain. Recently, programs that work this way have been used to tune up out-of-tune singing in real time or offline. Atares Autotune is the leading product. Rather than just pitch correction, noise or sound removal is also possible. Melodyne implements frequency domain feature detection combined with an editor GUI. Click removal and motor noise removal are related projects. If you achieved a first or 2-I in part Ib and understand fourier transforms then D Greaves would be interested in supervising a project in this area. Motor Noise RemovalVideo recorders with built-in microphones can often pick up motor noise. However, repetitive noise can often be cancelled using adaptive equalisers and such techniques can usefully be applied to the sound track of a video recording. Doing it offline allows the algorithms to scan forward and backwards in time or use transforms to alternate domains. Motor noise may gradually change in pitch as a recording proceeds, and may be subject to low-frequency wowing. An adaptive equaliser that specifically models and utilises these features would be interesting. DJG can provide some sample recordings as WAV files, including raw motor noise for practice runs. The project would evaluate various algorithms on real and synthetic motor noises in terms of StoN improvement. If you achieved a first or 2-I in part Ib and understand fourier transforms then D Greaves would be interested in supervising a project in this area. |