An Investigation of Formal Techniques of Protocol Based on CFSM

ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...     

Effect of Nano-SiC and Nano-Si Doping on Critical Current Density of MgB_2

The discovery of superconductivity in magnesium diboride (MgB2) has opened up a new field in materials science research. It offers a possibility of a new class of high performance superconducting materials for practical applications because of the relatively low cost of fabrication, high critical current densities (Jc) and fields, large coherence length, absence of weak links, higher Tc(TC = 39K) compared with Nb3Sn and Nb-Ti alloys (two or four times that of Nb,,Sn and Nb-Ti alloys). However, the weak flux pinning in the magnetic field remains a major challenge. This paper reports the most interesting results on nanomaterial (SiC and Si) doping in magnesium diboride. The high density of nano-scale defects introduced by doping is responsible for the enhanced pinning. The fabrication method, critical current density, microstructures, flux pinning and cost for magnesium diboride bulks, wires and tapes are also discussed. It is believed that high performance SiC doped MgB2 will have a great potential for m     

Legal Psychology Psychology for the Lawyer

这两本书是法律心理学。应用心理学之中,例如教育心理学(Educational Psychology);商业心理学(Business Psychology),在英美早已成为常用的专门名词。法律心理学,这个名称近年来在英文杂志里边虽已惯用,而专书仍属罕见-就我所知除Bose’s Introduction to Juristic Psychology, 1917及Brown’s LegalPsychology,1826两书以外,就有这两本专著。教育心理学,商业心理学。这些名称在中文里边近年来虽已沿用;而法律心理学却尚未经见。至於这门学问,在我们中国不但研究法律的人向不留心,恐怕研究心理学的人亦很少注意。 第一本书的著作者Burt…     

书籍评论——British Far Eastern Policy

著者在自序中说他写这本书有两个理由。第一,从一八九四至一九OO年(甲午至庚子)远东问题很紧急而且左右了世界的大局。第二,自Morse:International Relations of the Chinese Empire 出版以来,各国政府及私人发表了许多有关远东问题的新史料,其中最要紧的是:British Documents on theOrigins of the World War 和 Die Grosse Politik der Europaischenkabinette。第一个理由极有根据,第二个则不然,因为在Morse书出版十年以後此书出版三年以前,还有Philip Joseph:ForeignDiplomacy in China,1894-1900。此书与Joseph的书的题目大致…     

除环上矩阵的平行和

本文给出了除环上两个平行可和矩阵的三种刻画，并证得其平行和的一些性质．     

窄带信号的逆合成孔径雷达

本文论述了窄带信号送合成孔径雷达成象原理。首先用谱分析法、全息法及相关法论述了获取旋转目标雷达图象的原理,然后用同样方法又论述了获取直线运动目标雷达图象的原理,最后给出了利用适合成孔径雷达获取目标散射特性的实验原理。     

化学与农业

农业化学化的意义化学与农业有着密切与广泛的联系。这种不断加强着的联系是以化学深入生物学为基础的。这些科学联系的结果产生了并且迅速地发展着生物化学、农业化学、土壤化学、微生物生物化学、毒物学及其它科学。化学从各方面深入农业的过程,也就是通常所说的农业化学化,主要是沿着下列几个方面进行的:1.利用肥料和土壤改良剂来提高收获量。2.通过化学保护的方法,利用杀虫剂、杀动物药剂、杀菌剂等化学药剂使植物不受昆虫、嚙齿类动物以及疾病的侵害,保证作物的收获。3.利用生长刺激剂、除莠剂、脱叶剂以及阻止贮藏着的马铃薯与其它食用块根发芽、阻止果树在寒冶的春天发芽的药剂,以及其它的药剂来加速或抑制植物体中进行的生理过程。4.农产品和畜产品的保藏与防腐,以及仓库、升降机与运输工具的消毒。5.使用饲料来提高畜牧业和养禽业的生产量。     

利用有限元—无约束变分法分析导弹的稳定性

本文采用有限元法研究理想化为自由-自由梁的柔软导弹的稳定性问题,假定结构处在依次受方向控制装置作用的常推力作用之下。为了将推力装置模型化,须要考虑集中质量。本文提出的求解公式——无约束变分原理的有限元——是通用的和简单的,并且有效地克服了非保守力系、集中质量和反馈控制特性所产生的困难。作为这种分析方法的基础,引入了无约束变分的提法和有关伴随问题。本文的数值结果揭示出下面三点:(1)对于在常推力作用下的自由-自由梁,存在一个似乎被以前学者们遗漏的非零模态:(2)这个新发现的模态是最低阶的非零模态,并具有发散性质。没有反馈控制,导弹结构则是不稳定的;(3)按照集中质量的大小和位置可以改善导弹的稳定性。     

用于微电子工业的激光束技术

目前,实用而可靠的激光系统已可用于微电子工业。本文主要描述激光束与物质的相互作用,激光器的重要特性,以及掺钕钇铝石榴石(Nd:YAG)和二氧化碳(Co_2)激光器的重要特性数据,上述两种激光器已经证明是工业中的两名干将。然后指出焊接,钻孔和划片等工作需要多大的能量和(?)冲宽度,且概要地说明物质加工的能量学。当微电子工业和激光工业成熟时,这些和其他方面的新的应用,肯定会利用激光束加工的。     

计算机辅助技术在方案设计中的应用

引言 人们通常认为飞机的初始设计阶段是令人兴奋而又吸引人的,因为正是这个阶段确定了那些大家想看到的飞机的特性。艺术家在进行艺术构思时,可以让他的想象纵情飞翔。发明者有充分的能力提出方案革新,这些革新看来具有一些优点,但常常难以作出评价。据传说,过去一些富有经验、有审美