基于中间节点效应的无标度网络演化模型研究

原BA模型以网络中已存在的各个节点与新增节点的连接相互独立为前提。然而,在真实系统中,当网络中一个节点与新增节点连接后,该节点对其邻居节点与新增节点的连接会存在影响。针对该现象,提出了基于中间节点效应的无标度网络演化模型。首先描述与定义了中间节点效应,然后给出了中间节点效应模型的生成算法,并从理论上分析了该模型的度分布情况,最后利用仿真验证了理论分析的正确性,并就度分布、群聚系数、平均路径长度等复杂网络参数与原BA模型进行了对比,结果表明此模型能生成无标度网络并且更符合现实网络的演化过程。     

A new methodology for query answering in default logics via structure-oriented theorem proving

We present a new approach to query answering in default logics. The basic idea is to treat default rules as classical implications along with some qualifying conditions restricting the use of such rules while query answering. We accomplish this by taking advantage of the conception of structure-oriented theorem proving provided by Bibel's connection method. We show that the structure-sensitive nature of the connection method allows for an elegant characterization of proofs in default logic. After introducing our basic method for query answering in default logics, we present a corresponding algorithm and describe its implementation. Both the algorithm and its implementation are obtained by slightly modifying an existing algorithm and an existing implementation of the standard connection method. In turn, we give a couple of refinements of the basic method that lead to conceptually different algorithms. The approach turns out to be extraordinarily qualified for implementations by means of existing automated theorem proving techniques. We substantiate this claim by presenting implementations of the various algorithms along with some experimental analysis.Even though our method has a general nature, we introduce it in the first part of this paper with the example of constrained default logic. This default logic is tantamount to a variant due to Brewka, and it coincides with Reiter's default logic and a variant due to ukaszewicz on a large fragment of default logic. Accordingly, our exposition applies to these instances of default logic without any modifications.     

Termination of rewrite systems by elementary interpretations

We focus on termination proofs of rewrite systems, especially of rewrite systems containing associative and commutative operators. We prove their termination by elementary interpretations, more specifically, by functions defined by addition, multiplication and exponentiation. We discuss a method based on polynomial interpretations and propose an implementation of a mechanisation of the comparison of expressions built with polynomials and exponentials.     

含多电解槽的新能源制氢能量管理优化

新能源制氢系统是提升风能、太阳能等新能源发电消纳的有效途径。目前国内外关于电解槽能量管理的相关研究以单电解槽为主。单电解槽能量管理未考虑电解槽非线性的工作特性,难以兼顾多个电解槽制氢效率,影响系统经济性。论文针对含有多电解槽新能源制氢系统的能量管理问题进行了研究。以新能源消纳率、经济收益、制氢率为目标,考虑单个电解槽运行特性及生产约束等条件,建立包含风电、光伏、蓄电池、电解槽多个模块的能量管理优化模型,并采用SPEA2算法求解多目标优化问题。仿真研究表明,所提能量管理策略能够实现新能源发电的100%消纳,单位制氢效益可提升5.15%。因此,多电解槽制氢系统进行有效的能量管理有助于提高制氢效率,有效克服单电解槽运行及能量管理的不足。     

Minimizing Energy Barrier in Intermediate Connection Layer for Monolithic Tandem WPeLEDs with Wide Color Gamut

Perovskite light-emitting diodes (PeLEDs) show promising prospects in the wide color gamut display owing to their ultra-narrow full width at half maximum (FWHM). However, up to now, all perovskite white LEDs integrated by standard red, green, and blue perovskite emitters, namely, monolithic white PeLEDs (WPeLEDs), have been rarely reported, owing to facing some issues, e.g., solvent incompatibility in solution technique, ion exchange, and energy transfer between different emission centers. Herein, centered on these issues, an optimal intermediate connection layer (ICL) of Po-T2T/LiF/Ag/HAT-CN/MoO₃ is adopted to successfully develop monolithic tandem multicolor PeLEDs and WPeLEDs for the first time. The multicolor PeLEDs can achieve the best external quantum efficiency of 1.8% and the highest luminance of 4844 cd m⁻². Besides, the red/green/blue (R/G/B) monolithic tandem WPeLED shows a standard white International Commission on Illumination coordinate of (0.33, 0.33) and achieves an extremely wide color gamut reaching  National Television Standards Committee of 130%. This study is the first to realize the standard R/G/B co-electroluminescence in a monolithic perovskite device and offers a feasible strategy for developing wide-color gamut perovskite displays.     

Ultraschallbasierte in situ Vorspannkraftermittlung an Schrauben ohne Referenzmessung im nicht verspannten Zustand durch Kombination von Longitudinal- und Transversalwellen

Ultrasonic based bolt preload evaluation is commonly performed using the mono-wave method. This method works by measuring the time of flight of longitudinal waves. Here, a reference measurement in the unloaded condition is necessary for each bolt. In this publication the longitudinal wave is complemented by another type of ultrasonic wave - the transverse wave. This method does not require a reference measurement in the unloaded condition for each bolt. Moreover, an analytic method for determining the bolt-specific K-value is introduced, which is needed for the ultrasonic bolt preload determination. The analytically calculated K-values are compared with experimental K-values from tensile tests. The influence of material, bolt property class and surface protection system were determined with cylindrical specimens. In component tests, the bolt preload was evaluated using the bi-wave method, a possible influence of the bolt assembly method was investigated and the results were interpreted regarding their accuracy.     

基于单片机和模数转换器的实用测试系统

介绍了测试系统的基本原理、硬件组成部分,应用DSC转换技术模拟出空中飞行时的各种复杂的飞行信号;提出了一种改进的单片机与DSC转换器的接口设计方法,应用于航空仪表的日常维护、维修及测试中;系统实现了测试航空仪表时所需要的三相同步模拟信号的产生,并将这些信号信息在数码管上直观的显示,提高了测试过程的自动化和智能化水平以及测试的效率和精度,能够有效保证航空仪表设备在空中飞行时的准确性和可靠性,具有较高的实用价值.     

在Red Hat Linux操作系统下设置拨号服务器

出于系统安全考虑,许多计算机应用系统采用UNIX/Linux操作系统,即应用服务采用UNIX操作系统服务器,GUI客户界面应用使用Linux工作站;同样处于安全考虑,系统远程维护多采用modem拨号方式.不同于Windows操作系统提供的图形界面操作,在UNIX/Linux操作系统环境下配i PPP拨入服务器过程需要多...     

动态的网络实时连接控制机制

动态网络连接控制(DNCC)试图根据系统的动态安全状态特征对计算机接入网络的行为进行控制,从而保证接入计算机在网络连接过程中的持续安全性,防止一次性安全认证后接入计算机发生安全状态变化给系统带来的可能破坏.DNCC采取系统安全策略作为计算平台安全状态评价指标,准确地反映了计算平台状态的动态变化特征,克服了目前网络接入控制主流技术中的安全状态保证瞬时性缺点.统计和分析结果表明,DNCC具有良好的性能和实现可行性.     

演变图上的连接子图演变模式挖掘

探讨演变图(即随时间变化的图)的挖掘,重点研究在演变图中挖掘连接子图的演变模式集合.提出一种连接子图的相似度函数及其快速计算算法.基于该相似度函数,提出一种发现演变模式集合的多项式时间复杂度的动态规划算法.模拟数据集上的实验结果表明,该算法具有较低的误差率和较高的效率.真实数据集上的实验结果表明,挖掘结果在真实应用中具有实际意义.