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

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

忘不了，那一“见”的风情——Microsoft Office System 2003使用感受

对于微软公司最新推出的Office 2003,我起初的感觉一般,但是经过半年的使用和体验,我发现,对于那些希望最大限度地借助Office提高工作效率的用户来说,绝对有必要了解和掌握Office 2003的新功能和新特性。它虽然不可能帮助你搞定一切工作事宜,但是却可以成为你工作上最得力的助手。     

SQL Server2005中容易被忽略的新特性

几乎每个人都听说过与CLR的集成、数据库镜像、SOL Server集成服务以及新的带有报表创建工具的SOL Server报表服务等这些SQL Server2005中的关键特性。由于SQL Server2005中包含了大量的改变，因此人们很容易忽略掉一些并不十分显而易见的特性。下面我将介绍SQL Server2005中的五个特性，它们对于增强SOL Server2005的功能起到了很大的作用。     

Fortinet VPN病毒防火墙解决方案

融合了VPN功能的新型病毒防火墙，代表一种网络安全的新理念，突出了多功能实时网络防护的优势，完全适合电力系统网络的安全应用。本方案以南方省级电力公司信息中心综合安全网关为例进行介绍分析。     

Network Appliance容灾方案

挑战：当灾难发生时，如何快速恢复 当今的企业主要依靠信息数据运行．任何计划中或突然中断信息流的行为都会严重阻碍公司的业务运行。几分钟宕机的代价是昂贵的．而几个小时的宕机将是灾难性的。     

超市如何选择软件供应商

选择发展步伐与超市信息化相一致的超市信息化是一个稳步推进的过程。到现在,超市信息化已经从包括收款机、条码设备、POS系统,发展到企业运用MIS/ERP 系统实现整个商业管理、营销过程的全面信息化,再到引进CRM理念并采用数     

热转印机用微胶囊隐形色带

一、热转印机用微胶囊隐形材料中科富华公司由热转印及喷墨打印技术原理出发,自主开发研制与之配套的微胶囊荧光防伪材料,一举成功,并在热转印材料,喷墨打印材料方面得到成功应用,为中国的防伪行业又增添了一朵奇葩。普通印刷油墨的组成主要是三大部分:连结料、颜料(或称染料)、填料(或称助剂)。将这三种不同物质按不同质量百分比相互混合,根据不同印刷形式的需要,研磨成与之相适用的油     

氧化铝熟料窑内衬选用方案的探讨

介绍了中铝山西分公司氧化铝熟料窑窑体内衬生产中存在的问题,分析了内衬损坏机理,提出了改进方案.     

碳点在金属腐蚀防护领域的研究进展

综述了碳点的合成路径、改性方法及其在腐蚀防护领域的应用,重点阐述了碳点作为缓蚀剂及其在自修复、自预警等智能防腐涂层方向应用的国内外最新研究进展。首先,分析和探讨了杂原子掺杂型、有机分子修饰型以及生物质衍生型碳点缓蚀剂的缓蚀机理、优势及不足。其次,介绍了基于碳点的本征和外援自修复涂层、腐蚀预警涂层的设计思路及自修复、自预警机制。最后,提出了碳点在缓蚀剂和智能防腐涂层中应用所存在的问题,并对其未来发展前景进行了讨论。未来应秉持绿色、高效理念,进一步优化碳点的制备工艺,深入研究其在缓蚀、涂层自修复及腐蚀预警中的关键作用,以期早日实现工业应用。