因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。
Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing-modular monadic slicing.
适用于地质、冶金、建材、煤炭、石油等工业实验室切取矿样及其他材料如玻璃、陶瓷、玉石、石英、金属试样切片。
It serves to slice mineral sample in industrial laboratory of geology, metallurgy, building materials, coal and petroleum and so on.
然后，将载玻片从冷冻室中取出，轻推塑料环，即可使包埋在塑料环内的切片与载玻片分离。
Then take the slide out of the freezing chamber and push the plastic ring on the slide. Thus the section in the plastic ring is easily separated from the slide.
应用推荐