搜索结果: 1-4 共查到“理学 automated generation”相关记录4条 . 查询时间(0.188 秒)
iGen 0.1: a program for the automated generation of models and parameterisations
automated generation models parameterisations
2014/12/9
Complex physical systems can often be simulated using very high resolution models but this is not always practical because of computational restrictions. In this case the model must be simplified or p...
iGen 0.1: the automated generation of a parameterisation of entrainment in marine stratocumulus
automated generation parameterisation entrainment in marine stratocumulus
2014/12/9
In a previous paper we described a new technique for automatically generating parameterisations using a program called iGen. iGen generates parameterisations by analysing the source code of a~high res...
Automated Generation of Readable Proofs with Geometric Invariants II. Theorem Proving With Full-Angles
Automated reasoning automated geometry theorem proving method based on angle forward chaining backward chaining
2013/9/9
We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We also disc...
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation
Automated reasoning automated geometry theorem proving area method multiple proof shortest proof
2013/9/9
In this series of papers, we discuss how to use a ˉxed set of high level geometry lemmas or rules related to geometric invariants, such as area, full-angle, etc., to produce short and human-readable p...