MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。     

双层优化交通模型及其算法

提出了一个用于交通工程实践的考虑用户路径选择行为的两层数学规划模型.该模型可以应用在交通网络 设计、道路收费、交通信号灯配时等方面.分析了两层规划模型的特性和求解难点所在.并提出了一种基于路段变 量的连续可导的边际函数和距离函数,从而把两层规划转化成单层规划问题.通过把距离函数罚到目标函数上,转 化后的单层规划问题可以方便求解.     

计及环境特征的刚-柔机械臂动力学模型及其控制策略

为了实现柔性机械臂主动柔性控制，基于Kane方程推导建立在惯性参考坐标系中的刚-柔机械臂的非线性动力学模型，并利用假设模态的方法对方程进行离散．在对刚-柔机械臂进行主动柔顺控制时，柔性机械臂要受到未确定外部环境的约束，因此，建立了计及环境特征的一般柔性多体系统动力学模型以及计及环境特征的刚-柔机械臂动力学模型，并分析研究了刚-柔机械臂主动柔顺控制策略．     

一种IP/DWDM光因特网中的路由选择机制

研究了一种资源约束最短路径优先 (RCSPF ,Resource ConstrainedShortestPathFirst)路由选择机制·这种机制可以用于扩展以通用多协议标记交换GMPLS为基础的IP/DWDM光因特网控制平面·借助光网络设备的可编程功能 ,在现有开放最短路径优先OSPF协议基础上 ,增加基于资源的路由约束条件 ,在一定程度上减少发生网络拥塞的可能性·另外 ,由于采用源路由以及在选路由过程中采用资源预分配机制 ,因此增强了对GMPLS信令系统的支持·同时 ,为了解决在资源不足情况下造成的信道分配失败问题进一步提出了相对路由的概念 ,使IP/DWDM光因特网在大幅增加带宽容量的同...     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

激励与项目投资预算决策

研究了存在内部人控制的情况下，激励方案在企业项目投资预算决策制定中的重要作用．指出无论温和的激励方案还是严厉的激励方案都能激发出更高的后期努力水平，但是不一定能有效地激发前期努力水平．只有严厉的激励方案可在一定程度上缓解内部人控制问题．