摘要：为了减少硬件木马对可控制性低的节点的依赖,设计了一种对木马植入节点和内部结构进行改进的方法.针对木马插入点,提出了一种从可控制性高的节点中寻找存在低概率组合的节点搜索算法.针对木马内部低概率节点,提出了基于非稀有事件和多节点控制攻击路径的木马模型.在ISCAS-85基准电路上进行实验,对比了基于低概率和基于组合概率的选点方法的木马触发概率,并实现了一个基于所提方法的6输入端的木马设计.实验结果表明,随着触发端口的增多,基于组合概率的木马可以实现与基于低概率节点的木马相当(甚至更低)触发概率的效果,而基于非稀有事件的木马设计可以消除木马内部直接影响木马触发的低概率节点,避免木马被自动测试矢量误触发,提高木马隐蔽性.

摘要：为了促进在世界范围政府部门和非政府部门的仿真互操作能力,仿真互操作标准组织(SISO)引进BOM支持和提高仿真组件的重用性。BOM作为一种促进互操作性、重用性和可组合性的实现机制,鼓励灵活、快速、有效地开发和管理模型。通过研究BOM模板规范和体系结构,设计基于BOM的通用HLA仿真框架,实现通过基于BOM的仿真模型组件快速组合和重用,从而构建具有功能可扩展性和规模可控性的多样性联邦成员和联邦,提高分布式仿真系统的重用性和互操作性。

摘要：针对调试的可移植性,建立同流水相关的精确调试异常模型,模型通过增加调试中断、单步、软硬件断点等精确调试异常的产生和处理机制、片外调试存储空间以及基于JTAG(joint test action group)的快速通信协议,实现一种通过JTAG接口的嵌入式处理器核的片上调试方案.该调试模型在嵌入式处理器RISC32E核的应用实现表明,它具有良好的可观察性和可控制性,并且该模型的应用不局限于六级流水结构的微处理器,还可以方便地推广到其他流水结构的微处理器.对比调试过程中的一些基本调试操作开销,该调试方案具有较高的调试效率.

摘要：本文有两个目的:第一是表明能控能观性概念在飞行控制系统设计中有重要实用价值;第二是研究有关能控能观性概念应用的几个共同性问题。

摘要：麦当劳金色的拱门正在成为我们这个时代富有意义的象征符号－理性就的铁笼中成功。麦当劳化所贡献出来的核心概念是“效率”、“可计算性”、“可预测性”与“可控制性”，这既是麦当劳成功的秘决，也是工具理性所追求的核心理念，还是工具与性的课程模式对课堂教学的期待与评价。所以，本文借用“麦当劳化”这一形象的概念来剖析工具理性模式下的课堂教学的功绩与弊端。

摘要：软件产品开发规模的扩大和数量的增长迫切需要找到一种方法来增加软件测试的有效性。可测试性设计可以增强软件的可测试性,降低测试的强度。该文讨论了软件可测试性的特征和影响软件测试的因素,以及改进软件可测试性设计的几种方法。建议在软件开发的整个周期中融入软件的可测试性的设计。

摘要：CMOS器件进入超深亚微米阶段,集成电路(IC)继续向高集成度、高速度、低功耗发展,使得IC在测试和可测试性设计上都面临新的挑战。本文首先介绍了测试和可测试性设计的概念,分析了测试和可测试性设计面临的困境;然后讨论了系统芯片设计中的测试和可测试性设计,最后对测试和可测试性设计的未来发展方向进行了展望。

摘要：本文研究了计算机控制系统内工作对操作者心理工作负荷以及健康的影响效应,特别研究了与操作者应激密切相关的人——计算机系统可控制性问题。研究中以一个状态控制模型来控制应激,结果发现一方面必须为可控系统的设计建立一个总的可用性标准,但另一方面这一标准仍不足以保证达到可控制性要求。

摘要：为了提高ARM处理器对异常的管理效率和异常的响应速度,在ARM中断向量表基础上,通过集成异常仲裁电路和可控制异常处理分支,提出了高效的可控ARM异常表及其实现方法。引入三级树状结构来表示可控ARM异常表和各类异常处理路径,通过改变异常处理分支实现异常表的可控制性。详细介绍了可控ARM异常表的实体定义、接口描述和实现算法。利用FPGA开发板对可控异ARM异常表进行功能仿真调试,验证了可控ARM异常表的正确性、可靠性和可控制性。

摘要：在阐释城市色彩的含义和色彩组成体系、以及城市风格与色彩设计特点等问题的基础上,以玉环县的城市形象和色彩现状为例,分析了其存在的不足并提出了可能采取的改进措施,进而对城市风格和色彩的可控性进行了论述。