简介：LetFbeafieldofcharacteristiczero.Wn=F[t(+1/2),t(+1/2),...,t(+1/n)]δ/δt1+...+F[t(+1/2),t(+1/2),...,t(+1/n)]δ/δtnistheWittalgebraoverF,Wn+=F[t1,t2...,tn]δ/δt+...+F[t1,t2...,tn]δ/δtnisLieshbalgebraofWn.ItiswellknownbothWnandWn+aresimpleinfinitedimensionalLiealgebra.InZhao'spaper,itwasconjecturedthatEnd(Wn^+)-{0}=Aut(Wn^+)anditwasprovedthatthevalidityofthisconjectureimpliesthevalidityofthewell-knownJacobianconjecture.Inthisshortnote,wechecktheconjectureaboveforn=1.WeshowEnd(W1^+)-{0}=Aut(W1^+).

简介：(n，f，k)：F(G)系统由n部件组成，系统失败(工作)如果并且仅当有至少f，没有通过(工作)部件或至少k连续失败(工作)部件。这些系统模型能在电子设备，在银行的自动支付系统，和炉子系统被使用。在这份报纸，我们介绍并且学习(n，f，k):F并且(n，f，k)：由加权的部件组成的G系统。递归的方程为这些新模型的可靠性评估被介绍。我们也在重量上提供一些条件代表加权--(n，f，k)系统象往常一样(n，f，k)系统。

简介：ＳＩＧＮ－ＲＥＶＥＲＳＡＬＰＲＯＰＥＲＴＹＦＯＲＦ－ＭＡＴＲＩＣＥＳＡＮＤＮ－ＭＡＴＲＩＣＥＳＸＵＳｏｎｇ（ＧｒａｄｕａｔｅＳｃｈｏｏｌ，ＣｈｉｎａＡｃａｄｅｍｙｏｆＲａｉｌｗａｙＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１０００８１，Ｃｈｉｎａ）Ａｂｓｔｒａ...

简介：这份报纸为基于F统计数值在高维的部分线性的模型测试回归系数建议一个测试过程。在部分线性的模型，作者首先由一些nonparametric方法估计未知非线性的部件然后概括F统计数值在一些常规条件下面测试回归系数。在这个过程期间，非线性的部件的评价带许多挑战探索概括F-test的性质。作者在更一般的盒子中获得概括F-test的一些asymptotic性质，包括asymptotic规度和有p/n的这测试的力量(0，1)没有规度假设。asymptotic结果是一般的，由增加一些限制条件，我们能在高维的线性模型获得类似的结论。通过模拟研究，作者与理论结果比较表明建议测试的好有限样品的性能。我们的方法的实际用途被一个真实数据例子说明。

简介：Thetraditionaluser-optimalassignmentmodelassumedthatthetrafficinformationisperfect,howerver,thelinktravelcostisAlwaysuncertainorfuzzyinrealsituations.ThepapergivesamodifiedFrank-Wolfemethodforfuzzyuser-optimalroutechoiceproblem.Theshortest-pathalgorithminF-Wissolvedbyanorderrelation(FSA)methodbetweenfuzzytravelcosts.Theresultsofasimpleexampleshowthatthemethodispractical.

简介：在这份报纸，为m厚度李重量的MacWilliams类型身份在\mathbbF2+u\mathbbF2\mathbb上为线性代码枚举符{F}_2+u\mathbb{F}_2被决定。作为这身份的一个应用程序，作者在\mathbbF2m+u\mathbbF2m\mathbb上为线性代码在李重量上获得MacWilliams类型身份{F}_{2^m}+u\mathbb{F}_{2^m}。而且，作者由利用Krawtchouk多项式为m厚度李重量分布证明两重性。

