凸轮-连杆组合机构设计系统

将计算机辅助设计技术、网络技术与机构设计相结合,以组合机构的尺寸综合理论为基础,以机构最小尺寸为优化目标,采用Java作为开发语言,应用模块化的面向对象的设计方法,研制开发了凸轮-连杆组合机构网上设计系统.     

LF-拓扑空间的强拟紧性

本文将文[1]给出的拟紧概念推广到α-拓扑空间，证明了它是L-好的推广并且它对于正则闭子集是可遗传的．在LF-半正则空间中讨论了强拟紧集与强F紧集的等价性。     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

我国中小煤矿安全管理的制约因素与对策

分析了中小煤矿在安全管理方面存在的突出问题和政府安全监管方面的制约因素,并提出了新形势下强化中小煤矿安全管理的思路.     

基金项目管理系统的工作流建模

文章概述了基金项目管理的一般流程,并利用工作流技术对该流程进行了建模,提供了该工作流模型的实现.     

接地网故障诊断的一种新方法

提出一种无伤诊断接地网故障的新方法.首先提出并证明了利用接地网的可及点电压值检测接地网故障的判据,然后应用网络撕裂法概念建立接地网区域故障的诊断方程.模拟仿真诊断结果表明,这种诊断方法是正确而有效的,它可以用于电力系统接地网的故障诊断.     

晋普山煤矿锚杆支护技术

阐述了晋普山煤矿半煤岩巷道锚杆支护技术的设计方法及井下应用情况,介绍了锚杆支护矿压监测软件的组成和系统功能,并对今后煤矿锚杆支护技术的发展进行了展望。     

提高缝管式小锚杆支护质量方法浅议

针对缝管式小锚杆安装使用中存在的问题,介绍了解决存在问题、达到提高支护质量的若干方法.     

基于多Agent协作的下载模型研究

针对现有下载方法的不足,提出了一个基于多Agent协作的下载模型.该模型根据协作规则,将下载任务智能、动态地分配给网络上多个Agent,利用多Agent协作快速、高效、灵活地完成下载任务.Agent的知识是在多Agent的协作过程中,通过学习自动产生、完善和优化的.同时,阐述了模型实现的关键技术及解决方案.     

一类特殊的LF-网空间

本文研究了LF-网空间和它的几个子空间类,考虑了LF-k-网空间与几类广义度量化空间的关系,并且给出了LF-k-网空间的一个等价条件.