期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
WTO的基本贸易规则和环境保护的约束冲突分析 被引量：5
1
作者 任建兰 吴军 《环境保护》 CAS CSSCI 北大核心 2001年第12期4-8,共5页
本文主要从三方面论述了WTO的基本贸易规则和环境保护的关系:多边贸易制度中以环境为目标的贸易措施与国际贸易规则的冲突;多边环境协议中的贸易条款与国际贸易规则的关系;环境措施对市场准入的影响以及消除贸易壁垒带来的环境影响。
关键词 国际贸易规则 环境保护 WTO 基本贸易规则 约束冲突
下载PDF
协同设计中定量化约束求解方法 被引量：4
2
作者 王志亮 张友良 汪惠芬 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1114-1121,共8页
通过对约束满足与约束冲突的分析 ,提出了约束求解的定量化策略 基于变量不确定性 ,量化了约束满足程度与约束冲突程度 ,解决了约束求解过程中的优先权问题 ;给出了约束变化量及关联函数 ,为约束求解确立了具体的目标和实施方法 ,实现... 通过对约束满足与约束冲突的分析 ,提出了约束求解的定量化策略 基于变量不确定性 ,量化了约束满足程度与约束冲突程度 ,解决了约束求解过程中的优先权问题 ;给出了约束变化量及关联函数 ,为约束求解确立了具体的目标和实施方法 ,实现了约束求解过程的有序搜索 定量化约束求解策略不仅实现了对约束的有序及有效求解 ,而且真正地实现了在上游约束求解过程中定量地考虑下游约束求解问题 最后 。 展开更多
关键词 协同设计 约束求解 定量化 约束满足 约束冲突
下载PDF
OCL约束验证与实现的方法 被引量：1
3
作者 罗清胜 《计算机工程与设计》 CSCD 北大核心 2010年第6期1264-1266,1270,共4页
为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码... 为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码根据设计的代码模式插入到Java程序中,对Java解析器作了修改。最后,实验结果表明了该方法的可行性。 展开更多
关键词 对象约束语言 约束冲突 约束验证 代码模式 Java解析器
下载PDF
配置设计的分级约束满足问题求解方法研究
4
作者 袁长峰 王万雷 +1 位作者 刘晓冰 陈燕 《机械科学与技术》 CSCD 北大核心 2008年第4期481-485,共5页
从分析配置设计过程中约束对变量的不同作用程度入手,提出将配置求解过程作为分级约束满足问题进行处理,对约束进行分级处理,赋予不同的约束水平,以确定配置求解过程中约束满足的顺序。通过引入"活动变量"和"活动约束&qu... 从分析配置设计过程中约束对变量的不同作用程度入手,提出将配置求解过程作为分级约束满足问题进行处理,对约束进行分级处理,赋予不同的约束水平,以确定配置求解过程中约束满足的顺序。通过引入"活动变量"和"活动约束",对有向图中结点和弧赋予新的含义,构建了分级约束满足问题网络,采用一致性方法和基于图的传播技术相结合的方法进行网络的一致性检验和约束的传播,并提出了分级约束满足问题网络在求解过程中约束冲突的解决方法,形成了配置设计的分级约束满足问题求解方法,较好地解决了变量受多个不同强度约束条件作用时的合理赋值和约束冲突的问题。并以捆钞机产品配置为例,验证了分级约束满足问题求解方法的可行性。 展开更多
关键词 配置设计 分级约束满足问题 分级约束满足问题网络 约束冲突
下载PDF
在带OCL约束的状态图下测试线索的自动生成
5
作者 曾一 徐攀登 +2 位作者 柴艳欣 邹明 丁娜 《计算机应用研究》 CSCD 北大核心 2011年第3期988-990,994,共4页
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不... 提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。 展开更多
关键词 对象约束语言 可扩展标记语言 类图 状态图 测试线索 约束冲突
下载PDF
应用角色访问控制的工作流动态授权模型 被引量：16
6
作者 裘炅 谭建荣 +1 位作者 张树有 马晨华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第7期992-998,共7页
形式化地描述了角色、用户、权限、任务单元、授权策略、授权约束等实体及其相互间的关系 ,提出将授权约束分为需求角色约束、需求用户约束、拒绝角色约束及拒绝用户约束 ,并在此基础上建立了授权约束的冲突检测规则 实现了授权流与工... 形式化地描述了角色、用户、权限、任务单元、授权策略、授权约束等实体及其相互间的关系 ,提出将授权约束分为需求角色约束、需求用户约束、拒绝角色约束及拒绝用户约束 ,并在此基础上建立了授权约束的冲突检测规则 实现了授权流与工作流的同步 ,并通过授权约束的冲突检测确保了工作流的有效执行 展开更多
关键词 基于角色访问控制 工作流 动态授权 授权约束 授权约束冲突检测
下载PDF
面向柔性客户需求的产品变型设计方法 被引量：8
7
作者 徐新胜 李丹 +2 位作者 严天宏 陶西柱 祝天荣 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第3期394-399,共6页
针对柔性的客户定制需求,提出充分重用零件实例的产品变型设计方法.通过分析零件实例重用引起的尺寸约束冲突,提出基于尺寸变化概率和零件变型需求的尺寸约束冲突转移与延迟解决方案,并给出了尺寸变化概率和零件变型需求的统计模型;然... 针对柔性的客户定制需求,提出充分重用零件实例的产品变型设计方法.通过分析零件实例重用引起的尺寸约束冲突,提出基于尺寸变化概率和零件变型需求的尺寸约束冲突转移与延迟解决方案,并给出了尺寸变化概率和零件变型需求的统计模型;然后针对零件实例重用引起的客户需求损失提出定制特征指标的补偿作用,并以田口质量损失函数为基础构建了改进的客户需求损失综合模型.最后通过一个实例进行了验证,结果表明在产品变型设计过程中,选择对客户需求影响小的零件实例作为重用对象,可以实现在满足客户需求的同时有效地降低定制产品的成本、缩短交货期. 展开更多
关键词 柔性客户需求 零件重用 尺寸约束冲突 尺寸变化概率 变型设计
下载PDF
工作流管理系统业务约束的研究 被引量：1
8
作者 邹畅 曹化工 《计算机工程与科学》 CSCD 2002年第3期105-107,共3页
目前 ,工作流管理系统得到了广泛的应用 ,但现有的工作流管理系统只能模拟业务流转逻辑 ,缺少对业务约束的模拟。鉴此 ,本文提出了工作流管理系统业务约束的概念 ,建立了业务约束模型 ,并给出了整合业务约束和业务流转逻辑的方案 。
关键词 工作流管理系统 业务约束 业务约束冲突 计算机
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部