Hierarchical Colored Timed Petri Nets for Maintenance Process Modeling of Civil Aircraft

Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.

USING COLORED-TIMED PETRI NET FOR THE SOLUTION OF DEADLOCK IN A FLEXIBLE ASSEMBLY SYSTEM

A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error recovery is given Through the analysis of the behavioral properties of the FAS with the deadlock recovery model,the deadlock problem would be solved in the system.

Real- Time Color Enhancement Method Used for Intelligent Mobile Terminals

In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to enhance the video image brightness visualization and the color performance depending on the certain hardware property and function parameters. The experimental results prove that this method can enhance the colors and the contrast of the video images, based on the estimated quality feature values of each frame, without using the extra Digital Signal Processor (DSP).

Real-time Three-Dimensional Color Doppler Flow Imaging： An Improved Technique for Quantitative Analysis of Aortic Regurgitation

The recently introduced real-time three-dimensional color Doppler flow imaging （RT-3D CDFI） technique provides a quick and accurate calculation of regurgitant jet volume （RJV） and fraction. In order to evaluate RT-3D CDFI in the noninvasive assessment of aortic RJV and regurgitant jet fraction （RJF） in patients with isolated aortic regurgitation, real-time three-dimensional echocardiographic studies were performed on 23 patients with isolated aortic regurgitation to obtain LV end-diastolic volumes （LVEDV）, end-systolic volumes （LVESV） and RJV, and then RJF could be calculated. The regurgitant volume （RV） and regurgitant fraction （RF） calculated by two-dimensional pulsed Doppler （2D-PD） method served as reference values. The results showed that aortic RJV measured by the RT-3D CDFI method showed a good correlation with the 2D-PD measurements （r= 0.93, Y=0.89X＋ 3.9, SEE= 8.6 mL, P〈0.001 ）; the mean （SD） difference between the two methods was - 1.5 （9.8） mL. % RJF estimated by the RT-3D CDFI method was also correlated well with the values obtained by the 2D-PD method （r=0.88, Y=0.71X＋ 14.8, SEE= 6.4 %, P〈0. 001）; the mean （SD） difference between the two methods was -1.2 （7.9） %. It was suggested that the newly developed RT-3D CDFI technique was feasible in the majority of patients. In patients with eccentric aortic regurgitation, this new modality provides additional information to that obtained from the two-dimensional examination, which overcomes the inherent limitations of two-dimensional echocardiography by depicting the full extent of the jet trajectory. In addition, the RT-3D CDFI method is quick and accurate in calculating RJV and RJF.

Verification of Session Initiation Protocol Using Timed Colored Petri Net

In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.

Effects of Light Time, Light Intensity and Light Color on the Growth and Quality of Cordyceps militaris

Cordyceps militaris,which is a precious edible fungus,contains effective ingredients such as cordycepin and adenosine,and can treat a variety of diseases.However,light has the greatest effect on the growth of C.militaris in the process of artificial cultivation.In this study,the effects of light time,light intensity and light color on the growth,physiology,yield and quality of C.militaris were discussed to provide reference for the efficient artificial cultivation of C.militaris.

EIZO ColorEdge CG245W显示器呈色性能研究

以专业显示器呈色性能为研究对象,设计了一套系统的专业显示器性能测试方法,采用正交试验分析方法来分析色温、亮度和Gamma值对显示器色彩再现能力的影响,为显示器确定合适的校准条件。此外,还对显示器的空间均匀性和时间稳定性进行测试,以更好地将显示器应用于软打样提供指导。

一种基于赋时Colored Petri网的工作流模型

工作流管理技术是 2 0世纪 90年代初新兴起的软件技术 ,其实现的关键在于工作流概念模型的建立。论文选择赋时ColoredPetri网 (TimedColoredPetriNet)作为工作流建模的主要工具 ,为了实现用Petri网来建立工作流模型 ,对 petri网做了适当的扩展以适应模型管理。最后通过 1个案例进一步阐述了基于Petri网的工作流建模技术。

基于特征图像组合与改进ResNet-18的电能质量扰动识别方法

针对传统电能质量扰动(power quality disturbance,PQD)识别体系中单一图像特征信息受限与算法识别能力不足等问题,依据特征融合的思想,提出一种基于特征图像组合与改进ResNet-18的PQD识别方法。首先,对PQD信号进行变分模态分解(variational mode decomposition,VMD)得到一系列固有模态函数(intrinsic mode functions,IMFs)与残差分量;其次,将IMFs、残差分量、原始扰动信号与Subtract分量纵向拼接成分量矩阵,利用信号-图像转化方法生成特征分量彩色图;再次,对原始扰动信号进行连续小波变换(continuous wavelet transform,CWT)生成小波时-频图;最后,将特征分量彩色图与小波时-频图组合输入改进的六通道ResNet-18中训练学习并完成扰动识别。通过仿真对PQD识别方法进行分析并将其与目前常用识别体系进行比较。结果表明,所提方法具有较好的抗噪性能并且能够更好地提取PQD特征信息,达到更高的识别准确率。

