基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

中国白酒文化国际认同质性研究

中国白酒国际化问题是近期传播学与跨文化领域的重要研究方向。聚焦网络自媒体文本中对中国白酒的评价,揭示国际消费者对中国白酒文化的认同现状与问题。结果表明,国际消费者普遍对中国白酒文化缺乏认同感,难以接受口味独特的中国白酒,特别是对中国白酒品质、传统酿造工艺、酒精浓度、价格的认知存在偏差。研究结论有望为迫在眉睫的中国白酒文化国际认同问题的解决提供参考。     

电子证据可采性完善刍议

目前,司法实践中认定证据的类型已经从最开始单纯的物证向电子证据等多元化证据转换。但是由于电子证据的特殊性,使其可采性认定也随之下降,针对司法实践的需要与法律规定存在一定的空白区域,使得对电子证据可采性问题进行探讨有了一定理论价值和现实意义,本文通过对电子证据可采性所出现的问题进行分析,并提出相应的立法完善建议。     

脱硫活性焦水洗再生过程实验研究

对5种活性焦水洗再生前后的脱硫性能进行实验研究，通过比表面积（BET）、X射线光电子能谱（XPS）方法表征水洗再生工艺对活性焦孔隙结构和表面化学性质的影响，揭示影响活性焦水洗再生性能的关键因素。结果表明:活性焦脱硫硫容的大小和水洗再生率的高低没有直接关系；微孔比表面积较大的活性焦脱硫性能较好，中大孔孔容较大的活性焦水洗再生率较高，同时具备较大的微孔比表面积和中大孔孔容结构的活性焦适宜水洗再生工艺；活性焦表面极性含氧官能团含量越高水洗再生效果越好；活性焦AC5经过6次水洗再生循环，微孔中的硫酸经过多次累积后可以被水洗出，稳定再生率保持在45%~50%，最适用于活性焦水洗再生工艺。     

赛灵思公司推出一体化SmartNIC平台 为云数据中心运营商带来一站式网络、存储和计算加速

3月4日,赛灵思公司(Xilinx)宣布推出一体化SmartNIC平台——Alveo U25,在单颗器件上实现了网络、存储和计算加速功能的完美融合。U25专门针对云服务提供商、电信公司和私有云数据中心运营商而设计,致力于为他们带来SmartNIC更高的效率和更低的总拥有成本。U25将高度优化的SmartNIC平台与强大灵活的FPGA引擎相结合,实现了全可编程与一站式加速应用。U25为应对如SDN、虚拟交换、NFV、NVMe-oF、电子交易、AI推断、视频转码和数据分析等,提供了一个强大的一体化SmartNIC平台。     

五一出游另类电子装备指南

是不是您也像我一样已经迫不及待地开始策划五一长假的出游计划了呢？一年就这么几次机会,应该好好玩个痛快才对得起自己平日的辛勤工作。策划出游路线是一方面,其实带上哪些装备出行也会影响我们出行的心情和旅程。在2005年推出“出游全装备”专题(find．pcworld．com．cn/21250)之后,《微电脑世界》今年又会呈现给您一个五一出游另类电子装备的小专题。既然名为“另类”,自然不是我们能想到的数码相机、DV、笔记本电脑等常规武器,而是为了保证旅途安全愉快的娱乐、电源和导航装备。根据出游类型的不同,我们也针对典型的徒步游、自助游和驾车游推荐不同的装备方案。     

数字

分析机构TrendFocus近日发布报告称，2005年全球硬盘交付量达到3、8亿块，来自消费电子领域的旺盛需求是日立、希捷等硬盘制造商下一步增长的最大动力。该机构预计，到2008年，消费电子市场使用的硬盘量占硬盘业总交付量的比例将从2005年的20％增长到40％。     

网络交易终结“药价虚高”

药品电子交易领域内首张“批发牌照”的发放，将成为解决“药价虚高”难题的最新也是最有效的手段之一。[编者按]