基于身份的多服务器认证密钥协商方案

将基于身份的密码体制与远程多服务器密钥协商相结合,提出一种基于身份的远程多服务器密钥协商方案.用户注册时由私钥生成中心颁发私钥并安全存放于智能卡中.用户登录服务器前,双方采用基于身份的双线性配对计算进行双向身份认证,并协商生成会话密钥.服务器端无须保存口令表,用户端无须建立数据表存储相关登录信息,无须在终端能离线更改登录口令.该方案减少了密钥协商的通信开销、计算开销以及存储开销,在标准BR安全模型下该方案被证明是安全的.     

基于模糊辨识的燃料电池建模

通过分析直接甲醇燃料电池(DMFC)的组成结构、工作原理，运用电化学、流体动力学、热力学等学科理论，建立DMFC电池性能数学模型，并根据DMFC实验数据进行了仿真。由于数学模型具有复杂性，难以满足工程上对DMFC控制系统的设计，特别是实时控制需要的情况，因此采用一种基于在线辨识的模糊预测算法对DMFC电堆进行建模。结果表明，这种数学建模是合理和可行的，对直接甲醇燃料电池控制系统的建模和控制具有一定的实用价值。     

超媒体系统中的语义约束问题研究

提出了一种基于数据库模式的超媒体语义网络模型,该模型通过引入模式约束图,对超媒体系统中的关系约束进行了分类,并给出了相应的约束检测算法;通过引入视图机制提出了结构约束的概念;通过扩充模式约束图的属性,描述了超媒体特定应用领域的计算约束,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究。     

图像数据库中概念查询处理

论在分析基于内容检索的图像数据库系统中查询类型的基础上,为支持基于图像语义概念的查询,扩充了面向对象的SQL语言,以有效地表达查询中的概念,为进行查询变换,提出了概念层次模型以有效地表达概念在不同抽象层的不同表现形式,并利用项重写技术,将查询中涉及的概念项和语义空间关系转化为基本检索类型的组合。     

休谟可以区分自我与他人吗?——论休谟的个人同一性困惑

休谟在《人性论》的附录中承认,自己之前对个人同一性问题的说明存有缺陷,他不知道该如何解决,因此陷入困惑。这个反省引发了一个问题:休谟的困惑究竟指的是什么?一种解释认为,困惑的根源是休谟意识到自己在说明个人同一性问题时无法区分自我与他人。本文将对这种解释作出修正,指出休谟对个人同一性的说明为什么需要区分自我与他人,他又在多大程度上无法区分自我与他人。本文将表明,休谟的困惑并不在于他完全无法区分自我与他人,而在于更弱一点的困难:他有资源在大多数情况下作出这个区分,但是仍然留下无法区分的情况。     

固体氧化物基燃料电池氧动力学特性的高精快速测控关键技术与应用

化石燃料燃烧仍是我国主要的能源转换和利用方式,其转化效率低、排放污染大.为了实现节能环保,一方面需要向清洁低碳、安全高效的能源结构转型,提高能源转换效率;另一方面需要降低燃烧过程中一氧化碳、二氧化碳、氧化氮等各类副产物造成的大气污染.固体氧化物基燃料电池(SOFC)因其可以直接将化石燃料、生物质燃料或其他碳氢化合物燃料...     

一种基于特征代价函数的多目标跟踪算法

提出一种基于特征代价函数的多目标跟踪算法。根据目标在相邻帧间运动具有连续性以及包围窗口、灰度变化不大的特点，改进了一种代价函数。在跟踪的匹配过程中，启动卡尔曼滤波和预测目标匹配搜索区域，同时使用目标链记录目标最新的运动状态和特征值，从而保证运动跟踪的连续性和计数的有效性。     

小议债的保全之代位权制度

代位权制度是对债的相对性原则的一种突破,并弥补了强制执行及一般担保的不足,对债权不能获偿起了预防和补救作用。代位权的确立能够给债权人以确实的保护,抑制债务人的恶意行为,因此坚持并发展代位权制度,是非常必要的。     

浅谈大庆湖泊湿地水源问题

大庆地区的湖泊湿地在自然系统和社会系统中具有重大的经济和生态价值。大庆地处半干旱地区，蒸发大于降水，所以潮泊湿地用水目前主要为引进的嫩江水和处理过的生活、工业废水等。但是此方法存在富营养化，石油、农药残留等问题。针对这些问题，本文提出利用湿地生态系统天然处理生活、工业废水作为湖泊湿地主要水源的思想。     

多项式函数根的零知识证明协议

为有效解决多项式函数根的零知识证明问题,基于离散对数的困难性假设,提出了多重离散对数问题,给出了多项式函数根的零知识证明协议,即:通过对多项式的每一项计算对应的离散对数A1,A2,…,An,证明者向验证者提供这些项,验证者根据(A1A2…An)m odp的结论来判定证明者是否拥有该多项式的根。为了防止证明者的欺骗行为,双方需要进行多次交互式证明。理论分析结果表明:证明者欺骗成功的概率随交互式证明次数的增加呈指数衰减,该协议是安全和可靠的。