组件思想在模拟执行的需求检查方法中的运用

模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。     

Mobile Agent系统中的安全问题研究

介绍了MobileAgent所具有的一些优点，然后就Mobile Agent 的安全性问题了详细的分析，并对保护Mobile Agent不受写攻击的G．Vigna的加密跟踪的方法进行了改进。     

低碳视角下的上海农村住宅建筑设计策略探究

建筑全生命周期的碳排放评价对研究建筑环境影响,减轻环境污染具有重要意义。文章通过实地调研,剖析上海农村住宅的特点;选取3处上海农村典型住宅为研究对象,同时选取一处城市住宅作为对照,利用软件模拟,对比分析各住宅全生命周期碳排放特点,提出建筑本体低碳设计策略、靶向化性能提升设计策略和适应性可再生能源利用策略。结果表明,上述3种策略的综合使用可实现上海农村住宅运行阶段33.04%～55.13%的碳减排量,对低碳建筑设计方法研究具有一定的借鉴意义;可作为农村住宅前期方案的设计引导,同时为农村住宅围护结构性能改造提升提供研究方向,有效保证“碳达峰、碳中和”目标的实现。