分布式系统的假死锁检测

在分布式系统中把检测不存在的死锁称作假死锁(false deadlock)检测。本文证明了在两阶段锁定事务(transaction)系统中永远不会发生死锁。文内还提供了一种算法,用来在事务不是两阶段锁定时避免假死锁检测。     

积极稳妥推进后勤社会化改革 为学校实现跨越式发展提供强有力的后勤保障

本文介绍了我校后勤社会化改革工作的实施步骤及成功经验,简要叙述了后勤服务经营工作,如学生住宿、学生餐饮、师生就医、幼儿保教等,以改革为动力,强化管理,认真做好后勤保障工作的做法。     

直接纺大批量POY260dtex/144f生产工艺探讨

研究了熔体直接纺长丝装置大批量生产差别化纤维 2 60dtex/14 4fPOY品种的工艺 ,并且对影响POY质量的因素进行了探讨     

业务流程重组在热送热装生产组织中的应用

针对某冶金企业在热送热装生产组织过程中存在的问题，提出了利用业务流程重组的方法对企业的生产业务流程进行改造，规划了新的业务流程，并对其实施后的预期效果进行了分析，实际应用和理论分析表明，通过业务流程重组该企业可大大提高连铸坯的热送热装率和板坯的热装温度。     

提高MTBE工业装置转化率的催化剂

提高ＭＴＢＥ工业装置转化率的催化剂由于ＭＴＢＥ需要量的增加，有必要找到一种在现有装置上提高ＭＴＢＥ产率的有效而经济的方法。近期，一种改造的ＭＴＢＥ催化剂（Ａｍｂｅｒｌｙｓｔ３０Ｗｅｔ）已经在Ｌｙｏｎｄｅｌｌ石化公司的一套装置上进行了工业试验。该催化剂...     

单片机+CPLD实现高速多串口电路设计

为适应某些应用场合高速多串口电路需求，文章介绍了基于单片机和CPLD实现的高速多串口电路的设计思想，硬件接口和软件编程技术，以及CPLD内部逻辑电路描述方法。     

布里兹曼法碲镉汞（Hg1—xCdxTe）晶体生长过程热场的数值分析

用控制容积法对布里兹曼碲镉汞（Ｈｇ１－ｘＣｄｘＴｅ）晶体生长过程热场分布进行了计算。介绍了控制容积公式的推导和边界条件的处理，并对所得结果进行了分析。虽然碲镉汞晶体生长时热场受系统的影响情况错综复杂，但从本文的研究结果中仍可看出一些明显的规律，可供从事该方面研究工作时参考。     

“虫草乌鸡王”的研制

介绍了虫草乌鸡王的生产工艺及检验结果，对乌鸡肉的酶解方法进行了较深入的探索，并简要讨论了虫草乌鸡王的保健作用。     

一种经济型简易数控铣床CNC系统软件的设计

本文介绍了一种基于ＰＣ３８６微型机的新颖、经济、简易数控铣床的ＣＮＣ系统软件的设计方法。提出了系统软件的结构，着重介绍了插补算法、刀具补偿、尖角过渡、仿真、实时加工和刀具轨迹显示，同时简要介绍了加工程序的解释与分析。