向您推荐《液晶与显示》——中文核心期刊

《液晶与显示》是中国最早创办的液晶学科专业期刊,也是中国惟一的液晶学科和显示技术领域中综合性专业学术期刊。它由中国科学院长春光学精密机械与物理研究所、中国光学光电子行业协会液晶专业分会和中国物理学会液晶分会主办,科学出版社出版。《液晶与显示》以研究报告、研究快报、综合评述和产品信息等栏目集中报道国内外液晶学科和显示技术领域中最新理论研究、科研成果和创新技术,及时反映国内外本学科领域及产业信息动态,是宣传、展示我国该学科领域和产业科技创新实力与硕果,进行国际交流的平台。本刊是英国《科学文摘》     

企业的成功与蜕变,来自“执着”的坚持--访北京中科网威信息技术有限公司董事长刘兵

刘兵,现任北京中科网威信息技术有限公司董事长。1992年毕业于中国人民解放军信息工程学院,同年参加工作后担任总参某部通信总站技术工程师。2001年参与组建北京中科网威信息技术有限公司,作为创始人之一历任技术总监、副总裁、总裁、董事长,具有丰富的网络安全研究和市场拓展及企业管理经验。曾作为负责公司产品研发和技术支持工作的主要领导,主持开发了国内第一代自主可控防火墙、入侵检测系统、工业控制防火墙等系列产品,参加编制了多项国家和行业的信息安全标准。     

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

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