关于不定方程x3-1=749y2

利用同余式、平方剩余、Pell方程的解的性质、递归序列证明了:不定方程x³-1=749y²仅有整数解(x,y)=(1,0).     

双重Stone代数的主同余关系

给出了双重Stone代数的主同余关系θ(a,b)(a≤b)的等式刻划以及其它的一些性质,由此得到了主同余关系θ(a,b)(a≤b)存在Boo le-补的若干充分条件.     

三项指数和四次均值的精确计算公式(2)

本文进一步深入研究了三项指数和四次均值的计算问题.运用指数和的相关性质并结合求解同余方程组的方法与技巧,利用两种不同的方法获得了两个精确的均值计算公式,揭示了三项指数和的计算与同余方程组解的个数之间的本质联系,推广了已有的结果.     

On a difference equation of the second order with an exponential coefficient

This paper is devoted to a generalization of some previous results, as we completely solve a linear homogeneous difference equation of the second order with an exponential coefficient.     

序半群Quantale完备化的进一步结果

本文给出了序半群上幂集Quantale的最大拓扑闭包的具体形式,即序半群的最小Quantale完备化.在此基础上,证明了Quantale范畴Quant是序半群范畴OSGrp*的满的反射子范畴.最后,给出了序半群Quantale完备化的一个应用.     

Semantic congruence in audio–haptic simulation of footsteps

In this paper we present an experiment whose goal is to investigate subjects’ ability to match pairs of synthetic auditory and haptic stimuli which simulate the sensation of walking on different surfaces. In three non-interactive conditions the audio–haptic stimuli were passively presented through a desktop system, while in three interactive conditions participants produced the audio–haptic feedback interactively while walking. Results show that material typology (i.e., solid or aggregate) is processed very consistently in both the auditory and haptic modalities. Subjects expressed a higher level of semantic congruence for those audio–haptic pairs of materials which belonged to the same typology. Furthermore, better matching ability was found for the passive case compared to the interactive one, although this may be due to the limits of the technology used for the interactive haptic simulations.     

一些同余问题的例外集合

利用特征和与指数和的估计,研究了一些同余问题的例外集合.具体来说,设p为充分大的素数,集合Y■Zp,正整数N相似文献   

全变换半群Tn 与对称逆半群ISn 之间的同态

刻画了有限集合N上全变换半群T_n 与对称逆半群IS_n 之间的所有同态.     

椭圆曲线y~2=x~3-21x+90的正整数点

利用初等方法证明了椭圆曲线y~2=x~3-21x+90无正整数点.