强可识语言族

<正> ∑为一有限集,∑~*表示∑生成的自由单子,∑~*的元素与子集分别称为∑上的字与语言,2~(∑~*)表示∑~*的幂集,(?)(∑)=2~(∑~*)-{(?)}的子集称为∑上的语言族.在人工智能中一些问题的推动下,1974年 Havel 等人开创了语言的分支代数结构的研究.Havel 在[1]中定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel 在[2]中又引进了语言的相似度概念,进而定义了语言之间的一种距离,使((?)(∑),d)成一距离空间;[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为(?)(∑)中的闭集.     

设置增量证明不等式

等与不等是对立与统一的一对矛盾，在某种意义下又常常是可以相互转化的．例如在证明不等式的过程中，我们可用设置增量的方法将不等关系转化为相等关系，以达到证明不等式的目的．例1已知a＞2，b＞2．求证：ab＞a＋b．（根据1993年湖北省初中数学竞赛题改编）证明∵a＞2，b＞2可设a＝2＋m，b＝2＋n，m＞0，n＞0．∵ab－（a＋b）＝（2＋m）（2＋n）－（2＋m＋2＋n）＝mn＋m＋n＞0ab＞a＋b．例2设a＞2，给定数列{Xn}，其中证明（用数学归纳法）当n＝1时，x1=a＞2成立．若n＝k时，有Xk＞2，不妨设Xk＝2＋m，m＞0．即，因此对一切自然数n都有…     

非色散腔染料激光器辐射的光谱强度分布实验

实验装置示于图1.泵浦激光的功率约0.7兆瓦,脉冲半宽约7毫微秒,透镜3将抽运光束聚焦到染料池5上.染料池的厚度约10毫米.两通光窗口约成7°的夹角,池内注入5×10~(-5)克分子浓度的若丹明6G染料的酒精溶液.染料激光经由反射镜7、8和柱透镜9入射到31WI型光栅摄谱仪的狭缝上.入射狭缝取0.3毫米.透过出射狭缝的光用GDB-28型光电倍增管接收,在每秒5次激光发射的条件下,用检流计指示平均光电流.用汞光谱计     

用棱镜扩束的窄谱宽染料激光器

对一种用棱镜作光腔内光束扩展器，用调Q激光抽运的脉冲染料激光器的光谱调谐性能进行了实验研究。实验证明，即使染料溶液不循环，该器件也可以每秒1次的重复率工作，染料激光振荡器的输出谱宽达到0．013埃,调谐范围达到350埃，无腔内F-P标准具时，输出功率约50千瓦。     

Mobile Rayleigh Doppler wind lidar based on double-edge technique

<正>We describe a mobile molecular Doppler wind lidar(DWL) based on double-edge technique for wind measurement of altitudes ranging from 10 to 40 km.A triple Fabry-Perot etalon is employed as a frequency discriminator to determine the Doppler shift proportional to the wind velocity.The lidar operates at 355 nm with a 45-cm-aperture telescope and a matching azimuth-over-elevation scanner that provides full hemispherical pointing.To guarantee wind accuracy,a single servo loop is used to monitor the outgoing laser frequency to remove inaccuracies due to the frequency drift of the laser or the etalon.The standard deviation of the outgoing laser frequency drift is 6.18 MHz and the corresponding velocity error is 1.11 m/s.The wind profiles measured by the DWL are in good agreement with the results of the wind profile radar(WPR).Evaluation is achieved by comparing at altitudes from 2 to 8 km.The relative error of horizontal wind speed is from 0.8 to 1.8 m/s in the compared ranges.The wind accuracy is less than 6 m/s at 40 km and 3 m/s at 10 km.     

娱乐新势力

坦白地说,800万像素在当今手机内置摄像头中已不算顶级配置。虽然还未达到主流配置,但热衷于手机拍摄高像素的厂商早在一年前就开始量产800万像素手机,而作为娱乐先锋的索尼爱立信（Sony Ericsson）Walkman系列和诺基亚（NOKIA）Nseries系列却直到现在才推出了相应的机型。     

国标双模数字电视PAL同频干扰消除算法研究

提出了一种针对国标双模数字电视接收机的PAL制模拟电视同频干扰(CCI)消除方案.利用PAL制模拟电视信号能量主要集中在亮度、色彩和声音载波,且相对位置已知,可以在亮度载波段进行CCI是否存在的检测,若存在,则在三干扰频段内消除CCI.该方案极大地降低了算法复杂度和硬件开销.仿真结果表明:AWGN信道,多载波模式下.有CCI消除比无CCI消除有1～2dB的增益;单载波模式下,加CCI限幅消除后,系统性能有了很大提高,且当CIR减小到-3.5 dB时,可达到TOV点(BER=3×10<'-6>).     

四元数体Q上的双曲矩阵空间中的若干积分

该文计算了四元数体上的矩阵空间中的一些典型积分.由这些积分,可以得到相应的四元数体上的双曲矩阵空间的体积,这对于相关核函数的计算是有帮助的.     

解三角形的三种转化思路方法

解答一些解三角形的题目,常常需要运用正弦定理、余弦定理及三角形内角和定理等知识,将已知条件中的边的关系式转化为角的三角函数关系式或将角的三角函数关系式转化为边的关系式,下面联系具体例题讲常用的三种转化思路方法．     

一种可免用光隔离器的抗反射同轴激光器TO-CAN

文章提出了一种不用光隔离器即可提高器件抗反射性能的抗反射同轴激光器TO-CAN(晶体管外形封装), 该TO-CAN集成了半导体激光器的电/光信号转换功能和抗反射功能,采用现有的贴片工艺和粘胶工艺,通过在底座TO-Header(晶体管外形头)上面安装激光器芯片、偏振片和λ/4波片而制成,理论分析和实验结果都验证了该方案的有效性和实用性.