首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
练肇通  邓永录 《应用数学》1996,9(3):278-282
本文讨论了由N个同型部件和一个服务设备组成的机器服务模型,在服务设备绝对可靠,或服务设备具有指数寿命,修理工对其修理的时间为PH分布,这两种情况下求得了系统的平稳概率分布,从而求得机器系统和服务设备的稳态可靠性指标,并证明了它们的首次失效时间均服从PH分布,服务设备和修理工的忙期亦服从PH分布.  相似文献   

2.
研究带无穷多个部件的,由一个可靠机器,一个不可靠机器与一个缓冲库构成的系统主算子在左半复平面中的特征值,证明2√λη1μη2-λη1-μη2是该主算子的几何重数为1的一个特征值.  相似文献   

3.
本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为.首先在我们已有的工作基础上指出该模型的主算子生成的C_0-半群的本质增长界小于一个负数,由此推出0是该主算子的一级极点。然后用残数定理求该系统研究中出现的投影算子的表达式.最后证明该模型的时间依赖解指数收敛于其稳态解.本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统.  相似文献   

4.
本文对机器不可靠的二阀值控制存贮水平的生产存贮系统进行了研究,一旦机器发生故障,会立即得到修理以使它重新工作;对产品的需求假设是k个复合泊松到达过程的叠加,需求量为独立同分布的随机变量。我们得到了存贮水平稳态分布存在的充分条件、分布函数的显性表达式,以及在稳态下系统运行的一些性能指标。  相似文献   

5.
本文考虑下述n个工件在一台机器上加工的排序问题。其中d_i,C_i,w_i和h_i分别为工件i的应交工时间、完工时间、延误权因子和成本权因子。工件i所需的加工时间为p_i,所有工件在时间t=0时同时到达机器旁,机器不允许空转,工件被加工时不允许中断。本文用一O(n)快速方法给出(P)的一个下界。对问题(P),当取O≤u_i≤w_i,i=1,2,…,n时,  相似文献   

6.
研究有使用限制的二台机器流水作业排序问题,目标为最小化最大完工时间,工件加工可以被机器的不可用时间段中断.讨论两台机器上均有使用限制离线问题的可近似情形,并给出性能比为3/2的近似算法.同时还考虑在第二台机器上存在一个不可用时间段情况下的半在线问题,给出一个竞争比为3/2的半在线算法.  相似文献   

7.
孙怀民  梁群 《中国科学A辑》1992,35(10):1044-1052
机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.  相似文献   

8.
一类可靠性模型解的渐近稳定性   总被引:7,自引:0,他引:7  
研究一个可靠机器,一个不可靠机器和一个缓冲库构成的系统。通过研究相应算子的谱特征得到该系统解的渐近稳定性。  相似文献   

9.
本文研究了两台机器带柔性维修时间限制的排序问题,其中第一台机器在固定的时间内必须进行维修,而第二台机器一直可用,目标是最小化所有工件的最大完工时间。工件在加工过程中不允许中断。对于该问题,我们给出了一个性能比为的近似算法,并证明了该性能比是紧的。  相似文献   

10.
本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分|没有极限的微积分|理论构架的形式化验证,包括对张景中等发表的题为\微积分基础的新视角"论文中全部定义和定理的Coq描述.进而,对定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.本文是实践研究人员利用计算机学习、理解、构建乃至教育现代数学理论的一个尝试.  相似文献   

11.
对处理顺序回归问题的支持向量顺序回归机的统计学习理论基础进行研究.首先,利用结构风险最小化原则推导出一种顺序回归机,称之为结构风险最小化顺序回归机,其次,证明了结构风险最小化顺序回归机与支持向量顺序回归机解之间的关系.进一步从统计学习的角度证明了支持向量顺序回归机是结构风险最小化原则的一种直接实现,并给出了惩罚参数C的...  相似文献   

12.
模糊有限状态机的一些性质   总被引:1,自引:0,他引:1  
讨论模糊有限状态机的一些代数性质,得到模糊有限状态机在同态作用下子系统(强子系统)的前像仍是子系统(强子系统),证明若两个模糊有限状态机之间存在满足一定条件的同态映射时,前一个模糊有限状态机是强连通的(循环的),则后一个模糊有限状态机也是强连通的(循环的),且若这个同态是强满同态,则其中一个模糊有限状态机是完全的当且仅当另一个模糊有限状态机是完全的。对模糊有限状态机的积与原来的模糊有限状态机的完全性、强连通性、循环性、交换性等关系也进行讨论,得到一些结果。  相似文献   

13.
本文考虑带重入的单台机排序问题,重入是指每个工件在机器上加工不止一次.通过把重入模型转化为带平行链约束的排序问题,我们成功地获得了单机重入问题的两个目标函数的多项式时间最优算法,一个是总带权完工时间∑ωjCj,另一个是最大费用函数hmax.  相似文献   

