摘要：高可靠性的信号处理对于并行处理器的高速实时应用越来越重要．已知在状态空间模型下线性数字信号处理算法可以表示为矩阵与矢量乘积形式，在该模型下，我们假设同一种运算在计算过程中具有相同的错误概率，即计算过程是稳定的，并利用矩阵划分的方法提出了一种具有高纠错能力的容错设计方案．如果将矩阵划分为ｋ块，则该方案最多可纠ｋ个错误，检测２ｋ个错误．与过去的方案相比，该方案容易实现，并且具有较小的执行时间及硬件开销．

摘要：分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度·

摘要：描述了多处理机环境中 FIRST 和 FOLLOW 集合求解的一种并行处理方法,并讨论了 FIRST 和 FOLLOW 集合的并行算法设计思想和它的实现策略,在构造文法 G 的 LL(1)分析表以及判定文法 G 是否 LL(1)文法时,求解 FIRST 和 FOLLOW 集合是很重要的内容,由于文法中终结符和非终结符个数很多,考虑 FIRST 和 FOLLOW 集合的并行处理方法,对并行编译处理和提高效率有其理论和现实意义。

摘要：数字水印对几何攻击的鲁棒性问题一直没有得到很好的解决,该文提出了一种能够抵抗RST(旋转、缩放、平移)攻击,局部剪切以及常规信号处理攻击的多比特图像水印算法。该文利用尺度不变特征变换(SIFT)进行水印信号的同步;设计了一种圆环形的水印模式,并在空域采用奇偶量化嵌入水印;并设计了一种奇偶检测器提取水印。实验结果表明该算法能获得很好的图像质量,且能十分有效地抵抗各种几何攻击以及常规的压缩,滤波等攻击。

摘要：从免疫学的角度出发,研究了免疫系统体液免疫应答原理,基于免疫应答机制,模拟了人体免疫系统的克隆选择、细胞选择、记忆细胞获取、抗体浓度调节等机制,提出了一种新的免疫优化算法.设计了基站选址优化问题的数学模型,给出了一种基于免疫计算的基站选址优化方案,并对所提出的算法进行了收敛性分析.仿真结果表明:所提方案能以相对较低的网络建设成本获得较高的网络覆盖率,具有较好的应用价值.

摘要：基于分解的演化多目标优化算法(MOEA/D)的基本思想是将一个多目标优化问题转化成一系列子问题(单目标或者多目标)来进行优化求解.自2007年提出以来, MOEA/D受到了国内外学者的广泛关注,已经成为最具代表性的演化多目标优化算法之一.总结过去13年中关于MOEA/D的一些研究进展,具体内容包括:(1)关于MOEA/D的算法改进;(2) MOEA/D在超多目标优化问题及约束优化问题上的研究;(3) MOEA/D在一些实际问题上的应用.然后,实验对比几个具有代表性的MOEA/D改进算法.最后,指出一些MOEA/D未来的研究方向.

摘要：目前的信息系统评价模型采用通用评价因子来评价不同领域中的系统,不能全面衡量不同信息系统的质量。提出了新的评价模型使用了动态制定不同领域的评价因子,同时提出了一种带有模糊评判调节因子的NTFAHP法,并对模糊综合评价方法进行了改进,将两者相结合,建立了适应现代信息系统的新评价算法。设计了该评价模型的原型系统,利用原型系统实施工程实例的可计算化评价,其实验结果的准确性、可靠性和稳定性有了明显改善和提高。

摘要：研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性.首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾,因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论.基于该结论,可以构建或者改进形式化分析系统,使其具有计算可靠性.

摘要：在已有的公平电子现金系统中 ,商家和其客户必须使用同一银行 ,这一要求使电子现金的广泛应用受到了一定程度的限制 .该文的目的是建立一个可适用于商家和客户各自使用不同银行的、安全的公平电子现金系统 .作者首次提出了由多个银行发行的公平电子现金的模型 .并利用改进的 Cam 97[4] 群签名方案和 L ys98[6 ] 群盲签名方案设计了一个可跟踪用户的多银行公平电子现金方案 .同时指出了利用现有的群签名方案设计电子现金的提款和支付协议所存在的一个弱点及其存在的原因 。

摘要：构造了一种新型的路由表,设计了基于遗传算法的自适应路由算法(GAR),并在PC机上实现了简化的GAR.在局域网环境下,对GAR和基于跳计数准则的RIP的模拟试验表明,在相同的网络负载下GAR的平均通信延时是RIP的20%.该算法能够降低网络延时,平衡网络负载,提高网络性能.