摘要：安全性、可靠性是嵌入式软件的重要性质。为了更好地保证开发的嵌入式软件是可靠和安全的,提出了一种基于模型的开发方法学,包括提炼需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面提取需求,同时明确层次化的精化策略;然后利用形式化方法建立抽象模型并对该模型进行形式化验证,在正确的抽象模型上逐层精化,并对每层模型进行验证;最后,基于满足需求的模型,进一步利用工具完成代码自动生成。该方法从抽象到具体,以逐层递增的方式明确被开发系统的需求及性质,进行形式化建模,通过反馈机制确保模型的正确性及可用性。为了证明该方法学的可行性,文章以多应用智能卡为开发实例,基于Event-B方法及Rodin平台给出了实际建模及证明的过程和结果。

摘要：为了探讨我国企业履行员工责任的现状及可能存在的问题,文章以我国28个省份企业为研究样本,首先根据我国《劳动法》、国际通用的SA8000、ISO26000标准相关要求,建立了包含6个二级指标、10个三级指标的企业员工责任评价指标体系。然后通过国家统计部门、行业协会等渠道获取数据,运用因子分析法加以分析,结果表明:上海、广东企业员工责任做得最好,且与其他地区存在较大的差距;企业普遍关注员工工资、养老保险等福利水平,同时员工的生产安全、劳动保护问题也是企业员工责任的重要组成部分。最后针对我国企业员工责任存在的问题提出政策建议,以期实现可持续发展。

摘要：写实色彩作为色彩教学的基础,已经从传统单纯的对艺术的"再现",上升到对艺术的"表现"。文章分析了当前高职院校写实色彩存在的误区,并探讨了如何提高写实色彩这一基础教学的教学效果。

摘要：目的:分析和总结临床药师对1例慢性再生障碍性贫血(CAA)患者的长期药学监护过程,优化CAA患者的药学监护和个体化给药方案,提高对患者治疗药物监测(Therapeutic drug monitoring,TDM)与药学服务质量。方法:对该患者的病史资料、临床生化指标和随访环孢素(Cs A)的TDM数据进行归纳和分析,以Cs A引起的牙龈增生和肾功能损伤等药源性疾病为切入点,对患者进行药学监护和干预。结果:该患者在Cs A等对症治疗过程中发生了牙龈增生、肾功能损伤、多毛症和月经不调等严重药源性疾病。临床药师干预后,患者的血Cs A浓度趋于平稳,牙龈增生好转,肾功能逐渐恢复。结论:使用Cs A等免疫抑制药治疗的CAA患者,应定期进行TDM,并在临床药师的指导下安全、有效的使用对症的免疫抑制剂,及时调整用药方案,以提高治疗效果和降低不良反应的发生率。

摘要：传统的推荐系统主要针对单个用户,但随着社会和电子商务的快速发展,人们越来越多地以多个用户的形式一起参与活动,而群组推荐旨在为多个用户组成的群组提供服务,已成为当前研究的热点之一.针对目前群组推荐准确率低,群组成员之间偏好冲突难以融合的问题,本文提出了一种新的共识模型策略,融合了群组领袖影响因子和项目热度影响因子,基于K近邻为目标群组寻找邻居群组,借鉴邻居群组的偏好,设计了基于偏好融合的群组推荐算法.在MovieLens数据集上的实验结果表明,本文所提的融合策略较传统的偏好融合策略有着更优越的表现,推荐准确率(nDCG)的总体平均性能约提高13%,推荐列表多样性指标的总体平均性能约提高10%.

摘要：在教育体制改革不断深入的背景下,各院校电影美术专业对学生的实践学习也越来越重视,强调为了促进学生综合素质的全面提升,为其今后从事电影美术相关工作奠定坚实基础,应着重从智力、非智力因素的科学培养入手,除了业务技能、文化艺术素养的进一步提升外,还要引用更科学、有效的策略方法来优化道德理想培养,积极探索实践教学新思路。

摘要：以长株潭城市群为例,多方面探讨"两型社会"背景下城市道路景观改造设计的注意要点。阐述了城市道路景观的重要性及合理设计的考虑方面,为更好地建设"两型社会"提供有效的理论依据。

摘要：以"地名"为核心元素的文化类节目《中国地名大会》一经推出便获得了较高的社会评价与赞誉,成为中央广播电视总台文化类节目阵营中的新面孔。2021年《中国地名大会》第二季在秉承第一季"从地名看文化从文化看中国"的节目宗旨的同时,在赛制安排、题目类型开发与内容设计、视听传播手段等方面进行了全方位的升级创新,从而继续在文化类节目矩阵中占据一席之地。本文以《中国地名大会》第二季作为研究对象,分析与总结该节目在形态设计与内容生产方面的创新策略,并在此基础上对该节目构建的价值取向进行剖析。