形式化方法在机载电子硬件研制中的应用研究

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.     

风机变频自动切工频的实现与节能分析

介绍了华电潍坊发电有限公司三大风机变频改造的实施情况,通过动态试验,论述了变频自动切工频和自动调节的实现情况,从节能、保护电机等方面分析了采用变频控制的效果,三大风机变频改造的实施,大大降低了厂用电率,取得了较好的经济效益。     

够大才够爽——我的客厅世界杯投影计划

身为一个20年的铁杆资深球迷,本人对于深夜看球是毫不含糊的。遥想当年,为了看一场AC米兰对尤文图斯的意大利德比,高三时不惜晚自习后夜不归寝,以至于最终被老师逮到…一真是青春和热血啊。     

游戏大小随心所欲

身边的不少朋友尚停留在山寨机、非智能机的时代,没有塞班系统自然玩不上SIS格式的游戏,平时只能玩玩JRVA游戏解闷,可是有的游戏分辨率和手机屏幕尺寸不般配,现在都是大屏幕手机了,240×320的比比皆是,运行游戏之后只占屏幕一个角太难看了。     

计算机层次分析法的图像判读研究

运用AHP和聚类分析法对图像判读决策进行了定量与定性研究,在判读人员主观判断的基础上,获取评估结果并对这些数据做出分析。     

我们要做迷你ITX之王!专访索泰主板产品总监黄嘉宝

“索泰,是近两年来显卡市场上快速崛起的品牌,其背后是柏能（PC Partner）全球电子制造业大鳄的支持,它在国内的发展可以用一帆风顺来形容。在显卡市场攻城拔寨的同时,索泰又开始进军主板领域。他们新任的主板产品开发总监Jacky（黄嘉宝）是一位经验非常丰富的操盘高手,曾经历任于升技、DFI和OC2,经他手缔造出Abit SoftMenu以及DFI LanParty等产品都是DIY类的经典。他加盟索泰又将会给我们带来怎样的创新思路呢？下面我们就为大家揭秘索泰逐鹿主板市场的杀手锏。”     

华硕EeeTop一体电脑抢先看 “触”动精彩

进入2009年以来,已经有不下10个品牌推出了自己的一体电脑产品。在这些产品中,华硕推出的EeeTop一体电脑受到了微型计算机评测室的密切关注,因为它是第一款采用节能Atom平台、提供触摸屏操控、配备802．11n无线网络模块并且价格在5000元以下的产品。如今这款产品终于在国内正式上市,《微型计算机》也在第一时间试用了它。     

天敏炫影DMP300播放器 支持迅雷下载

影DMP300是天敏炫影播放器家族的最新成员。和此前针对高清发烧友的DMP410不同．它是一款针对普通家庭用户的产品．采用了Amlogic 8618芯片解决方案．最高可以提供720p规格的视频输出能力,支持RMVB等常见网络视频格式。     

天敏U盒UV200视频采集棒——录数字电视简单了

数字电视时代来临以后,传统的模拟电视卡（盒）的地位变得有些尴尬。数字电视信号不再需要高频头来解调,而且各地的加密标准也不相同,所以如何在电脑上观看数字电视,如何通过电脑录制数字电视都成为新问题。     

高规格GeForce 9600 GT大荟萃：游戏玩家的选择

自从价格大幅度下降到千元附近以后,GeForce 9600 GT立即成为NVIDIA中端显卡产品线中的新一代明星,由于所采用的G94核心运用了新一代65纳米制程,功耗比以往降低了不少,各品牌厂家也很快推出了各种高规格版本的GeForce 9600 GT,那么,这些产品究竟有何特色,哪款性能最强,是否值得购买呢？微型计算机评测室收集了近期市场上的6款热门产品,为大家逐一进行介绍。