期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于有限状态进程的事件约束定义 被引量:5
1
作者 顾庆 陈道蓄 +2 位作者 谢立 韩杰 孙钟秀 《软件学报》 EI CSCD 北大核心 2002年第11期2162-2168,共7页
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词... 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性. 展开更多
关键词 有限状态进程 事件约束定义 软件测试 并发程序 软件开发
下载PDF
DTD约束下的XML树模式查询最小化
2
作者 王梅娟 庞引明 谈子敬 《计算机工程与应用》 CSCD 北大核心 2009年第23期144-148,共5页
目前大部分XML查询语言都使用树模式来匹配待查询的XML文档树以得到所需要的、与模式树相吻合的查询结果,此效率在很大程度上取决于XML模式树的大小,那么尽可能快速地查找并删除查询模式树中的冗余节点就变得十分重要。重点讨论DTD约束... 目前大部分XML查询语言都使用树模式来匹配待查询的XML文档树以得到所需要的、与模式树相吻合的查询结果,此效率在很大程度上取决于XML模式树的大小,那么尽可能快速地查找并删除查询模式树中的冗余节点就变得十分重要。重点讨论DTD约束下树模式的最小化问题,将DTD兄弟约束SC拓展成扩展兄弟约束ESC,使其能够表达DTD约束中的祖先-后代关系;并指出只包含{ESC,/,//,[],*}的查询树模式的最小化问题的复杂度是指数级的,且当模式树是分支受限的时候,其最小化问题的复杂度是多项式时间的;最后给出了一个多项式时间的受限分支的模式树最小化算法。 展开更多
关键词 可扩展标记语言 树模式查询 文档类型定义(DTD)约束
下载PDF
基于O-TREE树表示的总线约束在VLSI/PCB布局中的应用(英文) 被引量:4
3
作者 李煜 张徐亮 虞厥邦 《成都信息工程学院学报》 2005年第3期291-296,共6页
布局是VLSI物理设计的关键环节,采用了O TREE的编码表示方法来解决在超大规模集成电路布局中,具有预定义坐标结群约束模块的布局问题(简称PCA问题)。目前,存在一些成功的算法来解决PCA问题,然而,它们的算法有些复杂,有些耗时。由此提出... 布局是VLSI物理设计的关键环节,采用了O TREE的编码表示方法来解决在超大规模集成电路布局中,具有预定义坐标结群约束模块的布局问题(简称PCA问题)。目前,存在一些成功的算法来解决PCA问题,然而,它们的算法有些复杂,有些耗时。由此提出了一种新的布局算法来解决这个问题,该算法是基于O TREE结构,旨在减少总的运行时间且简便。通过对MCNC的标准例子ami33和ami49上仿真实验表明:与参考文献5提到的结果相比,新算法是可行的并且很有效。它不仅使芯片面积利用率得到改善,而且节约了一半以上的时间开销。 展开更多
关键词 VLSI布局 定义坐标结群(PCA)约束 O-tree表示 模拟退火算法
下载PDF
基于中间件的运行时监测与分析框架 被引量:2
4
作者 刘永刚 李敏 +1 位作者 王千祥 梅宏 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期124-128,共5页
运行时刻软件的监测与分析不仅可以提高软件质量,也是软件自适应性的基础.本文提出了基于模式的声明式约束描述方法,以此为基础,在J2EE中间件PKUAS上开发了运行时监测与分析框架,其最大的特点是探针的灵活部署和监测面向业务逻辑... 运行时刻软件的监测与分析不仅可以提高软件质量,也是软件自适应性的基础.本文提出了基于模式的声明式约束描述方法,以此为基础,在J2EE中间件PKUAS上开发了运行时监测与分析框架,其最大的特点是探针的灵活部署和监测面向业务逻辑的约束.最后,阐述了框架的实现和相关实验的效果. 展开更多
关键词 运行时监测分析 约束描述 约束定义语言 中间件 监测框架
下载PDF
基于语义扩展的空间信息服务描述模型 被引量:1
5
作者 高双 游兰 +1 位作者 桂志鹏 吴华意 《计算机应用》 CSCD 北大核心 2015年第A01期178-182,共5页
空间信息服务是Web服务在空间信息领域的应用,其元数据信息通常采用Web服务描述语言(WSDL)规范描述。然而,WSDL规范着重描述服务元数据的语法形态而欠缺语义描述,着重描述服务的功能特性而欠缺使用细节描述,尤其缺乏针对空间信息服务的... 空间信息服务是Web服务在空间信息领域的应用,其元数据信息通常采用Web服务描述语言(WSDL)规范描述。然而,WSDL规范着重描述服务元数据的语法形态而欠缺语义描述,着重描述服务的功能特性而欠缺使用细节描述,尤其缺乏针对空间信息服务的约束表达,导致空间信息服务难以使用和推广,降低了用户体验。针对这种情况,提出一种基于WSDL语义扩展的轻量级空间信息服务描述模型。该模型在WSDL规范的基础上,针对常见的空间信息服务处理数据类型,扩展其语义描述和约束定义,丰富空间信息服务的描述信息,辅助空间信息服务的使用。在模型的基础上,设计了空间信息服务的使用方法,并在空间信息服务链可视化建模平台Geo Chaining中进行了实验验证,不仅提高了空间信息服务的执行成功率,还降低了空间信息服务的使用难度。 展开更多
关键词 WEB服务描述语言 空间信息服务 描述模型 语义扩展 约束定义
下载PDF
连续突变系统动力学建模
6
作者 张志勇 王毅 南宫自军 《导弹与航天运载技术》 北大核心 2012年第1期18-20,共3页
在虚拟样机仿真分析软件ADAMS(Automatic Dynamic Analysis of Mechanical Systems)建模中,若某一构件的约束条件在运动过程中发生连续突变则难以建立与物理现象相符的系统模型。基于多体动力学对这一问题进行分析,针对同一约束在运动... 在虚拟样机仿真分析软件ADAMS(Automatic Dynamic Analysis of Mechanical Systems)建模中,若某一构件的约束条件在运动过程中发生连续突变则难以建立与物理现象相符的系统模型。基于多体动力学对这一问题进行分析,针对同一约束在运动过程中发生连续突变现象提出了预定义约束的策略。实例仿真表明:预定义约束的策略能够模拟实际物理现象,实现系统的全局仿真并得到与试验相符的结果曲线。 展开更多
关键词 多体动力学 变结构系统 约束分析 定义约束
下载PDF
Outage Probability Minimization for Cognitive Relay Network Under Interference Power Constraints
7
作者 岳文静 郑宝玉 +1 位作者 孟庆民 谢培中 《Transactions of Tianjin University》 EI CAS 2011年第3期208-214,共7页
A cognitive relay network model is proposed, which is defined by a source, a destination, a cognitive relay node and a primary user. The source is assisted by the cognitive relay node which is allowed to coexist with ... A cognitive relay network model is proposed, which is defined by a source, a destination, a cognitive relay node and a primary user. The source is assisted by the cognitive relay node which is allowed to coexist with the primary user by imposing severe constraints on the transmission power so that the quality of service of the primary user is not degraded by the interference caused by the secondary user. The effect of the cognitive relay node on the proposed cognitive relay network model is studied by evaluating the outage probability under interference power constraints for different fading environments. A relay transmission scheme, namely, decode-and-forward is considered. For both the peak and average interference power constraints, the closed-form outage expressions are derived over different channel fading models. Finally, the analytical outage probability expressions are validated through simulations. The results indicate that the proposed model has better outage probability than direct transmission. It is also found that the outage probability decreases with the increase of interference power constraints. Meanwhile, the outage probability under the average interference power constraint is much less than that under the peak interference power constraint when the average interference power constraint is equal to the peak interference power constraint. 展开更多
关键词 cognitive radio relay networks outage probability power control
下载PDF
A QUADRATIC OBJECTIVE PENALTY FUNCTION FOR BILEVEL PROGRAMMING 被引量:2
8
作者 JIANG Min MENG Zhiqing +1 位作者 SHEN Rui XU Xinsheng 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2014年第2期327-337,共11页
The bilevel programming is applied to solve hierarchical intelligence control problems in such fields as industry, agriculture, transportation, military, and so on. This paper presents a quadratic objective penalty fu... The bilevel programming is applied to solve hierarchical intelligence control problems in such fields as industry, agriculture, transportation, military, and so on. This paper presents a quadratic objective penalty function with two penalty parameters for inequality constrained bilevel programming. Under some conditions, the optimal solution to the bilevel programming defined by the quadratic objective penalty function is proved to be an optimal solution to the original bilevel programming. Moreover, based on the quadratic objective penalty function, an algorithm is developed to l^nd an optimal solution to the original bilevel programming, and its convergence proved under some conditions. Furthermore, under the assumption of convexity at function without lower level problems is defined and lower level problems, a quadratic objective penalty is proved equal to the original bilevel programming. 展开更多
关键词 ALGORITHM bilevel programming penalty function quadratic objective.
原文传递
Incorporating boundary constraints to predict mean velocities in turbulent channel flow 被引量:4
9
作者 WU You CHEN Xi +1 位作者 SHE ZhenSu HUSSAIN Fazle 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS 2012年第9期1691-1695,共5页
We derive exact near-wall and centerline constraints and apply them to improve a recently proposed LPR model for finite Reynolds number(Re) turbulent channel flows.The analysis defines two constants which are invarian... We derive exact near-wall and centerline constraints and apply them to improve a recently proposed LPR model for finite Reynolds number(Re) turbulent channel flows.The analysis defines two constants which are invariant with Re and suggests two more layers for incorporating boundary effects in the prediction of the mean velocity profile in the turbulent channel.These results provide corrections for the LPR mixing length model and incorrect predictions near the wall and the centerline.Moreover,we show that the analysis,together with a set of well-defined sensitive indicators,is useful for assessment of numerical simulation data. 展开更多
关键词 TURBULENCE channel flow mean velocity asymptotic analysis
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部