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.     

The IS Organization of the Future: Four Scenarios for 2020

Four scenarios for the IS organization of 2020 are described, based on differing assumptions about two drivers: the advances in the reliability of international telecommunications and the value placed on computerization in businesses and society.     

基于虚拟样机的智能诊断系统知识组织与表达

基于虚拟样机的智能诊断系统由协同支撑平台、模型库、样机引擎和虚拟环境组成.按系统-分系统-部件的次序进行故障诊断.诊断知识分为结构、故障处理、故障机理等10类.故障知识分经验、因果和定律三种类型.其知识表示把抢修对象的原理、维护、故障机理和维修等知识,以集合框架形式分类封装于诊断辅助系统知识库.试验证明该系统能准确表达诊断知识.     

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半浮芯棒连轧管机组工艺及设备结构特点

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

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

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

二滩水电站引水压力管道型式研究

工程建设规划设计阶段，决策者除对工程功能及效益进行研究外，还应了解当今先进施工技术，将先进技术的信息应用到工程设计中，优化设计，使工程建设更好地节约投资，加快施工进度，提高工程综合效益。以二滩水电站引水压力管道竖井和斜井两种型式为例，从地质， 利用，施工工艺，进度等方面进行对比分析，从而得出斜管方案优于竖管方案的结论。     

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

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