安全关键实时系统高可信集成技术的研究 被引量：5

1

作者 杨仕平 熊光泽 桑楠 《电子学报》 EI CAS CSCD 北大核心 2003年第8期1237-1241,共5页

为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机... 为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域 。 展开更多

关键词 安全关键 多级关键度 高可信 调度分析 时间隔离

下载PDF 职称材料

一种安全关键的嵌入式实时操作系统内核设计 被引量：6

2

作者 欧阳湘臻 朱怡安 +1 位作者 李联 史先琛 《计算机工程》 CAS CSCD 北大核心 2019年第7期78-85,共8页

在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统。采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性。在PowerPC平台上实现嵌... 在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统。采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性。在PowerPC平台上实现嵌入式实时操作系统内核原型并对其进行功能与性能测试,结果表明该操作系统内核功能完备,满足软硬件分区、栈溢出保护与监测、驱动故障保护等需求,且综合性能优于同类操作系统内核。 展开更多

关键词 分区操作系统 安全关键任务 嵌入式实时操作系统 ARINC-653标准 空间隔离 时间隔离

下载PDF 职称材料

时间隔离——控制交尾的替代方案及新发展

3

作者 Aleksandar Uzunov Marin Kovacic +1 位作者 段宇杰 陈超 《中国蜂业》 2024年第6期26-27,共2页

时间隔离的第二种方法被称为“迷宫”,这个装置可以将蜂王限制在交尾箱中或将其释放。该方法不需要黑暗和寒冷的环境,并且配备该装置的交尾箱可以始终放置在室外。这让蜂农的工作变得更简单,而且由于无需制冷设备,该装置的成本也会较低... 时间隔离的第二种方法被称为“迷宫”,这个装置可以将蜂王限制在交尾箱中或将其释放。该方法不需要黑暗和寒冷的环境,并且配备该装置的交尾箱可以始终放置在室外。这让蜂农的工作变得更简单,而且由于无需制冷设备,该装置的成本也会较低。然而,交尾箱需要安装迷宫进行改装。下面简要介绍一下迷宫这种装置以及操作步骤。 展开更多

关键词 交尾箱 时间隔离 制冷设备 替代方案 迷宫 操作步骤 蜂王 蜂农

下载PDF 职称材料

安全关键实时操作系统时间隔离保护机制的设计与实现 被引量：2

4

作者 杨仕平 桑楠 +1 位作者 陈慧 熊光泽 《计算机研究与发展》 EI CSCD 北大核心 2004年第7期1306-1314,共9页

为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法... 为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行 为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法 时空隔离保护机制的提出 。 展开更多

关键词 安全关键 空间隔离 时间隔离 调度分析 实时操作系统

下载PDF 职称材料

时间隔离——一种新的控制交尾模式

5

作者 Aleksandar Uzunov Marin Kovacic +1 位作者 陈超 单金琼 《中国蜂业》 2024年第5期22-23,共2页

控制交尾是蜜蜂育种项目中遗传改良和保护的关键因素。在上一期文章中,我们讨论了控制交尾的四种可选的模式及其相关性,即地理隔离、生物隔离、人工授精和时间隔离。实际上,最后一种模式在近几十年刚刚发展起来,可以作为传统模式的一种... 控制交尾是蜜蜂育种项目中遗传改良和保护的关键因素。在上一期文章中,我们讨论了控制交尾的四种可选的模式及其相关性,即地理隔离、生物隔离、人工授精和时间隔离。实际上,最后一种模式在近几十年刚刚发展起来,可以作为传统模式的一种替代模式。在本文中,我们更加详细的介绍时间隔离的概念及其变体,这种模式吸引了蜜蜂育种人员和育王人员的高度关注。 展开更多

关键词 地理隔离 时间隔离 育王 遗传改良 替代模式 蜜蜂育种 交尾 人工授精

下载PDF 职称材料

兰科植物的生殖隔离 被引量：4

6

作者 崔静 吴记贵 +3 位作者 黄伯高 蒋万杰 范雅倩 程瑾 《浙江农林大学学报》 CAS CSCD 北大核心 2016年第4期695-702,共8页

