Research on Efficient Allocation Technology of Irrigation Water Resources Based on Hongmeng Operating System | IEEE Conference Publication | IEEE Xplore