基于本体的报警分类技术在报警评估过程中的应用与实现

由于缺乏评估和关联报警的背景知识,IDS(入侵检测系统)产生的海量报警无法得到更进一步的真实化确认,从而使IDS成为当今安全产品中的诟病.在事件关联范畴内的报警评估是利用被监控系统的背景知识对IDS产生的大量报警进行进一步的分析,从而把真实的危害系统的报警呈现给用户的过程.这些用于评估IDS报警的背景知识包括受害主机系统信息和网络环境信息.本文介绍了事件关联的主要结构,并着重介绍报警评估的流程和所需背景知识库;然后详细描述了基于本体的背景知识库的分类技术;最后给出基于背景知识分类技术在报警评估过程中的具体实现过程.     

智能纤维服装软件的人体姿态本体模型

由智能纤维构造的可穿戴服装可以非侵犯式地监控人体姿态,本文为其后端三维造型提出了一种本体模型.模型设计借鉴了解剖基础模型FMA(Foundational Model of Anatomy)以及ISO/IEC FCD 19774:200x 规范,由解剖分类、时空层次、形态变化3个子模型组成.重点论述了模型的设计原则、子模型关联及其高层抽象.     

概率度量空间中一类映射的非唯一不动点定理

在非阿基米德概率度量空间中研究了一类新的Ciric-Altman型映射不动点的存在性.首先,在一定条件下建立了新的非唯一不动点定理;其次,作为特例在度量空间获得了Ciric-Altman型映射不动点的存在性定理;最后,在两个非阿基米德概率度量空间中对Ciric-Altman型映射不动点作了讨论.所获得的存在性定理在很大程度上推广和改进了现有文献中的相应结果.     

移动通信系统中的智能天线技术

首先介绍了智能天线技术中的基本概念及其在移动通信系统中的发展和应用 ,然后说明了在移动通信系统中 ,应用智能天线技术可以提高系统的性能和容量 ,并可以简化系统控制。在此基础上 ,介绍了全自适应天线阵列中的经典自适应算法。     

频分双工智能天线系统中的一种空时预RAKE算法

针对频分双工的智能天线系统中因上下行频率差异对下行波束形成所带来的问题，提出了一种基于多约束最小方差无畸变响应（MVDR）波束形成和频率转换的空时预RAKE算法，利用信道估计方法得到方向和时延信息，通过多约束MVDR准则求得同频率下的空时预RAKE权矢量，利用最小二乘法求得频率转换矩阵，再对该预RAKE权矢量进行上下行频率转换，以完成下行预RAKE发射，该方法与传统的基于波达方向（DOA）估计的预RAKE相比，直接利用了上行接收的阵列响应协方差阵，无需DOA估计，在不同增加额外运算量的情况下，解决了传统方法在多径环境中抑制干扰能力差的问题，仿真实验结果表明，在多用户和多径环境下，能有效地提高下行接收信噪比，降低多址干扰。     

智能家居用电管控系统的设计与实现

分析智能家居系统的发展及其关键技术,综合应用现场总线技术、无线通信技术和智能手机等技术,设计并实现了一种采用嵌入式系统、智能手机、PC及网络通讯等技术的智能家居管控系统解决方案.本设计具有信息化程度高、成本低、使用方便、扩展性好的特点.现场测试表明,该系统满足了设计要求,并被相关企业所采用.     

An Integrated Cyber-Physical Simulation Environment for Smart Grid Applications

The concept of Cyber-Physical Systems （CPSs）, which combine computation, networking, and physical processes, is considered to be beneficial to smart grid applications. This study presents an integrated simulation environment to provide a unified platform for the investigation of smart grid applications involving power grid monitoring, communication, and control. In contrast to the existing approaches, this environment allows the network simulator to operate independently, importing its results to the power system simulation. This resolves conflicts between discrete event simulation and continuous simulation. In addition, several data compensation methods are proposed and investigated under different network delay conditions. A case study of wide-area monitoring and control is provided, and the efficiency of the proposed simulation framework has been evaluated based on the experimental results.     