生殖隔离是物种形成过程中最关键的步骤之一,它保证了每个物种相对稳定的遗传系统,是物种保持完整性和独立性的基础。兰科Orchidaceae作为有花植物中物种多样性最丰富的类群之一,有关其生殖隔离主要机制的研究对探讨物种分化的条件具有... 生殖隔离是物种形成过程中最关键的步骤之一,它保证了每个物种相对稳定的遗传系统,是物种保持完整性和独立性的基础。兰科Orchidaceae作为有花植物中物种多样性最丰富的类群之一,有关其生殖隔离主要机制的研究对探讨物种分化的条件具有重要的科学意义。兰科植物的生殖隔离机制包括合子前隔离和合子后隔离。还分析了不同传粉类型的兰科植物的生殖隔离机制,其中性欺骗兰科植物主要是合子前隔离的行为隔离机制,食源性欺骗兰科植物主要是合子前隔离的机械隔离以及合子后隔离机制。同时,对兰花育种领域通过人工杂交等形式打破生殖隔离获得新品种的机理和成果开展了分析和展望,并从兰科植物与真菌区域共生的机制及其在兰科植物生殖隔离中的作用的角度展望了今后相关研究的重点研究方向。 展开更多

关键词 植物学 兰科植物 合子前隔离 合子后隔离 地理隔离 时间隔离 机械隔离 行为隔离 综述

下载PDF 职称材料

基于嵌入式实时操作系统的分区技术研究 被引量：3

7

作者 杨菊平 《工业控制计算机》 2015年第5期29-30,共2页

嵌入式实时操作系统的研究与开发是嵌入式领域的一个研究热点。分区(Partition)技术的时间、空间隔离与调度机制,保证了嵌入式实时系统资源在时间和空间方面的确定性和应用程序之间的安全性。介绍了嵌入式实时操作系统中的分区技术,并... 嵌入式实时操作系统的研究与开发是嵌入式领域的一个研究热点。分区(Partition)技术的时间、空间隔离与调度机制,保证了嵌入式实时系统资源在时间和空间方面的确定性和应用程序之间的安全性。介绍了嵌入式实时操作系统中的分区技术,并联系航空实际,重点研究了分区技术的设计与实现。 展开更多

关键词 嵌入式实时操作系统 分区技术 时间隔离 空间隔离

下载PDF 职称材料

一种带隔离机制的SIS模型研究 被引量：3

8

作者 姚丽丽 马英红 李慧嘉 《计算机安全》 2010年第2期91-92,共2页

以往的病毒传播模型很少考虑隔离时间对病毒传播结果的影响,根据实际情况提出一个与时间有关的带隔离机制的病毒传播模型,并在BA无标度网络上对其进行模拟,分析试验结果,解释时间机制对病毒传播的影响。

关键词 复杂网络 病毒传播 SIS模型 时间隔离

下载PDF 职称材料

向日葵时间隔离繁殖亲本与制种技术 被引量：2

9

作者 张雷 宋宝军 +2 位作者 于学鹏 李慧英 刘壮 《黑龙江农业科学》 2010年第9期78-79,共2页

阐述了地膜覆盖时间隔离繁殖和制种(配制组合)的技术。试验表明:该项技术是可行的,为亲本繁殖和示范种子的生产提供了新途径,解决了向日葵材料小量繁殖和制种隔离区难找的实际问题,对加速新品种的推广会起到较大的作用。但由于成本较高... 阐述了地膜覆盖时间隔离繁殖和制种(配制组合)的技术。试验表明:该项技术是可行的,为亲本繁殖和示范种子的生产提供了新途径,解决了向日葵材料小量繁殖和制种隔离区难找的实际问题,对加速新品种的推广会起到较大的作用。但由于成本较高,该项技术不适于商品杂交种的生产。 展开更多

关键词 向日葵 亲本繁殖 制种 时间隔离

下载PDF 职称材料

在实时通信中对TTCAN的改进 被引量：1

10

作者 冯治宝 萧伟 +1 位作者 周美娇 应启戛 《自动化仪表》 CAS 北大核心 2009年第2期21-23,共3页

TTCAN是工业领域中被广泛应用的现场总线协议。根据TTCAN协议的主要特点和存在的不足,提出了主/从模式的网络结构,主节点根据同步报文的特点在系统正在运行的情况下生成下一个计划调度表,在下一个周期开始时包含有同步报文传输信息的触... TTCAN是工业领域中被广泛应用的现场总线协议。根据TTCAN协议的主要特点和存在的不足,提出了主/从模式的网络结构,主节点根据同步报文的特点在系统正在运行的情况下生成下一个计划调度表,在下一个周期开始时包含有同步报文传输信息的触发报文将被发送给所有的从节点,解决了调度表在线修改的问题。在同步报文和异步报文之间插入空闲时间,使二者实现时间隔离,避免了事件触发报文对时间触发报文的干扰。 展开更多

关键词 TTCAN计划调度 动态调度 时间触发 事件触发 时间隔离

下载PDF 职称材料

平原地区玉米新品种制种技术 被引量：1

11

作者 贾锋利 《现代农村科技》 2015年第4期12-13,共2页

