Present paper deals a M/M/1:(∞;GD) queueing model with interdependent controllable arrival and service rates where- in customers arrive in the system according to poisson distribution with two different arrivals rate...Present paper deals a M/M/1:(∞;GD) queueing model with interdependent controllable arrival and service rates where- in customers arrive in the system according to poisson distribution with two different arrivals rates-slower and faster as per controllable arrival policy. Keeping in view the general trend of interdependent arrival and service processes, it is presumed that random variables of arrival and service processes follow a bivariate poisson distribution and the server provides his services under general discipline of service rule in an infinitely large waiting space. In this paper, our central attention is to explore the probability generating functions using Rouche’s theorem in both cases of slower and faster arrival rates of the queueing model taken into consideration;which may be helpful for mathematicians and researchers for establishing significant performance measures of the model. Moreover, for the purpose of high-lighting the application aspect of our investigated result, very recently Maurya [1] has derived successfully the expected busy periods of the server in both cases of slower and faster arrival rates, which have also been presented by the end of this paper.展开更多
Of the two methods of getting the mathematical model of a given system,modeling and i-dentification,the first is of the advantage of“knowing it in the detailed inside”.In this paper,after the common technological pr...Of the two methods of getting the mathematical model of a given system,modeling and i-dentification,the first is of the advantage of“knowing it in the detailed inside”.In this paper,after the common technological process of paper making is approached,a simplified physicalimitation and the mathematical model are presented.The resulted model by means of modelingis of the same form with that through,identification by K.J.Astrom in 1970.The course ofmodel deriving is described in detail,from which one can see clearly how the minor factors ofthe dynamics are omitted and what may be included in the unmodeled dynamics.At the sametime,the limit to its usage is also given.展开更多
To track and control the changes of process quality attributes in multistage machining processes(MMPs),an e-quality control(e-QC) model is proposed.The e-QC model is defined as a quality information service node with ...To track and control the changes of process quality attributes in multistage machining processes(MMPs),an e-quality control(e-QC) model is proposed.The e-QC model is defined as a quality information service node with e-formalizing technology,whose input/output and intermediate process(that is IPO) are known to other nodes,and its implemention in MMPs is provided.In order to establish the e-QC model,a measuring network is constructed to acquire the original quality data,and the changes of process quality attributes are monitored and diagnosed by the integrated quality analysis tools attached to the e-QC,which can be tracked by information template network in real time.Furthermore,a hierarchical control method is adopted to coordinate e-QCs,in which the quality loss and adjusting cost are used to quantify the opportunities for e-QCs to improve process quality.At last,a prototype is developed to verify the proposed methods.展开更多
The aim of this work is mathematical education through the knowledge system and mathematical modeling. A net model of formation of mathematical knowledge as a deductive theory is suggested here. Within this model the ...The aim of this work is mathematical education through the knowledge system and mathematical modeling. A net model of formation of mathematical knowledge as a deductive theory is suggested here. Within this model the formation of deductive theory is represented as the development of a certain informational space, the elements of which are structured in the form of the orientated semantic net. This net is properly metrized and characterized by a certain system of coverings. It allows injecting net optimization parameters, regulating qualitative aspects of knowledge system under consideration. To regulate the creative processes of the formation and realization of mathematical know- edge, stochastic model of formation deductive theory is suggested here in the form of branching Markovian process, which is realized in the corresponding informational space as a semantic net. According to this stochastic model we can get correct foundation of criterion of optimization creative processes that leads to “great main points” strategy (GMP-strategy) in the process of realization of the effective control in the research work in the sphere of mathematics and its applications.展开更多
电网换相换流器型高压直流输电(line commutated converter-based high voltage direct current,LCC-HVDC)系统若发生后续换相失败,将严重影响交直流混联电网的安全稳定运行。文中首先针对LCC-HVDC系统故障恢复过程中电流偏差控制作用...电网换相换流器型高压直流输电(line commutated converter-based high voltage direct current,LCC-HVDC)系统若发生后续换相失败,将严重影响交直流混联电网的安全稳定运行。文中首先针对LCC-HVDC系统故障恢复过程中电流偏差控制作用阶段易再次发生换相失败的问题,对电流偏差控制参数与换相失败之间的关系进行理论分析,发现此阶段系统若不发生换相失败,逆变侧LCC直流电压和交流换相电压须满足一定的约束关系,且该约束关系受电流偏差控制参数的直接影响。然后,基于理论分析结果,提出一种电流偏差控制参数整定方法,可改善系统故障恢复过程中对直流电压恢复速度和程度的控制要求,使系统更易满足直流电压与交流换相电压稳定运行约束关系,以降低后续换相失败概率。最后,利用PSCAD/EMTDC仿真平台CIGRE标准测试模型验证了理论分析的正确性以及参数整定方法的有效性。展开更多
随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面...随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面无人平台系统安全分析方法。围绕遥控操作地面无人平台系统安全,通过STPA方法识别UGV系统中的不安全控制行为及其潜在风险,并利用Bow-Tie模型分析从损失致因场景到可能事故后果的事件链,得到风险传播路径和风险扩散路径。最终,基于Bow-Tie分析结果确定主被动安全分级控制措施,并通过自主安全控制器实现了系统安全管理。展开更多
文摘Present paper deals a M/M/1:(∞;GD) queueing model with interdependent controllable arrival and service rates where- in customers arrive in the system according to poisson distribution with two different arrivals rates-slower and faster as per controllable arrival policy. Keeping in view the general trend of interdependent arrival and service processes, it is presumed that random variables of arrival and service processes follow a bivariate poisson distribution and the server provides his services under general discipline of service rule in an infinitely large waiting space. In this paper, our central attention is to explore the probability generating functions using Rouche’s theorem in both cases of slower and faster arrival rates of the queueing model taken into consideration;which may be helpful for mathematicians and researchers for establishing significant performance measures of the model. Moreover, for the purpose of high-lighting the application aspect of our investigated result, very recently Maurya [1] has derived successfully the expected busy periods of the server in both cases of slower and faster arrival rates, which have also been presented by the end of this paper.
文摘Of the two methods of getting the mathematical model of a given system,modeling and i-dentification,the first is of the advantage of“knowing it in the detailed inside”.In this paper,after the common technological process of paper making is approached,a simplified physicalimitation and the mathematical model are presented.The resulted model by means of modelingis of the same form with that through,identification by K.J.Astrom in 1970.The course ofmodel deriving is described in detail,from which one can see clearly how the minor factors ofthe dynamics are omitted and what may be included in the unmodeled dynamics.At the sametime,the limit to its usage is also given.
基金the National Basic Research Program of China("973")(Grant No.2005CB724106)the National High-Tech Research and Development Program of China("863")(Grant No.2007AA00Z108)
文摘To track and control the changes of process quality attributes in multistage machining processes(MMPs),an e-quality control(e-QC) model is proposed.The e-QC model is defined as a quality information service node with e-formalizing technology,whose input/output and intermediate process(that is IPO) are known to other nodes,and its implemention in MMPs is provided.In order to establish the e-QC model,a measuring network is constructed to acquire the original quality data,and the changes of process quality attributes are monitored and diagnosed by the integrated quality analysis tools attached to the e-QC,which can be tracked by information template network in real time.Furthermore,a hierarchical control method is adopted to coordinate e-QCs,in which the quality loss and adjusting cost are used to quantify the opportunities for e-QCs to improve process quality.At last,a prototype is developed to verify the proposed methods.
文摘The aim of this work is mathematical education through the knowledge system and mathematical modeling. A net model of formation of mathematical knowledge as a deductive theory is suggested here. Within this model the formation of deductive theory is represented as the development of a certain informational space, the elements of which are structured in the form of the orientated semantic net. This net is properly metrized and characterized by a certain system of coverings. It allows injecting net optimization parameters, regulating qualitative aspects of knowledge system under consideration. To regulate the creative processes of the formation and realization of mathematical know- edge, stochastic model of formation deductive theory is suggested here in the form of branching Markovian process, which is realized in the corresponding informational space as a semantic net. According to this stochastic model we can get correct foundation of criterion of optimization creative processes that leads to “great main points” strategy (GMP-strategy) in the process of realization of the effective control in the research work in the sphere of mathematics and its applications.
文摘电网换相换流器型高压直流输电(line commutated converter-based high voltage direct current,LCC-HVDC)系统若发生后续换相失败,将严重影响交直流混联电网的安全稳定运行。文中首先针对LCC-HVDC系统故障恢复过程中电流偏差控制作用阶段易再次发生换相失败的问题,对电流偏差控制参数与换相失败之间的关系进行理论分析,发现此阶段系统若不发生换相失败,逆变侧LCC直流电压和交流换相电压须满足一定的约束关系,且该约束关系受电流偏差控制参数的直接影响。然后,基于理论分析结果,提出一种电流偏差控制参数整定方法,可改善系统故障恢复过程中对直流电压恢复速度和程度的控制要求,使系统更易满足直流电压与交流换相电压稳定运行约束关系,以降低后续换相失败概率。最后,利用PSCAD/EMTDC仿真平台CIGRE标准测试模型验证了理论分析的正确性以及参数整定方法的有效性。
文摘随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面无人平台系统安全分析方法。围绕遥控操作地面无人平台系统安全,通过STPA方法识别UGV系统中的不安全控制行为及其潜在风险,并利用Bow-Tie模型分析从损失致因场景到可能事故后果的事件链,得到风险传播路径和风险扩散路径。最终,基于Bow-Tie分析结果确定主被动安全分级控制措施,并通过自主安全控制器实现了系统安全管理。
