基于RPU的TTI程序设计和分析方法

实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题,并且基于TTI指令集实现的实时处理单元(real-time processing unit,RPU)证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以,基于TTI指令集和RPU,提出了TTI指令集可以表达的4种时间语义,给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+,TFG+是对TFG的扩展,TFG+区分了TTI程序中时间语义指令和普通代码段,可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后,提出了TTI程序的时间分析方法以及时间安全性检查方法,为TTI程序的设计和部署提供了依据.

某三甲医院医学生实习阶段医学信息资源利用现状调查分析

目的通过调查分析了解某三甲医院对医学生实习阶段医学信息资源的利用现状。方法采用调查问卷和访谈了解影响医院实习医学生医学信息资源利的各种因素,通过定量与定性相结合的分析方法,明确实习医学生对信息资源的利用现状和需求。结果随着医学科技的高速发展,图书馆的传统文献资料已不能满足医学生获取信息的需求,通过互联网途径医学生更易获取广泛、丰富的文献资料和信息,但医学生普遍对如何从专业的数据库检索并获取信息资源的技能不足。结论医院图书馆可构建包括培训等在内的多样化符合教学医院医学信息资源利用的服务模式,提高医学生获得医学信息资源的能力。

H市健康老龄化视角下老年人孤独感的影响因素分析与预测模型构建

分析H市老年人群中孤独感的影响因素,构建其预测模型,为政策制定者提供有关减轻老年人孤独感的参考和建议。方法 本研究使用定量研究方法,以问卷和访谈的形式收集了大量的H市老年人群数据。这些数据涵盖了他们的家庭关系、社会支持、经济状况、健康状态等多个方面。通过机器学习模型,我们进行了深度数据分析和处理,提取出影响孤独感的关键因素。结果 结果揭示了几个主要影响H市老年人群孤独感的因素。其中,家庭关系、社会支持、经济状况和健康状态是最为显著的影响因素。研究中构建的预测模型表现出较高的准确性和可靠性,能有效预测老年人的孤独感。结论 H市老年人孤独感的主要影响因素是家庭关系、社会支持、经济状况和健康状态。通过实施相应的政策和措施,改善这些因素,可有效减轻老年人的孤独感。本研究为H市相关政策的制定提供了科学依据。

实时计算机系统结构综述

在时间敏感的嵌入式系统中,任务需要满足其最后截止期限,错失任务期限会显著影响服务质量或带来灾难性后果.与通用系统相比,实时系统研究进展缓慢,甚至很多基本概念都未达成共识.精确计时(precision timed,PRET)机和实时处理单元(real-time processing unit,RPU)是2套现有的实时系统解决方案,以它们为例介绍实时系统相关的概念,阐述实时系统发展中遇到的问题,比较异同,并分析实时系统各个层次遇到的问题和现有的解决方法.在应用层,用户需要定时操作的接口;在指令集架构(instruction set architecture,ISA)层,应充分利用硬件提供的资源,向上层提供足够的时间语义抽象和计时精度;硬件层需要支持ISA的时间属性和时间语义,并在保证实时性的基础上尽可能地提高性能.对实时系统的研究面临许多挑战.在现有的实时系统设计研究的过程中,关键问题在于上层应用的时间语义难以与底层实现保持一致.

异形回指和联想回指理解的转喻动机

本文对异形回指理解和联想回指理解给予新的解释。认为这两者都有转喻动机。激活先行词就意味着激活一个与之相关的矩阵域，其次域与之同时激活。从理论上讲这些激活的次域都可以成为回指可及的域，但由于认知背景、现时语境和个人语用因素的引导和限制，转喻推理最终限定在一个具体的次域上，这样回指词与该次域产生概念映射，实现回指理解。在这个过程中次域与整体矩阵域有转喻关系。本文指出回指理解是一种语用推理，回指词理解有转喻基础。

应用组织培养方法选育耐盐碱水稻新品种

本文报道了应用组织培养方法,选育耐盐碱水稻.作法是将去壳的水稻种子经常规消毒接种在脱分化培养基诱导形成愈伤组织,继代一次,转移到加压培养基(MS+2.4-D2mg/L+NaCl1%+NaHCO_30.5%),处理20天,再转移到分化培养基,分化并培育出组培水稻119份,简称为D水稻.D水稻又经过盐碱地的实际种植,大批D水稻被田间粗筛而淘汰掉,保存下20份从形态表现和耐盐碱性较好的材料.然后对20份D水稻的脯氨酸含量和叶绿素含量进行测定分析并与其耐盐碱性进行比较,把各项指标综合起来鉴定其耐盐碱性,最终筛选出7价为耐盐碱性较强的水稻新品系.其中647—4表现为最耐盐碱、抗病、高产的水稻.

基于AHP与熵技术的工矿区土地复垦生态效益评价

以贵州省一矿区土地复垦为例,采用层次分析法对工矿区土地复垦的生态效益指标确定权系数,然后通过熵技术对确定的权系数进行修正,结果表明:评价分为6.2236分,说明该煤矿土地复垦项目的实施给区域带来的生态效益是比较显著的。

服务组合中一种静态基础服务部署研究

服务组合是一种新型分布式应用模式,可以实现Internet上跨机构的服务之间的整合.在Web服务、服务覆盖网络、网格等研究中,服务组合所依赖的基础服务通常由第三方部署,并通过服务发现提供给服务组合.为将服务组合应用到机构内部,现有的基于服务发现的基础服务部署不再适用,为此专门针对基于Intranet的服务系统中的服务组合建立了静态服务部署问题的数学模型,并进行分析求解,获得了节点负载均衡条件、服务请求流量最小化条件,并给出了满足上述两个条件的具有最少服务分布规模的近似算法,最后通过仿真实验对算法进行验证,并对算法的容错性进行了分析和改进.

