Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks

In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the electricity price at each time. A PBN is widely used as a model of complex systems, and is appropriate as a model of real-time pricing systems. Using the PBN-based model, real-time pricing systems can be quantitatively analyzed. In this paper, we propose a verification method of real-time pricing systems using the PBN-based model and the probabilistic model checker PRISM. First, the PBN-based model is derived. Next, the reachability problem, which is one of the typical verification problems, is formulated, and a solution method is derived. Finally, the effectiveness of the proposed method is presented by a numerical example.

Modeling and Design of Real-Time Pricing Systems Based on Markov Decision Processes

A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load curve. In this paper, using a Markov decision process (MDP), we propose a modeling method and an optimal control method for real-time pricing systems. First, the outline of real-time pricing systems is explained. Next, a model of a set of customers is derived as a multi-agent MDP. Furthermore, the optimal control problem is formulated, and is reduced to a quadratic programming problem. Finally, a numerical simulation is presented.

A Research of Real-Time Pricing Mechanism and Its Characteristics

Real-Time Pricing (RTP) is proposed as an effective Demand-Side Management (DSM) to adjust the load curve in order to achieve the peak load shifting. At the same time, the RTP mechanism can also raise the revenue of the supply-side and reduce the electricity expenses of consumers to achieve a win-win situation. In this paper, a real-time pricing algorithm based on price elasticity theory is proposed to analyze the energy consumption and the response of the consumers in smart grid structure. We consider a smart grid equipped with smart meters and two-way communication system. By using real data to simulate the proposed model, some characteristics of RTP are summarized as follows: 1) Under the condition of the real data, the adjustment of load curve and reducing the expenses of consumers is obviously. But the profit of power supplier is difficult to ensure. If we balance the profits of both sides, the supplier and consumers, the profits of both sides and the adjustment of load curve will be relatively limited. 2) If assuming the response degree of consumers to real-time prices is high enough, the RTP mechanism can achieve the expected effect. 3, If the cost of supply-side (day-ahead price) fluctuates dramatically, the profits of both sides can be ensured to achieve the expected effect.

基于Real-time PCR法检测乳粉中牛源性成分定量研究

基于Real-timePCR建立了乳粉中牛源性成分相对定量检测方法,并对牛的特异性引物与探针进行了特异性、灵敏度和稳定性测试。通过模拟不同浓度牛乳粉与马乳粉混合样本,根据其△Ct值的函数关系进行线性拟合进而绘制标准曲线,建立乳粉中牛源性成分的相对定量检测。结果显示,该方法的最低检测限为0.00001 mg/mL,回收率为91.11%~119.2%,组间变异系数≤0.58%、组内变异系数≤1.44%。说明该方法在特异性与稳定性上适用于乳粉中牛源性成分及含量的掺假检测。

一种基于real-time PCR技术的TTV检测方法的建立及应用

目的:本研究旨在开发一种具有更高灵敏度和特异性的TTV检测技术,为揭示TTV在多种疾病过程中的作用提供重要的技术支持。方法:为了更精确、灵敏的检测TTV,本研究分析了目前公布的所有亚型的TTV基因序列,在此基础上建立了一种基于UTR区域的real-time PCR检测方法,并与文献报道应用较为广泛的PCR检测方法进行了对比。结果:本研究建立的方法在1×10^(7)~1×10^(1) copies/μL标准品浓度范围内具有良好的线性关系,相关系数为1.000,斜率为-3.446,检测下限为1×10^(1) copies/μL。重复性试验结果显示,组内变异系数为7.22%,表明本方法重复性、稳定性较强。针对30份临床样本,使用本研究建立的real-time PCR检测方法及目前被多个研究所使用的4套引物进行对比。结果表明,本研究所建立的方法灵敏度显著高于文献中报道的4种方法(P<0.01);Sanger测序结果表明,本方法检测出的30份阳性样本均为TTV,检测特异性为100%。结论:本研究采用基于TaqMan探针的real-time PCR检测方法,检测灵敏性高、覆盖基因型范围广,尤其对于TTV病毒载量较低的情况下能够进行定量检测,对于TTV病毒的致病性及作为免疫标志物的应用提供重要的技术支持。

Integrated strategy for real-time wind power fluctuation mitigation and energy storage system control

