摘要：实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.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程序的设计和部署提供了依据.

摘要：东莞至惠州城际轨道交通项目新客运南站—西湖站区间矿山法隧道下穿一城!景4栋商住一体化高层建筑,隧道复合式衬砌断面宽9.468 m、高10.450 m,下穿段隧道埋深15～21 m,隧道穿越地层主要为强、弱风化花岗闪长岩层。建立隧道下穿高层建筑的三维和二维有限元模型,分析不同开挖方法和辅助措施组合情况下隧道开挖对高层建筑的影响程度,最终提出适宜本工程并具推广价值的实施方案。

摘要：针对四川盆地东部地区高含硫气井开发过程中,可能出现H2S有毒气体,设计了一种井场H2S检测系统。从硬件设计和软件设计两方面详细地阐述了该H2S检测系统的开发过程。硬件设计以STC12C5A60单片机为核心芯片,硬件电路主要包括信号调理电路、数据采集电路和通信电路;软件设计采用C语言和LabVIEW进行开发。通过对该H2S检测系统进行测试,验证了系统测量误差在0.2%以内,可以满足井场H2S检测的高精度测量需要。

摘要：以设计阶段为重点进行工程造价控制 ,采用技术与经济相结合的作法——价值工程、限额设计、设计招投标、设计监理及设计签证等控制方法 ,并使之贯穿于设计的每个阶段 ,通过各阶段由粗到细、多层次、全过程的投资控制 ,实现有效、合理使用建设资金 。

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

摘要：基于多次夹杂方法,给出含不同规格微珠的浮力材料有效弹性模量微分计算公式;以生产批次微珠内外径之比平均值为基准,提出不同规格微珠数量确定的简化方法;考虑微珠壁厚、体积分数、大小等因素,提出微珠破坏准则;通过构建三维细观单胞模型进行数值分析,研究不同微观结构(微珠体积占比、外径、壁厚)对浮力材料有效弹性模量的影响;针对微珠微观结构,设置不同单一变量,分析不同变量对浮力材料压缩强度的影响。分析结果表明:数值分析能够有效分析浮力材料的有效弹性模量,压缩强度与试验结果相契合。通过试验和数值分析较好地验证了破坏准则。本文可为高性能全海深浮力材料的优化设计和研制以及安全使用提供理论依据。

摘要：该体育场位于非洲塞内加尔首都市区北部,体育场新建罩棚部分为长悬挑结构。综合建筑效果、使用功能、经济性、施工条件等因素选取了屋面桁架加V形尾桁架为主要受力结构并配套支撑系统的结构形式。综合考虑了受力性能、加工难度及经济性等因素,设计了新颖且受力合理的支座节点,可以为相关工程提供参考。本工程在设计的全过程均采用了参数化技术,对各个软件间的数据交换进行了打通,并形成了一套高效的建模、计算、出图工作流程,对参数化技术在复杂钢结构中的应用进行了有益的探索。

摘要：队列内试验(TwiCs)是随机对照试验的一种衍生设计方法,目前已在肿瘤、心血管疾病等慢性疾病领域内广泛应用。TwiCs设计基础是一个特定疾病的前瞻性队列,当要实施随机对照试验时,从队列中随机抽样部分符合纳入排除标准的患者接受“试验干预”,而队列中符合纳入排除标准但未被抽样的患者继续接受常规治疗并作为对照组。通过比较试验组和对照组干预措施的疗效差异,来评估干预措施的效果。在队列内,可以重复执行同样的过程来实施多个随机对照试验(RCTS),以评估不同干预措施或比较不同剂量或时机的干预效果。相较经典随机对照试验,TwiCs利用队列更易招募患者,具有更高的外部真实性,为提升随机对照试验的效率和适用性提供了临床研究新范式。但同时TwiCs也可能面临队列内患者依从性不高的挑战,需要研究者在TwiCs设计和操作过程中采取有效措施进行控制。该文重点介绍了TwiCs实施过程中的方法学要点,包括多阶段知情同意(患者进入队列、进入试验组、试验结束后3个阶段分别进行知情同意)、随机程序(只从队列中随机抽样接受“试验干预”的患者)、样本量计算、统计分析方法,对比了TwiCs与经典RCTS的差异,并以实例说明TwiCs研究设计与分析的过程,以期为广大临床研究者提供新的研究思路和方法。

摘要：小细胞肺癌(sclc)以CAV为代表标准联合化疗的效果已达坪期。化疗加放疗或“三明治”疗法以及辅助外科治疗已成为发展方向。鉴于顺铂(P)同足叶乙甙(E)联合治疗sclc有协同作用,为提高治疗效果,在以往经验的基础上,加用可抑制癌发生,既有抗致癌、又有抗促癌作用的维胺酸(R_2),设计两组化疗方案:即足叶乙甙+顺铂+维胺酸(EPR_2)

摘要：【技法阐释】写作常用的艺术手段有写＂虚＂和记＂实＂。所谓＂虚＂,是指作者主观具有的情和理;所谓＂实＂,则指客观存在的人、事、物。前者抽象,后者具体。构思过程中,运用联想和想象,把作者主观具有的情和理诉诸客观存在的人、事、物,借助它们来叙事、抒情或说理,从而反映生活的某一方面本质,