基于经济与效率的高速公路互通立交研究—ITL立交

本文提出在建设成本、占地面积及交通效率中最优互通立交,并对不同互通方案进行了研究对比。ITL立交左转匝道比其他现有的立交方案要短得多,该立交仅为两层。而其他立交匝道比ITL长20-75%;其他立交桥长是ITL的2~5倍;在堆栈立交中,其桥长是ITL立交的2.5倍;且成本与养护费较低。延误也最低,车辆通行也最为通畅。

Verilog HDL的ITL形式语义及其应用

硬件描述语言为硬件设计师提供一个非常好的分析和设计数字硬件的工具,也为沟通软件和硬件提供了一种方法。然而它缺乏对于电路逻辑关系描述和分析的形式化方法,尤其是基于时序的逻辑描述。这对于化简和检验正确性都带来麻烦。ITL语言描述则提供另一套基于时序的形式化解决方法。用ITL能够方便准确地描述基于时序的数字电路,却缺乏可执行能力,运算公式不能直接进行计算机仿真和验证。Tempura则是ITL强有力的可编程可执行的工具集,大大增强ITL的实用性。通过对RS触发器的描述与验证说明这三者之间的联系,展现ITL等形式方法的发展前景。

基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究

由于Agent的自治性和异构性等特征,多智能体物流系统中不可避免的存在着大量由系统属性和事件序列组成的冲突现象,时序逻辑是描述它们的关键。ITL一共包括十三种互不相交且联合完备的时段关系来描述时段之间的关系,在此基础上,提出了一种针对多智能体物流系统中存在的动态冲突的形式化描述框架,并以简单的采购子系统为例进行了验证。

基于降阶梯思维的ITLS技术对院前高处坠落伤患者急救效果的影响

目的探讨基于降阶梯思维的国际创伤生命支持(ITLS)技术对院前高处坠落伤患者的急救效果。方法采用随机数字表法将2020年3月1日至2021年3月1日东莞厚街医院诊治的86例高处坠落伤患者分成两组,试验组43例,对照组43例。对照组给予常规院前急救措施,试验组在对照组基础上采用基于降阶梯思维的ITLS技术措施,对比两组救治成功率、临床监测指标、救治满意度、预警时间、急救时间、静脉通道建立时间、并发症发生率。结果试验组患者的预警时间、静脉通路建立时间、急救时间均明显短于对照组,差异有统计学意义(P<0.05)。试验组患者急救第1~2天体温、血pH、血乳酸、凝血酶原时间指标均明显优于对照组,差异有统计学意义(P<0.05)。试验组患者的满意度93.02%(40/43)明显高于对照组74.42%(32/43),差异有统计学意义(P<0.05)。试验组患者并发症发生率明显低于对照组,救治成功率高于对照组,差异有统计学意义(P<0.05)。试验组患者的分诊准确率明显高于对照组,差异有统计学意义(P<0.05)。结论基于降阶梯思维的ITLS技术应用于高处坠落伤患者急救中,可缩短患者的预警时间、静脉通路建立时间、急救时间,降低并发症发生率,提高护理满意度、救治成功率和预分诊准确率。

长链非编码LncHECW1-IT1对滑膜间充质干细胞成软骨分化的调控机制

目的 本文旨在探讨长链非编码RNAHECW1-IT1对滑膜间充质干细胞(SMSCs)成软骨分化的调控机制。方法 选取广州中医药大学深圳医院骨伤科关节镜手术或是关节置换手术患者的膝关节内滑膜,分离培养及诱导软骨分化,利用各种实验室方法,检测滑膜间充质干细胞成软骨分化的情况及分化过程中信号通路的表达。结果 从供体的滑膜组织中分离出SMSCs,并通过流式细胞术、RT-qPCR和WB鉴定出SMSCs;通过阿利新蓝染色分析了SMSCs的高软骨分化能力;采用高通量RNA测序技术分析了软骨分化诱导后lncRNA和mRNA的不同表达水平,最终共发现121个lncRNA和2539个mRNA,对所有DEmRNAs进行了GO富集和KEGG通路分析,我们发现MAPK和Wnt信号通路在软骨分化过程中显著富集。通过构建竞争的内源性RNA网络,鉴定发现LncHECW1-IT1和ATF2在SMSCs软骨分化中的重要作用,是治疗及干预骨关节炎的调节因子和重要靶点。结论 LncHECW1-IT1通过上调ATF2的表达来促进人SMSCs的软骨生成分化,LncHECW1-IT1-ATF2轴是调控SMSCs成软骨分化的新机制。