To address the impact of wind-power fluctuations on the stability of power systems,we propose a comprehensive approach that integrates multiple strategies and methods to enhance the efficiency and reliability of a system.First,we employ a strategy that restricts long-and short-term power output deviations to smoothen wind power fluctuations in real time.Second,we adopt the sliding window instantaneous complete ensemble empirical mode decomposition with adaptive noise(SW-ICEEMDAN)strategy to achieve real-time decomposition of the energy storage power,facilitating internal power distribution within the hybrid energy storage system.Finally,we introduce a rule-based multi-fuzzy control strategy for the secondary adjustment of the initial power allocation commands for different energy storage components.Through simulation validation,we demonstrate that the proposed comprehensive control strategy can smoothen wind power fluctuations in real time and decompose energy storage power.Compared with traditional empirical mode decomposition(EMD),ensemble empirical mode decomposition(EEMD),and complete ensemble empirical mode decomposition with adaptive noise(CEEMDAN)decomposition strategies,the configuration of the energy storage system under the SW-ICEEMDAN control strategy is more optimal.Additionally,the state-of-charge of energy storage components fluctuates within a reasonable range,enhancing the stability of the power system and ensuring the secure operation of the energy storage system.

Real-Time Detection and Instance Segmentation of Strawberry in Unstructured Environment

The real-time detection and instance segmentation of strawberries constitute fundamental components in the development of strawberry harvesting robots.Real-time identification of strawberries in an unstructured envi-ronment is a challenging task.Current instance segmentation algorithms for strawberries suffer from issues such as poor real-time performance and low accuracy.To this end,the present study proposes an Efficient YOLACT(E-YOLACT)algorithm for strawberry detection and segmentation based on the YOLACT framework.The key enhancements of the E-YOLACT encompass the development of a lightweight attention mechanism,pyramid squeeze shuffle attention(PSSA),for efficient feature extraction.Additionally,an attention-guided context-feature pyramid network(AC-FPN)is employed instead of FPN to optimize the architecture’s performance.Furthermore,a feature-enhanced model(FEM)is introduced to enhance the prediction head’s capabilities,while efficient fast non-maximum suppression(EF-NMS)is devised to improve non-maximum suppression.The experimental results demonstrate that the E-YOLACT achieves a Box-mAP and Mask-mAP of 77.9 and 76.6,respectively,on the custom dataset.Moreover,it exhibits an impressive category accuracy of 93.5%.Notably,the E-YOLACT also demonstrates a remarkable real-time detection capability with a speed of 34.8 FPS.The method proposed in this article presents an efficient approach for the vision system of a strawberry-picking robot.

Models to Simulate Effective Coverage of Fire Station Based on Real-Time Travel Times

In recent years,frequent fire disasters have led to enormous damage in China.Effective firefighting rescues can minimize the losses caused by fires.During the rescue processes,the travel time of fire trucks can be severely affected by traffic conditions,changing the effective coverage of fire stations.However,it is still challenging to determine the effective coverage of fire stations considering dynamic traffic conditions.This paper addresses this issue by combining the traveling time calculationmodelwith the effective coverage simulationmodel.In addition,it proposes a new index of total effective coverage area(TECA)based on the time-weighted average of the effective coverage area(ECA)to evaluate the urban fire services.It also selects China as the case study to validate the feasibility of the models,a fire station(FS-JX)in Changsha.FS-JX station and its surrounding 9,117 fire risk points are selected as the fire service supply and demand points,respectively.A total of 196 simulation scenarios throughout a consecutiveweek are analyzed.Eventually,1,933,815 sets of valid sample data are obtained.The results showed that the TECA of FS-JX is 3.27 km^(2),which is far below the standard requirement of 7.00 km^(2) due to the traffic conditions.The visualization results showed that three rivers around FS-JX interrupt the continuity of its effective coverage.The proposed method can provide data support to optimize the locations of fire stations by accurately and dynamically determining the effective coverage of fire stations.

Pore-pressure and stress-coupled creep behavior in deep coal:Insights from real-time NMR analysis

