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

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

约束数据库技术概论

介绍了数据库研究的一个新领域——约束数据库 .简要总结了约束数据库定义、建模能力、查询语言、索引技术等方面的研究和进一步的研究方向 .     

基于约束的最大频繁模式的挖掘

频繁模式挖掘通常产生大量的挖掘结果,基于约束的最大模式挖掘成为目前研究的焦点．给出基于约束的频繁最大模式的定义和挖掘基于约束的频繁最大模式算法．     

超媒体系统中的语义约束问题研究

提出了一种基于数据库模式的超媒体语义网络模型,该模型通过引入模式约束图,对超媒体系统中的关系约束进行了分类,并给出了相应的约束检测算法;通过引入视图机制提出了结构约束的概念;通过扩充模式约束图的属性,描述了超媒体特定应用领域的计算约束,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究。     

XML模式与关系模式相互转换的研究

针对目前大量异构数据库间通信的问题,提出了一种基于XML的数据交换技术。在具体实现过程中,进一步研究了XML模式与关系模式相互转换的方法,并给出了转换算法和转换规则。同时对XML模式中的语义约束同关系模式中的完整性约束之间的相互转换方法进行了分析。     

数据完整性约束的实现

数据完整性约束是数据库设计的关键技术之一,本文主要介绍了常见的完整性约束,并以SQL Server为例,介绍了数据完整性约束的实现技术,并通过加强客户端约束来增强数据库的完整性。     

实时系统时间约束验证

为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。     

特殊多维0-1背包问题的约束简化方法--不等式单约束生成法

针对一类组合优化问题中多维0－1背包问题（MKP），给出一种能减少求解难度的方法：不等式单约束生成法；定义了MKP的紧约束概念，指出MKP也是一个NP－难问题；提出了一种代替多约束组的计算方法，并证明了经过替换后所得到的新问题与原问题在解精度上的等价性。     

基于全局QoS约束分解与关联感知的动态服务组合

在Web服务组合过程中,基于全局QoS(quality of service)约束分解的服务组合方法是提高服务组合动态性与灵活性的有效途径。已有的研究工作在进行约束分解服务优化组合时,没有考虑上下游服务之间的QoS关联性,影响了组合的效率与质量,降低了用户的满意度。提出一种基于QoS全局约束分解与关联感知的动态优化服务组合方法,通过改进后的人工蜂群算法将全局QoS约束分解为局部QoS约束;定义上下游服务之间的QoS关联系数,构造一种基于QoS关联感知服务选择的方法,解决了存在关联关系的服务选择问题。实验验证了该方法的可行性和有效性。     

基于SACO算法的碎纸片拼接复原模型

破碎文件的拼接在司法物证复原、历史文献修复以及军事情报获取等领域都有着重要的应用．文章基于灰度图像原理和欧氏几何理论,定义了列约束匹配准则,分别设计了基于列约束匹配准则的欧氏距离变换算法、类蚁群优化算法SACO,建立了欧氏距离变换模型、类蚁群优化算法的碎片拼接等模型,对碎纸片的拼接复原问题进行了相应的求解．     

Pushing Multiple Convertible Constrains into Frequent Itemsets Mining

Constraint pushing techniques have been developed for mining frequent patterns and association rules. How ever, multiple constraints cannot be handled with existing techniques in frequent pattern mining. In this paper, a new algorithm MCFMC （mining complete set of frequent itemsets with multiple constraints） is introduced. The algorithm takes advantage of the fact that a convertible constraint can be pushed into mining algorithm to reduce mining research spaces. By using a sample database, the algorithm develops techniques which select an optimal method based on a sample database to convert multiple constraints into multiple convert ible constraints, disjoined by conjunction and/or, and then partition these constraints into two parts. One part is pushed deep inside the mining process to reduce the research spaces for frequent itemsets, the other part that cannot be pushed in algorithm is used to filter the complete set of frequent itemsets and get the final result. Results from our detailed experi ment show the feasibility and effectiveness of the algorithm.     

开洞组合墙划分成组合梁和组合柱的可行性研究

在钢筋混凝土-砌体组合结构中,窗过梁与圈梁和砌体构成组合梁,窗边框与构造柱和砌体构成组合柱。本文采用ANSYS对单片11层组合墙结构整体分析和对组合梁、组合柱的正截面进行应力分析,初步证实开洞组合墙可以根据约束划分成组合梁和组合柱进行承载力研究的可行性。     

