仿真模型的智能化验证方法

为实现仿真模型可信度验证过程的自动化,并解决验证技术在应用中过度依赖领域专家经验等问题,提出基于知识的模型验证方法.首先,对模型验证的客观和主观方法中的数据和信息转化过程,以及用于模型验证中真实系统测试数据和领域专家的经验等参考信息进行抽象和归纳.其次,在知识抽象的基础上,分别建立领域知识模型、验证技术模型和验证任务模型.最后,在知识模型的基础上设计和实现智能化验证系统.对电磁轨道炮仿真模型的验证表明,该方法可有效对仿真模型进行验证,且主观和客观的验证方法均可以集成到该系统中,提高了模型验证效率.     

一种基于脆弱点依赖图的脆弱性评估方法

为弥补目前网络脆弱性评估系统比较简单、评估结果不全面不准确的不足,提出一种基于脆弱点依赖图的网络脆弱性评估方法,并在该评估方法基础上开发出相应的评估系统.该方法吸收了通用弱点评价体系(CVSS)的优势,同时与目标网络的脆弱点依赖图很好地结合起来,可对网络脆弱性做出一个客观评价.在计算过程中,该方法将脆弱性可利用性和脆弱性影响分开计算,并与实际目标网络中的脆弱点依赖图相结合,从而使得计算值更有参考和实用价值.     

平行世界奇遇记之哈德勒的阴谋

回到营地已是傍晚,反抗军的成员围坐在一起,一边吃饭一边聊天。奇奇带着白天的疑问继续和麦克斯交谈,麦克斯也是一个健谈的人,对奇奇提出的问题他都做了毫无保留的回答。从谈话中,奇奇终于了解到了整个事情的原委。     

测量分幅图批量打印的实现

通过对批量打印的讨论和研究,提出了测量分幅图批量打印的解决思路,并利用AutoCAD内嵌的VBA语言,开发出了自动批量打印程序,大大提高了生产率,降低了出错率。     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

带有积分边界条件的微分方程的数值求解算法

在区间[0,1]中研究带有积分边界条件的微分方程数值求解问题,给出了这类方程精确解的表达式,证明了近似解一致收殓到精确解,误差随结点数的增加单调递减.算例验证了本文算法是有效的.     

电解质溶液的不可逆过程热力学讨论

从不可逆过程热力学的耗散函数出发,推导了电解质溶液中阴、阳离子运动的方程式以及表征溶液导电性能的电导、迁移数、离子的迁移率和扩散系数等物理参数之间的关系.结果表明,从不可逆过程热力学理论得到的方程式与可逆过程热力学理论得到的相同.     

食饵有感染的时滞三维捕食-被捕食模型稳定性分析

食饵具有感染率的捕食-被捕食系统可以用来解释生命科学中的很多现象,该问题已经被很多学者研究。在人口动力学中,收获率对物种有重要的影响。研究了一类具有收获的食饵有感染的时滞三维捕食-被捕食模型的稳定性,同时发现当参数经过一系列临界值时,系统产生Hopf分支现象。数值仿真证明了理论结果。     

基于身份的门限多代理者的代理重加密方案

提出一个有效的基于身份的门限多代理者的代理重加密方案。传统的代理重加密方案中代理者通常都是指独立的个体,而在此处代理者将是一个群体(n个人),只有当其中至少t个人同时参与时,才能进行有效地代理。同时还证明了此方案在标准模型下是selective ID-IND-CCA安全的。     

四元数矩阵平方保持偏序关系的刻画

给出了四元数矩阵平方保持右(左)星序关系、星序关系的完整刻画,并得到了在减序条件下含EP矩阵的四元数矩阵平方的Lwner偏序、减序的刻画。