"两硬"条件大采高综采工作面生产系统的有效度

通过研究大采高综采生产系统各部件的有效度,建立生产系统有效度模型,计算出工作面生产系统有效度,客观评价大采高综采生产系统的运行状况.通过分析生产系统有效度与系统开机率的关系,计算出生产系统的开机率,评价大采高综采生产系统的生产潜能,为矿井实现高产高效提供了理论依据.     

煤矿安全生产监测监控系统的推广应用

煤矿产业是我国国民经济中的重要组成部分,随着煤矿市场需求的不断扩大,煤矿企业逐渐面临着高效生产与安全生产协调并进的挑战。本文基于煤矿安全生产监测监控系统的推广应用,深入研究了煤矿生产过程中利用监测监控系统实现安全生产的高效监理渠道。分层次对监测监控系统在煤矿安全生产过程中发挥的作用进行分析,并根据监测监控系统的推广实际,战略性地展望未来煤矿监测监控系统的发展趋势,为提高煤矿安全生产效率提供保障。     

安全生产行政审批系统的设计与实现

基于吉林省教育厅课题《长春市安全生产监督管理局安全生产行政审批系统》,针对目前安全生产行政审批系统的需要,从安全生产行政审批的实际工作需求出发,阐述了安全生产行政审批系统的设计过程,包括安全生产行政审批系统的平台组成、系统设计过程中的关键技术和难点的解决方法、以及系统的安全措施等内容。     

面向大规模个性化生产的韧性制造系统

 随着新一代信息技术和先进制造技术的发展,大规模个性化生产逐渐取代大规模定制化生产成为当前主流生产模式。韧性制造系统突出其应对系统内外突发事件的响应和恢复能力,成为支撑大规模个性化生产的关键技术。阐述了生产模式与制造系统的协同演化过程,指出大规模个性化生产模式应与韧性制造系统相适应,分析了系统韧性内涵并综述制造系统韧性研究现状;基于供应链网络和制造企业内部加工设备网络的韧性过程分析,构建了基于物料流视角的制造供应链网络结构模型,讨论了制造系统韧性问题;分析了韧性制造系统的激励来源、韧性响应过程和特征以及关键支撑技术,提出了面向大规模个性化生产的韧性制造系统的评估指标与优化策略;展望了面向大规模个性化生产的韧性制造系统的热点研究方向。     

老矿井地面生产系统改造方案优化

老矿井地面生产系统改造,首先要优化设计,从源头抓起,本着安全第一,兼顾效益同时不影响矿井生产的原则来进行地面生产系统改造,平煤六矿现有地面生产始建于1958年,建成已有40年,系统生产能力以达到满负荷运转,不能满足平煤股份六矿今后原煤生产要求,因此地面生产系统改造势在必行。     

高效智能布袋除尘器专用打圈机研制

根据当前布袋袋笼椭圆环筋结构特点和生产要求,研制一种高效智能布袋除尘器专用椭圆环筋打圈机。该设备主要由调直系统、进料系统、切料系统、成形系统、出料系统和控制系统组成。设备实现全自动生产,产品质量和工作稳定性好,生产效率高。通过实际生产验证,此设备能够满足日益增长的袋笼生产要求。     

混凝土生产系统中的电气工程与自动化应用

随着水利水电工程建设进程的加快,对于混凝土的需求量逐见加大,这样就要求混凝土生产量加大,为了保证混凝土的生产的顺利进行以及统一生产调度,提高生产效率。因此,在混凝土的生产过程中应该采用自动化生产系统,采用先进的自动化生产系统可以提高混凝土的生产效率高。该文依据水电站工程就混凝土生产中的自动化系统进行简单的介绍。     

采区生产系统合理性灰色局势决策

应用灰色系统理论,建立了灰色局势决策模型,并建立了采区生产系统评价指标体系,对矿井采区生产系统合理性作出灰色局势决策分析,为矿井生产提供科学的决策和手段。     

基于装配的多机器人虚拟生产平台的系统建模

作为虚拟生产平台建立的重要组成部分之一 ,生产系统的建模对于多机器人虚拟生产环境的作业控制至关重要。基于系统具有并发性、柔性和不确定性的特点 ,提出了一个生产系统分块式有效 Petri网建模方法 ,保证了所生成的整体生产系统模型的有效性 ,可直接用于系统作业的控制 ,并且具有错误恢复能力 ,建模方法的有效扩充性也为深入地细化研究系统的某个加工单元和系统的扩展提供了可能。采用 C/ C++语言 ,基于 GL 图形库实现了平台的建立并给出了实例     

全球化背景下的制造业生产调度体系探讨