智慧学习环境中基于贝叶斯网络构建学生模型的研究

智慧学习环境是当前教育技术学界的一个前沿研究领域,从C/S架构的智能学习系统发展到B/S架构的智能化网络学习环境,学生模型仍然是其最核心的功能模块,是学生自我导向式学习情境中构建智慧学习环境的关键因素.本文采用文献分析法和实践调研法,从学生模型的分类、数据结构和建模方法等几个方面,对国内智能网络学习环境中学生模型的研究现状进行了较为详细的研究,并通过梳理近年来关于静态学生模型和动态推理模型的研究,提出了智慧学习环境中基于贝叶斯网络构建学生模型的框架,期望为智能学习系统中学生模型的理论研究和实践发展提供可借鉴的参考和经验.     

采用模块化思想的汽车电器智能化设计方法

为了提高整车传统电器智能化设计的工作效率,提出一种基于模块化思想的汽车电器智能化设计方法.将控制器的硬件电路和软件算法分解为一系列标准模块,将模块按所设计的结构进行合理组合,即可完成各种电器控制器软硬件的设计.利用该方法完成了某大客车传统电气系统的智能化改造,应用模块化的设计方法,显著简化了标准化控制器软硬件的开发过程,大大减少了设计和调试的工作量,与传统设计方法相比,缩短了整车控制器的开发周期约50%.实车验证表明,控制器硬件结构简单、清晰,软件算法具有很好的一致性和规范性.     

PHS无线通信系统智能天线DSP硬件仿真平台

 PHS系统由于其体积小,功耗低等优点,在很多大城市得到了广泛应用。但同时由于其覆盖范围小等缺陷,限制了PHS系统进一步的应用。由于智能天线技术具有很高的覆盖范围,所以提出了一种在PHS无线通信系统中实现智能天线接收技术的方法,并建立了一套完整DSP硬件仿真平台。同时基于上述硬件仿真平台对智能天线接收技术中的自适应算法的接收性能及实时性进行了分析比较,并给出了实验结果。     

高校智慧校园系统需求分析与功能分类探索

智慧校园系统是提升高校信息化管理水平的重要途径,厘清高校智慧校园系统各类功能的用户需求属性,对提升智慧校园服务质量至关重要.在问卷调研基础上,采用德尔菲法、Kano模型和Better-Worse系数等多种方法,明确了智慧校园系统的服务内涵,构建了包括5个维度、27种功能的智慧校园系统功能需求服务体系,并对智慧校园的用户...     

水中灵巧弹药纵向操纵性运动预报设计与仿真

研究了水中灵巧弹药在纵向平面内的操纵性运动预报设计与仿真,建立了水中灵巧弹药在纵向平面内的动力学模型,建立与设计了水中灵巧弹药在纵向平面内的Z形操舵、梯形操舵和正弦操舵操纵性的标准和指标评价方法,同时针对每一种操纵性运动预报进行了Matlab仿真算例研究,分析与阐述了操纵性运动的各种典型特征参数及其运动规律.仿真结果表明该水中灵巧弹药具有良好的应舵性和操纵性,响应时间较快,能够准确预报该水中灵巧弹药的操纵性能.操纵性运动预报分析的过程和结果对于改善水中灵巧弹药的结构和水动力设计也可提供一定的技术指导与理论支撑.     

SEEIP核心企业局域智慧能源网络框架及优化配置方法

智慧节能工业园区(SEEIP)的核心企业能源配置对产业集群的循环经济节能降耗具有重要作用。针对SEEIP建设与既有工业园区核心企业能源系统的智慧化改造,提出一种基于信息和通信技术(ICT)的局域智慧能源网络框架,并给出了能源生产模块、能源转换模块与能源蓄存模块中各种能源介质及品位的能量计算数学模型。以经济成本与环境影响为目标的函数,给出了SEEIP企业能源网络系统配置的优化模型,并采用改进的差异演化算法(DE)结合数据库查询技术求解该混合整数非线性规划(MINLP)优化问题,给出企业能源系统最佳配置方案,以满足用户冷、热、电需求。     