Independent Cycle Time Assignment for Min-max Systems

A variety of problems in digital circuits, computer networks, automated manufacturing plants, etc., can be modeled as min-max systems. The cycle time is an important performance metric of such systems. In this paper, we focus on the cycle time assignment of minimax systems which corresponds to the pole assignment problem in traditional linear control systems. For the min- max system with max-plus inputs and outputs, we show that the cycle time can be assigned disjointedly by a state feedback, if and only if the system is reachable. Furthermore, a necessary and sufficient condition for the cycle time to be assigned independently by a state feedback is given. The methods are constructive, and some numerical examples are given to illustrate how the methods work in practice.

Influence of the colored noise on determining the period of a torsion pendulum

Based on statistical properties, two typical models are considered to calculate the uncertainties for some random noise sequences on the period extraction of a torsion pendulum, which is important and instructive in the measurement of gravitational constant G with the time-of-swing method. An expression of the uncertainty for the period measurement is obtained, which is dependent on the ratio ？t/（1/λ） where ？t is the interval of the sample time and 1/λ is the length of the correlation time. The result of processing experimental data shows that as the interval of the sample time ？t gradually shortens, the uncertainty of the period becomes smaller, and further when the ratio ？t/（1/λ） is less than 1, the uncertainty remains substantially unchanged.

A Parametric Colored Petri Net Model of a Switched Network

A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed.

Positive-Negative Emotional Categorization of Clothing Color Based on Brightness

In current study, behavioral measures were conducted to investigate clothing color. The purpose was to focus on the rule that color brightness influencedpositive-negative emotional categorization. Results showed that the effect of brightness on clothing color emotion categorization was significant. With the increase of brightness, the variation curve of positive emotion appears to be a “U-shaped”, whereas that of the negative emotion shows an upside down “U-shaped”. Compared with the low brightness colors, the emotion reaction to the high brightness colors was more positive;Most of the colors with different brightness scales were classified as positive emotions and the minors were classified as negative emotions;the positive colors could be done much faster than the negative ones.

色纺纱用黏胶纤维的连续染色工艺与染色性能

采用散纤维连续染色技术对黏胶散纤维进行连续浸渍染色后再冷堆固色,然后进行连续式水洗。分析了固色时间对黏胶纤维外观形貌、色泽指标及力学性能的影响,并对染色黏胶纤维成品的色牢度、pH和甲醛含量进行测试。结果表明:连续浸渍染色后的黏胶纤维,经冷堆24 h固色后,可获得较好的匀染性;染色黏胶纤维的力学性能略有下降,其中强度下降约15%,断裂伸长率下降约16%;染色黏胶纤维的各项色牢度、pH和甲醛含量均符合要求。

iFlow彩色血流编码成像技术在下肢动脉硬化闭塞症诊断中的应用价值

目的研究iFlow彩色血流编码成像技术在下肢动脉硬化闭塞症(LEASO)诊断中的应用价值。方法选择2022年3月至2023年10月期间确诊的106例LEASO患者作为本研究的LEASO组,以一般资料与LEASO组匹配且无动脉病变的80例志愿者作为对照组。两组受试者均进行数字减影血管造影(DSA)并采用iFlow彩色血流编码成像技术检测股骨头区域和踝关节区域达峰时间(TTP)、计算踝关节区域与股骨头区域TTP的差值,测量踝肱指数(ABI)。结果两组研究对象年龄、性别、体质量指数、吸烟史、高血压病史、糖尿病史、冠心病史、股骨头区域TTP的比较,差异无统计学意义(P>0.05);LEASO组踝关节区域TTP及TTP差值均高于对照组,差异有统计学意义(P<0.05);LEASO组中不同Rutherford分类患者股骨头区域TTP的比较以及左侧病变患者与右侧病变患者股骨头区域TTP、踝关节区域TTP、TTP差值的比较,差异无统计学意义(P>0.05),Rutherford分类越高,踝关节区域TTP及TTP差值越低(P<0.05);经Pearson检验,LEASO患者的踝关节区域TTP、TTP差值与ABI呈负相关(P<0.05);经受试者工作特征(ROC)曲线分析,踝关节区域TTP、TTP差值对LEASO具有诊断效能;经Delong检验,TTP差值诊断的ROC曲线下面积高于踝关节区域TTP(P<0.05)。结论iFlow彩色血流编码成像技术测定踝关节区TTP及TTP差值是诊断LEASO的量化指标。

