支持自动信任协商的网格安全中间件

以Globus Toolkit4.0为平台,设计了网格安全中间件的结构,研究了支撑安全中间件各层的关键技术,尤其是对信任协商层中的自动信任协商的原理、协商的激活过程和协商的工作过程进行了详细论述.在认证和访问控制层中,对实体间信任度进行评估和反馈,采用基于信任度的访问控制机制,实现了细粒度的动态RBAC,执行服务请求者和提供者的安全需求.在信任协商层,引入自动信任协商机制,完成了陌生的双方建立信任和跨安全域的共享和协作.此安全中间件在屏蔽了底层安全细节的实现,同时具有高安全性的协同工作能力,易于和其他中间件组件进行交互,改善整体的互操作性.     

基于Shell脚本的IBM Cell／B．E．模拟环境的自动安装与测试

本文针对IBM Cell／B．E模拟环境的构建提出了一种借助Shell脚本创建的方法,解决了模拟环境构建中所面临的图形系统的自动启动与配置、License的自动确认、软件的自动安装与配置等问题,并给出了实例测试验证该方法的正确性．这为今后研究和使用IBM Cell／B．E模拟环境提供了一种尝试性的解决方案．     

基于多尺度判别模型的复杂背景学习

智能监控系统中的一个关键问题是在图像序列中准确检测前景目标,但在复杂背景中,这仍然比较困难.将前景检测作为标记问题来处理,提出一种基于多尺度的判别模型,用来学习复杂背景.首先,通过基于像素的方法得到静态背景和运动目标;然后利用一组高斯滤波器组作用于不同的图像空间得到一系列的响应,在图像序列中估计这些响应的概率密度作为特征池,运用AdaBoost算法在特征池中挑选弱分类器组成强分类器,通过分类器获得运动目标中每个像素属于真实前景的置信度;最后,结合前景和背景的时空一致性,利用图分割求解马尔可夫随机场,获得准确的前景.实验结果表明提出的方法能很好地适应各种复杂背景.     

基于非线性整数规划的平均血糖波动幅度自动计算算法研究

平均血糖波动幅度(MAGE)是评估血糖波动的"金标准",但目前基于动态血糖监测数据的MAGE参数主要依靠人工计算,耗时、准确性低;为此国内外推出了几种MAGE自动计算方法;由于这些方法缺乏数学理论的支撑,使得计算结果的准确性受到临床的质疑,从而影响它们的广泛应用。因此,研究以MAGE定义为基础,提出了一种非线性整数规划数学模型;并应用差分进化算法求解的自动计算算法。该算法与人工方法的计算结果对比,验证显著相关,且具有较好的一致性;并与现有的一些MAGE自动计算方法的计算结果进行了统计比较分析,结果证明研究的算法可以取代人工计算方法进行MAGE自动计算。     

面向工业电机考虑参数自调节的优化模型预测控制

针对常规控制器在工业电机无参数或者参数失配时引起的控制性能下降等问题,不满足工业自动化发展需求,因此提出一种考虑现实工业情况的无参数模型预测控制。首先引入模型预测控制的思想,将离散异步电机数学模型作为模型预测控制的预测模型并在线估计更新其集总参数,从而无需任何电机参数即可实现模型预测控制。针对工业用电机复杂工况,进行优化使其能够快速且准确地辨识出集总参数。仿真结果表明,所提出的控制策略预测精度高,在工况与电机参数均为未知时变的情况下,无参数模型预测控制仍然能在不同情况下达到较为优良的控制性能,证明了该方法优良的鲁棒性和有效性。     

自动变速车辆起步模糊神经网络控制策略仿真

自动变速器车辆的核心和难点是起步控制。针对传统模糊控制在其参数的模糊化过程中人为因素影响较大,获得较优控制参数困难等缺点,基于优秀驾驶员的起步操作经验,利用神经网络自适应学习功能优化模糊控制参数,设计了模糊神经网络控制策略。应用SIMULINK建立了起步模糊神经网络控制系统仿真模型。仿真实验表明,优化了模糊控制模型隶属函数,该控制策略可较好的解决自动变速车辆起步控制问题,为机械式自动变速车辆的开发设计提供了理论依据。     

一次性求解多个SAT问题

在实际应用中通常需要求解对应CNF(Conjunctive Normal Form)公式之间仅相差几个子句的一系列SAT(Satisfiability Problem)问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。     

Web应用程序自动化测试工具

在．NET框架下,研究Web应用自动化测试工具,并给出了设计和实现。该自动化工具包含两个子工具WebTester和WebReplay。前者实现了对测试用例的自动录制、回放,而后者则允许测试人员手工编写测试脚本,进行更为复杂的测试。实现的关键是采用了两个开源的框架Watin和HTMLParser。     

A HEURISTIC FOR F3/bi= b/C_(max) AND ITSWORST-CASE ANALYSIS

1.IntroductionTheF3Cm..canbestatedasfOllows.Eachofthenjobs1,2,'')nistobeprocessedonthreemachinesA,B,Cinthesameorder.Giventheprocessingtimesal?hiandciofjobionmachinesA,BandC,findtheorderinwhicheachmachineshouldprocessethejobssoastominimizingthetotaltimesp…     

固体继电器电参数自动测试系统的研究

介绍了基于ＧＰ－ＩＢ总线技术组建的固体继电器电参数自动测试系统,详细阐述了系统的结构、参数的测试和同步方法。实际使用和检测表明,系统具有结构合理、测量精度和可靠性高的特点,可推广应用于类似的自动测试系统。