检索结果-南通市图书馆

计算机工程 2005年第13期31卷 181-182,208页

作者：周书民徐洪珍孙亚民南京理工大学计算机科学与技术系南京210094 东华理工学院计算机与通信系抚州344000

将VRML应用于消防领域,配合消防实战演练的需要,开发了灭火预案虚拟现实系统。文章论述了采用不同方法进行油库及消防设施三维场景建模的过程,重点阐述了交互式灭火预案的实现方法。

关键词：消防预案虚拟现实 VRML 交互

在线全文

学校读者我要写书评

暂无评论

数据库语义描述的研究及应用

计算机应用与软件 2007年第12期24卷 110-112页

作者：李亚红杨彩霞刘克成冯东华南阳理工学院计算机科学系

从分析目前数据库技术的不足入手,引入本体的概念,提出了数据库语义描述的方法,分析了其应用范围,介绍了其应用步骤。并通过实例说明了语义数据库描述在多数据库集成中的应用和关键技术的实现,最后分析了数据库语义描述的优点。

关键词：本体数据库语义

在线全文

学校读者我要写书评

暂无评论

光子晶体光纤中超连续谱的产生

光通信技术 2009年第10期33卷 31-34页

作者：郑珂郭常盈李爱萍南阳理工学院计算机科学与技术系河南南阳473004 滨州学院物理与电子科学系山东滨州256600

光谱超连续展宽在光通信中有重要的应用,用分步傅立叶法研究和分析了在光子晶体光纤中飞秒激光脉冲的传输特性和超连续谱的产生机理。结果表明:在光子晶体光纤中,超连续谱的产生是自相位调制、四波混频、交叉相位调制效应综合作用的结果... 详细信息

光谱超连续展宽在光通信中有重要的应用,用分步傅立叶法研究和分析了在光子晶体光纤中飞秒激光脉冲的传输特性和超连续谱的产生机理。结果表明:在光子晶体光纤中,超连续谱的产生是自相位调制、四波混频、交叉相位调制效应综合作用的结果,其中自相位调制效应起先导作用;光脉冲的峰功率、初始啁啾及光纤长度对超连续谱的形状和带宽有影响。

关键词：光通信光子晶体光纤超连续谱分步傅立叶法

在线全文

学校读者我要写书评

暂无评论

基于PC104的小型氡室测控系统

核电子学与探测技术 2005年第6期25卷 709-711页

作者：周书民汤彬孙亚民南京理工大学计算机科学与技术系江苏南京210094 东华理工学院计算机与通信系

氡室是刻度测氡仪器的一种标准装置,在动态保持氡浓度稳定性数学模型基础上,采用PC104设计实现了氡室自动测控系统,对氡浓度进行实时监控,根据氡量控制参数进行氡的自动补给和排放,实现了动态保持小型氡室中氡浓度的稳定性。

关键词：动态补氧自动测控 PC104

微内核架构内存管理的形式化设计和验证方法研究

在线全文

学校读者我要写书评

暂无评论

电子学报 2017年第1期45卷 251-256页

作者：钱振江刘永俊姚宇峰汤力黄皓宋方敏南京大学计算机科学与技术系江苏南京210023 常熟理工学院计算机科学与工程学院江苏苏州215500

由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条... 详细信息

由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.

关键词：操作系统内存管理形式化设计形式化验证定理证明

操作系统形式化设计与安全需求的一致性验证研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2014年第5期37卷 1082-1099页

作者：钱振江黄皓宋方敏南京大学计算机科学与技术系南京210046 常熟理工学院计算机科学与工程学院江苏常熟215500 伦敦大学国王学院

采用数学形式化方法对操作系统进行设计和验证可以保证系统的高度安全性.目前已有的操作系统形式化研究工作主要是验证系统的实现在代码级的程序正确性.提出一种操作系统形式化设计和验证的方法,采用操作系统对象语义模型(OSOSM)对系统... 详细信息

采用数学形式化方法对操作系统进行设计和验证可以保证系统的高度安全性.目前已有的操作系统形式化研究工作主要是验证系统的实现在代码级的程序正确性.提出一种操作系统形式化设计和验证的方法,采用操作系统对象语义模型(OSOSM)对系统的设计进行形式化建模,使用带有时序逻辑的高阶逻辑对操作系统的安全需求进行分析和定义.对象语义模型作为系统设计和形式化验证的联系.以实现和验证过的可信微内核操作系统VTOS为实例,阐述形式化设计和安全需求分析,并使用定理证明器Isabelle/HOL①对系统的设计和安全需求的一致性进行验证,表明VTOS达到预期的安全性.

关键词：操作系统形式化设计安全需求一致性验证定理证明信息安全网络安全

考虑大规模风光分层接入的配电网多层协调无功优化方法

在线全文

学校读者我要写书评

暂无评论

电力系统保护与控制 2024年第12期52卷 113-122页

作者：郭雪丽胡志勇王爽热依娜·马合苏提姚楠李婷婷周玮国网南阳供电公司经济技术研究所河南南阳473000 大连理工大学电气工程学院辽宁大连116024

大量风光新能源分层、多点接入给配电网运行带来了电压越限等负面影响,增加了不同电压等级无功协同优化的难度。兼顾不同电压等级调节需求,从模型降维等值的角度,提出了基于等值模型的配电网多层协调无功优化方法。该方法分别针对含有... 详细信息

