自动制造系统的一种死锁避免策略

基于Petri网的结构分析理论，提出了自动制造系统Petri网模型的一种死锁控制方法，在这种策略的控制下，避免了系统中死锁的产生，从而许多制造系统的Petri网模型具有活性，提出了一种保证所有严格极小信标至少含有一个托肯的方法，对冗余严格极小信标的研究，提高了Petri网复杂自动制造系统的建模能力。结果表明，在设计无死锁的Petri网格型时，不是所有的严格极小信标都要考虑，从而简化了设计结果和控制算法。     

基于多域集成Petri网的飞机装配系统模型

针对飞机装配系统的建模描述、分析诊断等管理问题,提出一种将多域集成概念与Petri网相结合的建模方法。阐述了多域集成Petri网模型的概念以及各个领域网模型的要素表达。给出多域集成Petri网的具体建模步骤,构建了装配资源系统各领域的形式化表达模型,从多角度集成描述了装配系统的组成元素、静态结构与基本属性,基于表达模型分析了系统相应领域的行为性能。以某型号客机装配系统为例论述了多域集成Petri网模型的有效性与可行性。     

一种面向对象Petri网的构造及应用研究

将 Petri网理论与面向对象技术结合 ,并借鉴客户机 /服务器模式 ,着色 Petri网中的一些概念 ,提出了一种新的面向对象 Petri网。文中详细论述了这种面向对象 Petri网的结构 ,形式定义 ,运行规则 ,并给出了这种面向对象Petri网应用于制造系统中的一个建模实例     

基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

基于Petri网理论的动态系统可靠性建模方法研究

利用Petri网对动态系统的描述能力，将Petri网应用于机械系统可靠性分析领域。研究了基于Petri网理论的故障事件及其逻辑关系的表达方法，探讨了将Petri网应用于复杂动态系统可靠性建模的方法，给出了应用示例。     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

复杂并行共享资源与系统死锁

研究了制造过程共享资源引起的死锁问题。提出了并行资源死锁结构的概念。对于包含该结构的系统，给出了Petri网模型具有可能死锁的充要条件。基于资源向量的概念，提出了一个简单方法，用于判断系统是否具有可能的死锁。针对包含死锁结构的系统，提出了系统Petri网无死锁的设计方法，举例说明了这种方法的应用。     

基于设计结构矩阵和着色Petri网的产品设计过程建模与仿真

将设计结构矩阵与着色Petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色Petri网基本网模型结构,将设计结构矩阵映射为着色Petri网,建立了产品设计过程着色Petri网模型。在此基础上建立了对设计资源进行有效分配的动态分配模型,通过定量仿真分析,实现了产品开发过程资源冲突的检测及资源的重新分配和调整。桥式起重机小车设计的实例说明了该方法的有效性。     

制造系统动态可靠性建模理论及其应用

在分析传统可靠性设计理论存在缺陷及面临挑战的基础上，评述动态可靠性建模主要方法。利用Petri网对动态系统的描述能力，将Petri网应用于系统故障分析和动态可靠性计算中，提出了基于故障Petri网的动态可靠性建模方法。以某挖掘机液压系统为例，研究了制造系统故障的Petri网静态描述和动态可靠性计算方法，求解得到系统可靠性数值指标。应用表明，随机Petri网在故障传播描述以及系统动态可靠性分析方面具有优势.     

基于多线程的智能仪器Petri网

在基于单片机的智能仪器的软件设计中采用了多线程技术,使多个任务并行执行。建立的多线程的智能仪器扩展时间Petri网模型,直观、形象、准确地表示了智能仪器的运行过程,和进程、线程互相之间的并行、顺序、优先级等关系,同时也表示出了硬件和软件之间的并发、限制、驱动等关系。根据Petri网模型还推导出各子任务完成时间的计算公式。     

Minimal Realization of Linear Graph Models for Multi-physics Systems

An engineering system may consist of several different types of components,belonging to such physical"domains"as mechanical,electrical,fluid,and thermal.It is t...     

INTEGRAL EQUATION METHOD＇S APPLICATION IN HOLE-EDGE STRESS OF COMPOSITE MATERIAL PLATE WITH DIFFERENT SHAPED HOLES

The strength of composite plate with different hole-shapes is always one of the most important but complicated issues in the application of the composite material. The holes will lead to mutations and discontinuity to the structure. So the hole-edge stress concentration is always a serious phenomenon. And the phenomenon makes the structure strength decrease very quickly to form dangerous weak points. Most partial damage begins from these weak points. According to the complex variable functions theory, the accurate boundary condition of composite plate with different hole-shapes is founded by conformal mapping method to settle the boundary condition problem of complex hole-shapes. Composite plate with commonly hole-shapes in engineering is studied by several complex variable stress fimction. The boundary integral equations are founded based on exact boundary conditions. Then the exact hole-edge stress analytic solution of composite plate with rectangle holes and wing manholes is resolved. Both of offset axis loadings and its influences on the stress concentration coefficient of the hole-edge are discussed. And comparisons of different loads along various offset axis on the hole-edge stress distribution of orthotropic plate with rectangle hole or wing manhole are made. It can be concluded that hole-edge with continuous variable curvatures might help to decrease the stress concentration coefficient; and smaller angle of outer load and fiber can decrease the stress peak value.     

