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

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

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

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

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

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

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

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

激励与项目投资预算决策

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

数字图书馆和图书馆员的素质

数字图书馆是一个数字化的信息系统 ,是将分散于不同载体、不同地理位置的信息系统以数字化的方式贮存 ,以网络化方式相互联接 ,提供即时利用 ,实现资源共享 .本文重点从数字图书馆的读者服务特点进行阐述 .同时阐述数字图书馆对图书馆员的素质要求 ,即要求有数字采集和知识发现的能力 ,能从不同角度满足读者对信息获取的需求 ,并且能成为数字信息的管理者和利用者 ,成为存取信息的中介 ,成为数字图书馆、数字信息系统及数字知识资源方面的专家     

一般正项几何规划问题的一种直接算法

本文将一般的正项几何规划问题化为等价的目标函数为线性函数，具有线性等式和非线性不等式约束条件的非线性规划问题，进而给出了一个具有全局收敛性质和特殊结构形式的广义投影梯度型算法。     

非完整约束对于运动规划问题的影响

本文回顾了机器人无碰撞运动规划的若干有代表性的工程方法，分析了非完整约束对于这些方法所产生的影响及其主要矛盾，得到了一些有意义的结论。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于事件响应event-response的动态工作流系统

提出了一种在企业工作流管理系统中运用由协作的各企业提供的对事件的响应(event-response)的方案来实现动态的工作流系统。通过工作流引擎灵活地调度、控制，利用基于约束的动态绑定机制动态地将事件的响应请求绑定到合适的event-response和响应提供者(provider)，从而柔性地，协同地完成共同的目标。