Resource Efficient Hardware Implementation for Real-Time Traffic Sign Recognition

Traffic sign recognition (TSR, or Road Sign Recognition, RSR) is one of the Advanced Driver Assistance System (ADAS) devices in modern cars. To concern the most important issues, which are real-time and resource efficiency, we propose a high efficiency hardware implementation for TSR. We divide the TSR procedure into two stages, detection and recognition. In the detection stage, under the assumption that most German traffic signs have red or blue colors with circle, triangle or rectangle shapes, we use Normalized RGB color transform and Single-Pass Connected Component Labeling (CCL) to find the potential traffic signs efficiently. For Single-Pass CCL, our contribution is to eliminate the “merge-stack” operations by recording connected relations of region in the scan phase and updating the labels in the iterating phase. In the recognition stage, the Histogram of Oriented Gradient (HOG) is used to generate the descriptor of the signs, and we classify the signs with Support Vector Machine (SVM). In the HOG module, we analyze the required minimum bits under different recognition rate. The proposed method achieves 96.61% detection rate and 90.85% recognition rate while testing with the GTSDB dataset. Our hardware implementation reduces the storage of CCL and simplifies the HOG computation. Main CCL storage size is reduced by 20% comparing to the most advanced design under typical condition. By using TSMC 90 nm technology, the proposed design operates at 105 MHz clock rate and processes in 135 fps with the image size of 1360 × 800. The chip size is about 1 mm2 and the power consumption is close to 8 mW. Therefore, this work is resource efficient and achieves real-time requirement.

冻融循环对食用菌预制菌汤品质的影响

为探究冻融循环对食用菌预制菌汤的品质影响,本文以鲜菌汤为参照,对比了冻融过程中微生物数量、菌汤色泽、可溶性蛋白、还原糖、总酚含量等基本指标的变化,并基于超高效液相检测和气相色谱-质谱法分析冻融过程菌汤等鲜度和挥发性风味物质差异。研究表明,首次冻融大幅减少了菌汤的还原糖、总酚和总氨基酸含量,显著降低了菌汤等鲜度和挥发性成分含量,综合影响了菌汤的成分与风味。进一步通过冻融次数(1~5次)之间的对比,反复冻融3次菌汤可溶性蛋白含量相较于冻融1~2次显著降低(P<0.05),此外,等鲜度由1~2次冻融的0.441~0.450 g MSG/100 g直接下降至0.407 g MSG/100 g,同时微生物开始检出。在此后4~5次冻融过程中,虽然菌汤总酚、总氨基酸含量和等鲜度相对稳定,但核苷酸、可溶性蛋白和挥发性成分不断减少且菌落总数不断升高。因此,预制菌汤若需冻融处理则应控制在2次内为宜。

经阴道彩色多普勒超声在子宫内膜病变患者中的应用价值

目的分析经阴道彩色多普勒超声在子宫内膜病变患者中的应用价值。方法选取2021年2月至2022年4月南昌大学第四附属医院收治的88例子宫内膜病变患者作为研究对象,所有患者均接受经阴道彩色多普勒超声及病理学检查,按照病理学检查结果将患者分为息肉组与癌变组,每组44例。比较两组二维超声子宫内膜情况、病灶血流动力学情况、经阴道彩色多普勒超声血流相关参数;以病理学检查结果为金标准,分析经阴道彩色多普勒超声对子宫内膜癌变的诊断效能。结果癌变组子宫内膜厚度厚于息肉组,内膜-肌层分界清晰、病灶回声均匀占比均低于息肉组,差异有统计学意义(P<0.05);癌变组血流丰富占比高于息肉组,差异有统计学意义(P<0.05);癌变组血流阻力指数(RI)、搏动指数(PI)均低于息肉组,时间平均峰值流速(TAP)慢于息肉组,差异有统计学意义(P<0.05);经阴道彩色多普勒超声对子宫内膜癌变的诊断灵敏度为86.36%,特异度为84.09%,准确度为85.23%;诊断息肉的灵敏度为84.09%,特异度为86.36%,准确度为85.23%。结论经阴道彩色多普勒超声对子宫内膜病变的诊断准确率较高,能通过血流动力学、RI、PI、TAP及影像学表现鉴别息肉或癌变。

Enhancement of density divergence in an insect outbreak model driven by colored noise

The steady states and the transient properties of an insect outbreak model driven by Gaussian colored noise are studied in this paper. According to the Fokker-Planck equation in the unified colored-noise approximation, we analyse the stationary probability distribution and the mean first-passage time of this model. By numerical analysis, the effects of the self-correlation time of insect birth rate and predation rate respectively reveal a manifest population divergence on the insect density. The decrease of the mean first-passage time indicates an enhancement dynamic on the density divergency with colored noise of a large self-correlation time based on the insect outbreak model.