显控台命令解释模块的设计方法

命令解释模块是显控台人－机交互系统的关键组成部分，本文介绍一种该模块的设计方法，并与其他设计进行比较。     

微电子电路PC机辅助教育系统

文章介绍法中两国合作开发的微电子电路计算机辅助教育系统中的两部分，重点陈述其中的辅助测试虚拟仪器和专用实验芯片，期望对电子测试领域的教育工作者和科技工作者有所启发。     

为人们生活带来绚丽多采的纺织品--第11届上海国际纺织工业展鸟瞰

我国作为世界纺织行业的龙头,其纺织行业仍然是国民经济的支柱产业之一.2004年,国内纤维加工总量已占世界总产量的30%,棉纱、棉布、呢绒,纺织品,化纤、服装等生产量均居世界第一位.纺织品和服装出口总值达974亿美元.占全国外贸进出口总值的10.1%,占世界纺织制品出口贸易总额的20%.同年,我国纺织机械进口金额为46.56亿美元,出口金额为6.76亿美元.随着国际纺织品贸易一体化的到来,国内纺织机械行业将得到更大的发展空间.     

甲基酚醛树脂的制备与表征

以间甲酚、甲醛和硼酸为反应原料,采用原位聚合方法分别合成了甲基酚醛树脂和硼改性甲基酚醛树脂,表征了树脂的结构,测试了其力学性能、耐热性能和残碳率,研究了树脂结构对其性能的影响.结果表明:与甲基酚醛树脂相比,硼改性酚醛树脂综合性能最优,残炭率为41.61％,拉伸强度为31.21 MPa,弯曲强度为80.14 MPa,冲击强度为46.79 MPa,有望做为热防护材料基体树脂使用.     

从一个实例看常规软件测试与安全测试的关系

信息安全测评是一个在我国已经开展多年的第三方服务。从概念与要求上看,信息安全测评(软件部分)应该属于软件测试V模型中的"验收测试",见图1。     

带有异或运算安全协议的自动化检测

针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.     

无心插柳柳成荫

想要使自己制作的网页成为经典之作,达到“读你千遍也不厌倦”的境界,单靠干巴巴的资料或信息?不行! 首先好的作品应是图文并茂,信息间的链接富于新意。所以图片(Image)在体现整个站点的风格上起着决定性的作用。显然FrontPage 98的设计者早已深知这一点。在FrontPage 98中已准备了大量的图片,并采用了与Microsoft Office和     

基于Agent的协同计划辅助决策系统研究

该文以红蓝双方海上编队对抗为背景,以建立和修改海上多兵种协同攻击计划方案为系统总任务,基于数据库、模型库、知识库、方案库,建立相应的数据管理机制,并将面向分布式人工智能理论技术应用到海上多兵种协同作战计划智能辅助决策系统设计实现中,提出了协同作战智能体单元的概念,给出了该MAS系统的管理结构及智能体的组成,以及各自的功能分类,构建了系统的构成框架,总结了基于Agent技术的辅助决策系统的特点,并与普通的辅助决策系统进行了比较。     

隐蔽信道分析及测试

隐蔽信道(covert channel)是由于TCB实施了非自主访问控制策略引起的。TCB强制访问控制策略不允许信息从高级别的客体向低级别的客体流动．但是通过非正常的通信机制．可以违反此安全策略．这就是隐蔽信道。隐蔽信道的存在．对TCB的强制访问控制策略构成威胁。在国标《计算机信息系统安全保护等级划分准则》(GB 17859-1999)中．第四级(结构化保护级)要求进行隐蔽信道分析：     

锂离子电池正极材料LiNi0.8Co0.2O2的研究

低成本、高比容量的LiNi0.8Co0.2O2是取代已商品化锂电池正极材料LiCoO2的候选材料。用工业原料,通过共沉淀法(pH=11 2±0 05)合成了β Ni0.8Co0.2(OH)2,将其和LiOH·H2O混合,在空气中先后于650℃和750℃烧结8h和20h,制得具有良好层状结构的LiNi0.8Co0.2O2。用合成的材料制备电池,在0 2C、3 0～4 1V进行充放电实验,其放电平台在3 8V以上,首次放电容量超过170mA·h/g,10次循环后,放电容量还能保持在164mA·h/g左右,且库仑效率达到96%以上。