冷连轧过程线性化动态模型的研究

以多机架四辊冷连轧机为背景，研究了冷连忆过程的动态模型，建立了冷连轧过程的工作点线性化状态空间模型，实验仿真结果说明了这一动态模型的有效性。     

关于P-Laplace方程解的梯度HOlder连续性的一个注记

对文献〔１—３〕中的结果：ｕｔ＝ｄｉｖ（｜ｕ｜ｐ－２ｕ）在ΩＴ＝Ω×（０，Ｔ）上弱解的空间梯度是Ｈｌｄｅｒ连续的做一个补充．在这个注记里，本文作者讨论条件Ｐ＞ｍａｘ｛１，２ＮＮ＋２｝是怎样由ｕ的性质所确定的．属于ＬＮｌｏｃ（ΩＴ）空间解的梯度是Ｈｌｄｅｒ连续的条件仅仅是Ｐ＞１．     

钢轨气压焊试验研究

对碳钢钢轨气压焊进行了试验研究。探讨了焊接工艺过程对气压焊焊接接头显微组织及强度的影响。     

冷库温度自动记录仪

本文介绍广西计算中心和广西区防疫站合作研制的冷库温度自动记录录仪，文中着重介绍其软硬件设计和主要功能。该记录仪性能／价格比优于国外同类产品，可以用来代替进口产品。     

谈谈信息时代的教学方式

在教师角色发生转变，学生学习方式发生变化的信息时代的教学方式要注重教学质量，把信息时代的先进教学手段与传统教学手段有机结合起来，以有效地促进教学。     

Atomic and efficient e-cash transaction protocol

Atomicity is necessary for reliable and secure electronic commerce transaction and to guarantee the participants' interests. An atomic and efficient e-cash (electronic cash) transaction protocol based on the classical e-cash scheme is presented. The delivery of digital goods is incorporated into the process of payment in the protocol. Apart from ensuring all three levels of atomicity, the novel protocol features high efficiency and practicability with unfavorable strong assumption removed. Furthermore, the proposed protocol provides non-repudiation proofs for any future disputes. At last, analysis of the atomicity and efficiency is illustrated.     

求解线性约束不可微凸规划变尺度法

本文探讨了求解线性约束不可微凸规划极小问题，给出了一类高阶算法，该算法模仿了变尺度思想，应用了Kiwiel[1]聚合次梯度思想，试图改善逼近程度，提高收敛速度，并证明了算法有较好的收敛性。     

软件质量保证技术及其应用

本通过《辽宁师范大学人事工资管理决策支持系统》的开发，提出了几种软件质量保证技术。这些技术的成功运用，使该软件系统的开发不仅没有陷入软件危机，而且还大大地提高了软件的质量和可靠性，为保证大型软件系统的顺利开发，提高软件系统的质量提供了具体的可行方法。     

Reliability Analysis of Some Typical Repairable Systems with Arbitrary Repair-Time Distribution

In this paper, reliability of some typical non-Markov repairable systems, including series systems, m-out-of- n or majority vote systems, and n : m cross-strapping standby redundant systems with general repair-time distribution, are studied by applying the generalized Markov renewal process (GMRP). The stochastic behavior of the typical systems is analyzed here. Formulas for mean time to first system failure, MTBF, MTTR, and availability are then developed.