Multiple MIPS 4Kc cores based interrupt controller design and its implementation on HDTV SoC platform

A multiple MIPS 4Kc processor cores based interrupt processing system is introduced. The interrupt controller plays a key role in the high definition television （HDTV） system-on-a-chip （SoC） platform, especially when it is a multiple processor system. Based on a general introduction to the whole HDTV SoC platform, a layered interrupt controller and its implementation are discussed in detail. The proposed scheme was implemented in our FPGA verification board. The results indicate that our scheme is reliable and efficient. Meanwhile, as a functional intellectual property （IP）, the interrupt controller has reusability and expandability with the layered structure.     

楊廉夫名“楨”“禎”二字考

楊廉夫為元末明初的著名詩人、書法家,表字廉夫,其名維楨,亦作維禎。楊廉夫之名二字混用由來已久。《四庫全書總目提要》未對“楨”“禎”二字作考證,直以“楨”字》是。本文通過對歷代目志、石刻碑誌材料、楊廉夫法真蹟與印鑒題識以及方志材料等多個方面的考察,證實楊廉夫本名應作“楊維楨”,楊氏文集中“楨”“禎”混雜的現象,並非刊刻傳抄過程中形成的訛誤,而是始自楊廉夫本人對二字的有意混用。     

飞机主动式余度作动舵面铰链力矩飞行测量方法

现代飞机舵面大多采用主动式余度作动系统。这种系统固有的力纷争现象,导致传统的基于原位载荷校准试验的飞机结构载荷测量方法,不再适用于现代飞机操纵舵面铰链力矩飞行测量。提出了一种基于离位载荷校准试验和原位载荷验证试验的飞机舵面铰链力矩测量方法,建立了相应的载荷测量模型,分析确定了铰链力矩测量精准度的影响因素,给出了可能引起的系统误差的验证和修正方法,形成了主动式余度作动舵面铰链力矩飞行测量流程。通过多型飞机舵面铰链力矩测量试飞,验证了该方法的可行性和有效性;提高了飞机舵面铰链力矩测量的精准度,为飞机舵面设计载荷验证与优化提供了可靠的实测载荷;得到了飞机舵面各作动机构的载荷分配,实现了飞机舵面作动系统力纷争的飞行监测,确保了飞行安全。     

结构损伤识别的模态应变能方法探讨

分析了模态应变能用于结构损伤识别的可行性，并进行了有限元和实验验证．结果表明，模态应变能对损伤较为敏感，能够反映结构的局部状态变化，可以用来检测结构损伤位置。     

Cygnal F020单片机及其应用

介绍了Cygnal公司的C8051FD20单片机，详细论述了以C8051F020单片机为核心控制器的高可靠性陆地远程控制系统的设计方案，该方案具有系统集成度高、硬件简单、工作可靠的特点，能被移植到其它嵌入式系统中，具有很好的应用前景。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

环境素养评价体系与模型的构建及实证分析

结合国内外环境素养的研究成果 ,指出环境素养的概念应主要包括环境知识、环境行为和环境意识 3方面 ,并具有 3个特征·以此为基础 ,注意相关性、简洁性、可操作性等原则 ,构建出 3级 4层的环境素养评价指标体系和对应的数学评价模型 ,并进行了实证分析·该文有助于人们重视环境素养及其现代研究方法的构建与应用 ,增进交流 ,促进环境素养的提高·     

成绩录入系统确保数据正确性的策略

主要讨论如何在成绩录入系统中确保输入数据的正确性，提出从客户端的数据录入应用程序和数据录入后校验两个方面确保录入数据正确性的策略，并详细介绍了双工输入比较法、过滤按键、数据实时检验及数据录入后进行的即时检查和总结性校验等具体方法。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于平台的系统级芯片设计方法

介绍了系统设计方法和基于平台的SoC设计，描述了基于模块和系统统的IP复用设计方法，讨论了硬件和软件的协同设计以及系统芯片设计发展中所需要改进的关键问题并展望了未来的研究方向。