简介：系统内部要素之间的相互联系由可达矩阵表示，骨架矩阵是它的最简化表示。在相似关系下．一个可达矩阵的，骨架矩阵是唯一的（即所有骨架矩阵相似且具有相同个数的＂１＂元素）。

简介：

简介：

简介：

简介：为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.

简介：据国家统计局提供的最新数字,1993我国国内生产总值突破3万亿元,按可比价格计算,比上年增长13％左右。国家统计局新闻发言人叶震预测说,今年国民经济增长速度有可能在10％左右。农村经济进一步发展。粮、油、肉、水产品产量突破历史记录。乡镇企业快速发展,生产和效益均比上年同期增长四成以上。工业增加值按可比价格计算比上年增长了19.5％,经济效益有所提高。前11个月国有工业企业实现利税比上年同期增长了

简介：话说黄帝选生肖,动物们纷纷赶去赴会。龙浑身金鳞,鹰爪虎蹄,但美中不足,头项光秃秃。它一跃出水面,就瞧见奔走的公鸡,全身五彩斑斓,头上长着一对好看的角,不由怦然心动,便上前求借。公鸡摇头道:“哥哥,

简介：

简介：曾几何时，一个小品里出了一句名言——不怕不敢做，只怕不敢想。这话看似肤浅，但寻思一番，却又觉得有些道理，至于什么道理，就没人细究了。话说若干年后，美国的梦工厂推出了一部叫好又叫座的3D巨制——《驯龙记》，讲的是人类像养猫养狗一样，把各种吐火吐毒液的、锯齿獠牙的龙当宠物养的故事，倒是让小编我不禁感慨，这不就是“不怕不敢做，只怕不敢想”的动画版吗？真是“说者无意，听者有心”，敢情我们的创意被外国人拿去赚钱了……哈哈，小编我不发牢骚了，下面我就向同学们隆重介绍这部不容错过的好电影!

简介：四季依旧在照常运行，我们的指尖轻轻地弹跳着，梦中的月宫，曾经模糊了人们遥远的记忆，神舟环绕。千年的飞天神话恍惚变成了现实。

简介：可达性广泛应用于交通规划、城市规划、地理学等多个领域的研究。然而可达性的概念在不同的研究问题中定义的侧重方向不同，度量方法和指标也存在差异。本文以国内外相关研究为基础，对可达性的概念进行讨论，将可达性划分为土地利用、交通、时间限制和个人四个因素，并对常用的计算方法进行总结。

简介：天昏地黑蛟龙移，雷惊电激雄雌随。清泉百丈化为土，鱼鳖枯死吁可悲。注释：1．龙移，诗中用龙之移动来形容一次地质运动。2．蛟龙，古代传说中的动物。相传蛟兴洪水，龙能行云布雨。

简介：剧情简介小月的母亲生病住院了,父亲带着她与四岁的妹妹小梅到乡间居住。她们对那里的环境都感到十分新奇,也发现了很多有趣的事情。她们遇到了很多小精灵,来到属于小精灵的环境中,看到了精灵世界中很多奇怪的事物,更与一只大大胖胖的龙猫成为了朋友。龙猫与小精灵们利用它们的神奇力量,为小月与妹妹带来了很多奇观,令她们大开眼界。

简介：“吾见老子，其犹龙乎？”——孔子有一个幽灵徘徊在中国和外国的传说里，那就是龙。但中国的龙和西方的龙大不一样。在我们的祖先眼里，龙很神圣。“鳞虫之灵者日龙，介虫之灵者日龟，羽虫之灵者日凤，毛虫之灵者日麟，裸虫之灵者日圣人。”鳞虫就是长鳞的动物，胖头鱼、眼镜蛇什么的，龙是它们的总领导；裸虫就是浑身光光没有毛的东西。

简介：“我给你一个任务，请你去采访香香龙。”《森林日报》的猴主编对美美兔说，“你要弄清楚她身上为什么那么香。”

简介：

简介：糖龙，顾名思义，就是用糖做的龙。那可是一条生动的龙!一想起它，我眼前就会跃出一条晶莹、腾飞的“巨龙”。

简介：

简介：他叫月亮龙，住在月球上。每天晚上，他会驾驶一艘特别的飞船来到地球上。月亮龙会用一个巨大的长得像喇叭一样的机器，收集从孩子耳朵里溜出来的各种各样的梦，就像收集从茶壶里冒出来的蒸汽。

简介：笨笨龙不仅笨笨的，还长得很丑，所以小动物们都不喜欢和他玩。可是，笨笨龙像个跟屁虫，老是喜欢跟在大家后面。大家走到哪儿，他跟到哪儿。小动物们就更不喜欢他了。