The Navy’s next big research program wants to make the sea service’s software algorithms much, much smarter — so much so that they can automatically detect concealed threats based on incomplete data.