看好定制安装服务的前景 OSD AUDIO全球销售总监Timothy J.Leahy先生专访

今次展会上我们带来了最新推出的Black系列,它的独特设计使得安装和调试使用都十分简单,完全不用担心空间便利与否。我们认为杜比全景声的迅速流行对于整个影音行业和OSD AUDIO来说都是一个机不可失的发展机遇,所以我们率先推出了杜比全景声音箱MK 690TT,其响应频率较同类产品更宽。而MK系列的产品则采用了Kevlar或者聚丙烯材质的振盆和合金球顶高音,通过橡胶圈环绕结构达到坚固耐用的目的,同时配备了高     

某水电厂励磁系统跨接器故障分析

本文对一起机组起励时灭磁电阻严重烧坏并最终导致停机的事故进行分析,查找出灭磁电阻严重烧坏的原因.通过一系列试验,模拟机组起励停机过程,证明此次故障是由于机械跨接器在实际运行中存在缺陷造成的.最后,为防止此类事故再次发生,提出相关技术改造意见,以保证励磁系统安全稳定运行.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

气象服务生态文明市建设服务新发展

随着全球变暖,极端天气气候事件增多增强,更加异常,如何在新时期发挥气象在防灾减灾建设生态文明的作用,是新时期气象工作者的一项重要任务和历史使命,本文从建设现代气象业务、发展公共气象服务、整合资源、加快联合科研等方面进行了论述。     

BIM技术在预制化综合支吊架中的应用

综合支吊架是机电安装专业中的重大难点。利用BIM技术中的共享参数,打通了BIM图纸、模型和工厂预制化的壁垒,达到BIM模型完成后直接出具料单和图纸的目标,以满足加工安装的要求。安装过程便捷标准,安装效果良好可靠,避免了传统支吊架实施过程中造成的浪费。     

欢迎订阅2015年《肉类研究》杂志

<正>中国科技核心期刊《肉类研究》杂志创刊于1987年,主办单位为中国肉类食品综合研究中心。《肉类研究》是经国家新闻出版总署正式批准,面向国内外公开发行的中文科技期刊,国际标准刊号:ISSN 1001-8123,国内统一刊号:CN11-2682/TS。月刊。本刊自2011年开始由《食品科学》杂志的编辑团队全新打造,2011~2013年连续入选《中国科技核心期刊》,影响因子持续上升。本刊还被《中国核心期刊(遴选)数据库》《中国期刊全文数据库》《中文科技期刊数据库》《中