首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   0篇
综合类   1篇
无线电   2篇
自动化技术   5篇
  2014年   1篇
  2013年   1篇
  2009年   2篇
  2007年   3篇
  2002年   1篇
排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
随着人类社会的发展,人类对于自身健康的研究越来越深入,人工免疫系统也成为了生物信息研究领域的热点.传统的动物实验虽趋于完善,却也出现了研究技术上的难关,研究员们无法通过传统的实验室环境模拟数量化的人体体内环境,更无法用人类活体做实验.这样,就产生了二维的免疫计算机模型,但也并没有完全贴切人体环境的要求.因此,我们利用Java 3D计算机三维模型以及计算机仿真方式来搭建类似于体内真实环境的人体免疫计算机模型,这可以使得人工免疫系统模型更加完善.与培养皿方式的实验相比,计算机模型的实验方式可以用于研究免疫系统智能性,对研究设计新的人工免疫系统方法很有意义.而且计算机模型具有准确性高、误报率低和稳定性好等优点.本文利用Java 3D技术,通过细胞之间的相互作用,加入对流感病毒免疫应答的仿真,结合免疫细胞的参数,模拟临床实验,期望得到一些规律性的结果.  相似文献   
2.
软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.  相似文献   
3.
统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.  相似文献   
4.
形式化B方法到UML类图的转化研究及应用   总被引:1,自引:0,他引:1  
形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。  相似文献   
5.
B语言和方法与Z、VDM的比较   总被引:23,自引:0,他引:23  
邹盛荣  郑国梁 《计算机科学》2002,29(10):136-138
1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:  相似文献   
6.
形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。  相似文献   
7.
王勇  邹盛荣 《计算机科学》2013,40(11):208-210,227
传统的关联规则算法,只考虑了类内的关联性,忽略了类间的相似性特征、高开销的分类过程、耗时的关联过程。提出了数据内间特征模糊贴近分类的数据库约束挖掘算法,其通过数据模糊集间的贴近度描述数据间的一致度,在传统的神经网络挖掘技术中,引入数据融合技术,对类间数据进行分类处理后,对原始挖掘数据的动态特征进行分析获取新的挖掘模型,以在大规模数据库中准确查询目标数据。仿真实验结果表明,算法挖掘稀疏数据集和密集数据集的效率都优于传统的关联规则算法,极大提高了数据库的挖掘效率。  相似文献   
8.
在我们的工作中,B方法已被用在一些极其重要的软件项目中并获得了很大成功.其中有不少应用于生物学方面的成功范例,我们用B方法建立了流感病毒入侵免疫系统因子网络的形式化模型,利用了生物信息学的理念,把免疫系统当成一个网络化的分布式信息系统来研究,以期望通过这样的研究为感疫苗研制、流感诊断和免疫疗法研究提供帮助.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号