Q((31)^(1/2))中单位生成的两个递归数列中的Pronic数问题

研究了二次域Q((31)^(1/2))中单位V_n+U_n(31)^(1/2)=(1 520+273(31)^(1/2))~n(n∈Z)所给出的两个递归数列{V_n},{U_n}中的Pronic数问题,获得了{V_n}中不存在Pronic数,{U_n}中仅有Pronic数U_0=0的结果,其中1520+273(31)^(1/2)是Q((31)^(1/2))中的基本单位.利用上述结果,得到了两个不定方程的所有整数解.

Pell伴随数列中Pronic数的存在性

利用Pell方程和Petr方程解的性质,得到了数列A(D)中含有Pronic数的四个必要条件,并证明了当D≤20时,数列A(D)仅当D=3时含有Pronic数,推广了相关文献的结果.

二次域Q(7^(1/2))的单位给出的Pronic数及相关的不定方程问题

研究了二次域Q(7^(1/2))中单位V_n+U_n7^(1/2)=(8+3 7^(1/2))~n所给出的两个递归数列{V_n},{U_n}中的Pronic数问题,找到了{V_n},{U_n}中的所有的Pronic数.作为应用,给出了与其相关的两个不定方程的整数解.

Standardization of BIM Objects: Development of a Proposal for Portugal

The management of information systems contributes to the economic development of the construction sector by organizing and structuring technical and economic information. It is proposed how BIM (Building Information Modelling) and a Portuguese information system-ProNIC (abbreviation for Protocol for the Standardization of Construction Technical Information) may be interconnected. The scope of this information transmission in construction sector is a step to solve several problems that have been identified in conception of BIM models.