Institutional Repository
| 有限模型生成及其应用 | |
| 张健 | |
| 1994 | |
| Degree Grantor | 中国科学院软件研究所 |
| Degree Level | 博士 |
| Place of Degree Grantor | 中国科学院软件研究所 |
| English Abstract | 本论文主要研究有限模型自动生成的技术及其应用。模型生成是指给定一个逻辑公式（或一组逻辑公理），自动地构造出它的有限模型。从理论上讲，自动构模的复杂度太高，因而限制了其应用。但是在某些实际应用中，它仍然是可行的。这篇论文主要是研究提高模型生成器效率的技术，并探索这类工具的应用。针对小理论，发展了一种在搜索空间中消除同构的方法。它可以大大提高构模的效率。基于这种消除同构的方法，我们实现了一个程序。实验结果表明，该程序在很多代数问题上效率较高。解决一些数学问题。 |
| Abstract | This thesis is concerned with the techniques and applications of finite model generation. Model generation means the automated construction of models of a given logical formula. Theoretically speaking, automatic model generation suffers from high complexity and can find few applications. But in practice, it may be feasible in some cases. |
| Pages | 52 |
| Language | 中文 |
| Content Type | 学位论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/6242 |
| Collection | 中科院软件所_中科院软件所 |
| Recommended Citation GB/T 7714 | 张健. 有限模型生成及其应用[D]. 中国科学院软件研究所. 中国科学院软件研究所,1994. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| N90450.pdf（1433KB） | 限制开放 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment