Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Automorphisms of Green Orders and Their Derived Categories

In an earlier paper, Raphaël Rouquier and the author introduced the group of self-equivalences of a derived category. In the case of a Brauer tree algebra, we determined a nontrivial homomorphism of the Artin braid group to this group of self-equivalences. The class of Brauer tree algebras include blocks of finite group rings over a large enough field with cyclic defect groups. In the present paper we give an integral version of this homomorphism. Moreover, we identify some interesting arithmetic subgroups with natural groups of self-equivalences of the derived category.     

法庭会话中的问句分析

问句是法庭会话的基础和特征。通过对三场典型法庭审判中的问句进行定性的分析，归纳出问句的类型及其功能，进而揭示出法庭会话这一法律诉讼文体的特征。     

An efficient fault-tolerant decentralized commit protocol for single site failure

To maintain consistency on a distributed database system, a commit protocol is often employed to ensure that either all the sub-transactions of a transaction commit or all abort. Special care needs to be taken to ensure the correct functioning of a commit protocol in the face of node failures during the execution of the protocol. A protocol is said to be fault-tolerant if it properly commits or aborts, even if nodes fail.In this paper, we present a fault tolerant decentralized commit protocol which is message optimal in the absence of failures. Furthermore, the protocol (FTDCP) ensures that all sites can achieve a consistent final decision by at most 4 extra messages in the single site failure situation.     

群分次环的Clifford转移定理的推广

本为曾吉等人的章(献[1])的继续．曾的章推广了单模情形下分次环的Clifford直接理论．得到了对有限生成半单分次模情形下的Clifford直接理论．在此基础上．将单模上分次环的Clifford转移理论推广到有限生成半单模上的分次环的Clifford转移理论．     

基于脉搏波数学模型的运动员运动状态判别方法

针对利用运动员脉搏波信息对其运动状态(高强度运动、平静)进行判别,并减少身体状态的随机性对脉搏波特征信息的影响问题,提出了一种对原始脉搏波信号进行建模进而提取特征信息进行状态判别的方法.利用训练-测试的二分类分析方式,对运动员的心率状态进行判别,以分析运动员的运动状态,辅助其进行运动训练工作.实验通过对10名运动员志愿者在不同状态下进行脉搏波采集,对预处理后的原始信号进行函数建模并提取生理信息,利用SVM进行监督训练和测试.结果表明,该方法能够对运动员心率状态进行有效判别,得到运动员的运动状态.     

A Survey of Listening——Obstacles in College English Teaching

Listening is an essential component of communication in human life. It's also a basic skill in English learning. But for most college students, among listening, speaking, reading and writing skills, listening is the most difficult one. This paper was designed to survey the English listening obstacles in college and focuses on the categories of the listening obstacles in English teaching in college. From the paper, the readers can have a general idea about English listening obstacles and get some useful advices from the participants.     

A categorical invariant for cubic threefolds

We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism class.     

Action of the Cremona group on a noncommutative ring

The Cremona group acts on the field of two independent commutative variables over complex numbers. We provide a noncommutative algebra that is an analog of a noncommutative field of two independent variables and prove that the Cremona group embeds in a group of outer automorphisms of this algebra. We give two proofs of it, the first proof is technical, the second one is conceptual and proceeds through a construction of a birational invariant of an algebraic variety from its bounded derived category of coherent sheaves.