介绍几种新型电力设备线夹

传统铜铝过渡设备线夹，并沟线夹已经在电力工程中使用多年，它们在历史上发挥了积极的作用。但是随着电力事业的发展与科学技术的不断进步，也暴露出传统设备线夹的诸多缺点。本文通过介绍几种常用的新型电力设备线夹，可以为广大电力技术人员在工程实践中拓宽新的设备线夹选择范围提供一点帮助。     

近代中国蚕丝市场和贸易

本文在概述鸦片战争前后蚕丝生产的商品化发展和市场面貌的基础上讨论了二个问题:一、近代中国蚕业生产商品化的进程、商品市场的形式与发展;二、近代中国蚕丝的出口贸易和国际市场。文中综合了近代中国蚕业生产量、国内销售量,产区分布、出口量 出口口岸、国际市场与竞争等重要资料,分析了其中某些带有规律性的发展趋势。     

中日两国近代毛纺织工业对比研究

中国和日本的近代毛纺织工业都是在19世纪80年代从西方引进的。但今天日本按人口平均的毛纺织生产能力已为中国的10倍。这两国毛纺织工业的宏观发展都可分为4个阶段:①1913年以前的初创阶段;②1914～1936年的奠基阶段;⑧1937～1949年的曲折阶段;④1950以后的成长阶段。但微观分析可见,这两国之间存在许多差异,本文简要地描述了这些差异。通过这种对比,可得出近代毛纺织工业发展的若干共同规律。     

CDMA容量与其它蜂窝系统容量的比较

通过对蜂窝系统的载干比的分析，计算了各种蜂窝系统的频率复用系数和系统容量。由码分多址（ＣＤＭＡ）蜂窝系统与其它蜂窝系统的容量的比较可知，ＣＤＭＡ蜂窝系统的频率复用效率约为６２％，其系统容量优于其它蜂窝系统。     

铁路定线方案比选的一种新方法

在给定的线路平面上,利用数字地形模型,求出沿线地面标高,根据这些标高,用B样条函数法拟合出纵断面,在此纵断面线上作牵引计算,得到合力曲线和列车走行时分,并计算出线路通过能力、工程费和运营费,进行该平面线的各项评估.     

贝叶斯预测与鲍克斯──詹金斯预测比较

本文是在全面了解Ｂａｙｅｓ预测与Ｂｏｘ－Ｊｅｎｋｉｎｓ预测的基础上，对这两种预测的主要特征加以对照和比较，指出了它们在建模思想、建模条件、建模步骤等方面的不同点以及两种预测模型的关系，从而使读者更深入地了解Ｂｏｘ－Ｊｅｎｋｉｎｓ预测。     

美国钢铁工业的国际合作战略及其对我国钢铁工业发展的启示

本文着重考察了近１０年来美国老牌的钢铁联合企业跟外国（尤其是日本）的竞争对手携手建立合资企业的动因与效果。这种合作不仅使美国企业得以从合作伙伴那儿融入资金，而且使美国企业的技术水平和管理水平得以提高，同时还为美国钢铁工业的下游行业提供了高质量的钢铁产品。我国重返关贸总协定将给钢铁工业的发展带来新的机遇和挑战。借鉴国际合作战略经验，建立较大规模的生产高档次钢材的合资企业，不仅有利于我们迎接上述挑战，而且还可以推动我国整个钢铁工业加速发展。     

中国古代文论中的千古妙喻──以味喻诗

“以味喻诗”是中国古代文艺理论中的一种特有现象，是古代文论之千古妙喻。先秦时期，人们发现了“食味”与艺术“余味”之间的关系：西晋时期，将“大羹遗味”引入诗文评论，渐次形成“以味喻诗”的传统。经梁之钟嵘首倡而产生文艺理论流派──“滋味说”。唐之司空图以“味”为衡量诗歌艺术标准，重视诗歌艺术规律──“醇美”。宋之杨万里“以味不以形”而论“江西宗派诗”。今人周振甫解答了诗歌评论中数百年的悬案，钱钟书以“中国诗文有一种描写手法”──“通感”，阐明了“以味喻诗”长盛不衰的理论根据。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.