Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

Abstract We prove that there are non-recursive r.e. sets A and C with A < _T C such that for every set . Both authors are supported by “863” and the National Science Foundation of China     

A Property of <Emphasis Type="Italic">g</Emphasis>-Expectation

This paper proves that, under the hypothesis g(t, 0, 0) ≡ 0 and some natural assumptions, the generator g of a backward stochastic differential equation can be uniquely determined by the corresponding g-expectations with all terminal conditions. The main result of this paper also confirms and extends Peng Shige‘s conjecture.     

大学物理实验开放式教学的实现

提出了开展大学物理实验开放式教学的具体实现方法及步骤。     

二次域Q（√7）的单位给出的三角数及相关的不定方程问题

研究了二次域Q（√7）中单位Vn＋Un√7）=（8＋3√7）n所给出的两个递归数列{Vn},{Un}中的三角数问题,找到了{Vn},{Un}中的所有的三角数.作为应用,给出了与其相关的两个不定方程的整数解.     

基于正极性或-符合展开的易测性网络

为提高数字电路的可测性，提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现，并给出了测试网络中所有单固定故障的通用测试集．该实现基于逻辑函数的正极性或-符合展开，网络的同或部分分别采用了串联和树形结构．为提高可测性，同或串的实现结构只需增加1个控制端及1个观察端，同或树的实现结构只需增加3个控制端及1个观察端．对于1个n变量的逻辑函数，两种实现结构下通用测试集的基数分别为（n＋4）和（n＋5）．这样短的通用测试集非常适合用内建自测试实现，从而有效地缩短测试时间．     

二次域Q(√3)的单位给出的两个递归数列中的三角数问题

对二次域Q(√3)中单位Vn Un√3=(2 √3)n所给出的两个递归数列{Vn},{Un}中的三角数问题进行研究,给出了完整的结果.作为应用,解决了与其相关的两个不定方程问题.     

关于不定方程3x(x+1)(x+2)(x+3)=10y(y+1)(y+2)(y+3)

通过利用pell方程、递归序列、平方剩余、Legendre符号、同余关系等初等证明方法,并利用Mathematica软件对Legendre符号等进行计算,证明了方程3x(x+1)(x+2)(x+3)=10y(y+1)(y+2)(y+3)共有16组整数解,并且无正整数解.     

新书评介

电子陶瓷情报网编的《压电陶瓷应用》一书,于1985年8月由山东大学出版社出版.压电陶瓷是声学中广泛应用的电-声换能材料,由压电陶瓷做成的各种声学器件,是一些声学仪器、设备中的关键部件.该书从实用角度出发,对压电陶瓷在各类声学仪器中的作用、工作机理与方式等,给予了简要的说明;对一些典型的换能器,给出了设计的考虑原则、制做工艺、计算公式,并给出了具体结构的实例. 全书共分七章:第一章“在高电压发生装置中的应用”,介绍了压电陶瓷点火器、变压器、玩具遥控信号发生器、压电按扭开关等;第二章“在电声等设备上的     

Max-Lukasiewicz复合推理下的模糊图灵机

研究max-Lukasiewicz复合推理下的模糊图灵机.形式化定义了模糊图灵机--确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研究了这几类模糊图灵机的关系.进而定义模糊图灵机上的模糊递归可枚举语言和模糊递归语言.得出结论:当接受模糊递归可枚举语言时 ,非确定型模糊图灵机和确定型模糊图灵机不等价;而接受模糊递归语言时,它们等价.     

用摄动配置方法求解含时薛定谔方程

将摄动配置方法应用到含时薛定谔方程,在计算实现的基础上结合摄动配置的特征提出了一类新的数值积分方法,并给出了一个2级2阶和一个3级4阶的辛摄动配置方法对含时薛定谔方程的数值算例.为了检验新的数值积分方法,我们还给出了与两个辛摄动配置格式在理论上等价的辛龙格-库塔方法以及同阶的非辛方法的数值模拟.展示了一些数值结果,并给出了一些分析.