基于服务体/执行流模型的MiniCore系统的容错设计

空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统MiniCore中进行.加入两级容错机制后,内存数据准确性得到保证,MiniCore内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.     

本质安全型无线压力传感器天线设计

提出了一种煤矿井下本质安全型无线压力传感器天线结构的设计方案,研究了金属外壳一侧开口时其参数及天线位置对天线增益的影响。仿真与实测结果表明,天线增益随金属外壳的开口长度和宽度的增大而增加,且增加幅度逐渐减小;天线增益随天线距开口的距离减少而增加;开口侧的金属外壳厚度每减少1mm,天线增益增加约2dB;金属外壳空间高度毫米级变化引起的天线增益变化基本可以忽略;当金属外壳的开口长度和宽度分别为天线波长的1/4与1/8,厚度为2mm,空间高度为41mm,天线位置距开口为1.4mm时,天线辐射增益达到最佳,天线的传播距离约为14m。     

免费情报站

★免费主页 虎门之窗 http://myhome.humen.com/ 个人主页即时开通。特别是近期本网站的硬件升级，向广大网页扩展新内容：对于初次个人主页制作者先可申请 30M的空间，随着制作水平与要求的提升，可进一步扩大主页空间，增加权限的开放。对于已有个人主页制作经验的制作者申请成功者即可获得下面服务。 新牒网 http://myhome.humen.com/ 免费主页重新开通，无限量空间，支持 ASP，快来申请呀！ 网虫主页基地 http://61.128.193.21/ 提供 30兆免费主页空间， Ftp上传。 中国狼 http://www.chinawolf.com/ 可拥有最大到无限的网站空间 ,支…     

实时操作系统μC/OS-Ⅱ的多任务改进方法

文章针对实时操作系统μC/OS-Ⅱ中调度函数使用的查找表空间复杂度高而导致μC/OS-Ⅱ仅能支持一定数目(64个)任务的问题,提出了一种改进的查找表结构及其相应的查找方法,使查找表空间复杂度由O(2n)降为O(2n/2),同时保证时间复杂度仍为O(1),实现了μC/OS-Ⅱ的多任务改进。采用该文的方法,可以在基本不增加现有μC/OS-Ⅱ存储大小的情况下,使μC/OS-Ⅱ支持到256个任务。     

九八Cisco添新“口”——新推高速度集成式E3/T3连接解决方案

1997年底美国 Cisco 系统公司推出了四种适用于 Cisco 7500和7200系列路由器的高性能集成接口。这种新的“E3/T3上包传输(Packet-Over-E3/T3)”——POET 接口在增加网络管理性和减少机柜空间需求的同时,使服务供应商和企业客户能够增加大量的租用线路连接。通过把 DSU 集成到路由器中,POET 接口支持     

基于多源时空信息的西宁和拉萨近70年来城市扩展过程重现及地表覆盖变化分析

西宁和拉萨城市作为青藏高原人类活动的热点地区,其发展历程对青藏高原社会经济发展具有重要影响。研究基于遥感影像、城市规划图和历史地图等资料重建了西宁和拉萨城市1949基准年、1978基准年、1990年、2000年、2010年和2018年城市扩展及2000年以来城市不透水层和绿地空间组分数据,分析了1949基准年以来西宁和拉萨主城区城市扩展的时空特征,揭示了社会经济因素和政策因素对城市土地利用/覆盖变化的影响。研究结果表明：①新中国成立以来,西宁和拉萨主城区持续扩展,均呈现非线性的增长态势,城市土地面积分别从1949基准年的1.98 km²和1.10 km²增长到2018年的79.26 km²和77.04 km²;西宁主城区城市扩展呈现十字状的扩展态势,拉萨呈现出圈层外延式的扩展模式;②自2000年来,西宁和拉萨城市绿化水平显著提升。2000~2018年,西宁和拉萨城市不透水层面积分别从36.91 km²和21.56 km²增加到55.34 km²和48.21 km²,城市绿地空间面积分别从10.78 km²和8.48 km²增加到19.21 km²和20.35 km²,年均扩展速度分别为0.47 km²/a和0.66 km²/a;主城区城市不透水层比例分别从74.09%和66.21%下降到69.82%和62.58%,城市绿地空间比例从21.64%和26.05%上升到24.24%和26.41%;③西宁和拉萨城市人口增长、经济发展和国家相关政策与主城区城市扩展及其土地利用/覆盖变化密切相关,主城区城市扩展阶段与人口增长、经济发展阶段以及国家相关政策实施时间接近吻合。主城区土地利用/覆盖变化与城市规划相关政策高度相关,尤其是园林绿化建设,显著增加了城市绿地空间面积,城市绿地空间面积比例较2000年显著提升。     

