摘要：干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.设计开发了基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具,它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中无干涉存在或者为修正干涉问题提供线索.

摘要：有患者去正畸门诊就诊,却被医生告知要拔牙。有的广告则宣称正畸要拔牙是医生水平差,高水平的医生都可以做不拔牙正畸。为了牙齿美观就要拔掉原本健康的牙齿,这真的合适吗?拔掉牙齿后,是否会影响正常的口腔功能呢?

摘要：频谱感知的性能不仅依赖于物理层的感知方法,也取决于媒体接入层的协作调度.针对无线电磁环境非常恶劣的多用户认知网络,提出双次协同频谱感知模型和适应此新模型动态变化特性的动态可变时分多址调度机制以进行跨层协作,推导出了平均感知时间的闭式表达式,给出了实现吞吐量最大化的优化方法,分析了该协作可实现的条件.仿真结果表明:通过对各层特性参数的联合优化设置,相比于单次协同感知,所提协同感知方法及其优化算法可有效提高感知的准确性、时效性及网络吞吐量.

摘要：隧洞涌水预测是隧洞安全施工的重要保证,而分析涌水条件、识别涌水来源是涌水量预测的前提。本文以滇中引水工程大坡子隧洞为研究对象,通过分析研究区地层岩性、地质构造,结合地下水水化学特征、同位素结果,厘清了研究区地下水的水文地质条件,确定了隧洞涌水补给来源;在此基础上,利用解析法和数值法对隧洞最大单位涌水量和正常单位涌水量进行计算,并将预测涌水量与实测涌水量进行了对比。其中,基于FEFLOW构建的地下水流数值模型,耦合模拟区域宏观流场的同时,采用多时间序列与各类内边界综合赋值的方法刻画动态施工过程。结果表明:解析法可以在工程初勘设计阶段高效计算隧洞涌水量,但不能动态预测隧洞涌水变化且在地下水位较高区段预测精确度不如数值法;数值法能够精细刻画含水系统结构、参数分布以及隧洞施工工况,能较精确预报施工涌水量变化;故采用解析-数值方法可以显著提高涌水量预测效率和精度。本文采用的方法和模型对于大风险隧洞突涌水灾害防控具有重要意义。

摘要：传统的抗生素治疗细菌感染往往会导致细菌对抗生素产生耐药性,导致耐药细菌的形成,从而对人类健康产生更大的危害。设计了一种新颖的表面系统,其可在不使用抗生素的情况下为钛植入体提供一种可靠的自抗菌平台。这一特性的实现依靠于钛植入体表面PDA(polydopamine)/RGDC(arginine-glycine-aspartic acid-cysteine)/氧化锌量子点(ZnO QDs)复合涂层的构建,通过粒子生长法得到的ZnO QDs经RGDC修饰后连接到覆盖于钛植入物表面的PDA。用不同的细菌和小鼠成骨细胞对此涂层进行了测试,结果表明,文中设计的复合涂层对大肠杆菌的抗菌率高达98.95%,同时具有优异的生物相容性。因此,该表面涂层在生物医用植入材料领域将有着广泛的应用前景。

摘要：以改善农村居住环境、延续建造传统并提升建筑特色为目的,采用设计结合技术分析的方法,提出以秸秆、木基结构板材和小径原木三种廉价易得木质材料为主材的关键技术方案。指明现代木构技术下农宅建构路径,进而论证各技术方案在乡村建造中的可行性与适应性。

摘要：艺术,是人类心灵的升华,是人类灵魂的飞腾。艺术教育具有艺术培养与发展的多重功效,艺术院校(专业)则肩负着当代艺术教育的重担。成都文理学院艺术学院始建于2004年,前身是四川师范大学文理学院(独立学院)下设的教学单位。2014年,经教育部批准,四川师范大学文理学院转设为成都文理学院(独立设置的普通本科高校)。艺术学院秉承“博文、明理、弘毅、笃行”的校训,“文以养德、理以求真、兼容并包、与时俱进”的办学理念,“创办学生满意的学校,培养社会满意的学生”的办学宗旨。

摘要：细胞生物学实验课是学生最早学习的基础医学实验,着重选择经典的实验项目,理论性强,主要的学习目标是验证理论知识和掌握医学实验的基本操作技能。把PBL引入细胞生物学实验教学的实验设计、实际操作、课外练习及实验报告等多个环节,通过问题促进理论、实践、临床知识三者之间的整合。坚持实验课程的问题导向、目标导向、效果导向、能力导向,实施“卓越医生教育培养计划2.0”,全方位推进医教协同育人。

摘要：针对未来5G通信网络频谱资源紧缺、高吞吐量和低功耗需求等难题,研究了如何提高频谱资源利用率和能量有效性.首先,基于协同频谱感知方法和动态时分多址接入机制构建了5G认知网络模型.其次,推导出能量有效性函数表达式,并给出多目标优化函数,利用帕累托最优化方法将非凸函数转化为凸函数求取全局最优解.最后,通过仿真验证所提能量有效性优化算法在保证感知准确性和时间敏捷性的同时,获得比其他两种方法更高的性能.

摘要：论文在开放建筑理论倡导的结构与功能分离的原则下,按照开放建筑理论的设计方法与思路对高校学生公寓套型进行研究,依次对学生公寓套型的各功能空间及尺度,套型的区带区段进行分析,并在此基础上对套型的基本单元和衍生单元进行设计,创造随时间变化而改变的丰富多样的套型布局形式,以提供满足学生多样化居住需求的富有弹性的标准化套型设计。