Non-monotonic material contrast in scanning ion and scanning electron images

30 keV Ga⁺ focused ion beam induced secondary electron (iSE) imaging was used to determine the relative contrast between several materials. The iSE signal compared from C, Si, Al, Ti, Cr, Ni, Cu, Mo, Ag, and W metal layers does not decrease with an increase in target atomic number Z₂, and shows a non-monotonic relationship between contrast and Z₂. The non-monotonic relationship is attributed to periodic fluctuations of the stopping power and sputter yield inherent to the ion–solid interactions. In addition, material contrast from electron-induced secondary electron (eSE) and backscattered electron (BSE) images using scanning electron microscopy (SEM) also shows non-monotonic contrast as a function of Z₂, following the periodic behavior of the stopping power for electron–solid interactions. A comparison of the iSE and eSE results shows similar relative contrast between the metal layers, and not complementary contrast as conventionally understood. These similarities in the contrast behavior can be attributed to similarities in the periodic and non-monotonic function defined by incident particle–solid interaction theory.     

Application of Feature Extraction through Convolution Neural Networks and SVM Classifier for Robust Grading of Apples

This paper proposes a novel grading method of apples,in an automated grading device that uses convolutional neural networks to extract the size,color,texture,an...     

分布动态载荷识别的抗噪处理

针对正交多项式频域法在用多种响应对矩形薄板进行载荷识别中抗噪性较差的问题,综合运用平均法、矩阵预处理和奇异值截断法等方法对之进行改善,并引入空间映射的思想,将该方法的应用范围拓展为复杂的模型.利用仿真算例,证实了该方法具有较好的抗噪性.     

基于MELTAC-N平台的核电厂安全级DCS环网研究与测试

针对工程实践中环网通讯相关问题的处理缺乏理论基础及国产化安全级DCS平台的开发缺乏成熟经验借鉴问题,对基于MELTAC-N平台核电厂安全级DCS环网的软硬件实现进行了研究。提出了安全级DCS环网双环网冗余设计、光切换开关设计等硬件设计方法,以及以RPR协议为基础,采用全数据收发策略的软件设计方法。在CPR1000安全级DCS平台上对安全级DCS环网的可靠性及实时性进行了评价,并进行了容错能力、响应时间及响应时间稳定性测试验证实验。结果表明,基于MELTAC-N平台安全级DCS环网软硬件设计具有较好的容错能力及响应时间稳定性。     

The laboratory simulation of abrasive wear

Abrasive wear has long been recognised as one of the most potentially serious tribological problems facing the operators of many types of plant and machinery; several industrial surveys have indicated that wear by abrasion can be responsible for more than 50% of unscheduled machine and plant stoppages. Locating the operating point of a tribological contact in an appropriate operational ‚map’︁ can provide a useful guide to the likely nature and origins of the surface degradation experienced in use, though care must be exercised in choosing the most suitable parameters for the axes of the plot. Laboratory testing of materials and simulations of machine contacts are carried out for a number of purposes; at one level for the very practical aims of ranking candidate materials or surface hardening treatments in order of their wear resistance, or in an attempt to predict wear lives under field conditions. More fundamentally, tests may be aimed at elucidating the essential physical mechanisms of surface damage and loss, with the longer term aim of building an analytical and predictive model of the wear process itself. In many cases, component surface damage is brought about by the ingress of hard, particulate matter into machine bearing or sealing clearances. These may be running dry although, more usually, a lubricant or service fluid is present at the interface. A number of standardised wear test geometries and procedures have been established for both two- and three-body wear situations, and these are briefly described. Although abrasive wear is often modelled as following an ‚Archard’︁ equation (i.e. a linear increase in material loss with both load and time, and an inverse dependence on specimen hardness) both industrial experience and laboratory tests of particularly lubricated contacts show that this is not always the case: increasing the hardness differential in an abrasively contaminated lubricated pair may not always reduce the rate of damage to the harder surface.     

Short-Term Relay Quality Prediction Algorithm Based on Long and Short-Term Memory

The fraction defective of semi-finished products is predicted to optimize the process of relay production lines, by which production quality and productivity ar...     

End-to-End Multiview Gesture Recognition for Autonomous Car Parking System

The use of hand gestures can be the most intuitive human-machine interaction medium.The early approaches for hand gesture recognition used device-based methods....     

Limits of topographic measurement by the scanning tunnelling and atomic force microscopes

Parameters describing the topographic character of a surface (height, surface wavelength, slope and curvature) can be derived from equivalent sinusoidal profiles. The response of a surface-measuring instrument may be modelled in terms of instrument parameters such as stylus radius, and scanning range and resolution. The performance of the instrument may then be mapped as a zone in amplitude-wavelength (AW) space to show the sinusoidal profiles it is capable of measuring. In a first-order analysis the STM and AFM are considered as equivalent to contact-stylus instruments with a notional stylus radius equal to the tip radius plus the gap. Comparisons between different instruments and types of instrument are readily made by mapping in AW space. The error arising from convolution of the sinusoidal profile with that of the finite tip may be quantified and plotted as contours in AW space.