•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有11条符合LI Shixian的查询结果,以下是第1-10项 搜索用时 58 毫秒
1 [2] 下一页 » 末  页»
1.
下载全文  总被引:1,自引:0,他引:1
本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处理,我们采用了VDM的“出口”机制.  相似文献
2.
下载全文  总被引:1,自引:0,他引:1
描述一种多分辨率体视协同算法.该算法用二分正交小波作多分辨率分解,采取边匹配边重建,二者互相修正协同进行的策略,并以神经网络主要是Hopfield网络为其实现形式.实验结果表明.该算法是合理和有效的.  相似文献
3.
下载全文  总被引:1,自引:1,他引:0
提出一种新的边缘检测方法,称为弱正则化法.它包括图象的弱正则化重建(WRR)和边缘提取(EF)两级处理.WRR的特点是在重建泛函中引入一个受控平滑性稳定子,使平滑性约束的强弱依图象各处边缘存在的可能性而调整.EF主要是一个边缘修剪算法,它通过一个度量边缘局域几何结构合理性的代价函… …   相似文献
4.
下载全文  总被引:1,自引:1,他引:0
本文给出了一个两级迭代体视匹配算法.算法以单个△2G通道输出中那些可因相似的方向连接成段的零交为匹配基元.第一级受体视Marr-Poggio内聚性的视差平滑性规则的控制,第二级由第一级的输出驱动并受体视Mayhew-Frisby形状连续性的视差连续性规则控制,从而使匹配结果具有在… …   相似文献
5.
下载全文  总被引:1,自引:0,他引:1
一、引言 人们对结构化开发方法研究和使用了多年,发现软件需求分析面临的最主要的难是[1] ·系统分析员可能工作在陌生的应用领域,但又要在短时间内理解所开发系统的整个问空间。  相似文献
6.
  总被引:1,自引:0,他引:1
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算… …   相似文献
7.
下载全文  总被引:1,自引:0,他引:1
自治软件实体分布在开放、动态和多变的互联网中,它们的协作构成网构软件的基础。动态连接模式是网构软件重要的协作方式。在该模式下,如何选择具有所需质量的软件实体,是一个非常困难的任务。介绍了运行时测试和自动化测试技术,提出网构软件的自动化运行时测试方法。总结网构软件中用于软件实体的发… …   相似文献
8.
  总被引:1,自引:0,他引:1
UML2(unified modeling language2.x)的规范为其交互定义了一种基于事件发生轨迹的语义,弥补了之前版本在语义上的欠缺。但是此语义是用自然语言(英语)描述的,不够精确、不一致,并且很多细节解释得不够清楚和完备。利用集合论以组合定义的方式形式化语义,并且证… …   相似文献
9.
  
证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓… …   相似文献
10.
  
由于组合应用需求超越了传统事务,为了保证组合服务事务的性质,不可避免地需要合适的失败恢复机制,以提供持续的和可靠的执行语义.提出一种组合事务恢复模型,采用向前、向后和替代恢复的综合事务恢复策略实现失败恢复的动态编程,将失败恢复策略从业务流中分离出来建模.与高级事务聚合模式相对应,… …   相似文献
1 [2] 下一页 » 末  页»