一种基于最优融合的数字水印算法

从信息融合的角度提出了一种用有约束的线性最小二乘进行加权融合的数字水印技术．实验结果表明这种融合对各种攻击具有较强的鲁棒性．     

基于粗集理论的多目标规划问题的约束度分析

给出了有冗余约束条件的多目标规划问题的模型约简方法。对于无冗余约束条件的决策系统 ,决策者可通过对约束条件的重要性分析而按其重要性大小适当删除不重要约束 ,从而得到原问题的核心约束条件组和相应核心有效解。原问题的有效解和核心有效解的关系可以用粗糙近似来刻画。用算例说明了这种方法的应用。     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

Schedulability Analysis Method of Timing Constraint Petri Nets

IntroductionTiming constraint Petri nets[1] (TCPNs) are a classof Petri nets that have general time constraints.They synthesize the common characteristics of timePetri nets[2 ,3] and timed Petri nets[4 ] with thetheoretical foundation of classical Petri nets (PNs)and the representation of timing constraints.TCPNs use weak firing rules,which means thatanenabled transition can either fire or not firedepending on the job scheduler. The schedulabilityanalysis of TCPNs was analyzed by Tsai …     

并行工程中时间约束网络建立及冲突检测研究

由于并行工程产品开发过程的复杂性，产品开发过程中存在着大量的时间约束关系，因时间约束关系的违反而千万的过程冲突极易发生，本文提出一种以IDEF3过程模型为基础建立并行工程产品过程的时间约束网络的方法，在将该时间约束网络转化为定量时间约束网络的基础上，提出一种面向定量时间约束网络的冲突检测的方法，基于时间约束网络的冲突检测方法能有效发现并行工程产品开发过程中的过程冲突。     

大气折射对高程约束下时差定位误差的影响及修正

电波在不均匀大气中传播会发生折射现象,传播路径和速度都会发生改变,若不考虑其影响,将导致利用测量多站到达时间差进行辐射源定位产生较大误差。本文分析了已知先验高程约束条件下大气折射对多站时差定位误差的影响,论证了迭代修正法在高程约束条件下(约束条件为冗余条件)无法达到最优,提出了大气折射条件下基于迭代然后再进行改进粒子群优化的时差定位误差修正算法,通过仿真分析验证了该修正算法的有效性。     

加权约束满足问题的改进深度优先搜索算法

回顾了加权约束满足问题的基本概念，给出了求解的标准深度优先搜索算法，并探讨了利用变量间的约束关系，改进标准深度优先搜索算法的搜索上下界；在此基础上，给出了一种改进的深度优先分枝定界算法，该算法的一个特点是通过循环迭代求解子问题来改进上下界．针对随机约束满足问题模型生成的测试数据的数值计算结果显示，改进算法可以大大缩短求解时间。     

子矩阵约束下的双中心矩阵反问题及其最佳逼近

利用矩阵的奇异值分解及标准相关分解, 建立子矩阵约束下双中心矩阵反问题解存在的充分必要条件, 并给出了通解的表达式. 进而得到了对任一给定矩阵的最佳逼近.     

钢筋混凝土结构温度裂缝的原因分析与对策

分析了钢筋混凝土结构温度裂缝产生的原因和裂缝特征，并根据作者长期的工程经验，提出了主要的预防措施，总结了治理温度裂缝的基本方法，对方法进行了简评和说明。     

感应起电导体带电规律研究

研究了感应起电时导体带电现象,给出了感应起电导体带电的一般规律.