计算机网络安全扫描技术研究

随着互联网技术的发展,网络安全问题日益突出。作为一种主动防御手段,网络安全扫描技术在保护网络安全方面发挥着越来越大的作用。本文主要对主机探测,端口扫描,操作系统探测以及漏洞扫描等四种主要的网络安全扫描技术做了研究。     

一种改进的基于多项式滤波的稳态检测方法

化工过程的数据中常常含有较多的随机误差和粗差干扰,导致传统的稳态检测方法无法得到准确的结果,从而降低系统故障诊断的可靠性。针对实际的工业过程数据,提出一种融合自适应平滑技术的稳态检测方法,该方法首先以基于导数分析的自适应平滑算法进行降噪处理,消除随机误差的影响,然后引入阈值拟合技术进一步抑制粗差干扰,以多项式滤波方法对数据进行稳态检测,根据测量信号的趋势特征确定过程是否处于稳态。仿真实验研究表明:融合自适应平滑技术的稳态检测方法能够克服传统稳态检测方法中随机误差和粗差干扰对检测结果的影响,进而显著提高稳态检测处理的准确性,检测结果明显优于传统的基于多项式滤波的检测方法。     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

基于Virtools的虚拟现实技术及在特种设备教学中的应用

本文以电梯为研究对象,运用虚拟现实技术建立电梯虚拟样机,开发了一种电梯零部件识别系统用于电梯司机的考核。现行的考核方式存在过程繁琐、成绩统计困难等问题,就这些问题提出了合理的解决方案,并将方案应用于开发的系统中。该系统是虚拟现实技术在特种设备领域的全新应用,构建的虚拟电梯完整地呈现了真实的电梯,而且可以从多角度观察其结构的每个细节,方便教学与考核。系统结合SolidWorks、3Dmax、Virtools等软件,以触摸选择为主要的操作方式,具有优良的操作性与交互性,且投资少、开发周期短。     

基于检索决策树的螨种分类鉴定专家系统

应用传统的分类检索方法进行粉螨亚目螨种的分类鉴定是一个复杂、繁琐的过程。随着人工智能技术的发展,采用专家系统技术编制螨种分类鉴定软件将改变传统的分类鉴定方式。通过学习粉螨亚目的分类学和专家系统的相关知识,将螨种的分类鉴定与专家系统有机地结合起来,采用面向对象方法,设计并实现了基于决策树的螨种分类鉴定专家系统。通过构建基于面向对象的决策树知识表示模型,提炼出螨种知识库的记录结构,根据节点对象的逻辑关系,设计了基于决策树的推理机制,并按照一定的推理控制策略实现了螨种的分类鉴定。结果证明,满足了用户的需要,具有重要的实践价值。     

Magnetic and mössbauer studies on ductile Fe-Cr-Co permanent magnet alloys

Iron-chromium-cobalt alloys possess attractive magnetic properties combined with good formability and hence are identified as technologically important magnetic materials. Alloys with compositions Fe-28·9 Cr-15·6 Co and Fe-28·4 Cr-20·1Co (weight percent) have been studied. Heat-treatment parameters during thermomagnetic treatment viz temperature, time and external magnetic field were optimized with reference to magnetic properties. The fully treated anisotropic alloys develop remanence=11·5–12·0 kilo Gauss, coercivity=600–650 Oersted and energy product=4–4·5 million Gauss Oersted. Electron microscopic and Mössbauer spectroscopic techniques were used to identify the original and transformed phases. During the various stages of the development of the alloy, the changes in mechanical hardness were correlated with magnetic hardness.     

饮用水中天然有机物的分析与表征方法

天然有机物(NOM)是一类分布广泛、成分复杂的有机混合物,可严重影响饮用水的处理效率,并可能对出水水质产生严重的不利影响。因此,为了改进和优化饮用水的处理过程,在研究和实际应用阶段对NOM进行表征和定量以了解其结构特性和反应性具有重要意义。文中先对NOM的富集方法进行了介绍,接着梳理了不同分离方法的依据及作用,最后总结了各类表征方法的原理及应用,以期有助于对NOM和饮用水处理的深入研究。     

车联网基于信任度的RSU识别及资源分配算法

在车联网中,由于部分路侧单元（RSU）的位置比较偏远,无法得到网络管理员的及时维护,可能遭到攻击,变为不可信任的路侧单元,降低了车辆的通信质量和网络能效.为了有效地识别RSU的可靠性,提出了一种基于信任度的路侧单元识别及资源分配算法,将路侧单元识别、传输模式的选择和功率分配联合建模为网络能效的优化问题,并分成3个子优化问题,分别求解.首先,采用基于信任度的RSU识别算法,识别出可信任和不可信任的路侧单元;其次,优化车辆资源块配置和链路选择;最后,通过次梯度算法优化传输功率,最大化网络能效.理论分析和仿真结果表明,所提算法具备较低的复杂度,可以达到较高的路侧单元识别准确度,并有效地提升网络总能效.     

关于输气管线内衬聚乙烯管可防止其腐蚀的商榷

本文参照德国一实例，即利用多种类型PE衬层，在一定温差及有气体扩散阻挡层和无气体扩散阻挡层的条件下，详细地叙述了高压酸性气体对其进行长期渗透作用的试验。结果显示：水蒸气和腐蚀性气体（如H2S）的渗透作用是不能忽视的，甚至当PE层为5mm时亦有一定渗透性；此外，在衬层底部尚产生了化学腐蚀作用，从而促使人们必须考虑须正确选择PE下边的防腐底层。     

The Role of Chronic Inflammation in Various Diseases and Anti-inflammatory Therapies Containing Natural Products

Chronic inflammation represents a long-term reaction of the body's immune system to noxious stimuli. Such a sustained inflammatory response sometimes results in lasting damage to healthy tissues and organs. In fact, chronic inflammation is implicated in the development and progression of various diseases, including cardiovascular diseases, respiratory diseases, metabolic diseases, neurodegenerative diseases, and even cancers. Targeting nonresolving inflammation thus provides new opportunities for treating relevant diseases. In this review, we will go over several chronic inflammation-associated diseases first with emphasis on the role of inflammation in their pathogenesis. Then, we will summarize a number of natural products that exhibit therapeutic effects against those diseases by acting on different markers in the inflammatory response. We envision that natural products will remain a rich resource for the discovery of new drugs treating diseases associated with chronic inflammation.