面向多图层的空间矢量数据缓存更新策略研究

为提高P2P空间矢量数据索引网络的性能,在已有混合结构P2P空间索引网络的基础上,引入缓存机制,并提出了一种新的面向多图层的空间矢量数据缓存更新策略。该策略针对空间矢量数据多图层特性,综合考虑图层优先级以及查询频率对于缓存更新的影响,合理地利用了缓存空间。同时,将缓存更新抽象成0/1背包问题的数学模型,采用遗传算法对其优化求解。仿真结果表明该缓存更新策略可以增加缓存命中率,提高空间索引效率。     

9/7小波空间组合推举体制的块结构实现

本文针对小波变换的空间组合推举体制算法在实际应用中的存储器容量受限问题,提出了9/7小波的空间组合推举体制基于块结构的实现原理和过程,并分析了这种方案所需要的存储器配置要求,给出了小渡变换处理的流程.通过计算分析可以证明,该方法并未增加小波变换的运算量,但是节省了运算部分的存储器空间开销.     

PageRank算法的优化和改进

在PageRank算法中是使用乘幂法对网络链接图的Markov矩阵进行迭代计算,利用迭代矩阵A=[CP+（1-c）E]^T中Google矩阵P的稀疏性,优化每次迭代的计算量并且减少空间存储量。在乘幂法证明理论基础上,提出了一种修正的外推方法称为线性外推法,并且利用Google矩阵的第二特征值的性质,使得在乘幂法的计算过程中达到快速收敛。从而在不增加空间存储的基础上缩短计算时间。最后结合实际数据测试,说明理论推导的结果达到了良好的实际使用效果。     

山地地貌地表温度的深度学习空间模拟

针对在山地地貌下环境因子与地表温度(land surface temperature, LST)之间存在的空间特征问题,提出利用深度学习方法分析LST在不同植被情景下与环境因子的关系特征。结合山地LST的影响因素和模型特点,构建大青山LST预测模拟模型,利用模型做LST与环境因子变化分析。结果表明：构建的LST深度学习模型预测值与观测值空间分布特征吻合度高(R²为0.89,MAE为0.60℃,MSE为0.65℃);LST随NDVI、海拔和坡度的增加而降低,随平均气温和地表反照率的增加而增加;随NDVI的增大,LST随各环境因子变化的速率变化不同。研究表明,利用深度学习方法预测山地地貌LST的空间分布具有可行性,该方法有助于理解山地环境因子与LST的空间分布关系。     

TMS320VC5410 DSP的DSP/BIOS扩展寻址的实现

TMS320VC5410的程序空间通常被限制在64K地址空间内,当应用程序超出64K时,则需增加目标系统存储区和附加逻辑,实现对系统的扩展。介绍了如何配置及使用DSP/BIOS接口来实现扩展寻址功能,分析了API函数调用和中断触发过程,并以DSP并行自举引导方式实现程序的脱离仿真运行。     

IBM370系统的双地址空间设备

双地址空间设备 DAS(dual address spacefacility)属于IBM370系统的扩充控制程序支持 Ecps:mvs。多虚存/系统产品(mvs/sp)中的交叉存贮器服务(cross memory service)利用DAS改善了mvs之间的连接和通讯。由此减少了虚存中的系统需要量,从而增加了应用     

巧增硬盘逻辑驱动器

目前,许多预装软件的微机,均将整个大容量硬盘设为一个逻辑驱动器C,怎样才能既不破坏硬盘原有信息又可以增加硬盘逻辑驱动器呢?笔者在实际工作中采用以下方法来增加硬盘逻辑驱动器所用机型IBM486DX2/50,硬盘 270MB,全部设为C盘,PCDOS6.3,已用空间将近90MB。     

