期刊文献+
共找到149篇文章
< 1 2 8 >
每页显示 20 50 100
CONSTRAINT MODELLING IN AN OBJECT-ORIENTED DATA MODEL FOR THE CAPP
1
作者 王茜 《Journal of Southeast University(English Edition)》 EI CAS 1992年第2期23-29,共7页
The Object-Attribute-Relationship(OAR)model provides a single model tocapture data structure,behavior properties and knowledge rules in the CAPP application.This paper focuses on how to integrate a variety of differen... The Object-Attribute-Relationship(OAR)model provides a single model tocapture data structure,behavior properties and knowledge rules in the CAPP application.This paper focuses on how to integrate a variety of different knowledge rules into the OARmodel and how to form transactions against the data structure with these rules in order toimplement intelligent process planning for designed components.The mapping from theOAR to Smalltalk can be directly carried out.It makes the implementation an entirely Ob-ject-Oriented approach. 展开更多
关键词 CAPP object-ORIENTATION constraint modelLING
下载PDF
Multi-Objective Mathematical Model for the Optimal Time to Harvest Sugarcane
2
作者 Surattana Sungnul Wisanlaya Pornprakun +1 位作者 Santipong Prasattong Chanasak Baitiang 《Applied Mathematics》 2017年第3期329-343,共15页
In this paper, the sugarcane and sugar industry in Thailand is studied. The government determines the sugarcane prices which is based on the two main factors: 1) weight and 2) commercial cane sugar (standard value equ... In this paper, the sugarcane and sugar industry in Thailand is studied. The government determines the sugarcane prices which is based on the two main factors: 1) weight and 2) commercial cane sugar (standard value equal 10 C.C.S.). Usually, the C.C.S. will increase with time and the weight will decrease. The main purpose of this research is to find the optimal harvest time to maximize revenue and minimize gathering cost. The mathematical model is first formulated under the regulations of the Office of the Cane and Sugar Board (OCSB). The -constraints method is then applied to solve the multi-objective mathematical model. The optimal harvest times in the four regions of Thailand (Northern, Central, Eastern, North-Eastern) for crop years 2012/ 13, 2013/14 and 2014/15 are obtained for comparison. 展开更多
关键词 MULTI-objectIVE MATHEMATICAL model SUGARCANE ε -constraint Method
下载PDF
SEMANTIC CONSTRAINT MODELER FOR 2D AND 3D GEOMETRY
3
作者 JIAO Guofang LIU Shenquan CAD Lab.,Institute of Computing Technology Academia Sinica,Beijing 100080,P.R.China 《Computer Aided Drafting,Design and Manufacturing》 1992年第1期46-57,共12页
Design changes for 2D & 3D geometry are the most important features in the process of product design.Constraint modeling for variationl geometry based on geometric reasoning is one of the best approaches for this ... Design changes for 2D & 3D geometry are the most important features in the process of product design.Constraint modeling for variationl geometry based on geometric reasoning is one of the best approaches for this goal.However,it is difficult for the proposed systems to maintain or handle the consistency and completeness of the constraint model of the design objects.To change this situation,a semantic model and its control approach are presented,aiming at the integration of the data,knowledge and method related to design objects.Aconstraint definition system for in- teractively defining the semantic model and a prototype modeler based on the semantic model are also implemented to examine the idea which is extended to 3D geometric design too. 展开更多
关键词 variational geometry constraint-based modeller semantic model object oriented knowledge representation
下载PDF
地方政府间环境约束目标竞争:理论分析与实证检验 被引量:1
4
作者 徐妍 郑冠群 沈悦 《生态经济》 北大核心 2024年第2期201-211,229,共12页
地方政府间协同治理成为中国经济高质量发展的重要环节。论文通过整理275个地级市的政府工作报告中关于环境治理目标约束的内容,将其分为“硬约束”和“软约束”两类;构建地方政府间的演化博弈模型分析其策略行为,研究发现:地方政府选... 地方政府间协同治理成为中国经济高质量发展的重要环节。论文通过整理275个地级市的政府工作报告中关于环境治理目标约束的内容,将其分为“硬约束”和“软约束”两类;构建地方政府间的演化博弈模型分析其策略行为,研究发现:地方政府选择环境治理目标约束的类型与邻近地方政府的政策选择相关,由周边地区污染示范外部效应以及自身经济增长偏好所决定,并且受地区间的经济规模差距的影响。进一步,利用2006—2018年中国275个地级市的数据检验假设中所描述的情况,回归结果显示假设中分析的各种策略都得到验证;分区域的检验,总体上满足假设,对个别在统计上不显著的结论提供了合理的解释。最后,针对前文分析提出了相关的政策建议。 展开更多
关键词 地方政府竞争 环境治理目标约束 地方政府工作报告 演化博弈模型
下载PDF
多目标遗传算法反演对流层大气温湿廓线研究
5
作者 李志乾 王波 +2 位作者 胡桐 仇志金 邹靖 《自动化仪表》 CAS 2024年第2期84-90,共7页
针对地基微波辐射计反演对流层大气温湿廓线完全依赖于历史数据的问题,设计了一种新的反演算法和流程。在对历史探空数据的统计分析基础上,得到各层大气温湿参数经验范围。从经验库中随机构造一条大气温湿廓线作为初值,基于大气微波辐... 针对地基微波辐射计反演对流层大气温湿廓线完全依赖于历史数据的问题,设计了一种新的反演算法和流程。在对历史探空数据的统计分析基础上,得到各层大气温湿参数经验范围。从经验库中随机构造一条大气温湿廓线作为初值,基于大气微波辐射传输模式MonoRTM模型,计算模拟亮温。比较计算值与实测亮温的接近程度,通过更新初值,不断迭代计算,逐步筛选出可行解,并通过设定大气温湿垂直递减率等约束条件,从可行解中约束出帕累托前沿。采用皮尔逊系数加权平均的方法,从帕累托前沿中得到全局满意解。研究结果表明,新建立的基于多目标遗传算法的不完全依赖于历史数据的对流层大气温湿廓线反演模型,有较好的自适应能力和鲁棒性,反演精度高。该模型可以满足微波辐射计在历史气象资料积累匮乏地区的使用需求。 展开更多
关键词 微波辐射计 大气温湿廓线 多目标遗传算法 约束条件 反演模型
下载PDF
基于黑猩猩算法的风光蓄火联合发电系统优化调度
6
作者 陈义成 刘闯 +2 位作者 陈雪飞 曾芮清 陈磊 《黄河水利职业技术学院学报》 2024年第3期35-40,共6页
为了提高风光蓄火联合发电系统的经济效益,降低弃风弃光量,以联合发电系统的收益最大为优化目标,全面考虑系统约束条件,建立了风光蓄火联合发电系统优化调度模型,采用黑猩猩优化算法(Chimp Optimization Algorithm,COA)对调度模型进行... 为了提高风光蓄火联合发电系统的经济效益,降低弃风弃光量,以联合发电系统的收益最大为优化目标,全面考虑系统约束条件,建立了风光蓄火联合发电系统优化调度模型,采用黑猩猩优化算法(Chimp Optimization Algorithm,COA)对调度模型进行求解。将该模型用于我国西南地区某联合发电系统的优化调度,结果表明,通过COA算法对联合发电系统的优化,增加了风电、光伏的出力,这样既提高了联合发电系统的经济效益,同时又减少了对环境的影响。将COA算法与GWO算法、PSO算法和GA算法进行比对,其收敛代数、计算时间、最大发电收益均优于其他对比算法,验证了COA算法在对联合发电系统优化调度时的优势。 展开更多
关键词 联合发电系统 黑猩猩优化算法 调度模型 目标函数 约束条件
下载PDF
面向虚拟装配的零部件精确定位技术研究 被引量:21
7
作者 刘检华 宁汝新 +1 位作者 姚珺 唐承统 《计算机集成制造系统》 EI CSCD 北大核心 2005年第4期498-502,共5页
针对基于几何约束自动识别的零部件精确定位技术中存在的识别效率和准确性不高的问题,提出了一种分层的几何约束自动识别方法。该方法通过装配意图获取、约束优先级判断、约束类型匹配、约束参数匹配、约束位置匹配和约束有效性检查等... 针对基于几何约束自动识别的零部件精确定位技术中存在的识别效率和准确性不高的问题,提出了一种分层的几何约束自动识别方法。该方法通过装配意图获取、约束优先级判断、约束类型匹配、约束参数匹配、约束位置匹配和约束有效性检查等分层判断机制,有效地提高了几何约束自动识别的效率和准确性。相关方法已经在虚拟装配工艺规划系统中进行了验证,并已应用到航天产品的虚拟装配工艺规划中。 展开更多
关键词 虚拟装配 约束识别 约束对象模型 精确定位
下载PDF
CBGAS── 一个基于约束的图形应用支持系统 被引量:3
8
作者 李文辉 王钲旋 庞云阶 《计算机研究与发展》 EI CSCD 北大核心 1997年第10期747-752,共6页
本文首先讨论了约束现有的一些求解技术,并分析了几种约束模型的特点,然后介绍了我们设计的一个基于约束的图形应用支持系统——CBGAS.它不同于一般的基于约束的系统,它是一个具有求解多种约束模型方法的一个统一框架系统,它... 本文首先讨论了约束现有的一些求解技术,并分析了几种约束模型的特点,然后介绍了我们设计的一个基于约束的图形应用支持系统——CBGAS.它不同于一般的基于约束的系统,它是一个具有求解多种约束模型方法的一个统一框架系统,它可用于实现复杂客体的图形应用模拟. 展开更多
关键词 约束 面向目标 图形系统 CBGAS
下载PDF
基于多目标遗传算法的柔性加工线平衡优化 被引量:8
9
作者 刘雪梅 贾勇琪 +1 位作者 兰琳琳 李爱平 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第12期1910-1917,共8页
针对柔性加工线平衡问题,提出了生产线平衡的同时得到工位配置、操作分配与排序的方法.分析了操作间的优先关系约束、操作同工位约束和由机床性能、装夹方式、工件姿态决定的工位对操作限制的约束以及工位能力约束,以机床数量、生产线... 针对柔性加工线平衡问题,提出了生产线平衡的同时得到工位配置、操作分配与排序的方法.分析了操作间的优先关系约束、操作同工位约束和由机床性能、装夹方式、工件姿态决定的工位对操作限制的约束以及工位能力约束,以机床数量、生产线节拍、生产线平衡率为优化目标,建立了优化模型.设计了多目标遗传算法,采用启发式种群生成方法和解码方法,应用帕累托分级和共享函数法对可行解适应度值进行评价,保证解的分布性和均匀性.该方法应用于缸体生产线实例,获得了满意的非支配解集及多个线平衡方案,验证了方法可行有效. 展开更多
关键词 加工线 柔性 线平衡 约束模型 多目标遗传算法
下载PDF
水环境管理模型的结构与约束条件分析 被引量:4
10
作者 李树文 赵秀娟 +1 位作者 赵桂芳 杨卫华 《河北建筑科技学院学报》 2001年第4期30-33,共4页
阐述了水环境管理模型的数学结构、含义、模型的基本类型、约束条件的确定和表述方法 ,指出了水环境管理模型类型的选择应视具体区域和具体条件而异 ,对约束条件的分析与确定应作系统全面地分析 ,以保证决策结果的客观性和合理性。给出... 阐述了水环境管理模型的数学结构、含义、模型的基本类型、约束条件的确定和表述方法 ,指出了水环境管理模型类型的选择应视具体区域和具体条件而异 ,对约束条件的分析与确定应作系统全面地分析 ,以保证决策结果的客观性和合理性。给出了水环境管理模型建立的基本程序。 展开更多
关键词 水环境 管理模型 目标函数 约束条件 模型化
下载PDF
UML类图的形式化及分析 被引量:12
11
作者 韦银星 张申生 曹健 《计算机工程与应用》 CSCD 北大核心 2002年第10期5-7,46,共4页
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表... 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。 展开更多
关键词 UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象
下载PDF
复杂工程柔性建模方法研究 被引量:1
12
作者 俞国燕 郑时雄 孙延明 《机床与液压》 北大核心 2002年第2期40-41,153,共3页
本文在系统分析约束网络这种柔性建模方法的基础上,重点研究了如何将约束网络转化为一种动态的、高柔性的计算机模型,提出结合面向对象与数据库技术来建立复杂工程的柔性计算机模型,其应用取得了较好的效果。
关键词 柔性建模 约束网络 面向对象 计算机模型 产品设计 并行工程
下载PDF
支持业务流程管理的组织建模及约束描述 被引量:4
13
作者 朱海平 王忠浩 吴军 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第11期11-14,共4页
针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模.为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这... 针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模.为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类.给出了业务流程过程模型和组织元模型的集成实现过程,从而有利于描述和分析工作流驱动的动态组织行为. 展开更多
关键词 业务流程管理 组织建模 组织约束 对象约束语言
下载PDF
流域水电站群短期优化调度的均匀用水最小模型 被引量:4
14
作者 陈森林 万俊 +1 位作者 刘子龙 乐玉华 《水电能源科学》 1999年第3期9-12,共4页
根据流域水情及电网调度特点,提出了水电站群短期优化调度的均匀用水最小目标函数,并在考虑实际运行的各种约束因素的情况下,建立了相应的优化调度模型和提出了优化算法.实践表明,该模型优化效益显著.
关键词 均匀用水 目标函数 数学模型 优化调度 水电站群
下载PDF
语义特征造型中对象族模型研究 被引量:2
15
作者 刘宪国 孙立镌 +1 位作者 王其华 张辉 《计算机科学》 CSCD 北大核心 2011年第3期286-289,共4页
提出了一种新的对象族模型,即陈述式对象族模型。定义了陈述式对象族模型,给出了模型的几何结构和拓扑结构,通过约束详细说明了特征的语义,以约束图的形式给出了该模型中特征的表示,给出了模型的语法描述。通过实例验证了模型的有效性,... 提出了一种新的对象族模型,即陈述式对象族模型。定义了陈述式对象族模型,给出了模型的几何结构和拓扑结构,通过约束详细说明了特征的语义,以约束图的形式给出了该模型中特征的表示,给出了模型的语法描述。通过实例验证了模型的有效性,克服了传统的基于历程建模的不足,提高了CAD建模设计效率,降低了设计成本。 展开更多
关键词 对象族 特征造型 几何约束 拓扑约束
下载PDF
模式语义链元建模及其应用 被引量:1
16
作者 尹剑飞 郭荷清 彭新一 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第3期50-54,共5页
大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模... 大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模方法.通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式,并应用UML动作语义和元模型继承实现模式自动生成及转换.该方法为实现一般设计意图层次上的大粒度模型转换提供了有效支持. 展开更多
关键词 模式语义链 统一建模语言 对象约束语言 设计意图 模型转换 模式自动生成
下载PDF
对象语义理论和行为约束推理 被引量:12
17
作者 冯玉琳 李京 黄涛 《计算机学报》 EI CSCD 北大核心 1993年第11期823-838,共16页
本文基于时序模型观点建立对象语义理论,将对象定义为对象操作、对象属性和对象踪迹的集合,并由此给出对象继承、对象复合等概念的语义解释,对象类型是满足一组对象约束的同类对象的集合,有两类不同的对象约束:状态约束表示对象属性之... 本文基于时序模型观点建立对象语义理论,将对象定义为对象操作、对象属性和对象踪迹的集合,并由此给出对象继承、对象复合等概念的语义解释,对象类型是满足一组对象约束的同类对象的集合,有两类不同的对象约束:状态约束表示对象属性之间的关联,而时序约束则表示事件操作之间的时序关联,文章最后用例子表明对象约束推理的应用。 展开更多
关键词 行为约束推理 对象语义理论
下载PDF
可视化UML模型验证环境研究 被引量:2
18
作者 付茂洺 王悠 《电子科技大学学报》 EI CAS CSCD 北大核心 2010年第2期289-292,共4页
针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降... 针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。 展开更多
关键词 对象约束语言 规约 UMIAKS 验证
下载PDF
跟踪对象族模型拓扑结构变化研究 被引量:1
19
作者 孙立镌 刘宪国 +1 位作者 于春风 高尚民 《计算机科学》 CSCD 北大核心 2010年第12期255-258,共4页
提出了跟踪对象族模型拓扑变化的新算法,以建立参数和拓扑结构之间的关系,计算参数的临界值,确定模型的依赖实体,计算出模型参数的稳定区间和参数区间,最终系统准确地跟踪对象族模型拓扑结构的变化。该算法运用于自主研发的HUST-CAID系... 提出了跟踪对象族模型拓扑变化的新算法,以建立参数和拓扑结构之间的关系,计算参数的临界值,确定模型的依赖实体,计算出模型参数的稳定区间和参数区间,最终系统准确地跟踪对象族模型拓扑结构的变化。该算法运用于自主研发的HUST-CAID系统中,提高了系统的智能性,为设计者确定参数范围提供了依据。 展开更多
关键词 对象族 参数模型 拓扑约束
下载PDF
基于Kriging模型和两目标约束应对策略的代理优化算法 被引量:7
20
作者 张建侠 马义中 +1 位作者 张延静 欧阳林寒 《计算机集成制造系统》 EI CSCD 北大核心 2018年第12期3001-3007,共7页
为了解决包含黑箱约束的复杂工程系统的优化设计问题,提出一种基于Kriging模型和两目标约束应对策略的代理优化算法。该算法将改进目标函数的期望改进准则和刻画可行域边界的可行性概率准则同时作为优化目标,再从得到的Pareto集中选取... 为了解决包含黑箱约束的复杂工程系统的优化设计问题,提出一种基于Kriging模型和两目标约束应对策略的代理优化算法。该算法将改进目标函数的期望改进准则和刻画可行域边界的可行性概率准则同时作为优化目标,再从得到的Pareto集中选取新试验点,不仅提高了新试验点选取的目的性也使新试验点兼具探索最优解和开发可行域边界的能力。最后,通过两个数学算例和一个工程算例将所提算法与已有算法进行比较,计算结果表明基于两目标约束应对策略的代理优化算法具有更高的优化精度、效率和稳健性。 展开更多
关键词 黑箱约束 KRIGING模型 代理优化算法 两目标约束应对策略 期望改进 可行性概率
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部