Understanding the variations in microscopic pore-fracture structures(MPFS) during coal creep under pore pressure and stress coupling is crucial for coal mining and effective gas treatment. In this manuscript, a triaxial creep test on deep coal at various pore pressures using a test system that combines in-situ mechanical loading with real-time nuclear magnetic resonance(NMR) detection was conducted.Full-scale quantitative characterization, online real-time detection, and visualization of MPFS during coal creep influenced by pore pressure and stress coupling were performed using NMR and NMR imaging(NMRI) techniques. The results revealed that seepage pores and microfractures(SPM) undergo the most significant changes during coal creep, with creep failure gradually expanding from dense primary pore fractures. Pore pressure presence promotes MPFS development primarily by inhibiting SPM compression and encouraging adsorption pores(AP) to evolve into SPM. Coal enters the accelerated creep stage earlier at lower stress levels, resulting in more pronounced creep deformation. The connection between the micro and macro values was established, demonstrating that increased porosity at different pore pressures leads to a negative exponential decay of the viscosity coefficient. The Newton dashpot in the ideal viscoplastic body and the Burgers model was improved using NMR experimental results, and a creep model that considers pore pressure and stress coupling using variable-order fractional operators was developed. The model’s reasonableness was confirmed using creep experimental data. The damagestate adjustment factors ω and β were identified through a parameter sensitivity analysis to characterize the effect of pore pressure and stress coupling on the creep damage characteristics(size and degree of difficulty) of coal.

A Real-time Lithological Identification Method based on SMOTE-Tomek and ICSA Optimization

In petroleum engineering,real-time lithology identification is very important for reservoir evaluation,drilling decisions and petroleum geological exploration.A lithology identification method while drilling based on machine learning and mud logging data is studied in this paper.This method can effectively utilize downhole parameters collected in real-time during drilling,to identify lithology in real-time and provide a reference for optimization of drilling parameters.Given the imbalance of lithology samples,the synthetic minority over-sampling technique(SMOTE)and Tomek link were used to balance the sample number of five lithologies.Meanwhile,this paper introduces Tent map,random opposition-based learning and dynamic perceived probability to the original crow search algorithm(CSA),and establishes an improved crow search algorithm(ICSA).In this paper,ICSA is used to optimize the hyperparameter combination of random forest(RF),extremely random trees(ET),extreme gradient boosting(XGB),and light gradient boosting machine(LGBM)models.In addition,this study combines the recognition advantages of the four models.The accuracy of lithology identification by the weighted average probability model reaches 0.877.The study of this paper realizes high-precision real-time lithology identification method,which can provide lithology reference for the drilling process.

Identifying the stability of housekeeping genes to be used for the quantitative real-time PCR normalization in retinal tissue of streptozotocin-induced diabetic rats

AIM:To investigate the stability of the seven housekeeping genes:beta-actin(ActB),glyceraldehyde-3-phosphate dehydrogenase(GAPDH),18s ribosomal unit 5(18s),cyclophilin A(CycA),hypoxanthine-guanine phosphoribosyl transferase(HPRT),ribosomal protein large P0(36B4)and terminal uridylyl transferase 1(U6)in the diabetic retinal tissue of rat model.METHODS:The expression of these seven genes in rat retinal tissues was determined using real-time quantitative reverse transcription polymerase chain reaction(RT-qPCR)in two groups;normal control rats and streptozotocininduced diabetic rats.The stability analysis of gene expression was investigated using geNorm,NormFinder,BestKeeper,and comparative delta-Ct(ΔCt)algorithms.RESULTS:The 36B4 gene was stably expressed in the retinal tissues of normal control animals;however,it was less stable in diabetic retinas.The 18s gene was expressed consistently in both normal control and diabetic rats’retinal tissue.That this gene was the best reference for data normalisation in RT-qPCR studies that used the retinal tissue of streptozotocin-induced diabetic rats.Furthermore,there was no ideal gene stably expressed for use in all experimental settings.CONCLUSION:Identifying relevant genes is a need for achieving RT-qPCR validity and reliability and must be appropriately achieved based on a specific experimental setting.

Research on Optimal Configuration of Energy Storage in Wind-Solar Microgrid Considering Real-Time Electricity Price

Capacity allocation and energy management strategies for energy storage are critical to the safety and economical operation of microgrids.In this paper,an improved energymanagement strategy based on real-time electricity price combined with state of charge is proposed to optimize the economic operation of wind and solar microgrids,and the optimal allocation of energy storage capacity is carried out by using this strategy.Firstly,the structure and model of microgrid are analyzed,and the outputmodel of wind power,photovoltaic and energy storage is established.Then,considering the interactive power cost between the microgrid and the main grid and the charge-discharge penalty cost of energy storage,an optimization objective function is established,and an improved energy management strategy is proposed on this basis.Finally,a physicalmodel is built inMATLAB/Simulink for simulation verification,and the energy management strategy is compared and analyzed on sunny and rainy days.The initial configuration cost function of energy storage is added to optimize the allocation of energy storage capacity.The simulation results show that the improved energy management strategy can make the battery charge-discharge response to real-time electricity price and state of charge better than the traditional strategy on sunny or rainy days,reduce the interactive power cost between the microgrid system and the power grid.After analyzing the change of energy storage power with cost,we obtain the best energy storage capacity and energy storage power.

