What is a free name in a process algebra?

There are two popular approaches to specifying the semantics of process algebras: labelled transition semantics and reaction semantics. While the notion of free name is rather unproblematic for labelled transition semantics this is not so for reaction semantics in the presence of a structural congruence for unfolding recursive declarations.We show that the standard definition of free name is not preserved under the structural congruence. We then develop a fixed point approach to the set of free names and show that it is invariant under the structural congruence.     

70推土机主离合器分离杆螺栓失效分析

主离合器分离杆螺栓是一个重要安全件，使用中经常发生断裂。经过失效分析确定断裂原因是由其配件引起。提高配件的冷加工质量及改进结构，可解决分离杆螺栓的断裂问题。     

剖析半悬挂减速机故障的产生与对策

介绍了半悬挂减速机的工作原理，分析其故障原因，实施相应的解决对策。     

C pm MPPAC for manufacturing quality control applied to the precision voltage reference process

The multiprocess performance analysis chart (MPPAC) based on the process capability index C_pm, called C_pm MPPAC, is developed for analysing the manufacturing quality of a group of processes in a multiple process environment. The C_pm MPPAC conveys critical information of multiple processes regarding the departure of the process and process variability from one single chart. Existing research works on MPPAC are restricted to obtaining quality information from one single sample of each process ignoring sampling errors. The information provided from existing MPPAC charts, therefore, is unreliable and misleading and results in incorrect decisions. In this paper, we consider the natural estimator of C_pm based on multiple samples. Based on the natural estimator of C_pm, we consider the sampling errors by providing an explicit formula with the Matlab program to obtain the estimation accuracy of the C_pm. We tabulate the sampling accuracy of C_pm for sample size determination so that the engineers/practitioners can use it for their in-plant applications. An example of multiple precision voltage reference (PVR) processes is presented to illustrate the applicability of C_pm MPPAC for manufacturing quality control.     

Cryptosystems using Linear Groups

Several suggestions are presented for developing cryptosystems, both classical and public key, using a combination of combinatorial group theory and linear groups. In particular, the Reidemeister-Schreier rewriting process is used as a one way function. These suggestions raise further questions concerning both implementation and security that are being explored in the thesis of Xu [16].     

衡阳钢管厂Φ89mm半浮芯棒连轧管机组工艺及设备结构特点

衡阳钢管厂Φ８９ｍｍ半浮芯棒连轧管机组是一种新型机组，其选配的变形工艺路线能很好地适应生产小规格的热轧无缝钢管。本文论述了该机组的工艺及设备结构特点。     

近终形薄带连铸工艺技术比较

近终形薄带连铸是钢铁工业简化工序，节能降耗，降低成本最具有竞争能力的一项重大新工艺技术，本文报导了世界各先进工业国近年来开展研究的最新成果，分析比较了诸多机型的优缺点，并提出了突破工艺技术的技术关键和建议。     

Fracture mechanics global approach concepts applied to creep slow crack growth in a medium density polyethylene (MDPE)

Creep fracture by slow crack growth is studied in a medium density polyethylene at 60 °C and 80 °C. Whereas elastic-plastic fracture mechanics load parameters fail to provide a unique temperature-independent correlation, that of the fracture mechanics for creeping solids C^∗ is proved to be relevant since this parameter correlates very well with the time to failure. Correlation established on both full notched creep tensile and double edge notched tensile tests was validated on cracked gas-pipe samples tested under hydrostatic pressure, extending the use of time to failure versus C^∗ diagram to predict lifetime of engineering components.     

计算机在热处理工艺编制中的应用

利用计算机强大的数据处理功能 ,对热处理工艺中的各种数据进行记录和处理 ,并制成各种图表 ,掌握其中的各种规律。使热处理工艺的编制不再是一种经验积累式的工作 ,而是依照其规律制定一次合格的规范的热处理工艺卡片 ,并为将来计算机工艺自动生成的工作打下基础