故障设备最优预防性更换方法应用研究

该文在阐述最优预防性更换维修特性和概念的基础上，介绍2种最优预防性更换维修模型，即为了使停机时间最少，确定了最优预防性更换间隔期模型和最优预防性更换役龄模型，同时介绍了2种模型对应的具体预测计算方法。以某型火箭导弹发射武器系统中的插拔机构为实例，说明了具体的计算过程，并比较了2种方法的效率。实践表明，最优预防性更换维修方法可操作性强，对故障设备的维修具有参考价值和指导意义。     

涤纶短纤维生产中纺丝组件更换周期优化控制

针对涤纶短纤维生产中纺丝组件更换周期调度问题建立了一个优化模型,以保证在给定的生产计划期内包括纺丝组件的使用费用和更换费用在内的总消耗最小.将纺丝组件更换调度问题归结为设备更新问题:纺丝组件相当于设备,组件的运行天数相当于设备役龄;用动态规划方法给出了该模型的最优解.利用某大型石化企业的实际数据对模型进行了仿真,并与现有的经验方法进行了比较分析.结果表明,上述方法能使生产费用平均降低6%～10%,从而证明了该方法的有效性和实际应用价值.     

带预防性维修的冲击模型最优检测更换策略

考虑带检测、预防性维修的冲击模型,在假设系统的故障不能修复如新的条件下,以降低系统运行成本为目标,以检测周期T、系统更换前故障次数N为联合决策变量,利用几何过程和更新过程理论建立了系统平均费用率C(T,N)的数学模型。最后,通过数值方法求得最优的检测更换策略。     

航空发动机单部件视情维修优化决策

基于航空发动机视情维修特点,对影响航空发动机部件维修的两个主要决策变量预防性维修阈值和检查间隔期进行分析。在分析某航空公司实际运行数据的基础上,以期望维修费用率最低为目标函数建立针对预防性维修阈值和检查间隔期的优化决策模型。通过用检查问隔期的幂函数表示Weibull分布的尺度参数的方法,实现在同一模型中同时对两个决策变量作综合优化决策。最后以CFM56发动机的HPT叶片为实例作了应用分析。结果表明,所建优化模型在保证发动机安全运行的前提下,使期望维修费用率最低。     

概率方法在自动化车床生产管理中的应用

利用初等概率方法．建立起了自动化车床生产中预防性更换与定期检查相结合条件下的效益优化模型，并借助于计算机得到了较好的效果．为加强自动化车床的有效管理提供了可靠的依据．     

一类取整函数的极小值问题研究

取整函数经常出现在组合优化问题的模型中。由于求极值的困难性,制约了其实际应用。为解决这一难题,文中提出两类常用取整函数的极小值问题,并用微分与差分的方法求得它们的极小值点与极小值。使用的方法和结论具有一般性,对求其他类型的取整函数极值问题具有积极作用。     

基于神经网络的复杂工业过程参数设定值计算

针对目前复杂工业过程参数设定值计算模型存在的问题，研究了神经网络与传统数学模型相结合的组合建模方法，重点讨论了该方法在带钢热连轧生产过程参数设定值计算中的实际应用。3年来的生产实际运行结果表明，神经网络的成功应用为热连轧厂进一步提高产品质量和自动化水平创造了有利的条件。     

自动化车床刀具检测更换数学模型

将两次预防性更换刀具的生产过程作为一个生产周期，以周期内生产单位个合格零件各种损失费之和的期望作为目标函数，并利用计算机求得结果，对问题3，采用等概率不等间隔的检查方式,得到了模型的优化解。     

浅析检查和更换压力表的操作

用在井口检查更换安装压力表是油井日常管理工作中最基本的操作技能之一,主要是保证压力表准确显示真实压力数值,为生产分析提供准确的压力资料。检查和更换压力表的操作也是采油工的岗位要求的技能操作项目,如何完成该项目的技能操作训练,有利于提高采油专业学生的技能操作素质,为不断提高的岗位员工的素质打下了坚实的基础。     

混料试验设计变量选择AIC准则研究

在回归分析建模中,变量选择是重要的热点研究问题,在回归模型中应该保留对响应的影响最显著的变量.变量选择在分析实际经济问题中得到广泛的应用.文章以混料模型为基础,主要研究混料模型中的变量选择问题.     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture，MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要，但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V），目前的研究比较少。为此，尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质，检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时，采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统，并通过实例验证了其有效性。     

原油蒸馏过程中的数据协调与操作优化

原油蒸馏过程是一个复杂的连续工业过程,其操作优化将为企业带来可观的经济效益,解决该问题的难点主要在于过程数据协调,过程建模及优化算法。针对某炼油化工有限公司原油蒸馏过程,进行了基于物料平衡的过程数据协调计算,建立了以过程严格机理模型为约束的轻油收率优化模型,并提出应用遗传算法求解上述高维非线性工程优化问题,取得了满意的结果。     

多目标规划问题的一种解法

多目标规划问题的解法如〔1-3〕中所介绍,虽是多种多样,但不外是应用求一个函数的极值的办法(人们也只能对一个函数求极值),找出一个非劣解作为决策者的选好解.问题在于如何比较自然和合理的找出一个解.我们在这里提供一种方法是由经济问题直接导出数学模型,并用对策的方法来求解.     

基于模型检测的审计方法逻辑正确性验证

利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证的审计方法进行修正.实验结果表明,模型检测方法能验证审计方法逻辑的正确性.     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

面向对象知识库建库技术

针对目前人工建立对象知识库的局限性 ,提供了一种基于样本利用、模式识别、形式文法和改进结构建模方法的面向对象知识库的建库新技术 ,它直接从客观世界提取样本知识 ,经过人工神经网络机制进行学习 ;然后通过语意理解器的识别从而达到提高知识确定性、减小信息熵的目的 ;最后由改进结构建模方法实现对象知识库的继承体系     

A Formal Model for BPEL4WS Description of Web Service Composition

Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.     

Data Fusion and Sensors Model

In this paper, we take the model of Laser range finder based on synchronized scanner as example, show how to use data fusion method in the process of sensor model designing to get more robust output. Also we provide our idea on the relation of sensor model, data fusion and system structure, and in the paper, there is a solution that transform the parameter space to get linear model for Kalman filter.     

Data Fusion and Sensors Model

In this paper, we take the model of Laser range finder based on synchronized scanner as example, show how to use data fusion method in the process of sensor model designing to get more robust output. Also we provide our idea on the relation of sensor model, data fusion and system structure, and in the paper, there is a solution that transform the parameter space to get linear model for Kalman filter.