突发疫情对染料行业影响及对策

一场新型冠状病毒肺炎疫情的爆发给染料行业的发展带来了影响,既有负面消极,也有积极影响。疫情将促进染料行业绿色发展,推动染料行业走向信息化、智能化时代,走向高质量发展,指出只要坚持绿色、创新和智能化,就能战胜疫情,推动中国染料行业稳健发展。     

Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems

Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large dimensionality of such systems. To overcome this problem, a typical approach is to decompose the net into subnets and then control the plant through hierarchical or decentralized structures. Although this concept has been widely discussed in the literature for discrete PNs, there is a lack of research for HPNs. In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced. The advantage of using the proposed approach is validated by an existing example. A sugar milling case study is analysed by using a decomposed FOHPN model and the optimization results are compared against the results of the approaches presented in other papers. Simulation results show not only an improvement in production rate, but also show the ability to control the plant online. In addition, by using the hierarchical control structure for an FOHPN model, it is possible to reduce the cost of communication links, improve the reliability of the system, maintain the plant locally, and partially redesign the system.     

A modified particle swarm optimization with multiple subpopulations for multimodal function optimization problems

In this paper, a modified particle swarm optimization (PSO) algorithm is developed for solving multimodal function optimization problems. The difference between the proposed method and the general PSO is to split up the original single population into several subpopulations according to the order of particles. The best particle within each subpopulation is recorded and then applied into the velocity updating formula to replace the original global best particle in the whole population. To update all particles in each subpopulation, the modified velocity formula is utilized. Based on the idea of multiple subpopulations, for the multimodal function optimization the several optima including the global and local solutions may probably be found by these best particles separately. To show the efficiency of the proposed method, two kinds of function optimizations are provided, including a single modal function optimization and a complex multimodal function optimization. Simulation results will demonstrate the convergence behavior of particles by the number of iterations, and the global and local system solutions are solved by these best particles of subpopulations.     

Prediction of sediment,particulate nutrient and dissolved nutrient concentrations in a dry tropical river to provide input to a mechanistic coastal water quality model

A Generalised Additive Modelling (GAM) approach is applied to prediction of both particulate and dissolved nutrient concentrations in a wet-tropical river (the Fitzroy River, Queensland, Australia). In addition to covariant terms considered in previous work (i.e. flow, discounted flow and a rising-falling limb term), we considered several new potential covariates: meteorological and hydrological variables that are routinely monitored, available in near-real time, and were considered to have potential predictive power. Of the additional terms considered, only flows from three tributaries of the Fitzroy River (namely, the Nogoa, Comet and Isaac Rivers) were found to significantly improve the model. Inclusion of one or more of these additional flow terms greatly improved results for dissolved nitrogen and dissolved phosphorus concentrations, which were not otherwise amenable to prediction. In particular, the Nogoa sub-catchment, dominated by pasture for cattle, was found to be important in determining dissolved inorganic nitrogen and phosphorus concentrations reaching the river mouth. This insight may direct further research, including future refinement of processed-based catchment models. The GAMs described here are used to provide near real-time river boundary conditions for a complex coupled hydrodynamic and biogeochemical model of the Great Barrier Reef Lagoon, and can be coupled with a forecasting hydrological model to allow integrated forecasting simulations of the catchment to coast system.     

Novel organic dyes containing N-bridged oligothiophene coplanar cores for dye-sensitized solar cells

Three novel organic dyes adopting fully-fused coplanar heteroarene as the donor moieties end-capped with two cyanoacrylic acids as acceptors and anchoring groups have been synthesized, characterized, and used as the sensitizers for dye-sensitized solar cells (DSSCs). The photophysical and electrochemical properties of the novel dyes and the characteristics of the DSSCs based on the novel organic dyes were investigated. The incorporation of the coplanar cores with electron-donating N-bridges are beneficial for the better intramolecular charge transfer (ICT), giving these new dyes good light-harvesting capability. The LUMO energy levels of these coplanar heteroacene-based dyes are sufficiently high for the efficient electron injection to TiO₂ upon photo-excitation, while the suitable HOMOs allow the regeneration of oxidized dyes with the electrolyte redox (I⁻/I₃⁻). The structural features of the coplanar cores (penta vs. hexa heteroarene) as well as the alkyl substitutions play crucial roles in governing the physical properties and device performance. Among these three novel organic sensitizers, the EHTt dye composed of a fully fused hexa-arene core and less bulky N-alkyl groups caused the DSSC to show the best photovoltaic performance with an open-circuit voltage (V_OC) of 0.58 V, a short-circuit photocurrent density (J_SC) of 13.72 mA/cm², and a fill factor (FF) of 0.69, yielding an overall power conversion efficiency (PCE) of 5.52% under AM 1.5G solar irradiation.     

Characteristics and formation mechanism of porosities in CFRP during laser joining of CFRP and steel

An experimental investigation on the mechanism of porosity formation during the laser joining of carbon fiber reinforced polymer (CFRP) and steel is presented. The porosity morphology and distribution were characterized by optical and scanning electron microscopy, and the thermal pyrolysis behaviors were investigated by thermal analysis and designed back-side cooling experiments. The results show that there are two types of porosities in CFRP. Porosity I only appears when the heat input is more than 77.8 J/mm. It has a smooth inner wall and distributes near the bonding interface between CFRP and steel at the central area of melted zone, which is caused by gaseous products such as CO₂, NH₃, H₂O, and hydrocarbons produced by the pyrolysis of CFRP. Porosity II can be seen under all joining conditions. It has a rough inner wall and distributes far away from the bonding interface, concentrating at the final solidification locations. Porosity II is caused by the shrinkage of melted CFRP during solidification stage.     

Resistive switching characteristics of ZnO–graphene quantum dots and their use as an active component of an organic memory cell with one diode-one resistor architecture

We investigated the resistive switching characteristics of a polystyrene:ZnO–graphene quantum dots system and its potential application in a one diode-one resistor architecture of an organic memory cell. The log–log I–V plot and the temperature-variable I–V measurements revealed that the switching mechanism in a low-current state is closely related to thermally activated transport. The turn-on process was induced by a space-charge-limited current mechanism resulted from the ZnO–graphene quantum dots acting as charge trap sites, and charge transfer through filamentary path. The memory device with a diode presented a ∼10³ I_ON/I_OFF ratio, stable endurance cycles (10² cycles) and retention times (10⁴ s), and uniform cell-to-cell switching. The one diode-one resistor architecture can effectively reduce cross-talk issue and realize a cross bar array as large as ∼3 kbit in the readout margin estimation. Furthermore, a specific word was encoded using the standard ASCII character code.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.