入侵特征的时间语义逻辑及实现

在对ITL的定义和实时语义扩充进行描述的基础上,详细探讨了ISITL的特征,并给出了其模式图和MACIS事件的处理算法;最后对ISITL存在的优缺点进行了简要分析。

PBL教学模式在信息技术课程中应用的研究

基于问题的学习(PBL)是围绕开放式的、以学生为中心的问题而展开学习,在教师的辅导下达到课程的学习效果的一种教学方法。无论上的是什么课程,信息技术领域的每一位教师都要努力使其学生能深入研究解决问题,并进行深刻的批判性思考。课程的学习成果之一是培养学生独立地解决问题的能力,适当的教学方法是可以取得该成果的。只要我们致力于寻求为提高能力所支持的教学方法,就可以使学生提高其分析、解决复杂问题的能力。我们寻求的基于问题的教学方式可以适用于信息技术的各门课程。特别是,本文所研究的方法可以作为非计算机专业(如人文学科)实现计算机创新教育的一个有效途径。

基于AFWA的二次系统故障关联分析参数优化

智能站二次系统出现故障时,可以利用关联分析法挖掘历史数据来得到故障分析结果,传统关联分析算法应用在智能站二次故障数据处理的过程时,需要设置支持度、置信度等指标来筛选合适的规则,指标需要人为设置,这个过程较为繁琐,同时还会产生大量冗余规则,分析时需要耗费大量人力。基于自适应烟花算法,提出了一种AFWA结合ITL-mine算法的关联优化方法,借助历史数据,利用目标函数实现优化参数,实现了对关联规则的优化,提高了规则的可靠性,同时还可以保证分析结果覆盖整个数据,最后引入规则筛选策略,设置最小相似度指标,对分析结果进行筛选,最大程度上排除冗余规则,排除衍生信号,提高规则的可阅读性,确保结果容易理解。经过验证,该方法相比于其它传统优化算法,收敛性能更好,在一定程度上节约了人力,同时保证了分析结果准确可靠。

微处理器体系结构级测试程序自动生成技术

提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.

基于RWSL的软件再工程

为基于遗留系统特征的软件再工程提出了一种统一的方法。该方法基于一种名为广谱语言的构架。该语言具有很好的形式化RWSL语义。提出了该方法从源代码到规约的体系结构和工作流,并定义了的结构。

国际贸易法的新发展及其教学变革新思路

全球法律化与经济一体化对我国高校国际贸易法教学产生了重大影响并对之提出更高要求。为使我国高校国际贸易法教学适应新形势发展的需要 ,本文论述了国际贸易法的新发展及变革国际贸易法教学的必要性 ,并从教学目的、教学内容、教学方法、教学手段、教学实践、教学与研究等方面 。

基于等效双边交易原则的双边交易边际输电损耗实用分摊方法

针对内蒙古电力交易市场方案没有计及不同交易对系统损耗影响差异的问题,结合内蒙古电力交易市场以"协商交易为主、竞争交易为辅"的特点,根据2节点间边际损耗系数相对值的比例关系与平衡节点位置无关的特点,针对双边协商交易市场模式,提出一种基于交易的边际损耗分摊方法。通过运用等效双边交易(equivalent bilateral exchanges,EBE)原则将该方法扩展应用到集中交易市场模式。该方法克服了节点边际损耗系数法分摊结果与平衡节点位置有关的问题,能够直观反映交易双方输电距离的远近,易于被市场成员理解和接受。实例验证了其有效性和可行性。

高校教师职称评审权下放良性运行的困境与对策

