Standardising vulnerability categories

Each vulnerability scanner (VS) represents, identifies and classifies vulnerabilities in its own way, thus making the different scanners difficult to study and compare. Despite numerous efforts by researchers and organisations to solve the disparity in vulnerability names used in the different VSs, vulnerability categories have still not been standardised. This paper highlights the importance of having a standard vulnerability category set. It also outlines an approach towards achieving this goal by generating a standard set of vulnerability categories. A data-clustering algorithm that employs artificial intelligence is used for this purpose. The significance of this research results from having an intelligent technique that aids in the generation of standardised vulnerability categories in a relatively fast way. In addition, the technique is generic in the sense that it allows one to accommodate any VS currently known on the market to create such vulnerability categories. Another benefit is that the approach followed in this paper allows one to also compare various VSs currently available on the market. A prototype is presented to verify the concept.     

多线程管理下的数据库访问技术

对数据库服务器访问的管理,是提高C／S架构系统性能的重要环节。采用多线程技术对即时访问通道进行动态管理,可有效降低系统资源消耗,提高系统响应速度。     

企业集团电子商务中数据库连接池技术的研究

传统的电子商务中建立和关闭数据库连接的过程将会严重增加系统开销,成为造成电子商务系统速度瓶颈的重要原因。使用连接池技术,数据库连接得到了高效、安全的复用,避免了其频繁建立、关闭的开销。介绍数据库连接池的基本原理、工作机制,详细讨论了如何用Java实现数据库连接池,并对连接池在电子商务系统开发中的作用做出评价。     

基于HTTP的实时信息传输方法

目前基于HTTP的实时信息传输技术主要包括客户端定时器的同步刷新、基于AJAX的异步传输和服务器端Push这3种方法.提出了一种新型实时信息传输方法,该方法把基于AJAX的异步传输和服务器端Push两种技术结合起来,实现了利用HTTP长连接进行实时信息异步传输.最后给出了该方案在高校OA系统中的应用实例.     

基于动态连接池的数据集成中间件的设计与实现

介绍数据集成中间件技术的基本概念与体系结构,分析现有数据库连接池的工作原理和工作机制.在得出现有连接池局限性的基础上,设计出动态连接池体系结构.通过采用基于中间数据库和变化日志表的异构数据复制模式和以虚拟订阅表的方式构建的全局查询模式,将动态连接池中间件扩展成为数据集成中间件,从而有效解决异构数据库间的数据共享与交换问题.     

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

原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.