24重荧光real-time PCR技术在食物中毒快速检测中的应用

目的:应用24重荧光real-time PCR检测技术快速筛检食物中毒病原菌,结合国家标准中的培养法探讨24重荧光real-time PCR检测技术符合性和应用价值。方法:采用高灵敏度、高特异性的24重荧光real-time PCR检测技术作为中毒病原菌的初筛方法,国标方法进行细菌分离培养,并对分离出的病原菌进行生化鉴定。结果:5份食物中毒患者肛拭子在增菌前检出4份霍乱弧菌核酸(非O1/非O139群,24重荧光real-time PCR),9份患者肛拭子在增菌后检出5株霍乱弧菌(非O1/非O139群,国标培养法),其中包含4份PCR技术初筛阳性样品,两个方法的符合率为80%。所有样本均未检出沙门氏菌、志贺菌、副溶血性弧菌、致泻性大肠埃希菌以及金黄色葡萄球菌。结论:应用24重荧光real-time PCR检测技术同时检测24种常见致病病原菌,能高效锁定中毒病原菌。将其与国标培养法相结合,对临床治疗和食物中毒快速处置能起到积极作用,值得应用和推广。

A CNN-Based Single-Stage Occlusion Real-Time Target Detection Method

Aiming at the problem of low accuracy of traditional target detection methods for target detection in endoscopes in substation environments, a CNN-based real-time detection method for masked targets is proposed. The method adopts the overall design of backbone network, detection network and algorithmic parameter optimisation method, completes the model training on the self-constructed occlusion target dataset, and adopts the multi-scale perception method for target detection. The HNM algorithm is used to screen positive and negative samples during the training process, and the NMS algorithm is used to post-process the prediction results during the detection process to improve the detection efficiency. After experimental validation, the obtained model has the multi-class average predicted value (mAP) of the dataset. It has general advantages over traditional target detection methods. The detection time of a single target on FDDB dataset is 39 ms, which can meet the need of real-time target detection. In addition, the project team has successfully deployed the method into substations and put it into use in many places in Beijing, which is important for achieving the anomaly of occlusion target detection.

Cyber Resilience through Real-Time Threat Analysis in Information Security

This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends that they are not the same. The concept of cyber security is explored, which goes beyond protecting information resources to include a wider variety of assets, including people [1]. Protecting information assets is the main goal of traditional information security, with consideration to the human element and how people fit into the security process. On the other hand, cyber security adds a new level of complexity, as people might unintentionally contribute to or become targets of cyberattacks. This aspect presents moral questions since it is becoming more widely accepted that society has a duty to protect weaker members of society, including children [1]. The study emphasizes how important cyber security is on a larger scale, with many countries creating plans and laws to counteract cyberattacks. Nevertheless, a lot of these sources frequently neglect to define the differences or the relationship between information security and cyber security [1]. The paper focus on differentiating between cybersecurity and information security on a larger scale. The study also highlights other areas of cybersecurity which includes defending people, social norms, and vital infrastructure from threats that arise from online in addition to information and technology protection. It contends that ethical issues and the human factor are becoming more and more important in protecting assets in the digital age, and that cyber security is a paradigm shift in this regard [1].

肉中猪源性成分Real-time PCR定量检测技术

【目的】建立一种快速、准确的肉中猪源性成分定量检测方法。【方法】首先从GenBank数据库中筛选猪特异性的微卫星DNA,根据微卫星DNA核酸序列设计引物,对常见10种动物基因组DNA进行PCR扩增,通过有无扩增产物判断筛选的微卫星DNA对猪源性成分的特异性。然后根据微卫星DNA核酸序列,设计特异性引物和探针,建立猪源性成分Real-time PCR检测方法,采用双标准曲线分别对猪源性成分和总动物源性成分进行定量,计算猪源性成分的百分含量。【结果】筛选到猪特异性微卫星DNA(Accession EF172428),根据其序列设计的引物SEQ-sus2-F/R只能从猪基因组DNA中扩增出目的条带,其他动物的基因组均无目的条带扩增。建立的Real-time PCR检测方法灵敏度为0.02 ng/25μL反应体系。该方法能够准确检测出混合DNA样品中猪源性成分和混合肉样品中猪源性成分,百分误差分别约为1.32%和1.06%-7.12%。【结论】本研究利用Real-time PCR技术建立的定量猪源性成分的检测方法可以用来检测猪源性成分在混合样品中的百分含量。

