摘要：指定验证者签名(DVS)克服了传统的数字签名中可公开验证的缺点,可防止验证者向第三方表明他获得了签名方发布的数字签名。但传统的密码方案的安全性依赖理想的假设,即攻击者不能获得保密的密钥的信息,而边信道攻击表明攻击者可以获得部分的秘密信息,因此有必要设计可以容忍信息泄露的指定验证者签名方案。基于"或"证明的技术,把Okamoto认证方案推广到指定验证者签名的情形,并在给定的泄露界下,证明了所提出的指定验证者签名方案在相对泄露模型下是安全的。

摘要：针对一类未建模动态和死区非线性输入的非仿射系统,提出一种自适应神经网络控制器设计方案.该方法拓展了未建模动态的变量范围,将后推技术与动态面控制(dynamic surface control,DSC)技术相结合,有效消除了后推法的计算膨胀问题,降低了控制器的复杂性;借助中值定理和Young’s不等式,使后推设计的每一步仅需调节1个参数,从而放宽了动态不确定性的假设,无须虚拟控制增益系数导数的信息.理论分析证明闭环系统所有信号半全局一致终结有界,并且可通过调节设计参数使跟踪误差能够收敛到一个小邻域内.仿真结果表明了该控制方法的有效性.

摘要：高职高专"光学设计"课程是光电子技术专业的限选技能模块课程。本文基于任务驱动的模块单元,结合网络教学平台和一些新教学手段开展了重实验与设计,轻理论推导的高职高专特色的课程改革。同时课程考核采取无纸化上机模拟设计作品的新型形式。经近两届学生授课情况检验,取得了明显效果。

摘要：随着现代软件的规模越来越庞大、结构越来越复杂,软件测试的作用尤为突出。本文针对自动化测试技术的不足,在软件测试中应用云计算技术,实现在硬件、人力资源成本方面的巨大节省。文章首先对云计算环境下进行软件测试的相关技术简单论述,接着重点介绍了基于云计算的软件测试系统设计。

摘要：本文基于Supertex公司开开发的HV9931产品,提出了一种非隔离固定频率开关单级PFCBuck-boost和Buck拓扑结构白光高亮LED的驱动电路系统,并给出了主电路及电源输入、控制电路等外围电路的元器件的选择方案。

摘要：从人工智能的角度,在电子商务安全中利用Agent技术,在分析了Agent技术与电子商务结合的优势、现有有限时间的黑箱法、加密函数计算法和密码跟踪法的基础上,利用Agent自身的特点,改进了密码跟踪法,设计并实现了基于多Agent电子商务安全系统(MAECSS)。

摘要：本系统主要利用DreamWeaver 8和MicroSoft Access2003数据库系统构成一个完整的软件开发环境,以应用电子专业为例,设计一个通用专业网站的后台管理系统,为专业网站的建设提供完整的网站框架,让专业教师只需利用该后台管理系统就可方便快捷的完成所有网络资源和网站的建设。

摘要：办公自动化系统(Office Automation)能有效改善企事业单位办公效率,但其涉及到企事业单位的各种复杂的业务流程和各类业务应用系统的集成环境。工作流(workflow)技术的发展使得对业务流程的控制和调整更加科学化和规范化。本文论述了工作流系统的结构和数学模型;在此基础上,通过需求分析和系统功能结构分析,提出一个满足我国企事业单位要求的办公自动化模型,该模型重点强调了基于工作流的规范化管理和部门之间信息交流和沟通。该系统具有办公自动化系统的主要功能模块,初步解决办公自动化平台和工作流模块的集成和知识管理。

摘要：针对一类具有死区非线性输入和未建模动态的非线性系统,提出一种自适应神经网络控制方法。该方法将后推技术和动态面技术结合,克服了计算复杂性问题,放宽了动态不确定性的假设,取消了神经网络逼近误差有界。借助中值定理和Young’s不等式,保证整个设计只需一个自适应参数,且控制增益只需存在一个上、下界。理论分析证明闭环系统所有信号半全局一致终结有界。仿真结果验证所提方案的有效性。

摘要：针对一类具有死区输入和时变时滞的未建模动态非仿射系统,基于滑模控制原理,提出了一种多层神经网络(MNN)控制器的设计方案。该方案通过构造适当Lyapunov-Krasovskii泛函有效地补偿了未知时滞不确定项。利用Nussbaum函数性质,放宽虚拟控制方向到未知。借助Young’s不等式,巧妙减少了传统多层神经网络中的一个自适应参数。理论分析证明了闭环系统半全局一致终结有界。仿真结果表明所提方案的有效性。