航天科恩实验室设计、装修、安装、施工一站式服务，本着“安全、环保、智能、实用、耐久、美观、经济、”的施工理念，我们在设计过程中始终坚持“以人为本”，实验室装修中，美观实用的家具，是高标准实验室装修成功的前提。面对不同客户、不同实验室，把顾客的信息准确传递到设计部门，设计部门进行合理设计，装修竣工给客户一个“经济舒适、实用耐用、安全智能”的全新实验室。 安全：在进行实验作业时，必须确保安全性，尤其是在进行化学试验时，必须有效地排出有毒有害、有味的废气，以保障实验人员的身心健康。 高效：提高实验效率，才能加快实验进程，必须根据不同的实验课题，以及其工艺性配置适的实验设备。 舒适：明快亲切的色彩：符合人体工程学的外形尺寸;方便、实用的功能以及符合环保要求的选材，从而确保科研人员的舒适工作。

  整个PQM电能质量监测管理系统设计为两级管理模式：在供电公司设立一级监测站，配置一台三位一体的服务器（数据库/通讯/WEB服务器），与所属各变电站上位机通过电话线、网线或光纤等进行通讯与传输数据；各变电站设立一台上位机，通过RS232/以太网与各监测装置进行通讯与传输数据。主要功能：1、测试依据标准及评判标准     PQM电能质量在线监测系统的监测功能包括：电压偏差、频率偏差、三相不平衡度、谐波、电压波动和闪变、暂态分量等。     功能及精度符合以下国家标准：     GB12325－90 《电能质量　供电电压允许偏差》     GB/T15945－1995 《电能质量　电力系统频率允许偏差》     GB/T14549－93 《电能质量　公用电网谐波》     GB12326－2000 《电能质量　电压波动和闪变》     GB/T15543－1995 《电能质量　三相电压允许不平衡度》     GB/T18481－2001  《暂时过电压和瞬时过电压》     （PQM谐波最高次数为50次）2、现场显示、查询、设置功能      当地监测单元能够就地液晶屏显示实时曲线，各项主要电能质量实时参数及其频谱图等；l通过单元的面板键盘，可现场查询所有被监测的参数并显示波形，并方便的设置系统参数；l显示屏在现场无任何面板操作时，3分钟内可以自动转入黑屏，保护液晶显示屏。3、强大的通讯接口功能     监测单元具有RS232、以太网接口，能够通过电话线、网线或光纤进行远距离数据传输及通讯、设置。     变电站级可按基于IEC61850标准通信接口协议设计；供电公司监测中心可按基于IEC61970标准通信接口协议设计。4、采样频率：     采样频率为12800次/秒。5、工作电源：     交流220V±20％。6、测量回路：     额定交流电流：     0～5A（接CT二次侧）；     额定交流电压：     0～100V（接PT二次侧）；     频率：47-53Hz。7、环境温度：     环境温度：－20○C～55○C；     环境湿度：<90%（25○C）。8、安装地点：     监测单元、组屏柜安装在指定变电站。监测中心可设在在省级电力公司或供电公司。

科氏质量流量计采用自主设计的高灵敏度测量管型，具有较高的测量灵敏度和较大的量程比，配合高精度全数字信号解算单元，实现了流体质量流量和密度的精确计量。项技术已达到工程化的实用要求，在石油、化工、轻工、医药、国防等领域具有广泛的应用前景。该技术获航空工业总公司和北京市科技进步二等奖，

