摘要：定义构件的基调视图和行为视图,给出将构件行为转化为π演算进程表达的建模方法,并设计实现构件行为的π演算描述自动转换的算法。结合一个电子商务的实例,借助π演算的操作语义和形式化推理技术实现对软件构件组合时的兼容性进行检查。

摘要：目的:介绍美国药品广告指南文件中公开药品风险信息的监管要求,为我国药品广告监管提供参考。方法:检索美国食品药品监督管理局(FDA)网站,收集整理FDA发布的药品广告指南文件,对指南文件中有关公开药品风险信息的监管要求进行分析。结果与结论:FDA要求药品广告中必须充分公开药品风险信息,注重从消费者角度整体评估药品广告有无虚假宣传或误导性;要求直面消费者的平面广告的简短摘要应当采用科学易懂的方式,集中公开药品的重点风险信息;要求有字符限制的互联网/社交媒体平台广告同样需要充分公开风险信息;鼓励企业自主更正互联网中的不实药品信息;此外,FDA对广告中药品名称、广告播出前审查、企业资助的学术和科研活动的审查制度方面的经验和做法,同样值得借鉴。

摘要：为改善大气质量环境,多数城市市区淘汰了小型燃煤锅炉,以集中供热或燃油锅炉取而代之,由于燃油锅炉多安装在机关小院或居民小区内,运行中辐射较强的噪声,影响人们的工作和生活,必须加以控制。针对燃油锅炉噪声频谱特性进行分析,提出合理的治理措施,并通过工程实施验证了设计方案的正确性,给燃油锅炉噪声控制提供了可借鉴的经验。

摘要：设计了紫外—热湿法烟气连续监测系统,提出了紫外光谱的一维离散小波分解算法。将算法和系统结合,减小由于氨法脱硫工艺造成的二氧化硫浓度测量误差。为验证该测量系统准确性,进行了标准气浓度测量实验。结果显示,该系统二氧化硫气体浓度测量的满量程误差小于±2%FS。将氨气、二氧化硫标准气进行伴热、加湿并混合,模拟氨法脱硫环境,进而验证该系统和算法的抗干扰能力。结果显示,该系统能够在氨气和水汽的干扰下,准确测出二氧化硫气体浓度。同时,研究提出的光谱算法能够测量出脱硫逸出的氨气浓度,从而指导电厂进行科学脱硫减排。

摘要：提出了一种可实现三维移动和一维转动的四自由度并联机构,它的2条相同支链通过被动转动副连接到动平台上,每条支链有2个相同分支,通过安装在基座上的移动副驱动。首先,阐述4PPa-2PaR并联机构的构型,通过螺旋理论验证机构的运动性质,基于机构自身特点研究机构的运动学特性;其次,利用数值法确定机构的工作空间,分析各设计参数对工作空间的影响,基于解析法研究机构工作空间的形状及满足的几何约束条件;最后,以工作空间占机构自身的比重为目标函数,设置影响工作空间的约束条件(如边界约束、不干涉性约束、避奇异约束和工作空间形状约束),并选择遗传算法对机构的尺寸参数进行优化设计。分析结果表明,优化后工作空间占机构自身的比重增大,工作空间体积也明显增大,优化结果可为后续样机研制提供参考依据。

摘要：精密定位平台由于机械摩擦造成精度受限,难以满足大行程、高精度定位的运动要求。本文结合宏微复合结构,提出了一种单驱动刚柔耦合定位平台。相对于现有的宏微复合平台,大幅简化了机械结构和运动控制系统的设计。基于浮动坐标法和有限元法建立了单驱动刚柔耦合定位平台的静力学和动力学模型,并与商业软件ABAQUS及简化解析模型的分析结果进行对比,最大相对误差分别为1.6%和3.72%,证明了该理论模型具有较高的预测精度,可为刚柔耦合平台的优化设计及精密运动控制提供参考。

摘要：在软件构件组装过程中,构件之间的兼容性是保证构件正确交互的前提,对于组装中的失配情况如何生成适配器使构件间正确协作是一个必须解决的重要问题.本文首先基于标签转换系统LTS对构件行为进行建模,将构件间交互动作映射关系表示为同步矢量,将矢量之间的时序关系定义为适配契约.然后分析了不同失配情况和适配对策.最后设计了适配算法,自动生成适配器规约,保证了在适配器的协调下不兼容的构件之间能够正确交互,并通过案例验证了方法的有效性.

摘要：作为具有多目标导向和多功能复合的水乡绿脉网络体系,城市绿道的历史文化功能逐步受到重视。温瑞塘河(瓯海大道—南白象)沿线绿道规划设计提出历史文化型水乡绿道的多元规划理念,从建(构)筑物、场地、植被、交通和水系五个方面深入贯彻文化规划手段,将延续历史文脉、改善和修复城市生态效应、融合并展示水乡河居风貌、强调人性化休憩与服务等原则落实到后续的实施建设中。

摘要：通过计算机模拟研究及公式推导对"体形系数大则建筑能耗大,体形系数小则建筑能耗小"的刚性概念提出质疑,据此反思我国现行公共建筑节能设计标准中有关规定的科学性问题,并通过研究德国和美国的建筑节能设计规范发展历史,对进一步完善我国建筑节能设计标准提出合理建议。

摘要：为解决MMC-HVDC直流电压控制站侧交流系统故障时直流电压失控的问题,通过加入低压限流单元对MMC的有功功率控制器进行了改进。改进后的控制器可根据直流电压的变化和预先设计的电流限幅曲线,自动调节有功功率控制站的内环有功电流指令值,以保证直流电压控制站侧交流系统故障时直流电压的稳定。仿真结果显示,在使用低压限流单元后,直流电压控制站侧交流系统故障时,直流电压上升或下降的幅度均在5%以内,直流系统可以保持连续运行,不会因直流电压异常而闭锁。证明所设计的低压限流单元可以在直流电压控制站交流侧故障情况下,保持MMC-HVDC系统直流电压的稳定,保证换流器不闭锁,并在故障清除后迅速恢复原有的有功功率,有效增强系统的故障穿越能力。