面向Java语言接口机制的重构方法及工具
重构是一种保留行为的程序转换.自动重构的实现多是以Opydke建议的一组不变式为基础进行的.Opydke给出的重构方法建立在C++语言上,并把语言特性限制为无环的单继承体系[7].这样的重构环境不能完全适用于Java语言,也不支持接口机制.而接口是Java语言的重要特性,它定义实现的协议,体现分析和设计中的抽象.通过使用接口可以实现面向对象方法中设计和实现相分离,能够为应用程序建立设计框架.该文通....
作者:刘永鑫专业:计算机软件与理论分类号:TP312导师:张家晨单位:吉林大学
建筑图形智能识别与理解的初步探讨
随着信息科学、智能科学和技术向各个学科和领域渗透,现代社会对设计工程提出了集成化、智能化和自动化的要求.计算机辅助设计(Computer-Aided Design,简称CAD)技术独特的数字化设计方式使这一切成为可能.传统的CAD图形数据库孤立的记录各图素,并不考虑图素之间的联系,实际上正是图素之间的相互关系表达了设计过程的信息和语义.如何把CAD系统所提供的几何信息转化为可利用的设计信息,提高智....
作者:董文平专业:供热、供燃气、通风及空调工程分类号:TU201.4;TU206导师:吴继臣单位:哈尔滨工业大学
'明月'约束求解平台中的整型和浮点型部分的设计与实现
约束求解技术已在世界范围内产生了巨大的影响.从N-皇后、图着色等学术问题,到作业调度、资源分配、图形显示等实用问题,它都发挥着巨大的作用.通常,针对某种具体的应用设计专门的算法可以得到更好的效率,但缺乏通用性."明月"约束求解平台采用约束程序设计的思想,可以快速有效地求解大多数问题,而不必依赖于具体的应用.该文首先介绍了约束程序设计的方法,并给出了其分支约束满足问题的概念及求解技术.然后,该文概述....
作者:姜英新专业:计算机应用技术分类号:TP31导师:孙吉贵单位:吉林大学
集成定性与定量约束的可视化时态数据模型
该文提出了一种集成定性与定量约束的可视化时态数据模型,该模型不仅集成了定性与定量的约束,而且有利于实现可视化.通过在关系数据库中增加特定的时态字段,并且定义一个时态视图,使得每个时态对象可以转化为平面上的一个可视这体,从而导出了可视化的时态约束传递算法.该文对可视化技术进行了研究,并且把可视化技术运用到时态推理这一人工智能领域的热点问题上.在设计和实现了时态数据的可视化表示的基础上,对时态视图的直观性、可操作性与一致性作了重点研究.
作者:陆颖专业:计算机软件人工智能分类号:TP311导师:方思行单位:暨南大学
论转轨时期财政政策的制度约束
借鉴新制度经济学的研究方法,从制度变迁的角度出发,着重分析转轨时期财政政策所遇到的制度约束对其实施效果的影响,是该文的研究思路.论文第一章主要是阐述经济学中关于财政政策的基本理论.第二章主要是对中国经济转轨时间财政政策面临的制度约束进行系统的论述.第三章开始对中国财政政策的演变与发展进行回顾,并从制度约束的角度分别探讨了通货膨胀与通货紧缩条件下的财政政策.第四章介绍了经济形势与积极财政政策的最新实践,并展望了中国财政政策的实施前景.
作者:秦晓钢专业:财政学分类号:F812.0导师:梅阳单位:中央财经大学
两类约束的统计推断
该文共分五章.主要研究随机序及不等式约束的统计推断问题.分布函数的随机序是应用概率及统计推断理论中的一个非常重要的概念.例如,利用随机序可以比较排队论,可靠性理论及经济领域中的各种随机模型.在统计问题中,研究者常常希望知道总体分布之间的某种随机序关系是否存在,因为在推断中溶入这种关系会使判决更可靠.检验不等式约束的假设在实际中同样具有广泛的应用价值.例如,在经济模型及可靠性研究中,回归中的参数可能满足一定的约束,而这种约束绝大部分都可准确地或近似地表为一组不等式的约束.
作者:刘心声专业:概率论与数理统计分类号:O21导师:王金德单位:南京大学
板壳截面优化的理论与基于MSC/NASTRAN的软件二次开发
在给定了板壳的材料常数、板壳结构的边界形状和边界条件的前提下,确定表征板壳厚度的设计变量,在满足约束条件下实现结构重量最小:1.对于尺寸和应力约束的问题,使用满应力方法求解.在每一步迭代过程建立优化模型之前,采用射线步技术,调整了结构的性态,保证了收敛的稳定性.2.对于尺寸、应力和位移约束的问题,将应力约束化为动态下限,用单位虚荷载方法将位移约束近似显式化,构造优化问题的数学规划模型,将其对偶规划....
作者:金雪燕专业:固体力学分类号:TU311.41导师:隋允康单位:北京工业大学
国有企业建立经营者激励与约束机制的探讨
该文在借鉴经济学有关激励理论和西方企业成功经验基础上,对建立国有企业经营者激励机制问题进行了探索.首先,通过对国有企业经营者激励机制的现状评述,在有关激励理论尤其是代理理论的基础上提出了激励机制设计的原则,比较分析了几种主要激励方式如年薪制、期权和管理层持股等具体模式,阐述了激励模式选择及综合运用对建立长期有效的经营者激励机制的重要作用.其次,通过分析市场、法律两个外部制约因素以及来自企业的权利机....
作者:陈霖琪专业:工商管理分类号:F279.241导师:张秋生单位:北方交通大学
基于嵌套语义的约束数据模型
该文主要以给数据库在时空数据中的应用为背影以嵌套约束数据模型为基础,对约束数据库在时间和空间应用方面进行了研究.
作者:陈良刚专业:计算机软件分类号:TP31;TP392导师:施伯乐;蔡子经单位:复旦大学
论股市中投机泡沫的经济功能
在理论上,该文提出了经济发展的三大约束--金融约束、实际经济约束与需求约束,并阐述了投机泡沫与这三大约束条件之间的关系;在实证上,该文利用了出现在美国酱市场上的"信贷融资的增长、股票融资的减少"这一现象,说明了投机泡沫对实际经济约束条件的软化作用.最后,该文提出了"走向一个可持续的泡沫经济"这一观点,并强调这一经济现象的维系与投资者的信心休戚相关.虽然,该文的论述是以发达国家为出发点的,但其中的一部分也是中国所可以借鉴的.
作者:李慧华专业:国际贸易分类号:F830.9导师:黄亚钧单位:复旦大学
合计986个 | 页次:1/99页 1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页 最后页