期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
三素元组猜想对于Peano公理组的条件独立性
1
作者 马鑫 沈复兴 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第4期360-361,共2页
用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.
关键词 三素元组 Peano公理组 紧致性定理 模型
下载PDF
Chronological Restoration of Fort Frontenac in 3D for Heritage Visualization
2
作者 Mitsuyoshi Yabe Elizabeth Goins +3 位作者 Chris Jackson David Halbstein Shaun Foster Sue Bazely 《Journal of Civil Engineering and Architecture》 2015年第12期1463-1473,共11页
This paper is composed of three elements: 3D modeling, web design and heritage visualization on the basis of the chronological restoration of Fort Frontenac in 1673, 1675, 1680, 1685 and 1688, changing from narrow an... This paper is composed of three elements: 3D modeling, web design and heritage visualization on the basis of the chronological restoration of Fort Frontenac in 1673, 1675, 1680, 1685 and 1688, changing from narrow and plain to broad, grand features. The aim is to use computer graphic design to inform and create an interest in historical visualization by rebuilding Fort Frontenac using 3D modeling and interactive design. The final model can be integrated into an interactive website to learn more about the fort's historic importance. It is apparent that using computer graphics can save time and money when it comes to historical visualization. Visitors do not have to travel to the actual archaeological buildings and can simply use the web in their own homes to learn about this information virtually. In order to create a sophisticated restoration of archaeological buildings, meticulously assessing historical records will draw viewers into the visualizations, such as the historical world of Fort Frontenac. As a result, the completed restoration allows the viewers to effectively understand the fort's social system, habits and historical events. 展开更多
关键词 Heritage visualization 3D computer graphics interactive virtual design web design effective usage of learning.
下载PDF
Two-parameter families of uniquely extendable Diophantine triples
3
作者 Mihai Cipu Yasutsugu Fujita Maurice Mignotte 《Science China Mathematics》 SCIE CSCD 2018年第3期421-438,共18页
Let A and K be positive integers and ε∈ {-2,-1,1,2}. The main contribution of the paper is a proof that each of the D(ε~2)-triples {K, A^2 K+2εA,(A +1)~2 K + 2ε(A+1)} has uniqui extension to a D(ε~2)-quadruple. ... Let A and K be positive integers and ε∈ {-2,-1,1,2}. The main contribution of the paper is a proof that each of the D(ε~2)-triples {K, A^2 K+2εA,(A +1)~2 K + 2ε(A+1)} has uniqui extension to a D(ε~2)-quadruple. This is used to slightly strengthen the conditions required for the existencc of a D(1)-quintuple whose smallest three elements form a regular triple. 展开更多
关键词 Diophantine m-tuples Pell equations hypergeometric method linear forms in logarithms
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部