服务组合中一种服务组合路径优化方法研究

在大规模网络环境下的服务组合路径研究中,服务组合路径长度总是大于服务组合中服务的个数.然而,在服务密集分布、节点间网络距离近似相等的环境下,这个结论不再成立.此时,服务组合路径长度服务组合中的服务路径选择问题的关键在于如何在不影响负载平衡的前提下,选择合适的服务节点,使服务组合能连续使用部署在同一节点上的服务资源,以减少路由次数.为此引入了保持因子和匹配长度因子这两个参数来调整服务节点的选择算法,并通过模拟实验分析了这两个参数对负载平衡和服务路径长度的影响,最后给出这两个参数的选择策略和选择方法.

高职邮政类专业实践教学评价体系研究

实践教学是学生熟悉工作流程、培养实际操作技能和问题解决能力的重要途径。高职邮政类专业实践教学的质量在一定程度上影响着整个专业的教学质量,通过构建高职邮政类专业实践教学评价体系,以期对高职院校现有的实践教学模式与学生专业实践能力进行有效评价,对于专业教学效能的提升有一定的促进作用。

基于服务体/执行流模型的操作系统

介绍一种新的操作系统抽象模型——服务体/执行流模型(SEFM)。在该模型中,数据存储抽象与数据运算抽象相互分离,计算模型直接对应于物理CPU执行程序的过程。给出一个基于SEFM的操作系统——MiniCore的功能结构。该系统与其他主流操作系统进行比较测试的结果表明,MiniCore的同步消息通信与Linux管道通信相比效率高出3倍多,比Win98管道高出62倍多,MiniCore的网络通信效率与Linux相当。通过不同负载下视频解码播放的时延分布可以看出,MiniCore比Linux具有更好的实时性。

实时机模型及时间语义指令集研究

混合关键系统中,具有不同安全和时间关键度的应用程序共享计算资源。由于系统中存在多种不确定性,设计者需要能同时满足功能行为确定性、时间行为可预测性和高计算性能等多重设计约束的紧致时间设计方法,对现有计算机体系结构及编程语言的理论和方法提出了新的挑战。提出支持时间语义的实时机模型RTM和时间触发指令集TTI,作为构建多层次协同的紧致时间设计方法MTTT的重要基础。最后以直升机飞控程序为例,说明RTM思想和TTI指令集的有效性。

转喻:从“辞格”到认知的研究回顾

本文对正在引起认知语言学家兴趣的转喻研究历史进行梳理.转喻从传统的辞格提升为人类概念化心理机制, 转喻作为一个知识组织的认知策略与隐喻不相上下.对转喻研究历史进行归纳研究很有必要.本文指出:1.从转喻研究的历史来看转喻研究从3方面进行:修辞、意义、概念;2.实验心理学和神经语言学能为转喻心理机制研究提供一定证据;3.近几年研究转喻的主要人物及其观点.

间接言语行为类型转换与转喻

本文对场境理论（Thomburg＆Panther，1997；Panther＆Thomburg，1998）做了进一步研究，在前期提出间接言语行为矩阵域操作多样性的基础上，进一步对间接言语行为之间的类型转换进行深入分析，认为同一事件场境中，间接言语行为转换是转喻矩阵域操作形式之一，而且受认知背景、现时语境和个人语用因素的影响。

乡村旅游的环保机制建设研究

介绍了我国乡村旅游的发展概况,并分析了乡村旅游发展带来的环保问题,进而从监管机制、宣教机制、公众参与机制、市场保护机制、生态补偿机制、奖惩机制以及预警机制等方面介绍了乡村旅游环保机制的建设。

从认知因素的重视程度纵览语用推理研究

本文指出语用学领域对语用推理的研究呈现出对认知因素越来越重视的趋势。而认知语言学理论中的概念映射观能部分地解释语用学中为何听读者能快速理解这一难题。本文从重视认知因素的角度,将两领域的研究在语用推理上给予统一梳理,并在此基础上提出认知语用推理模式。

河北省大学生自主创业的现状与对策研究

通过对河北省各大高校在校生自主创业的调查研究发现,大学生对目前的自主创业环境并不满意,对政府出台的相关扶持政策不熟悉,面临创业资金紧缺、创业园区较少、创业教育支撑乏力的难题。因此,为优化河北省大学生自主创业环境,当务之急是设立多渠道创业基金、拓宽宣传渠道、丰富创业教育形式和内容、设立创业孵化组织和积极引导学生参与创业竞赛,培养创新创业精神。

“的”字结构的构式观与转喻思维属性特点

以往对"的"字结构的研究主要从语义、语法角度进行。本研究从认知角度进行。本文主要研究3个问题:1.从认知角度阐释为何把现代汉语"的"字结构看作构式;2.该构式意义获得的转喻思维操作机制和高低层属性;3."的"字结构转喻思维的特例。

认知语言学构式观

目前认知语言学构式观主要有Langacker的认知语法观、Goldberg的构式语法观和Croft的激进构式语法观。文章对这三种构式观的主要观点进行了整理,并对它们的异同进行了比较。

国际粮价高位运行对中国粮食安全的影响及应对策略

当前，国际粮食价格持续上涨，根据联合国粮农组织（FAO）统计报告，2007年全球粮价指数上涨40％。导致全球粮价不断攀升的因素，除国际谷物的低库存、趋紧的供给现状与强劲的需求之间严重失衡，致使供求状况紧张，国际粮价一路走高外，生物质能源的广泛利用、大量玉米被用于生产乙醇也推高了玉米价格，进而导致其他粮食价格上涨。