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

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

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

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

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

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

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

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

基于虚拟TCP／IP协议栈的仿真反垃圾邮件产品测试系统

目前反垃圾邮件产品通常采用行为判别技术作为过滤垃圾邮件的主要手段,行为识别的多种实现方法都涉及到邮件来源摩地址,因此在对反垃圾邮件产品测试中,伪装成垃圾邮件样本的原始来源IP地址发送该样本才能有效的激活反垃圾邮件产品的判别机制,从而使得测试结果更为科学。本文主要介绍了通过自行构建TCP／IP协议栈实现伪造邮件来源IP的反垃圾邮件产品测试系统,该系统可以有效地仿真出实际互联网环境中的垃圾邮件发送特征。     

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

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

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

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

无心插柳柳成荫

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

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

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

硬实时系统在强分区约束下的双层分区调度

文中研究了硬实时系统在强分区约束下的双层分区的调度问题,合理建立了强分区约束下的双层分区调度模型,给出了最坏情况下的分区任务集可调度的判定条件.同时,在此基础上,提出了与分区利用率匹配的分区设计方法,导出了该方法下的系统可调度利用率的最小上限.仿真实验表明,在严格实时的条件下,文中提出的方法相对于现有方法更具优越性,并提高了分区可调度利用率的最小上限.