大量风光新能源分层、多点接入给配电网运行带来了电压越限等负面影响,增加了不同电压等级无功协同优化的难度。兼顾不同电压等级调节需求,从模型降维等值的角度,提出了基于等值模型的配电网多层协调无功优化方法。该方法分别针对含有无功调节设备及没有无功调节设备的两种台区系统,利用神经网络对大量台区相关运行数据进行训练得到台区拟合模型,形成不可控和可控两种类型的台区等值模型,并用这两类拟合模型分别代替两类台区系统的物理模型,使台区以数据驱动的方式参与配电网无功优化,形成馈线物理模型和台区拟合模型组成的单一电压等级物数混合优化调度模型。将原多层无功优化问题转换为单层系统优化问题,再对该单层系统无功优化调度问题进行求解。该方法可降低配电网系统优化计算规模,从而减小计算量,以无功优化数学模型与数据驱动方法相结合的方式,实现配电网馈线-台区多层协调无功优化。通过算例验证了所提方法对于解决分布式风光分层接入所导致电压越限问题的可行性、有效性和优越性,能够保障配电网的经济安全稳定运行。

关键词：配电网无功优化多层协调数据驱动

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

激光与红外融合目标检测

红外与激光工程 2018年第8期47卷 194-200页

作者：韩义波杨新锋滕书华庄祉昀南阳理工学院软件学院河南南阳473004 武汉大学计算机学院湖北武汉430079 南阳理工学院计算机与信息工程学院河南南阳473004 国防科学技术大学自动目标识别重点实验室湖南长沙410073

针对自动目标识别需求,提出了一种激光与红外融合目标检测方法。首先介绍了基于方向显著性的红外目标检测算法,并分析了该算法的优缺点。针对该算法的缺陷,提出了一种激光与红外融合的目标检测方法,该方法将激光雷达测得的弹目距离信息... 详细信息

针对自动目标识别需求,提出了一种激光与红外融合目标检测方法。首先介绍了基于方向显著性的红外目标检测算法,并分析了该算法的优缺点。针对该算法的缺陷,提出了一种激光与红外融合的目标检测方法,该方法将激光雷达测得的弹目距离信息引入到基于方向显著性的红外目标检测算法中,大大提高了目标检测算法的精度。仿真实验表明文中方法解决了单源红外目标检测算法对应用场景适应性不强和鲁棒性较差的诸多问题,大大提高了目标的检测率。

关键词：激光雷达红外图像融合检测方向显著性

具有时变非对称约束的不确定非线性系统实际固定时间自适应模糊控制：一种基于统一障碍函数的方法（英文）

在线全文

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2024年第9期25卷 1282-1295页

作者：黄梓煊王焕清牛奔赵旭东 Adil M.AHMAD 渤海大学控制科学与工程学院渤海大学数学科学学院山东师范大学信息科学与工程学院大连理工大学电子信息与电气工程学部阿卜杜勒·阿齐兹国王大学计算与信息技术学院信息技术系通信系统与网络研究组

研究了具有时变不对称约束和输入量化的不确定非线性系统，提出一种实际固定时间自适应模糊控制方法。为消除状态约束对控制器设计的影响，采用一个统一的障碍函数方法将原有约束系统映射为无约束系统，这不仅放松了时变非对称约束对系... 详细信息

研究了具有时变不对称约束和输入量化的不确定非线性系统，提出一种实际固定时间自适应模糊控制方法。为消除状态约束对控制器设计的影响，采用一个统一的障碍函数方法将原有约束系统映射为无约束系统，这不仅放松了时变非对称约束对系统状态的限制，而且避免了传统的障碍Lyapunov函数控制方法中的可行性条件检查。同时，利用命令滤波方法解决了传统反步法中的“复杂度爆炸”问题。通过固定时间Lyapunov稳定性判据，证实系统输出能够在预定时间内以较小误差范围跟踪参考信号，并且系统的所有状态保持在约束范围内。最后，通过2个仿真实例验证了所提方法的有效性。

关键词：统一障碍函数时变不对称状态约束模糊逻辑系统固定时间控制指令滤波器

基于.NET的电力企业信息系统一体化设计及实现

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电网技术 2007年第24期31卷 86-90页

作者：李云强杨彩霞刘克成南阳理工学院计算机科学技术系河南省南阳市473004

按照区域电网公司、省(自治区、直辖市)和市县电力公司三级组织管理模式,设计开发了基于.NET的电力企业信息系统。系统功能设计以安全问题的分析、处理、反馈为基线,信息分级上报,逐级整改、落实,实现了闭环管理。通过Web Services技术... 详细信息

按照区域电网公司、省(自治区、直辖市)和市县电力公司三级组织管理模式,设计开发了基于.NET的电力企业信息系统。系统功能设计以安全问题的分析、处理、反馈为基线,信息分级上报,逐级整改、落实,实现了闭环管理。通过Web Services技术实现对系统功能模块的封装和集成。以区域电网公司建立数据中心,电网公司内外各单位不同模块间的信息通过通用描述发现和集成(UDDI)中心注册、认证,能够互相查询。文章给出了信息查询的Web Services模型和基于XML的数据交换模型。结合Web Services松耦合的特点和工作流技术的柔性,给出了业务工作流系统的体系结构。

关键词：电力企业信息系统系统模型 Web服务工作流