Personalized real-time pricing for efficient and fair demandresponse in energy cooperatives and highly competitive flexibility markets

This paper contributes to the well-known challenge of active user participation in demand side management(DSM).In DSM, there is a need for modern pricing mechanisms that will be able to effectively incentivize selfishly behaving users in modifying their energy consumption pattern towards system-level goals like energy efficiency.Three generally desired properties of DSM algorithms are: user satisfaction, energy cost minimization and fairness.In this paper, a personalized real-time pricing(P-RTP) mechanism design framework is proposed that fairly allocates the energy cost reduction only to the users that provoke it.Thus, the proposed mechanism achieves significant reduction of the energy cost without sacrificing at all the welfare(user satisfaction)of electricity consumers.The business model that the proposed mechanism envisages is highly competitive flexibility market environments as well as energy cooperatives.

Economic optimization of smart distribution networks considering real-time pricing

With the development of smart meters,a realtime pricing(RTP)demand response is becoming possible for households in distribution networks.The power flow can be bidirectional in distribution networks which become smarter with distributed generators(DGs).It is expensive to import electricity from the generation far from load centers because of the cost of power loss and network use,so that it is more economical to use electricity generated by local distributed generators.Therefore,in order to curtail operating costs of distribution networks,this paper proposes a model of economic optimization conducted by distribution network operators.The electricity purchasing costs for distribution network operators are minimized by optimizing electric power from transmission systems and local distributed generators.Further,based on price elasticity,the formulations of load demand considering RTP are proposed with economic optimization of distribution networks.The economic optimization problems are resolved by an interior point method.The case study shows that peak load demand can be reduced about 3.5%because the household RTP and electricity purchasing costs of distribution network operators can save 28.86£every hour.

Real-Time Pricing for Smart Grid with Multiple Companies and Multiple Users Using Two-Stage Optimization

In this paper, we focus on the real-time interactions among multiple utility companies and multiple users and formulate real-time pricing(RTP) as a two-stage optimization problem. At the first stage, based on cost function, we propose a continuous supply function bidding mechanism to model the utility companies’ profit maximization problem, by which the analytic expression of electricity price is further derived. At the second stage, considering that individually optimal solution may not be socially optimal, we employ convex optimization with linear constraints to model the price anticipating users’ daily payoff maximum. Substitute the analytic expression of electricity price obtained at the first stage into the optimization problem at the second stage. Using customized proximal point algorithm(C-PPA), the optimization problem at the second stage is solved and electricity price is obtained accordingly. We also prove the existence and uniqueness of the Nash equilibrium in the mentioned twostage optimization and the convergence of C-PPA. In addition, in order to make the algorithm more practical, a statistical approach is used to obtain the function of price only through online information exchange, instead of solving it directly. The proposed approach offers RTP, power production and load scheduling for multiple utility companies and multiple users in smart grid. Statistical approach helps to protect the company’s privacy and avoid the interference of random factors, and C-PPA has an advantage over Lagrangian algorithm because the former need not obtain the objection function of the dual optimization problem by solving an optimization problem with parameters. Simulation results show that the proposed framework can significantly reduce peak time loading and efficiently balance system energy distribution.

基于Simulink Real-Time的汽车空调半实物仿真试验系统研发

针对多样化汽车空调电子零部件的高效、低成本总成级测试需求,研究基于一汽大众速腾1.6 L车型原型,设计了基于Simulink Real-Time的汽车空调半实物仿真试验系统。该系统集成了真实的汽车空调总成、制冷循环以及包含宿主机和目标机的双机实时仿真系统,用于开发和运行台架监控和空调控制模型,为汽车空调电子零部件提供半实物仿真测试环境。通过系统集成及功能验证,结果表明,汽车空调半实物仿真试验系统能够实现汽车空调基本控制功能,同时在不同工况下实现乘员舱温度控制的稳定性,稳态误差控制在±1℃以内。此外,该系统还具备灵活调整空调运行工况和状态的能力,为汽车空调电子零部件提供了高效、低成本的半实物仿真测试环境。