新技术在制盐行业设备管理中的应用

通过新设备、新技术的引进和应用。重庆索特股份有限公司加强设备管理，不管是在规范性上，还是在可操作性上，都取得了明显的效果。去年全年设备维修费用大幅度降低，经济效益明显。     

SCLC法测量非晶硅有效隙态密度

提出了用空间电荷限制电流（SCLC）法测量非晶硅材料的有效隙态密度的新方法，并且报告了用4061A型半导体综合测试仪测量有效隙态密度的结果。测量结果发现与用低频电容法所得结果相符。     

光连结的过道——谈王功景观桥夜景

桥不仅中介于两岸之间，而且这桥面之上的空间气候，又不同于桥面下之气候，一个是钢构与天空的对话，一个是钢构与海水的对话．这些不同的型态．引领着一段段新的生活故事在此发生。设计的完成，仅是一段前言的论述，随着居民与游客的集聚，才正开始写下属于王功渔港的新文本。[编者按]     

Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

一种分析时序逻辑电路的补充方法

介绍一种分析时序逻辑电路的补充方法,并应用于教学实践中。其特点是原理简单、易于理解、直观方便,相对于传统的分析方法,避免了对次状态方程的分析处理计算,有时比传统方法简便、快捷。通过两个示例展示其优越性。     

紧扣内存变量关系巧解矩阵类问题

C语言学习过程中,不少初学者不能建立思维的模型,无法将形象可行的矩阵运算、旋转事件抽象化成算法语言。讲解了指导学生掌握矩阵操作算法的推导方法。     

三维空间孔道的精确校核

二维空间孔道的传统校核方法是把三维问题化成二维问题,再简化或近似处理,这样的方法在高精度场合往往不能满足设计要求;还有的是对孔表面网格化、布尔运算等,算法复杂,难于实现。本文从计算几何理论上探讨了三维空间孔的精确校核方法,简单、易行、可靠。     

有限状态机在数控系统软件中的应用研究

在数控系统软件开发中，控制软件的开发是开发的关键。针对数控系统复杂性和实时性特点，把有限状态机应用在数控系统软件开发中，构造了控制器软件结构，并应用于数控系统的原型开发。     

Gr（C）纤维增强镁基复合材料的界面结构

采用真空—压力浸渗工艺制备Ｇｒ（Ｃ）／Ｍｇ复合材料，Ｇｒ／Ｍｇ材料界面上无化学反应迹象，有析出物γ相（Ｍｇ１７Ａｌ１２），该析出物形状、大小与制备工艺条件，主要是纤维预制件温度有关。Ｃ／Ｍｇ复合材料界面Ａｌ含量较基体高出２倍多，文中分析了可能的原因