中介曲面法处理G~2兼容性约束条件

提出一种曲面拼接中分离二阶几何连续兼容性约束的新方法．与直接解约束方程的方法不同，这里使顶点周围曲面片的法向投影与顶点处某一中介曲面具有若干阶逼近，就能分离法向约束，再通过拼接函数的端点值及端点导数的选取使约束的切平面投影得到满足．     

基于约束网络的产品进化设计

为解决约束条件下的产品设计问题,以复杂网络理论及图论为指导,建立了基于约束网络的产品创新设计模型.该模型从设计约束库中筛选相关要素作为约束变量,构建设计约束网络;利用对偶图计算约束网络中心性指标,实现节点重要度排序,进而归纳出设计约束问题并进行求解;最后建立一套基于约束的产品进化设计系统. 以夜光杯为对象进行实例研究,构建相关设计约束网络;分析得到其关键节点,归纳出具体的设计约束问题,并应用动力学模拟、控制点区间约束等方法对其进行求解;开发夜光杯进化设计系统,选取具有代表性的传统夜光杯样本进行形态进化,生成一系列满足约束条件的夜光杯设计方案.结果表明:该模型有效实现了约束网络指导下的产品设计.     

新型高强混凝土组合剪力墙受剪性能研究

为了提高高强混凝土剪力墙的延性和耗能能力,同时不削弱墙体的刚度和承载力,提出了双钢板高强混凝土组合剪力墙．利用Abaqus有限元分析软件,建立了无暗柱型与方钢管暗柱型两种双钢板高强混凝土组合剪力墙模型,分析了高宽比和轴压比对这两种组合剪力墙承载力和延性的影响,并对外侧钢板与混凝土的相互作用进行了分析．结果表明：随着高宽比的减小,这两种组合剪力墙承载力和弹性阶段刚度明显提高,破坏形态也由弯曲破坏向剪切破坏过渡．随着轴压比增大,无暗柱型组合剪力墙承载力下降,延性降低;方钢管暗柱型组合剪力墙承载力和刚度变化不大,延性呈下降趋势．设置方钢管暗柱可以加强对墙肢的约束,有效提高双钢板高强混凝土组合剪力墙的承载力和延性．     

空间数据库中的一种约束组最近组查询方法

针对具有约束需求的空间数据库查询应用,定义了一种新查询——约束组最近组查询,并根据其约束特点深入研究了该查询的处理技术.首先,为了使组最近组查询结果的查询点数量满足约束条件,设计了一种约束聚簇算法,用来在查询初始阶段对查询点进行约束聚簇;其次,采用MBM和SHR方法在这些初始簇中计算初始查询结果;最后,通过迭代更新聚簇获得查询最优解,并提出一种剪枝策略来减少更新代价.实验结果证明了所提算法的有效性和实用性.     

静定化假设对结构优化设计解的影响

研究了结构优化设计通常采用的静定化假设对最优解的影响．建立了桁架结构优化的数学模型,分别得到了解析的约束条件和基于静定化假设的约束条件的近似显式表达．以两个超静定桁架为例,分别用相对微分法求解析最优解和近似最优解,比较两者后得到结论：除了仅有应力强度约束的问题,静定化假设对最优解没有影响;在仅有应力强度约束的情况下,静定化假设导致满应力准则设计,从而影响最优解;凡存在全局约束、其他局部约束或稳定约束为最严约束,则静定化假设不影响最优解．     

基于AutoCAD的约束数据库生成

主要讨论了开发参数化CAD设计系统的一个关键问题－－几何图素结构约束的识别与提取。提出采用向量数学的方法进行图素（间）结构约束的识别方案；并讨论了怎样应用面向对象的方法，开发适用于AutoCAD平台的约束提取系统，系统能够完成AutoCAD图形数据库中图素结构约束的提取、约束有效性的判 ，并可将约束关系储到数据库中，参数化CAD系统后续的尺寸驱动子系统可根据该数据库存储的约束信息进行尺寸驱动。     

含参DC复合优化问题值函数的Mordukhovich次微分

利用函数的次微分性质,并引入弱性约束规范条件,对含参DC复合优化问题最优值函数的Mordukhovich次微分进行了估计,并将相关结论应用于DC复合锥规划问题之中.