摘要：Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitions becomes popular as an alternative to the traditional federated architecture. This study investigates the problem of designing hierarchical scheduling for IMA systems. The proposed scheduler model enables strong temporal partitioning, so that multiple hard real-time applications can be easily integrated into an uniprocessor platform. This paper derives the mathematic relationships among parti- tion cycle, partition capacity and schedulability under the real-time condition, and then proposes an algorithm for optimizing partition parameters. Real-time tasks with arbitrary deadlines are considered for generality. To further improve the basic algo- rithm and reduce the energy consumption for embedded systems in aircraft, a power optimization approach is also proposed by exploiting the slack time. Experimental results show that the designed system can guarantee the hard real-time requirement and reduce the power consumption by at least 14%.

摘要：说课是一种新兴的教学研究和交流的形式。脏腑养生是中医养生的核心内容之一,是将理论知识与临床实践相衔接的关键"桥梁",对指导临床应用具有至关重要的意义与作用。文章以《中医养生学》"脏腑保养"一节,从说教材、说学情、说教法、说学法、说教学过程和教学反思6个方面进行了说课方案设计,探索中医药院校中医养生学的教学方法与技巧,以促进教师教学水平的提高。

摘要：为了助力城市交通调查技术体系的创新发展,城市交通调查新技术研讨会于2024年5月25日在北京市举办,主题为交通调查的传承与创新。会议聚焦城市交通领域大数据关键技术的精准应用,瞄准交通规划设计领域行业痛点和传统交通调查工作困境,围绕数据赋能、技术驱动、平台构建、数字转型等开展技术交流与经验分享。会议由中国城市规划学会城市交通规划专业委员会指导,北京城建交通设计研究院有限公司主办。会议取得了“技术发明无法替代专业发现,唯有专业发现方能实现技术发明”的一致共识,形成了未来交通调查技术仍有较大提升和应用前景的判断,认为要重点关注调查标准化、数据中台技术应用和交通信息采集AI技术应用等方向。

摘要：针对我国载人航天器的技术特点,在空间站建造完成之际,文章对30年来载人航天器总体电路的技术发展历程进行了回顾、归纳和总结,并对配电、电缆网设计、航天员操作连接器、并网供电等关键技术进行了介绍。最后,从未来的载人航天任务角度对总体电路技术发展提出了无线充电、高速连接等展望。

摘要：鉴于传统的位移监测实验模式存在诸多弊端,本文设计了一种基于北斗的高精度位移监测创新试验平台。首先,建立北斗单历元定位数学模型,给出一种适用于北斗多频信号主辅频相关法(MAXCOM)的整周模糊度快速解算流程;然后,基于Visual Studio 2019开发平台,运用C#编程语言,研制一种北斗高精度位移监测创新试验平台(LSMS)。试验测试与分析结果表明,LSMS试验平台的北斗位移监测精度可达厘米级,其中北向精度优于0.9 cm,东向精度优于1.2 cm,垂直精度优于3.0 cm,水平精度优于1.5 cm,点位精度优于3.3 cm。本文方法及试验平台用于北斗高精度位移监测创新试验是行之有效的。

摘要：我国铝土矿主要为一水硬铝石型,具有高铝、高硅、低铝硅比的特点,而且铝土矿正浮选工艺要求选别充气量小,具有泡沫量大、泡沫不易破碎以及难输送等特点。本文介绍了正浮选对浮选设备的设计要求,并论述了铝土矿正浮选所用浮选机的结构特点。国内某铝土矿选厂的生产应用表明,该浮选机组完全能够满足铝土矿正浮选的工艺要求,浮选机充气量达到设计要求,空气分散均匀,设备运行可靠,矿浆液面平稳。此外,针对铝土矿浮选的特点而开发的液位自动控制系统能够精确控制浮选机的液位,确保浮选机运行期间选矿指标良好。

摘要：调整城市就业-居住用地规划布局理论上能推动通勤绩效改善,但这种理想规划能多大程度转换为现实效益,往往复杂而未知。结合已有文献和理论,分析职住平衡绩效的有限性和影响实际通勤绩效的多种因素。以上海市为例进行实证分析,运用房价、经济普查等社会人口经济数据,测算地理联系率、基尼系数等指标。探究造成上海市过剩通勤的潜在因素,包括居民-企业理性的行为选择、经济发展的客观规律、市场作用的复杂性以及就业-居住格局在质量上的适配关系等。最后,提出理性的公共交通导向式发展、针对性给予交通补贴、促进就业信息对称等优化出行的建议。