BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

双参数量子代数SUqs（1,1）的表示：正离散序列

本文通过构造双参数量子群ＳＵｑｓ（１，１）生成元的ｑｓ－Ｂｏｓｏｎ实现，给出了ＳＵｑｓ（１，１）的正离散序列表示。     

非线性连续时间系统L1控制的非线性反馈

用集值分析方法研究了仿射非线性连续时间系统具λ-指数收敛率和ρ-性能的L1-控制问题.首先,引入连续时间系统的受控λ-收缩集概念,并建立了与其Euler逼近的离散系统的受控收缩集之间的关系.然后,结合此概念,得到了这个问题有静态连续非线性解的充分条件.这推广了在稳定性意义下文献中的结果.     

Study on Approach for Computer-Aided Design and Machining of General Cylindrical Cam Using Relative Velocity and Inverse Kinematics

Cylindrical Cam Mechanism which is one of the best eq uipments to accomplish an accurate motion transmission is widely used in the fie lds of industries, such as machine tool exchangers, textile machinery and automa tic transfer equipments. This paper proposes a new approach for the shape design and manufacturing of the cylindrical cam. The design approach uses the relative velocity concept and the manufacturing approach uses the inverse kinematics concept. For the shape desig n, the contact points betw...     

Modeling of Agile Manufacturing Execution Systems with an Agent-based Approach

Agile manufacturing execution systems (AMES) are used to help manufacturers optimize shop floor production in an agile way. And the modeling of AMES is the key issue of realizing AMES. This paper presents an agent-based approach to AMES modeling. Firstly, the characteristics of AMES and its requirements on modeling are discussed. Secondly, a comparative analysis of modeling methods is carried out, and AMES modeling using an agent-based approach is put forward. Agent-based modeling method not only inherit ...