1 成果简介发音质量评价（ Pronunciation Scoring）是使机器自动评价目标语言语音的发音质量，它可广泛用于口语教学和口语考试系统。 2003 年清华大学出版社推出的《新时代交互英语》丛书和教学软件采用了本课题组研发的口语发音质量评分技术，该产品曾获得第五届国家级教学成果一等奖，目前已有多家高校使用该系统进行英语口语教学，这也是国内第一个得到实际应用的自动英语口语教学评测系统。如图 1 所示。  图 1 《新时代交互英语》的演示界面 2005 年 7 月北京市科技计划研发攻关计划正式设立了项目“嵌入式智能英语、汉语教学机及课件制作系统的研发”，本课题组承担了该项目研发工作，与德国英飞凌公司合作，开发了具有世界先进水平的具有双核结构的嵌入式语音处理专用芯片，并以此芯片为核心完成该课题的硬件平台，在此基础上完成的嵌入式智能英语、汉语教学机及课件制作系统通过了国家广播电视产品质量监督检验中心的检验。在项目结题验收中，专家组一致认为： A）该课题研发嵌入式智能英语、汉语教学机及课件制作系统具有自主知识产权，能够有效地、互动地协助外语学习者的口语学习； B）创新成果“式发音评价及语音识别技术”当前世界先进、国内领先水平。 2008 年 3 月，教育部“大学英语四、六级网络考试系统研发与服务体系建设”项目启动了自动口语发音评测的预研计划，目标是在大学英语四、六级网络考试（机考）中实现自动发音质量评测，本课题组是该计划唯一的发音评测技术提供方。 2008 年，本课题组与教育部中央教育科学研究所联合承担了中国教育学会教育实验研究分会“十一五”规划课题—“英汉口语教学评测信息系统智能化的实验研究”，探索口语发音评价技术对口语教学和评测方式和方法的影响，探索更为公正、客观的口语能力评价标准。2 应用说明清华大学自 2003 年以来，一直专注于口语发音质量评价技术，积累了丰富的经验，在限定内容的发音质量评价领域取得了丰硕的成果，已开始从实验室走向产业化，解决面向大规模的产业应用的关键问题，如环境噪声和通道差异对评测性能的影响、学习者的口音问题、评测技术与不同口语考核目标的关系、不限定内容的发音质量评价方法等。利用四、六级口语测试累积的海量数据，探索以上问题的理论根源，提出新的口语发音质量评价方法，形成口语评价的主客观标准，推进口语教学/评测方法迈上一个新的台阶。 总结该技术的主要特点如下：支持英语、汉语等国际上应用最为广泛的语种；发音质量评价性能好，大规模数据实验（ 5000 人测试）表明该技术与主观评价的相关性达到了 0.8，已逼近主观评价之间的相关性（ 0.85）；支持小学、中学、大学以及社会培训等不同层次的口语教学与评测；对环境噪声和通道差异具有很好的鲁棒性，可用于不同的环境和系统；程序可根据应用目标进行裁剪，既可移植到学习机、手机等嵌入式平台，又可用于个人计算机、网络服务器等。该项技术已经获得大学英语四、六级考委会、清华大学出版社、北京市科委的实际使用认可，具备了大规模产业化应用的条件。3 应用范围该项技术适用于英语、汉语的口语评测系统，英语、汉语的口语培训软件和系统，英语、汉语的口语教学辅助系统，可在嵌入式、个人计算机和网络平台上实现。4 合作方式投、融资或技术许可。

教学质量监测与评价系统是集“教、学、管、测、评、存、用”于一体的中小学智慧教育管理与监控评价系统。系统主要基于网络阅卷系统、小测评卷管理系统、智慧课堂得出的基础数据，生成各种统计数据，让用户简单科学地完成考试质量分析、教学质量跟踪、试题质量分析、教学质量评估、高考分析等，从而解决教育信息隐形化、决策粗放化、资源缺失等难题，提高教学质量与综合竞争力。

本书共11章,第1章阐明了研究背景与意义,国内外研究现状,研究对象概况,三维建模技术方法;第2~6章分别介绍了海清寺的阿育王塔,万年宝鼎,关圣帝君像,浮雕长廊三维建模的技术方法;第7~9章分别介绍了淮海工学院苍梧校区的欣园亭,化工工程学院实验楼,测绘工程学院集中办公区三维建模的技术方法;第10~11章分别介绍了石灰岩矿与地质灾害体的三维建模与应用技术方法.

本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。