面对客户随机需求,制造业生产调度系统应促进生产的快速性、动态性和敏捷性。论文以制造业生产调度体系为研究对象,从生产车间调度的目标、方法、手段、资源等基本要素入手,总结了传统生产调度系统在实际生产中的问题,并概括了系统集成视角下的生产调度方法及其改进措施,介绍了不确定条件下生产调度策略及评价指标。运用系统集成的思想,探讨了供需链环境下的制造业生产调度系统模式,最终提出了生产调度系统的集成化、动态化、高效智能化、柔性化和排程可视化等发展方向。     

Some Characterizations of GVNL Rings

A ring R is called a GVNL-ring if a or 1-a is π-regular for every a∈R,as a common generalization of local and π-regular rings.It is proved that if R is a GVNL ring,then either(1-e)R(1-e) or eRe is a π-regular ring for every idempotent e of R.We prove that the center of a GVNL ring is also GVNL and every abelian GVNL ring is SGVNL.The formal power series ring R[x] is GVNL if and only if R is a local ring.     

关于左∧半群

本文引入左∧，右∧半群并讨论其基本蛋白质，并给出∧半群的基本类型，文中证明完全单半群是左∧半群仅当它是矩形群，则该半群必是∧半群，同时证明了正则的左、右∧半群必是纯正半群，最后，证明左Ｃ半群是左∧半群并证明强左Ｃ半群是∧半群当且仅当它的幂等元带是∧半群。     

关于右Serial环是Goldie环的几个结果

本文主要证明了下列结果：1设R是半素右Serial环，且满足下列条件之一：1）R是右非奇异环;2）R是Duo环;则R是右Goldie环。2、设R是右Serial环，若R又是VonNeumann正则环，则R是右Goldie环。3、设R是右Serical环，且是右非奇异的，若任意单在R-模是P-内射模，则R是右Goldie环。     

L-双拓扑空间中的B-配仿紧性

在L-双拓扑空间中引入B-配仿紧性,证明这种仿紧性是B-配紧性的推广,并且具有一些好的性质.比如,对双闭子集遗传,在双强同胚映射下保持不变,在一定条件下B-配紧集与B-配仿紧集的乘积是B-配仿紧集,同时证明了B-配仿紧的双T2-空间既是双正则空间也是配正则空间.     

单Utumi模

引入了单Utumi模和奇异单Utumi模的概念, 研究了它们的基本性质, 证明了环R是右V-环当且仅当每个右R-模是单Utumi模; 环R是右GV-环当且仅当每个右R-模是奇异单Utumi模; 环R是半单阿廷环当且仅当每个单Utumi右R-模是内射模。     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

Richart模

本文引入左Richart模的概念．设M是左R模,若EndR(M)中任意元φ在M中的左零化子是M的直和项,则称M是左Richart模．左Richart模是左Richart环的推广．在文章中我们给出了左Richart环和左Richart模的等价刻画条件．探讨了Baer模和左Richart模的关系及左Richart模的性质:Baer模是左Richart模,而左Richart模不一定是Baer模;左Richart模的直和项是左Richart模,但左Richart模的直和不一定是左Richart模,我们给出了左Richart模对直和封闭的等价条件;并且证明了有限生成的Abel群是左Richart模当且仅当它是半单模或无挠模．此外,我们还探讨了左Richart模与一些重要的环、模类之间的关系,得到了左Richart模的自同态环是左Richart环,以及左Richart环的中心是VN-正则环．特别地,当模的自同态环是交换环时,模是左Richart模当且仅当它的自同态环是VN-正则环．     

命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集

从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明.     

The design of a novel parallel haptic device

A novel haptic device which is characterized by large workspace, high rigidity, simple kinematics and easy construction is presented. This device is a parallel mechanism which is composed of a base plate, three sub-chains, and a mobile plate. Each sub-chain is attached to the base plate through a pin joint and to the top plate through a spherical joint. The sub-chain is derived from and kinematically equivalent to a pantograph linkage but is redesigned to solve the difficult problem of motor-fitting. The spherical joint is of the ball-in-socket type, but has much larger workspace than its regular counterpart. The kinematics is analyzed, and the inverse kinematics analysis is performed with a geometric approach. The complete workspace is readily obtained with the spherical coordinate system searching method. The optimal value of the cone angle of the spherical joint is shown to be 100°.     

具有正则图的有限格的一些注记

研究了一类具有正则图的有限格,称之为正则图格.证明了一个有限格是分配的正则图格当且仅当它是布尔格,同时找出了所有1阶和2阶的正则图格.特别地,证明了8-元素布尔格是最小的3阶正则图格.