1隔离区的选择要想保证杂交种的纯度,安全隔离最重要,隔离方法一般有四种：空间隔离、时间隔离、自然屏障隔离、高秆作物隔离,平原地势低、地面平坦,缺乏制种所需的自然隔离条件,只能小面积利用村落、树林等做屏障。隔离条件受限制。建... 1隔离区的选择要想保证杂交种的纯度,安全隔离最重要,隔离方法一般有四种：空间隔离、时间隔离、自然屏障隔离、高秆作物隔离,平原地势低、地面平坦,缺乏制种所需的自然隔离条件,只能小面积利用村落、树林等做屏障。隔离条件受限制。建议采用空间隔离和时间隔离。 展开更多

关键词 空间隔离 时间隔离 自然屏障 隔离条件 安全隔离 隔离区 平原地区 自然隔离 隔离方法 散粉期

下载PDF 职称材料

环境

12

《生物进化》 2021年第1期14-16,共3页

气候变暖对植物物候的影响植物开花时间会随纬度发生很大的变化,这种变化常常形成显著的纬度格局。对于同一种植物而言,低纬度地区的个体常开花较早,而高纬度地区的个体开花较晚。较大的纬度间开花时间差异(或较小的重叠)通常阻碍基因流... 气候变暖对植物物候的影响植物开花时间会随纬度发生很大的变化,这种变化常常形成显著的纬度格局。对于同一种植物而言,低纬度地区的个体常开花较早,而高纬度地区的个体开花较晚。较大的纬度间开花时间差异(或较小的重叠)通常阻碍基因流,如果差异大到一定程度则形成时间隔离,这是物种形成机制中合子前生殖隔离的主要方式之一。同时,开花时间纬度间的差异也与物种间的相互作用紧密相关。在全球变化背景下,开花物候纬度格局存在什么样的变化呢? 展开更多

关键词 物种形成 纬度格局 开花时间 时间隔离 生殖隔离 开花物候 植物物候 高纬度地区

原文传递

杂交水稻种子生产中隔离距离的物理屏障的有效性

13

作者 邱敦莲（摘译） 《作物育种信息》 2006年第6期16-17,共2页

在印度，尽管杂交水稻已经取得成功，但是要得到能够承受的高质量的杂交种特别是采用胞质雄性不育系统育成的杂交种还是严重的问题。即使要达到最低的标准隔离距离也是难题，这主要是由于适合杂交稻生产的地区是在水稻生产带。自然资源... 在印度，尽管杂交水稻已经取得成功，但是要得到能够承受的高质量的杂交种特别是采用胞质雄性不育系统育成的杂交种还是严重的问题。即使要达到最低的标准隔离距离也是难题，这主要是由于适合杂交稻生产的地区是在水稻生产带。自然资源的缩减，特别是耕地减少，导致种植户不愿意将其土地用于种植其它作物，因此，生产杂交种只能采用时间隔离或者是物理屏障隔离两种方法。 展开更多

关键词 种子生产 隔离距离 杂交水稻 屏障 物理 胞质雄性不育 杂交种 水稻生产 自然资源 时间隔离

下载PDF 职称材料

玉米品种温单18高产栽培及制种技术

14

作者 邓如海 王立伟 郑和平 《种业导刊》 2020年第4期18-19,共2页

温单18是温农丰华种业有限公司2011年以自选系温218为母本、温216为父本杂交选育而成的玉米品种。2018年通过河南省农作物品种审定委员会审定,审定编号:豫审玉20180018。对温单18从播种到收获的栽培技术要点进行了介绍,对其西北地区制... 温单18是温农丰华种业有限公司2011年以自选系温218为母本、温216为父本杂交选育而成的玉米品种。2018年通过河南省农作物品种审定委员会审定,审定编号:豫审玉20180018。对温单18从播种到收获的栽培技术要点进行了介绍,对其西北地区制种流程和阶段关键技术进行了总结。 展开更多

关键词 玉米杂交种 温单18 栽培技术 病虫害防治 适宜种植区域 制种技术 放苗 蹲苗 时间隔离 人工辅助授粉

下载PDF 职称材料

专业猫奴劝架指南 猫咪为啥爱打架

15

作者 糯米团 《宠物世界（猫迷）》 2016年第8期52-55,共4页

你家喵星人喜欢打架吗？作为一只＂傲娇＂的猫,一辈子总要打那么几次架吧,而蓝星人应该怎么劝架呢？摒弃老的方法,最有效率地劝架方法来了!什么,喵星人又打架了？别激动,喵星人打架难道不是家常便饭一样的情况嘛!＂小打怡情＂,＂中打锻... 你家喵星人喜欢打架吗？作为一只＂傲娇＂的猫,一辈子总要打那么几次架吧,而蓝星人应该怎么劝架呢？摒弃老的方法,最有效率地劝架方法来了!什么,喵星人又打架了？别激动,喵星人打架难道不是家常便饭一样的情况嘛!＂小打怡情＂,＂中打锻炼＂,而大打出手可就要劝劝了,不然损失医药费的可是蓝星人你呀!爱打架,因为室内空间小在户外的喵星人,可是偏安一隅,只要在自己的地盘范围内活动,只要见不到讨厌的猫咪, 展开更多