简介：庇护重量枚举符，完全的重量在戒指R=F上为线性代码枚举符2+uF2+vF2被定义并且从R的灰色的地图n到F23n被构造。由证明灰色在R上自我双的代码想象的事实是在F上的自我双的代码2,并且基于为Hamming的MacWilliams身份，重量在F上线性代码枚举符2,MacWilliams为李重量的身份在R上线性代码枚举符被给。进一步由介绍特殊可变t，为完全的重量的MacWilliams身份在R上线性代码枚举符被获得。最后，说明二MacWilliams身份的正确性和功能的一个例子被提供。

简介：摘要：针对目前数字信号处理领域中的高频噪声滤除的需求，提出了一种基于DSP的IIR低通数字滤波器的解决方案。首先在MATLAB中仿真出符合要求的二阶IIR低通数字滤波模型，然后通过SIMULINK中搭建仿真模型验证滤波器的正确性，最后在DSP中通过C语言实现滤波算法。DSP的高性能、浮点运算快等特点可以很好的解决数字滤波算法工程实际应用的难题，该方法实现简单，稳定可靠，具有很好的工程实践价值。

简介：

简介：摘要：在煤矿综采工作面回采过程中，设计合理的通风方式可以减小工作面的漏风量，同时还可以减小通风阻力。为了进一步对沿空留巷通风系统的研究，本文将结合50120工作面的实际情况，优化沿空留巷段原有的矩形通风系统，设计W型与Z型通风系统，提高综采工作面的通风效果，减小通风阻力。

简介：

简介：

简介：

简介：根据计算术语学的原理，使用有限状态转移网络对单词型术语进行自动分析。首先以英语术语为例，介绍了有限状态转移网络的基本原理和分析过程，然后分别讨论了德语、法语和汉语的单词型术语的自动分析问题，最后讨论了分析结果的表示形式。

简介：

简介：当今中国，“服务型政府”是最热门的社会术语。它代表了新一届政府执政为民的决心，也是祖国繁荣民族振兴的希望。温家宝总理在政府工作报告中明确提出“建设服务型政府”的要求，表达了新的执政理念。随着中国经济的快速发展和改革开放的不断深入，人民群众对物质文化生活的需求日益提高，并呈现多元化的趋势。人们已经不满足于衣食住行质量的提高，

简介：摘要本文主要讨论一种发电型电梯地坎，该发电型电梯地坎包括层门地坎、层门地板、发电系统、电能传输系统，发电系统包含振动发电装置、滤波电路、整流电路、调压电路（包含放大电路、保护电路、控制电路）、储能设备，电能传输系统采用无线电能传送方式，包含电能发射端、电能接收端。发电系统安装在每一楼层电梯的层门地坎以及层门地板下面，电能传输系统的电能发射端通过机械连接方式固定在层门附近，其外表面与井道内壁齐平，电能传输系统的电能接收端安装在轿箱顶部。发电系统通过电连接到电能传输系统的电能发射端，再通过电磁感应原理将电能传送到电能传输系统的电能接收端，再通过电连接将电能输送给用电设备。

简介：基于对干扰卫星上、下行链路的可行性分析,研究了一种空间连接型宽带干扰机。该装置主要从连接模块和干扰模块的结构和功能方面进行了设计。具体来说,连接模块连接到卫星表面,解决了远距离信号传输的功率损耗问题,实现了装置的小型化;干扰模块通过发射宽带噪声信号,实现了对微波全频段（100MHz～18GHz）卫星上行链路及其转发器的阻塞式干扰。根据卫星通信系统的特点,对该装置的干扰性能进行了分析。通过地面实验验证了该装置的连接功能。

简介：

简介：摘要：随着我国的经济发展，当事人为保障民间借贷合同债权的实现而订立买卖合同，以请求买卖合同的履行来保障借款债权清偿的方式增多本文将之称之为担保型买卖合同。最近几年，担保型买卖合同类案件在审判实践中不断出现，但是因立法的欠缺，造成许多同案不同判的现象，损害了司法权威。同时由于司法解释的模糊，同类及相似案件的事实难以认定，导致担保型买卖合同成为理论与审判实务中的热点。为适应司法实践需求，本文将对担保型买卖合同的性质进行剖析。