检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

动态异构冗余结构的拟态防御自动机模型

电子学报 2019年第10期47卷 2025-2031页

作者：朱维军郭渊博黄伯虎郑州大学信息工程学院河南郑州450001 北京大学信息科学技术学院北京100871 信息工程大学密码工程学院河南郑州450001 西安电子科技大学计算机学院陕西西安710071

动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状... 详细信息

动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状态自动机为单个执行体建模;其次,使用有穷状态自动机的并行组合为执行体组合建模;再次,修改状态迁移规则,得到可描述攻防行为的拟态防御自动机模型;最后,根据该自动机模型的状态条件,分析动态异构冗余结构上拟态攻防行为的安全性.此外,也可使用交替自动机为拟态攻防建模,并把安全性自动分析规约为交替自动机模型检测问题.

关键词：动态异构冗余拟态防御自动机

在线全文

学校读者我要写书评

暂无评论

扩展Tempura语言统一模型检测算法

华南理工大学学报（自然科学版） 2011年第7期39卷 163-168页

作者：朱维军周清雷张海宾郑州大学信息工程学院河南郑州450001 西安电子科技大学计算机学院陕西西安710071

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间... 详细信息

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性.

关键词：模型检测扩展Tempura语言区间时序逻辑区间模型程序规范统一框架

在线全文

学校读者我要写书评

暂无评论

基于DNA计算的线性时序逻辑模型检测方法

计算机学报 2016年第12期39卷 2578-2597页

作者：朱维军周清雷张钦宪郑州大学信息工程学院郑州450001 郑州大学基础医学院郑州450001

该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi... 详细信息

该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码,从而获得实现公式的粘贴自动机;其次,使用5′-3′型单链DNA分子对系统模型进行编码,从而获得粘贴自动机的输入字符串;最后,对表征粘贴自动机的DNA单链分子和表征输入字符串的DNA单链分子实施一系列生化反应,即可判定系统是否满足公式.分子生物学仿真实验结果表明:给出的DNA编码序列能达到99.9%的碱基配对正确率,且新方法成功地对所有4种LTL基本公式与5种LTL常见公式实施了检测;与之对照,已有的方法只能有效检测1种LTL基本公式与0种LTL常见公式.在此基础上,对本实验给出的DNA编码方案直接作位数扩展即可拥有对任意给定LTL一般公式的(理论)检测能力.

关键词：模型检测脱氧核糖核酸线性时序逻辑粘贴自动机有穷状态自动机 DNA计算

在线全文

学校读者我要写书评

暂无评论

时间自动机与信号自动机的互模拟算法

华南理工大学学报（自然科学版） 2008年第5期36卷 38-42页

作者：朱维军刘保罗周清雷西安电子科技大学计算机学院陕西西安710071 华南理工大学自动化科学与工程学院广东广州510640 郑州大学信息工程学院河南郑州450052

信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模... 详细信息

信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模拟关系.在此基础上提出了线性的互模拟算法,把互模拟算法和已有的时间自动机验证算法结合起来,得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题.

关键词：时间自动机信号自动机离散步长互模拟模型验证自动机理论

在线全文

学校读者我要写书评

暂无评论

酱腌菜食品加工大全 1

丛书名：金阳光工程新农村新农民书系

2009年

作者：崔伏香刘玺朱维军

本书从六个方面详细叙述了我国南北风味及目前国外流行风味的盐渍品、酱渍品、泡酸菜、其他风味酱腌菜的加工、酱腌菜的保质与储存技术，文字简洁，通俗易懂。

ISBN: (纸本)9787807392552

关键词：工业技术轻工业、手工业食品工业

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

畜肉食品加工大全

丛书名：金阳光工程新农村新农民书系

2008年

作者：崔伏香刘玺朱维军

畜肉食品是动物性蛋白质的主要来源，是人类生存、生活和发展必不可少的资源。本书主要介绍了八大类100多个品种畜肉食品的配方、工艺流程及操作要点等，实用性强，阐述简明，内容详细，适合畜肉加工生产者参考。

ISBN: (纸本)7807392304

关键词：工业技术轻工业、手工业食品工业

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

禽肉食品加工大全 1

微生物技术在速生人工林培育过程中的实践分析

丛书名：金阳光工程新农村新农民书系

2008年

作者：崔伏香刘玺朱维军

畜肉食品是动物性蛋白质的主要来源，是人类生存、生活和发展必不可少的资源。在每类中介绍几种比较成熟的加工工艺，各个章节的内容既相对独立，又形成有机的一本，本书主要介绍了八大类100多个品种畜肉食品的原料选择，工艺配方、加... 详细信息

ISBN: (纸本)9787807392316

畜肉食品是动物性蛋白质的主要来源，是人类生存、生活和发展必不可少的资源。在每类中介绍几种比较成熟的加工工艺，各个章节的内容既相对独立，又形成有机的一本，本书主要介绍了八大类100多个品种畜肉食品的原料选择，工艺配方、加工过程、操作要点、产品质量标准等内容。

关键词：禽肉肉制品食品加工

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

林产工业 2021年第8期58卷 117-119页

作者：侯殿明朱维军河南农业职业学院

近年来,随着我国速生人工林培育技术的成熟,森林面积及蓄积量有明显增加,巩固了林业资源的基础。其中,微生物技术对速生人工林培育的影响较大,可有效改善人工林生长环境,促进速生林培育高质量发展。分析了速生人工林培育基本现状,提出... 详细信息

近年来,随着我国速生人工林培育技术的成熟,森林面积及蓄积量有明显增加,巩固了林业资源的基础。其中,微生物技术对速生人工林培育的影响较大,可有效改善人工林生长环境,促进速生林培育高质量发展。分析了速生人工林培育基本现状,提出了微生物技术与速生人工林结合的必要性,提出了推动微生物技术融入速生人工林培育过程的基本策略。

关键词：速生人工林微生物技术培育过程现状必要性基本策略

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于统计差分的轨迹隐私保护

计算机研究与发展 2017年第12期54卷 2807-2814页

作者：朱维军游庆光杨卫东周清雷郑州大学信息工程学院郑州450001 河南工业大学信息科学与工程学院郑州450001

随着车联网不断地发展,车联网为驾乘者提供便捷服务的同时,也带来了相应的隐私保护问题.轨迹数据发布将可能泄露用户位置隐私,从而危害用户人身安全;为改变已有差分隐私保护方法中添加随机噪音的弊端,提出一种基于统计差分隐私的轨迹隐... 详细信息

随着车联网不断地发展,车联网为驾乘者提供便捷服务的同时,也带来了相应的隐私保护问题.轨迹数据发布将可能泄露用户位置隐私,从而危害用户人身安全;为改变已有差分隐私保护方法中添加随机噪音的弊端,提出一种基于统计差分隐私的轨迹隐私保护方法.车辆行驶轨迹具有Markov过程的特点,根据车辆轨迹的特征计算轨迹中位置节点敏感度;并根据位置敏感度,统计阈值和敏感度阈值添加适量Laplace噪音;使用平均相对误差评价轨迹数据的可用性大小.实验证实了基于统计差分隐私的轨迹隐私保护方法的可用性和有效性.

关键词：轨迹数据差分隐私 Markov过程数据发布隐私保护