关键词 偏安一隅 怡情 异性之间 报复行为 雄性激素 小型犬 家庭会 大型犬 离人 时间隔离

原文传递

玉米制种高产技术

16

作者 张纯学 《现代种业》 2004年第6期15-15,11,共2页

选好制种生产区，隔离要绝对安全。空间隔离一般制种四周要控制在300米以上。有时还要看风向，如风向有响距离还可适当调整；时间隔离要掌握在40天以上；屏障隔离要根据高度和具体情况而定不能疏忽大意。否则，种子纯度难保。

关键词 玉米制种 高产技术 种子纯度 生产区 空间隔离 时间隔离 高度 情况 距离 一般

原文传递

层次化动态实时调度框架的设计与实现

17

作者 胡家义 张激 刘玲 《计算机工程》 CAS CSCD 2013年第11期285-288,294,共5页

现有嵌入式系统具有应用场景多变、实时性要求严格、上层应用复杂、鲁棒性较强等特点,在嵌入式操作系统层面对系统防危性要求较高。时间隔离机制是提高系统防危性的重要组成部分,为此,提出一种将层次化动态实时调度框架作为时间隔离的... 现有嵌入式系统具有应用场景多变、实时性要求严格、上层应用复杂、鲁棒性较强等特点,在嵌入式操作系统层面对系统防危性要求较高。时间隔离机制是提高系统防危性的重要组成部分,为此,提出一种将层次化动态实时调度框架作为时间隔离的实现策略。引入任务同质性的概念进行任务分划,将产生的任务集作为层次框架的基础,证明多层次框架下实时任务的可调度性条件,设计调度算法结构并实现调度算法的动态切换。仿真结果和理论分析表明,该调度框架在保证上下文切换时间复杂度稳定的前提下,可提高系统防危性并动态应对系统负载的变化。 展开更多

关键词 时间隔离 任务同质性 层次框架 动态切换 可调度性 时间复杂度

下载PDF 职称材料

甜玉米的栽培技术

18

作者 蔡书琴 郭瑞芳 《山西农业（致富科技版）》 2008年第3期19-20,共2页

甜玉米和普通玉米要隔离种植，以免串粉。 1．空间隔离空间隔离一般不少于300米。 2.时间隔离与开花期不同（错开15天）的玉米相邻种植。

关键词 甜玉米 技术 栽培 隔离种植 空间隔离 普通玉米 时间隔离 开花期

下载PDF 职称材料

玉米夏播制种优质高产技术

19

作者 韩海隆 彭占友 吉庆平 《种子科技》 1990年第4期32-33,共2页

一、严格选择隔离区。玉米是异花授粉作物,在制种过程中极易串粉混杂而降低种子质量。因此,要严格选地隔离。空间隔离的距离必须在300米以上,时间隔离的时间以相差30天为好,以便错开花期,防止生物学混杂。在保证安全隔离的前提下,选择... 一、严格选择隔离区。玉米是异花授粉作物,在制种过程中极易串粉混杂而降低种子质量。因此,要严格选地隔离。空间隔离的距离必须在300米以上,时间隔离的时间以相差30天为好,以便错开花期,防止生物学混杂。在保证安全隔离的前提下,选择群众重视、技术力量较强的村组为制种基地。 展开更多

关键词 高产技术 生物学混杂 制种过程 异花授粉作物 时间隔离 制种基地 隔离区 制种产量 去杂去劣 安全隔离

下载PDF 职称材料

时间和创造性的社会学展望

20

作者 Indra Deva 李醒民 《科学与社会》 1984年第Z1期17-21,共5页

每一个社会文化体制都有它自己的传统的时间及其用法的观念。这种看法的正确性造成工业化国家和农业文明之间的明显差异。关于创造精神的见解及其推论,必然与时间和社会文化进步之间的这种关系密切相关。作者还对不同社会中的个性和它... 每一个社会文化体制都有它自己的传统的时间及其用法的观念。这种看法的正确性造成工业化国家和农业文明之间的明显差异。关于创造精神的见解及其推论,必然与时间和社会文化进步之间的这种关系密切相关。作者还对不同社会中的个性和它的意义作了比较。 展开更多

关键词 创造性 社会学 观念 社会科学 民间文学 文化时间 印度人 现代社会 时间隔离 正确性

下载PDF 职称材料