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

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

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

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

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

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

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

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

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

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

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

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

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

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

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

基于滑动窗口的动态手写签名局部相关性研究

为了解决直接序列匹配中签名序列存在随机波动和时间轴方向非均匀伸缩,导致相关分析给出的匹配度不高的问题,提出了采用滑动窗口对真实签名进行局部相关性分析的方法.将手写签名按压力划分成若干笔段,研究笔段匹配算法;对分段后的数据序列用滑动窗口算法进行局部相关分析.算例显示,对不同的签名个体而言,总有一些笔段的相关性极高,最小相关系数都达到0.8甚至0.9以上,这些笔段,正是签名者的稳定的签名特征,无论是相关分析法还是特征矢量分类法,滑动窗口局部相关分析都是一种有效的算法.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台，并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台，就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真，以验证其功能，并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明，所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证，并具有良好的稳定性和实用价值．