西门子802D系统在磨床中的应用

应市场需求我厂开始研制数控立式车磨床,数控系统配置为西门子802D系统。由于802D系统主要应用和车削控制,因此在改造中主要难点是如何利用R参数实现磨削循环的加工程序编制。机床的研制可以通过电磨头对工件进行回转支承任意表面、内、外圆锥面、网柱面等进行加工。由于砂轮在     

26 GHz波段本地多点分配业务无线系统雨衰特性分析

分析了雨衰效应对26 GHz波段LMDS系统无线链路通信质量的影响.提出了抗雨衰的有效措施.首先从理论上分析雨衰的成因,建立雨衰对系统影响的数学模型及雨衰效应下系统有效路径的计算方法,然后结合各个设备厂商的LMDS系统的特点提出有效的抗雨衰方法,最后进行网络测试论证.测试系统在降雨过程中,无线链路性能稳定,抗雨衰措施完备,满足设计要求.证实了雨衰理论分析的正确,抗雨衰措施的合理.     

价格与价值——评价客观事物的内核

价格与价值是一个多年争论的课题。马克思认为:价值是社会必要劳动时间的代名词,而他人则认为是“效用价值论”、“供求论”以及“自然资源论”的概念等等,笔者认为:价值是人们对客观事物的综合看法,是评价客观事物的内核。     

有色金属资源循环利用

资源循环是维持整个生态平衡的重要法则之一。如果这一平衡遭到破坏并长期不加以恢复,其结果是人类社会本身难以持续。资源循环是建立循环经济的核心。资源循环利用是中国有色金属工业可持续发展的根本保证。文章论述了资源循环利用对有色金属工业的重大意义和最终建立资源循环型社会的必然性。     

溶液及电极表面性质对肾上腺素电子转移性能的影响

采用循环伏安法研究了肾上腺素在不同pH缓冲溶液中和不同铂电极表面上的电化学行为.实验结果表明,在不同pH值的Britton-Robinson缓冲溶液中及不同铂电极表面上,肾上腺素的循环伏安曲线中出现不同的氧化还原峰;而且在乙酸-乙酸钠、Britton-Robinson这两种不同的缓冲溶液中,随溶液pH值的变化,肾上腺素的氧化峰电流也呈现不同的变化规律.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

包含QoS路由信息的最优路径选择算法

介绍了如何使用C 语言形成包含QoS路由信息的随机网络拓扑图,并通过在网络拓扑图上寻找最短路径来模拟在现实网络中满足一定条件的最优路径选择算法.     

循环塑性与疲劳裂纹扩展门槛值

基于材料的循环塑性预测了疲劳裂纹扩展的门槛值.所提出的模型强调材料的循环塑性对疲劳裂纹扩展的影响.结合无位错区理论和内聚区理论计算循环载荷下裂纹吸附区的J积分值,并以J积分作为断裂参数建立裂纹扩展的标准.由此计算的疲劳裂纹扩展速率符合通常的模式,预测的门槛值与实验拟合较好.当前模型的主要特点是近门槛疲劳主要由材料的循环变形行为确定,进而由标准循环加载的实验确定,这对于工程实际有重要意义.     

特定环境下FRP与混凝土正拉黏结性能试验研究

通过纤维增强塑料(FRP)与混凝土试件的正拉黏结强度试验来研究碳化、冻融循环、盐溶液干湿循环下FRP与混凝土之间的黏结耐久性.碳化、干湿循环作用后,CFRP与GFRP试件的正拉黏结强度有一定提高,表明这两种复合材料体系可以用来加固碳化、盐溶液干湿循环作用地区的混凝土结构.冻融循环作用达到一定循环次数后,正拉黏结强度随着冻融循环次数增加逐渐降低,这与冻融降低了混凝土强度有关,冻融循环对复合材料与混凝土的黏结界面也有不利影响,因此这两种复合材料体系用于加固承受冻融作用的混凝土结构时,需要考虑耐久性问题.     

"细读方法"对语句"花园路径现象"的指明作用

"花园路径现象(GDP)"非局部歧义.花园路径现象在语素、词汇、句子、语篇层面普遍存在."细读三知识"体现内在隐能,"细读三能力"反映外在显能,内外结合、显隐搭配形成"细读原则"(MCR).只有围绕语义中心,满足认知、结构、功能条件,符合充分性、普遍性、结合性、能释性要求,才能正确解读语句层面的花园路径现象.