摘要：身份信息滥用是社会顽疾问题。文中提出了一种基于区块链的身份鉴证与授权(Blockchain-based Identity Authentication and Authorization,BIAA)机制,该机制要求用户主体在对业务进行身份授权时提供有效身份证件和生物特征信息,确保业务为本人授权;同时将业务信息及身份授权写入区块链账本,进一步实现业务的安全存证与可追溯。为构建该机制,提出了“身份注册-身份授权”星形多区块链架构,身份注册链采用可控联盟链方式,由身份管理权威机构对身份信息注册实施管理,并提供身份鉴证服务;身份授权链可由各行业在获得权威机构许可后构建,其提供的相应业务在身份鉴证确认后,与身份授权信息写入身份授权链。在技术实现上,设计了一个身份注册-鉴证-授权(Identity Register-Authenticate-Authorize,IRAA)终端,将用户生物信息和身份证件信息读取后利用哈希运算转化为密文,确保用户明文信息不上线;设计了身份鉴证协议,实现身份鉴证链为各身份授权链提供身份鉴证服务,协议过程以密文形式进行;设计了身份授权通用智能合约,实现对应用业务的身份授权管理与存证。最后利用二代身份证和指静脉纹作为身份信息构建了原型系统,验证了BIAA机制的安全性、可行性与有效性,为解决身份信息滥用问题提供有价值的参考。

摘要：鉴于需求准确度与救灾品配送效率之间的悖反关系,研究了基于需求更新的救灾品配送效率与公平问题.通过对某市民政局进行调研,了解到台风灾害发生时的需求变化规律,设计一种通过已知需求灾区对未知需求灾区的需求进行贝叶斯更新的需求更新方式,由此建立救灾品配送模型.将该模型应用于某台风救灾实例,通过实例分析表明了该模型的求解速率与精度,并找到了最优"决策点",实现了救灾品配送公平与效率的平衡.

摘要：基于UDDI技术和WebService应用架构,本文提出了利用高校私有UDDI注册中心进行校园信息系统的集成,并对UDDI信息模型结构以及基于私有UDDI注册中心的高校系统集成的主体架构的设计与实现进行了详细的分析研究。

摘要：本文首先分析了现有答疑系统及其不足,然后给出了一个基于Agent的答疑系统模型以及其中各Agent部件的设计,最后说明了本文答疑系统的特点。

摘要：现有的混合关键级系统调度策略如AMC、SMC等大多以牺牲低关键级任务的方式保证高关键级任务的执行,不符合实际工业设计且破坏数据完整性。对此建立一种新的混合多关键级任务模型,基于响应时间分析提出两种调度策略:AMC-we-x和AMC-we-max-x。线下估计任务集在这两种调度策略下的可调度比率,与已有的混合多关键系统调度策略AMC-arb-x、AMC-max-x进行比较。结果表明,提出的两个调度策略在一定程度上能够实现调度低关键级任务的积极调度,可以通过改变弱约束模式参数调整任务的服务水平。

摘要：二叉判定图BDD作为一种表示和操作布尔函数的数据结构,被广泛地应用在模型检测、系统验证等领域.在最坏情况下,BDD的空间规模是指数级的,因此为了设计和实现一个高效BDD包,研究者们做了大量技术性工作,同时涌现出多个高效BDD包.为了节省空间和提高运算速度,这些BDD包的实现都限定了一个较小的变量个数上限(不超过2^(16)),然而这种限定同时也限制了BDD包的适用性.为了突破这种限制,文中给出了一个高效的BDD包实现,该包在采纳了经典BDD包高效实现技术的同时,使用了内存分片分配、轻量级垃圾回收等技术.这些技术使得BDD包在保持高性能的情况下,将可处理的变量规模提高到2^(32),与现有BDD包的处理规模2^(16)相比,大大提高了BDD包的适用性.实验证明其性能非常接近可获得的最快的2^(16)变量规模的BDD包——CUDD.

摘要：本文所设计的控制器采用AT89C51单片机作为控制核心,将PID算法和PWM脉宽调制技术相结合,通过光耦控制晶闸管导通角的大小实现热水器的恒温控制。该系统能根据设定的温度,实现温度的自动采集和控制,解决了传统的电热水器用冷热水闸门调节温度出现的温度不易调节的缺点。

摘要：介绍了NET框架的体系结构、NET程序的执行架构以及***的优势,论述了基于***的网上论坛的设计方法以及实现该论坛的关键技术。

摘要：针对目前流行的可视化监控系统存在的缺陷，研制并实现了一种利用计算机系统辅助宪成运动目标的自动检测和分类的智能化监控系统，并针对户外监控场景复杂、干扰大，人体识别困难的问题，提出了背景图象更新、检测块、提取函数、特征点等概念，以及影子模式的投影直方图技术，基于时空信息的累加和技术解决户外复杂背景下的人体识别困难，以降低户外监控的漏警率和误警率。

摘要：根据冲突集簇计算极小碰集是基于模型诊断的关键步骤,提出一种基于矩阵运算求解极小碰集的方法,在考虑集合之间联系的基础上,通过构造矩阵体现极小碰集的特性,找出所有的极小碰集。从理论上分析利用矩阵求解极小碰集的算法,通过实例进行验证,与其它极小碰集求解算法进行比较。实验结果表明,所提方法数据结构简单,算法程序容易编写,能够确保得到所有极小碰集,在某些情况下比传统的CSSE-Tree算法、HST-Tree算法等具有更高的求解效率。