论文部分内容阅读
扩充析取逻辑程序的诱导语义
【机 构】
：
数学研究所
【出 处】
：
第四届中国人工智能联合学术会议
【发表日期】
：
1996年期
其他文献
该文对Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ可靠性增长模型的参数解牧场生进行了分析。通过分析得在Ｊ－Ｍ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。该文最后还给出了参数解估计的有效数值算法。
随着当前社会不断发展,人们的健康意识也得以不断提高,在这种情况下无公害蔬菜栽培也越来越广泛。在无公害蔬菜栽培过程中,为能够使蔬菜产量及品种均得到保证,应当对农业防治
该文对大型软件系统的结构化设计方法进行了分析和阐述，并说明了结构化设计方法的一般原则及衡量模块性能的几个指标；其目的是能使用这些方法，设计一个简单、可读、易修改的软件