关于数理邏輯的一些研究

<正> 在本文中我們对算法論及递归函数論中若干項目作了一些研究,共分五节.第一节是算法簡化,我們指出的正規算法不够簡单原始,建議用“首尾算法”来代替它,后者是使用不可兼的首尾規則表且采用自然結束的約定的. 第二节引入一种換中演算,它是結合演算的推广,我們指出关于結合演算所得的結論几乎全可以推广到換中演算来,并对一些未曾解决的問題給以解决.     

应用变换光学理论调控电磁场光束束宽

 根据变换光学理论,提出了利用超常材料调控光束束宽及将有限束宽光束变成线光束的理论方案,得到了所需超常材料的介电常数和磁导率的解析结果。应用这些结果,可以实现对光束束宽的调控或者将有限束宽光束压缩成线光束。利用有限元分析方法进行全波仿真,仿真结果与理论相符合,可应用于压缩或扩展电磁波束的能量密度。线光束中心处的场能量密度极大,可应用于增强非线性光学效应等方面。     

掺钕磷酸盐激光玻璃除水工艺

利用反应气氛法除水工艺制备了组成为64P205-5.9A12O3-7.1K2O-19BaO-4.0Nd203(Wt%)的掺钕磷酸盐激光玻璃,研究了O2+POCl3、O2+SOCl2两种除水剂的除水效率及同一除水剂在不同除水时间、除水温度、通气流量下对掺钕磷酸盐激光玻璃荧光寿命的影响.结果表明:POCl3的除水效率优于SOCl2;通气最初阶段除水速率最快,且提高除水温度有利于消除水分,但受熔炼设备和工艺的影响,1 200℃进行除水更为合适;延长除水时间、增大通气流量都有助于提高除水效率;玻璃除水反应效率主要受OH基与除水剂界面反应的影响;荧光寿命随着除水时间的延长而增加,最后趋于一个稳定值;通气流量存在最佳值,实验中通气流量为0.8L/min时较好.     

高温超导氧化物中非平衡载流子的能量弛豫与电声相互作用

利用超导体中非平衡能量平衡模型,研究室温下YBa₂Cu₃O_7-δ(δ=0.1,0.4,0.8)和PrBa₂Cu₃O₇外延膜中光激活非平衡载流子的弛豫动力学,计算了电声耦合常数λ发现随着氧含量的降低及用Pr替代Y,Cu-O面上空穴Fermi面向Cud⁹/d¹⁰带方向移动,非平衡载流子的驰豫时问增加而电声耦合常数明显减小.这一结果与瞬态反射谱测量结果符合得很好.这表明载流子浓度的降低减弱了电声相互作用,而这种作用可能是一种实空间的局域相互作用.     

数字信号处理器TMS320C25构成的高速处理系统及其在声学上的应用

数字信号处理器TMS320C25的运算速度比通用PC机(XT,AT,286,386)高2—3个数量级,而且有很多适合于信号处理使用的指令,因此在声学工程中获得广泛应用,如频谱分析、数字滤波、语言信号处理、图象处理、声学测量仪器等.本系统还具有数据采集.软硬件开发、方案的实时模拟和高速运算等功能.本文介绍了它们的构成原理、功能特点和使用中的一些问题.     

原始遞歸函數的定義

<正> 符號說明 本文中除以α表示常數外均以小寫拉丁字母表示自變數,以大寫字母表示函數關係,而一元函數A(x)常省寫為A_x. 在本文中只討論數論函數,自口自變數与函數所取之值均限於正整數或0(常     

數學中的無窮

“數學的無窮雖然是不自覺地從現實中假借來的,却不能從它自身,不能從數學的抽象中來說明它,而只有從現實去說明它”(恩格斯:“辯證法與自然科學”,人民出版社1953年版,第145頁),數學的無窮的物質基礎只有在它與有限的辯證統一中去考慮時才能被理解。每一數學理論都要求它自身貫串着內在的形式上的一致性。因此也就產生如何把這種要求與現實中無窮性在實質上的矛盾結合起來的問題。“這種矛盾的排除將是無窮性的終結”(恩格斯:“反杜林論”,三聯書店中譯本,1951年版,第54頁),此     

笛卡兒卵形線的一些性質

1.導言,設F′,F为兩定點、且F′F的長为2c,一點P在平面中运動,滿足下列關係: F′P+vFP=2a,(1)这裏v,a是常数,且a>0,v≠0,a≠c,|v|≠1,v≠a/c則P點的軌跡为笛卡兒卵形线,取F′F为x軸,其中點为原點;从(1)可得这曲綫的直角坐标方程式 (x+c)~2+y~2+v((x-c)~2+y~2)~(1/2)=2a (2)將(2)有理化並化簡得 {(v~2-1)(x~2+y~2+c~2)-2(v~2+1)cx+4a~2}~a==16a~2v~2{(x-c)~2+y~2} (3)所以这曲綫是四次代數曲綫,以x軸为对称軸。损明顯的从 F′P-vFP=±2a出發,也可得到(3)。 關於笛卡兒卵形綫,我們已經知道了它的許多性質,例如:F′F是这曲綫的兩实焦點;以及,在这曲綾上任意一點P作切綫,令这切綫与焦半徑PF′,PF所成的角顺次为θ,φ,則 cosθ+vcosφ=0;等等,在本文中將要補充这曲綫的另外一些性質,为使叙述確定起見,以後總假設v>0,我們还可以假設v>1,这样仍不失去問題的普遍性,因为如果0相似文献   

汉语人机对话系统语音试验材料集设计

根据汉语语音特点,为汉语人机对话系统设计了反映汉语语音主要特征、现象的语音试验材料集,作为汉语人机对话系统语音知识库的素材,用于研究语音合成规则、训练语音识别模板等.语音材料的选择以全面、典型、适量为原则,以反映汉语语音的韵律特征和音色特征的变化规律为目的,分别以声调及其组合、声韵组合为基础选择语音材料.全部材料已用数字录音机录制完毕.     

具有四项的指数丢番图方程(Ⅱ)

本文中，我们给出了丢番图方程的解ｘ，ｙ，ｚ，ｗ的上界，其中ｐ，ｑ是给定的互素的正整数，ａ，ｂ，ｃ，ｄ是给定的适合ａｂｅｄ≠０的整数，此外，我们将指出在具体情形下如何把上界降低到方程允许的实际的解．最后，我们将用这个方法来解方程１９．５ｘ·１７ｙ＝１２．５ｚ＋４１．１７ｗ＋１４， ５． ３ｘ· １３ｙ ＋ ２０＝ ７． ３ｚ ＋ １４． １３ｗ和 １３· ２ｘ＋ ５· ３ｙ＝ ２５． ２ｚ＋ １１． ３ｗ．