论假说

假说是科学研究中常用的一种思想方法,试从哲学的角度,论述了假说在科研中的地位,作用和客观依据,建立过程及验证。     

基于切割法的时序电路等价验证

在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的2倍.     

基于热失效与灵敏度的故障模式分析方法

针对测试性验证试验中现有故障模式分析方法主观性、盲目性较强以及历史数据缺乏的问题,在传统方法的基础上,提出基于热失效与灵敏度分析的改进故障模式分析方法。首先,依据现有方法的不足,明确了改进故障模式分析方法的流程;其次,建立试验对象温度场分布模型,分析温度对性能退化的影响;然后,通过识别工作中的过热区域分析由热失效造成的故障模式;最后,依据灵敏度分析结果进一步补充对试验对象功能影响较大部分的故障模式。实例应用表明,与传统方法相比,该方法在热失效分析基础上,结合功能特性分析,能够获得更加完备的潜在故障模式,有效提高了测试性验证试验样本的可信度。     

基于神经网络时间序列预测器的弯管流量计传感器数据验证

传感器数据验证技术具有重要的实用价值。介绍了一种基于神经网络时间序列预测器的传感器数据验证方法，并利用Matlab对弯管流量计的传感器数据验证进行了仿真，结果表明这种方法是切实可行的。     

Biba实用模型的自动化形式验证

通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此基础上利用定理证明器Isabelle完成对该模型的自动化形式验证,从而实现高等级安全操作系统研发过程中对安全策略模型的形式化需求.     

基于边缘和模板匹配的印鉴自动鉴别方法

利用计算机鉴别印鉴真伪具有广泛的应用前景．提出一种基于边缘和模板匹配的印鉴自动鉴别方法,该方法先将印鉴图象分成若干个子区域,然后提取反映真假印鉴本质特征的若干参数,用它们形成局部和全局特征,最后用ＢＰ神经网进行判决．实验结果表明,该鉴别方法具有较强的适应性和可靠性,已达到实用水平．     

基于委托代理视角的信任激励模型与实验检验

信任是内生激励的重要手段之一.通过在委托代理模型中植入信任指数并进行理论分析后发现,雇主的信任程度越高,雇员的工作努力程度越高,其剩余分享比例也越高.沿用行为经济学所定义的信任测度方法,利用信任实验测度雇主的信任指数.通过礼物交换实验发现,雇主的信任指数与雇员努力程度及其剩余分享比例的关系符合模型预测.     

可验证的(t,n)门限秘密共享方案及其安全性

为了在无可信中心存在的情况下将一个秘密在一组参与者之间实现共享,并且防止参与者间的相互欺骗,提出了一种动态的、可验证的(t,n)门限秘密共享方案.在该方案中,各参与者的秘密份额由所有参与者共同协商,而不是由秘密分发者进行分配.因此,在秘密分发过程中,秘密分发者只需计算一些公开信息,而无需向各参与者传递任何信息.在秘密重构过程中,每个合作的参与者只需向秘密计算者提交一个由秘密份额计算的伪份额,且秘密计算者能够验证伪份额的有效性.方案的安全性是基于离散对数问题的难解性.     

用最小二乘法验证薄透镜成像公式

用最小二乘法对应用物距像距法测透镜焦距实验的数据进行处理,较准确地得到透镜的焦距,同时验证了薄透镜成像的高斯公式。     

手写签名的概率神经网络识判模型

针对手写签名的随机性和信息的不完备性,提出了将Ｂａｙｅｓ网络与前馈神经网络相结合的概率神经网络模型．论述了建模的理论基础、模型结构、训练算法及其简化算法．概率神经网络可计算待测签名样本为真（或伪）签名的最大可能性,进而确定其所属类别