搜索筛选:
搜索耗时0.9288秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：郭忠伟,,
来源： 年份：2009
目前软件工业界面临着产品功能越来越复杂的压力。软件工程的一个主要目标就是在软件复杂性增加的情况下仍能构造正确可靠的系统,达到这一目标的途径之一是形式化方法。形式...
[期刊论文] 作者：郭忠伟,张中廷,郑如冰,王振杰,,
来源：兵工自动化 年份：2009
一种基于MIC的战场图像快速角点提取方法,先对低分辨率图像进行运算并提取出候选角点,在恢复图像的高分辨率后,对候选角点周围相关像素点进行进一步计算,将遗漏的角点也列入候选角点,减少原MIC算法由低分辨率到高分辨率的变化过程中角点的漏检概率,然后用梯度的......
[期刊论文] 作者：郭忠伟,李洪峰,马仁安,张少兵,
来源：兵工自动化 年份：2009
研究基于HLA的炮兵群指挥所成员的开发，并通过MAK RTI和VC实现。其步骤包括：定义RTI代理类和联邦成员代理类的对象，创建联邦执行，加入联邦执行，声明公布／定购关系，声明时间推进策略，......
[期刊论文] 作者：尹立勇,崔志杰,郭忠伟,王迪,王杨,
来源：中国临床医学 年份：2009
轻度认知障碍（mild cognitive impairment，MCI）是介于正常衰老与痴呆之间的认知功能缺损状态，以获得性认知功能障碍，但不伴有显著的日常生活能力下降为特征。MCI患者每年约有10％～15％......
[期刊论文] 作者：邹盛荣,郭忠伟,彭昱静,周塔,顾爱华,卫丽,
来源：计算机时代 年份：2009
形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期...
[期刊论文] 作者：邹盛荣 郭忠伟 彭昱静 周 塔 顾爱华 卫 丽,
来源：计算机时代 年份：2009
摘要：形式化B方法是建立在严格数学基础上的软件开发方法，它用抽象机器符号来描述软件的规格说明；UML是面向对象的建模技术。文章提出一种将B的實现转换成UML类图的机制，从而以期实现B方法到面向对象编程的无缝连接，并结合免疫系统给出了应用实例。 关键词：形式化......
[期刊论文] 作者：邹盛荣, 彭昱静, 郭忠伟, 刘春秋, 周塔, 卫丽, 顾爱,
来源：现代电子技术 年份：2009
软件需求获取是软件建模和分析的基础，传统的软件需求建模方法主要有2个重大的缺陷：一是非形式化的需求描述常导致需求的歧义性和不一致性，因而难以确认和验证；二是易变性。针对......
[期刊论文] 作者：顾爱华,赵泉,彭昱静,周塔,卫丽,郭忠伟,邹盛荣,
来源：宁波职业技术学院学报 年份：2009
给出了基于混沌粒子群优化算法（CPSO）背包问题的一种新的求解方法。首先将背包问题对应到粒子群算法中的位置与速度问题的表示，然后为了抑制早熟停滞现象，将混沌理论引进优化，使得......
相关搜索：