14.
数控机床现场故障分布模型的统计研究   总被引:3,自引:0,他引:3  
本文对24台可换刀计算机数控机床的现场故障数据进行一年多的跟踪采集和数理统计分析,提出了整机故障分布的数学模型,为制订评估机床可靠性的特征量提供了理论依据。  相似文献   

15.
Machine learning problems from optimization perspective   总被引:2,自引:0,他引:2  
Both optimization and learning play important roles in a system for intelligent tasks. On one hand, we introduce three types of optimization tasks studied in the machine learning literature, corresponding to the three levels of inverse problems in an intelligent system. Also, we discuss three major roles of convexity in machine learning, either directly towards a convex programming or approximately transferring a difficult problem into a tractable one in help of local convexity and convex duality. No doubly, a good optimization algorithm takes an essential role in a learning process and new developments in the literature of optimization may thrust the advances of machine learning. On the other hand, we also interpret that the key task of learning is not simply optimization, as sometimes misunderstood in the optimization literature. We introduce the key challenges of learning and the current status of efforts towards the challenges. Furthermore, learning versus optimization has also been examined from a unified perspective under the name of Bayesian Ying-Yang learning, with combinatorial optimization made more effectively in help of learning.  相似文献   

16.
缆机是大坝浇筑过程中的主要运输设备之一,缆机驾驶员操作水平直接关系缆机起重作业安全.为有效提高缆机起重作业驾驶员操作行为可靠性,预防起重作业安全事故,针对缆机起重作业周期性多维运动的特点,分解驾驶员操作流程;剖析操作行为失误,建立驾驶员行为模式;从时间角度量化操作流程,计算缆机驾驶员操作行为响应失误概率;构建操作行为可靠性分析模型,定量表达操作行为可靠性,分析人因失误对缆机起重作业安全事故的影响.结果表明,吊具与吊罐对接、混凝土卸料等作业过程的缆机驾驶员操作行为可靠性低,需加强安全培训,严格考核制度,从根本上提高缆机驾驶员操作行为的可靠性,以期提升缆机生产效率,实现预防安全事故的目标.  相似文献   

17.
A generalized model of the Atwood machine when one body is constrained to move along a vertical axis while the other one can swing in a plane is considered. Combining symbolic and numerical calculations, we have obtained equations of motion of the system and analyzed their solutions. We have shown that oscillation can completely modify a motion of the system while the simple Atwood machine demonstrates only the uniformly accelerated motion of the bodies. The validity of the results obtained is demonstrated by means of the simulation of motion of swinging Atwood’s machine with the computer algebra system Wolfram Mathematica.  相似文献   

18.
针对工件同时具有学习和退化效应、机器具有可用性限制这一问题,建立可预见性单机干扰管理模型。在这一模型中,工件的加工时间是既与工件所排的加工位置又与工件开始加工的时间有关的函数。同时,在生产过程中由于机器发生故障或定期维修等扰动事件导致机器在某段时间内不能加工工件。目标是在同时考虑原目标函数和由扰动造成的偏离函数的情况下,构建一个新的最优时间表序列。根据干扰度量函数的不同研究了两个问题,第一个问题的目标函数是极小化总完工时间与总误工时间的加权和;第二个问题的目标函数是极小化总完工时间与总提前时间的加权和。对于所研究的问题,首先证明了最优排序具有的性质,然后建立了相应的拟多项式时间动态规划算法。  相似文献   

19.
In this paper, a machine is considered that at any moment of time can be in one of a finite number of states. Transitions of the machine between states are governed by a stationary Markov chain. The sale value of the machine is a random variable depending on the state of the machine and on its age. In this case the optimal sale strategy is to sell the machine when its sale value exceeds some critical limit (which is a function of the state and age of the machine).It is shown that when uncertainty rises (or equivalently, when the dispersion of the sale value rises), the critical limits which determine the optimal sale policy also rise. It is also shown that the expected discounted proceeds from operating the machine rise when uncertainty increases. In the formulation, the sale date of the machine is a random variable which depends on the random sale value of the machine. Increased uncertainty can either increase or decrease the expected value of the sale date depending on the values of the parameters of the problem.  相似文献   

20.
同时加工排序问题的分支定界法和启发式算法   总被引:2,自引:0,他引:2  
同时加工机器或者称为批加工机器是可以同时加工多个工件的机器.本文研究使带权总完工时间为最小的同时加工排序问题1|B|∑wjGj.这个问题的计算复杂性还没有解决.我们给出这个问题的精确解法——分支定界法和几个启发式算法,并且用较多实例对启发式算法的性能进行了比较.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号