排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。 相似文献
5.
网格监控系统研究 总被引:4,自引:0,他引:4
The monitoring system is very critical for complex and large high-performance distributed system such as a Grid. With the help of a monitoring system the users and developers of a Grid can perform tasks such as fault-detec-tion and diagnosis, performance analysis and tuning and performance prediction. And a good monitoring system can give useful data to the scheduling module of the Grid. This paper gives a detailed presentation and analysis of the key techniques of a grid monitoring system, and points out the research directions of the grid monitoring system based on current research around the world. 相似文献
6.
7.
与液态发酵相比,固态转化具有体积小、转化效率高、无基质抑制、便于提取、安全环保等优点。该研究首先通过单因素试验筛选出根霉(Rhizopus sp.)UJS-0602固态转化坎利酮生成11α-羟基坎利酮最适合的碳源、氮源、无机盐、营养因子种类及试验水平,且确定了较为适合的水分含量和底物添加量,再通过L16(45)正交试验研究了葡萄糖、硫酸铵、甘氨酸添加量以及水分含量、底物添加量对坎利酮转化率的影响。结果表明,固态发酵最适的培养条件为葡萄糖1%,硫酸铵0.6%,甘氨酸0.8%,底物添加量12%,料水比为1.0∶1(g∶mL)。在此条件下,坎利酮转化率可达到94.21%。 相似文献
8.
选用啤酒糟(BDG),玉米残渣(MO)和小麦碎屑(WO)3种农业副产品作为样品,分别使用黑曲霉,黄曲霉及青霉进行固态发酵之后,其中的蛋白质、糖以及纤维素的含量都将发生改变。利用这3株菌种分别发酵14d后, 3种样品中纤维素的含量都显著减少;其中,使用黑曲霉发酵的样品中纤维素含量减少的最多。发酵14d内可溶性的糖也相应增加,超过14d可溶性糖类含量开始下降,纤维素的含量也不再有显著的减少。经过发酵,BDG、MO和WO中粗蛋白的含量也有显著增加。14d后,利用黑曲霉发酵的WO,其蛋白质含量增加50%。研究结果表明,这些农业副产品通过此技术可提高其作为动物饲料的经济价值。 相似文献
9.
10.