飞思卡尔超节能小型模拟降压稳压器减轻便携器件负荷

<正> 小型化和低功耗一直是便携产品设计的追逐目标,为帮助便携设计工程师在市场上推出这样的产品,飞思卡尔半导体在模拟组合中新增加 MC34726/27 DC/DC 降压稳压器,以优化具有空间限制的电池供电应用。MC34726/27器件采用了飞思卡尔的 SMARTMOS~(TM)技术。在那些将锂     

模糊λ商空间研究

把模糊商空间理论推广为模糊λ商空间理论,证明论域上的一个模糊等价关系一一对应于λ商空间上的一个归一化等腰距离函数;给定一个λ截关系序列,则唯一确定一个模糊等价关系。给出模糊λ商空间的定义,并讨论其性质,引入模糊λ商空间族来求解模糊问题。     

IPv6扩展无限

Y2K问题已经逐步成为过去,现在摆在人们面前是IP地址空间匮乏的问题,这已经成为影响网络发展的拦路虎。现在已经到了完善和发展IPv6的关键时期了。尽管IPv4理论上支持多达四亿多的无冲突地址,但据统计已经有3/4的地址空间被分配完毕,随着网络节点的日益增加,网络规模的逐渐扩大,IP地址已经成为匮乏的资源。而IPv6有128位的地址空间,即使地球上每个人分别拥有一个IP地址,其使用量也只是IPv6地址空间这个沧海中的一个小水滴。     

基于MNT随机化容器文件系统安全性加强技术

容器作为一种操作系统层的虚拟化技术,被广泛认为是资源使用率最高的虚拟化方法,而MNT名字空间是容器实现文件系统隔离的重要技术,但procfs和sysfs等文件系统不支持名字空间,存在信息泄漏的风险。针对MNT名字空间存在的不足,提出并实现了基于MNT名字空间随机化,通过修改Linux的MNT名字空间创建及工作过程,对文件名/目录使用AES加密方式进行处理,使用名字空间内的进程只能看到模糊的文件目录树,实现对目录的屏蔽。实验结果表明,该方法能有效防护扫描软件针对枚举目录和特定敏感文件的攻击,而且性能损耗小,只增加约1.82%的运行开销。     

一台供载人空间飞行用的实时操作系统

本文着重叙述IBM 360实时操作系统(RTOS)的显著特点,该系统用于Apollo空间计划地面辅助系统。 RTOS是360操作系统(OS/360)基本版本(version)经过修改和扩充之后的版本,它既能适应一般实时应用要求,也能适应载人空间飞行的特殊要求。由于增加了控制程序部分,允许采用非标准的输入输出设备,大大提高了系统性能和灵敏度。RTOS除了提供实时环境要求的服务职能和便利外,还具备OS/360的全部普通功能。RTOS包括多工作(multijobbing)能力。     

80386微处理机原理及应用(六)

六、输入输出本章从下列三方面说明80386微处理机的I/O特性: I/O端口寻址方法。 I/O端口操作指令。使用I/O指令和I/O端口地址时的保护。 (一)I/O寻址80386允许以下列两种方法执行输入输出: 借助于独立的I/O地址空间,使用特殊的I/O指令, 借助于存储器映象I/O,使用通用目的操作数操作指令。 1.I/O地址空间 80386提供与物理存储器不同的独立I/O地址空间,可用此空间寻址用于外部设备的输入输出端口。该I/O地址空间由64k可寻址8位端     

强化学习算法的稳定状态空间控制

强化学习算法的探索次数随着状态空间的增加呈指数增长,因此难以用于复杂系统的控制中。为克服这一问题,提出一种稳定状态空间控制的强化学习算法。算法以寻找稳定空间的最优控制动作为学习目标,将探索过程集中于稳定状态空间中,而不探索系统的全部状态空间。由于稳定状态空间通常仅占系统状态空间中的极小一部分,因此算法的探索次数不随状态空间的增加呈指数增长。