Newton法对应单参有理函数族的广义M-J集

讨论了Newton法对应单参数有理函数族的广义Mandelbrot集和Julia集,给出了它们的构造算法,证明了其广义Mandelbrot集的有界性,并给出了其周期点个数的计算公式.利用数学实验的方法研究了广义Mandelbrot集周期芽苞分布规律,并通过对比分析得到了它们与z~n+c的Mandelbrot集和Julia集之间的族相似性类似的新的族相似关系.文中算法为Mandelbrot集和Julia集的发展提供了新的思路.     

基于Vague集的Apriori算法的改进

当前研究的关联规则挖掘隐含着一个假定：待挖掘数据库中每条记录的全部属性都是完整的。然而现实中得到的数据可能是不完整的,在这种情况下将无法使用传统的算法。为了解决这个问题,引入Vague集并给出基于Vague集的支持度和置信度定义,将经典的Apriori算法推广到Vague集上。最后通过一个例子来验证算法的有效性。     

基于捕食模型与蚁群算法的多约束QoS路由选择

针对多约束QoS路由选择问题,将其转化为一个多约束赋权图,求符合最小时延和最小丢包率且满足最小成本的多目标问题。利用捕食模型调整最小时延和最小丢包率这两个目标的权值,快速找到非劣解集;再结合蚁群算法很强的全局寻优能力,完成最小成本的路由选择。实例计算结果证明了算法的可行性。     

具有多种特性的门限多代理多签名方案

为了提高多代理多签名的灵活性和实用性,在Schnorr签名的基础上,提出2个具有消息恢复特性的门限多代理多签名新方案,其中的不同类成员具有不等权限,只有指定验证者才能恢复消息并验证签名。分析结果表明,在离散对数假设和随机预言机模型下,该方案是安全的。     

并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

关于并行语言Gamma的结构化扩充

Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.     

基于Matlab参数辨识的纯迟延系统预估控制在火电厂的应用

在探讨Smith预传器的控制原理的基础上,针对制约其工程应用的参数估计问题阐述了一种用Matlab软件计算的工程案例.在分析其应用前景的同时,提出将DCS控制系统、Matlab软件和Smith控制有机结合的思路.     

基于扫描法的海上风电场集电系统拓扑优化

海上风电场集电系统拓扑结构优化对于减少风电场的投资成本具有重要意义。针对海上风电场中集电系统拓扑结构优化问题提出了一种可行的优化方法,使得内部海缆连接在满足施工要求的前提下总布线长度最短。首先对集电系统中海缆存在的不可交叉、海缆允许连接的最大风力机数进行分析,提出使用扫描法和最小生成树法设置单条输电海缆连接的风力机,在此基础上使用邻位变异对提出的算法进行改进,结果表明：相较于目前的工程规划方案,该方法能够在较短的时间内生成多个满足条件的拓扑结构,有效提高系统的经济性。