高校职称评审权下放是驱动政府高校管理模式机制改革,优化人才评价与激励,促进高校教师职业公平发展的重要制度创新。高校职称评审权下放是高校办学自主权的回归。我国高校教师职称评审权下放将面临政府职称管理模式难以转型、高校内部治理难以保障公平、社会参与职称制缺失、与之相关人事制度改革推进缓慢的主要困境。为推进高校治理体系改革纵深发展和现代大学制度建设,我国应从政府、高校、社会三个维度协同构建高校职称评审权下放综合治理机制,以克服"一放就乱,一乱就收"的恶性循环。

“治未病”与“从痰论治”胃癌前病变

胃癌前病变(Precancerous lesions of gastric carcinoma,PLGC)包括胃黏膜肠上皮化生(IM)和异型增生(ATP),演化为癌已被学术界认同。随着胃癌患病率、发病率和死亡率不断攀升,防治胃癌前病变已成为胃癌二级预防的重点,这一重心转移与与中医治未病的思想不谋而合。中医药治疗能使部分肠化和异型增生消失或减少,符合未来医学的发展趋势,尚缺少完整的诊疗总结和体系,基于"治未病"思想探讨中医药治疗胃癌前病变的发展前景,以发挥中医药未病先防、早治防变、瘥后防复的作用,对阻止疾病演变意义深远。

探讨如何实现院前快速创伤评估

目的在院前环节的有限时间内实施快速创伤评估。方法提炼出国际创伤生命支持(ITLS)课程的精华,即初步评估、持续评估及进一步评估流程。结果经过强化练习,院前医务人员可以在2min内完成初步评估,5min内完成持续评估,提高了三段评估的可操作性。结论以CRAMS评分+ITLS三段评估作为实现院前快速创伤评估的方法。

实时交互式授课系统中低比特率音频流处理的研究

针对视音频处理的实时授课系统在语音方面对QoS服务质量和大规模网上群体实时交互的高需求及现有系统存在的问题，设计了低比特率音频处理算法。该算法可以实现网络状况进行自适应的低比特率音频处理，为带QoS自适应调节机制的实时群体语音交互提供了有力的支持。

提升大型创伤事故患者院前急救效率方法研究

目的探讨提升大型创伤事故患者院前急救效率的方法。方法选择我中心2018年6月-2019年6月收治的42例创伤患者作为观察组,2017年6月-2018年5月收治的42例创伤患者作为对照组。对照组:常规处置。观察组:科学合理地运用美国国家灾难生命支持课程(NDLS)进行检伤分类,运用国际创伤生命支持课程(ITLS)进行伤员的快速全面查体及处置。对比2组院前急救效率指标、急诊科延续救治结果、检伤分类时间、向调度中心汇报并呼叫增援的时间。结果观察组院前明确诊断率高于对照组,急救与转运成功率高于对照组,差异显著(P<0.05);观察组急诊科抢救成功率为97.62%(41/42),高于对照组的76.19%(32/42),差异显著(P<0.05);观察组院前检伤分类时间、向调度中心汇报并呼叫增援的时间均短于对照组,差异显著(P<0.05)。结论使用NDLS及ITLS方法流程能够有效提升大型创伤事故患者院前急救效率,提高院前明确诊断率、急救与转运成功率,提高急诊科抢救成功率,缩短院前检伤分类时间、向调度中心汇报并呼叫增援时间,应用价值较高。

综合科技教学理念运用于光学工程专业人才培养的探索

综合科技教学理念是新加坡南洋理工学院工程系实验室为适应多元化科技学习需求而采用的创新教学理念，是融合了整合式教学、反复式教学、启发式教学和渐进式教学的一种教学理念。在光学工程专业人才的培养方面，运用综合科技教学理念，是一种融合多元化科技与多层次整合学习的有效教学途径，能加强教学效果，有利于强化学生时现代光学工程综合科技的理解与掌握。

三代非能动压水堆核电常规岛仪控设计标准体系探讨

通过对三代非能动压水堆核电站依托工程常规岛仪控系统的调研和我国核电法规监管体系、美国先进轻水堆用户要求文件及其与常规岛相适应的一般工业标准的研究,本文探讨了适应我国国情的三代非能动压水堆核电常规岛仪控设计标准体系,为三代非能动压水堆常规岛的仪控系统自主化设计提供参考。