智慧校园视域下基于LAMP的在线考试系统敏捷设计与实现

智慧校园是高校信息化建设发展的趋势。为了更好地提供高校教师出（组）卷管理、学生在线考试与试卷提交等功能,从当前主流智慧校园所具备的功能体系视角,依托本地试点A高校智慧校园微服务与微应用技术架构,采用软件敏捷开发模型Scrum,快速设计并实现出一个基于LAMP（Linux+Apache+MySQL+PHP）的在线考试系统。该系统服务器端共享A高校校园应用数据中心,客户端采用PHP工具开发,系统性能稳定,操作便捷。最后提出了后续研究工作：为该考试系统建立统一的校园微信公众号以增强用户体验;构建基于云计算的移动互联“办事大厅”以提升消息响应速度。     

一种应用于智能电网的多路数据采集系统设计

数据采集技术是信息科学的一个重要分支,更是智能电网中一项重要的技术。设计出了一种具有8通道模拟量输入及开关量输入/输出、日历等功能的通用多路数据采集系统,采用的控制器的核心器件为TI公司的MSP430F149,指出该系统具有功耗低、体积小、易操作等优点。     

一个新的模糊谓词演算形式系统

首先，在模糊逻辑命题演算形式系统Ω^*的基础上，讨论了相应的谓词演算理论，建立了一阶形式系统K^*，基于R0代数的基本理论，给出了系统K^*的若干语义概念，包括M－解释I，I－赋值，公式的值，真，M－逻辑有效性等，从而形成了模糊谓词演算一种新的语构与语义体系。其次，研究了系统K^*的基本性质，指出了系统Ω^*的定理都是系统K^*的定理，给出了系统K^*与量词有关的一些重要定理，证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的；系统K^*的强可靠性定理也成立，即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理，一阶系统K^*及其重要的性质，为模糊推理提供了一种更为合理的逻辑框架。     

电子信息系统领域需求模型复用方法

为了解决电子信息系统开发过程中领域需求模型的复用问题,结合基于本体的需求获取方法,在介绍领域需求模型构建的基础上,提出了领域需求模型的共享方法.该方法通过领域的根本体对领域不同的需求模型进行合并、关联和修正等操作.这些操作可以识别出现有领域的不同需求模型的共同和相异特征,进而构造完整和一致的新模型.为复用领域需求模型,提高系统开发的效率和质量奠定了基础.     

Revised Fault Free Analysis Method for Reliability Evaluation of Smart Grids

Smart grid was proposed as a practical form of future power distribution system. Evaluating the reliability of smart grids was of great importance and significance. A revised fault tree model was proposed to distinguish and separate grid-connected operation mode and islanded operation mode of smart grids,focusing on the perspective of the consumers. A hierarchical Monte Carlo simulation method for reliability evaluation was also proposed based on the proposed fault tree model. A case of reliability evaluation for the future renewable electric energy delivery and management（ FREEDM） system was carried out and analyzed. The proposed methods can be applicable to other forms of smart grids.     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

一种适用于并行文件系统的高可用机制

针对并行文件系统文件数据分布存储的特性所带来的系统可靠性和可用性降低的问题,提出了一种提高并行文件系统可靠性与可用性的机制.该机制采用数据镜像技术,应用逻辑镜像环来指定存储节点间的镜像关系,使得一个存储节点既存储自身的数据,也作为其他节点的数据备份节点.该机制还可以通过调整镜像深度,以满足用户对文件系统不同级别的可靠性和可用性要求.同时,建立了马尔可夫链模型,以评估所提机制的可靠性和可用性.数学求解表明,在镜像深度为2时,应用该机制的并行文件系统发生数据丢失的平均时间大大提高,约为原系统的32倍.