首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
  国内免费   3篇
轻工业   2篇
自动化技术   3篇
  2022年   1篇
  2021年   1篇
  2019年   1篇
  2018年   1篇
  2016年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
杨珉  张超  宋富  张源 《软件学报》2022,33(6):1959-1960
<正>系统软件是控制和协调计算机底层硬件及外部设备、支持应用软件开发和运行的系统核心基础软件,涵盖了操作系统、编程语言、编译器、解释器、数据库、运行时环境、集成开发环境等.随着人工智能、物联网、区块链、系统编程语言、云计算、开源指令集等领域的快速发展,相关系统软件的安全问题大量涌现,比如利用CPU预测执行的Meltdown“熔断”和Spectre“幽灵”攻击、利用软件供应链发起的后门攻击和漏洞攻击.发现、缓解和防御系统软件存在的安全风险与问题,对于保障各类计算机系统的安全至关重要.  相似文献   
2.
分别采用氮吹法、烘干法和真空冷冻干燥法对淀粉酶产色链霉菌的菌体蛋白氨基酸进行干燥处理,使用气相色谱与质谱联用对相应氨基酸衍生物的出峰时间及峰面积进行分析,结果表明,相较于氮吹法和烘干法,经真空冷冻干燥法预处理后,所需的16种氨基酸衍生物均可被检出,因此,真空冷冻干燥法是淀粉酶产色链霉菌中菌体蛋白氨基酸的可靠制备方法。该方法的建立为今后开展13C同位素代谢通量分析,深入阐明ε-聚赖氨酸生产机制,提供了技术保障。  相似文献   
3.
张业迪  宋富 《软件学报》2018,29(6):1582-1594
近几年,模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑(ATL),也被给予了高度关注.根据智能体是否可以看到全局信息分为不完全信息和完全信息;根据智能体是否可以记录历史信息分为无记忆能力和无限记忆能力,提出了四种经典的策略类型.这些策略类型是通过ATL的语义进行刻画的.然而,在一个多智能体系统中,考虑完全信息和无限记忆能力时,所有智能体都只能选择这一种策略类型;在考虑不完全信息或无记忆能力时,仅在联合模态操作<>φ和的[[A]]φ里出现的智能体具备这种策略类型,而其他智能体还是完全信息和无限记忆能力策略类型.这可能会导致嵌套联合模态操作中智能体策略类型的不一致,且智能体策略类型取决于逻辑公式和逻辑的语义.而在实际多智能体系统中,智能体的策略类型往往取决于系统本身,且不同智能体具有不同的策略类型,即智能体策略类型是异构的,这种多智能体系统被称为异构多智能体系统.针对这些问题,本文提出了一种在语法层对智能体策略类型进行刻画的系统模型,即带类型解释系统.带类型解释系统在已有的解释系统中为每个智能体引入"策略类型"这一属性,允许不同智能体具备不同的策略类型.带类型解释系统可用于异构多智能体系统的建模.针对新提出的系统模型,对ATL语义进行了研究,设计了ATL模型检查算法,实现了相应的模型检查工具ShTMC.  相似文献   
4.
高级醇是啤酒酵母在啤酒酿造过程中代谢产生的,是啤酒风味物质的重要组成部分。适量的高级醇能赋予啤酒独特的香味,但其含量过高或者过低都会影响啤酒的质量。该文重点综述啤酒酵母中高级醇的生成途径、关键基因、代谢调控机理及选育低产高级醇优良菌株的主要方法,为适当降低啤酒中高级醇含量,进而推动啤酒行业的健康发展提供理论基础。  相似文献   
5.
宋富  吴志林 《软件学报》2016,27(3):682-690
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面的应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的一个研究热点.本论文对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面详细的总结.本论文主要按照不同自动机模型对无穷数据的处理方式来组织,主要关注相关判定问题,即自动机的非空性问题、语言包含问题,以及逻辑的可满足性问题,的可判定性与复杂性.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号