首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 141 毫秒
1.
钱振江  刘苇  黄皓 《计算机工程》2012,38(11):234-238
对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化设计和验证的发展趋势,从操作系统模型设计、验证工具、代码实现和验证重用等方面给出形式化设计和验证的思路。  相似文献   

2.
随着数字城市和智慧城市的建设发展,建筑信息模型(BIM)和地理信息系统(GIS) 的集成被广泛研究和应用。目前的集成研究主要是通用数据标准IFC 和CityGML 之间的空间和 语义转换,但由于应用领域和空间尺度等差异,存在信息错误和丢失、几何语义信息耦合度低、 应用拓展性差等问题。为此提出了一种兼顾三维实体对象和地理空间对象的三维城市数据模型, 研究了BIM 和GIS 的空间和语义数据的提取、处理和转换方法,设计了BIM 和三维GIS 的集 成应用框架并在三维可视化平台上进行验证和初步应用。该方法可实现BIM和GIS 信息在几何、 语义、精度上的完全融合,避免了传统的数据转换带来的信息缺失,在多尺度的空间和语义信 息分级存储和加载显示方面存在着优势,有利于实现大规模、高精度的建筑和城市信息的高效 集成。  相似文献   

3.
我国旅游业是快速发展的行业之一,已成为经济体系中不可或缺的部分。为了更好提高景区的服务质量和用户的旅游体验,实现可持续发展,文章利用情感分析和文本主题特征构建景区画像和用户画像,并建立景区画像和用户画像之间的耦合关系。景区画像和用户画像的应用可以帮助旅游企业更好了解用户和目的地的特征和需求,提高旅游产品和服务的个性化和精准度,增强企业的市场竞争力和发展潜力。  相似文献   

4.
面向对象的系统分析和设计   总被引:2,自引:0,他引:2  
面向对象的分析和设计就是把面向对象的方法运用到软件工程的分析和设计阶段,从而建立更加适应当今庞大、复杂且易变的系统的模型。 一、分析和设计的 目的和任务 分析和设计的主要目的是完成对问题空间的分析和对系统的建模。具体地说,它的任务是描述系统中的对象,对象的属性和操作,对象的动态特性,对象间的构造关系、映射关系和通信关系,从而建立系统的静态结构和动态活动模型。 分析和设计的任务是增进软件生产效率,提高质量和加强可维护性。  相似文献   

5.
Minkowski和是计算几何和机器人学研究重要内容之一,在几何推理、路径规划和计算机辅助制造等领域有着重要的作用.经过近三十年的发展,研究人员已经给出了一些精确有效的Minkowski和计算方法.本文介绍Minkowski和的基本概念、性质和主要计算方法,说明了Minkowski和计算的要点和关键环节,对主要计算方法从可行性、精度、效率和适用性四个方面进行了对比分析,综述了Minkowski和计算的研究进展情况,最后讨论了目前存在的主要问题并指出下一步深入研究的思路和方向,为Minkowski和计算的理论研究和实践应用提供了有价值的参考.  相似文献   

6.
为了快速准确的计算分子的体积和表面积参数,将构成分子的元素和化学键作为贡献单元,基于分子的体积和表面积由相应的元素和化学键的体积和表面积加和得到的思想,提出了估算化合物分子体积和表面积的元素和化学键贡献法。元素视作球体,其体积和表面积由van der Waals半径计算得到,在1412种有机物分子体积和表面积数据的基础上,回归得到化学键对分子体积和表面积的贡献值。结果表明,元素和化学键贡献法计算的分子体积和表面积的平均相对误差分别为2.02%、2.84%,不同化合物类型的平均相对误差均小于5%。与其它分子体积和表面积方法相比较,本方法更简单、快速、准确,应用范围更广。  相似文献   

7.
信息系统的结构与运营机制研究综述   总被引:2,自引:0,他引:2  
文章对信息系统结构和行为的研究现状、进展和不足进行了分析和综述,剖析了当前具有典型意义的信息系统结构模式和行为特征;进而进一步研究了信息系统的逻辑结构,提出了一种信息系统的层次逻辑体系结构模型,刻画了该模型的概念框架、基本组成和工作机制,该模型的价值和意义在于突破了现有结构模型在层次视野、技术和业务逻辑的集成性、系统模型之间的相关性和协同机制、结构和行为模式的适用性等方面的限制,提供了一个动态、集成和开放的信息系统逻辑结构和工作机理分析、设计和实践模式的框架。  相似文献   

8.
石油和化学工业是我国重要的能源和基础原材料工业,也是国民经济的重要支柱产业,与国民经济各领域和人民生活密切相关;石油和化学工业还肩负着为国防工业提供高技术材料和常规战略物质的重任。简述了石油和化工行业总体情况,分析了石油和化工自动化现状,在此基础上提出了石油和化工自动化的发展要点,以期对行业有一定的参考和指导作用。  相似文献   

9.
基于VC++的短信和邮件互发系统的设计   总被引:1,自引:1,他引:0  
介绍短信和邮件相关服务业务模型以及短信和邮件互发的一系列相关功能,提出了手机邮件的定义和实现方法.在此基础上,运用标准VC 、相关网络协议和数据库技术实现短信和邮件的互发,利用SMTP协议发送邮件、POP3协议接收邮件,同时声明和定义类和对象.系统主要包括用户和手机邮件的交互、手机邮件业务和信息存储等一系列功能,最后进行了测试和分析.  相似文献   

10.
现如今我国已经进入信息化和科技化的新时代,同时,计算机技术和信息技术也得到了很大的发展,与此同时,随着科学技术的进一步发展和创新,计算机技术和信息技术的联用更是在生活和工作中带来新的中国大的变革,是我们的生活、工作和学习更加的便捷和高效。本文就计算机和信息技术概括性的浅谈,深入分析了计算机技术的核心功能和信息技术的特点,并对计算机技术与信息技术的联用进行了重点讨论。  相似文献   

11.
吴一全      周建伟 《智能系统学报》2020,15(3):435-444
为进一步加强布谷鸟算法的搜寻能力并提升收敛速度,加快对算法的研究与应用进程,综述了布谷鸟算法的原理、研究概况和其他同类群体智能优化算法的比较及发展趋势。首先给出了算法的基本模型和实现步骤;然后重点阐述了基于发现概率和步长控制量、基于自适应步长、基于混沌理论、与其他算法混合、基于种群特征和种群变异、结合优化策略及基于种群多样性等方面的改进方法,总结了算法的主要应用领域及其进展;随后将其与遗传算法、蚁群优化算法、粒子群优化算法及人工蜂群优化算法的优点、缺点及适用性诸方面进行了对比;最后指出了布谷鸟搜索算法尚存在的缺陷并对进一步的研究方向进行了展望。  相似文献   

12.
The simulation game, which involves the interaction of a geological model, a set of rules, and teaching materials, is used to teach students and professional people attending refresher courses the techniques of mineral exploration. Using geochemical and geophysical measurements, including detailed borehole logs, the students plan an exploration strategy, control the exploration budget, discover the structure and geology of the area represented by the model, outline probable mineralizations, and evaluate the ore reserves. They choose the borehole locations, the type of drilling machine, and the drilling depth, taking continually into consideration the financial aspects.The model is multidisciplinary, involving stratigraphy, sedimentology, structural geology, tectonics, climatic conditions, metallogeny, mineralogy, and petrology. Certain of these characteristics are expressed as complex mathematical functions, which are solved by the program. The computer program also prints out the detailed borehole logs, controls the budget and drilling equipment, and enforces the rules of the game.  相似文献   

13.
元宇宙是虚拟数字世界与真实物理世界无缝融合的新生态,近来引发了各界的广泛关注。区块链、人工智能、虚拟现实/增强现实及传感技术、移动通信及泛在计算等各种新型互联网技术愈发成熟,使元宇宙的进一步发展成为可能。关于元宇宙的研究主要涉及产业项目、基础设施、关键技术、隐私安全等方面,这些研究虽然涉及区块链技术,但未具体指出区块链应用于元宇宙的优势及具体应用方式。区块链技术不仅可以为元宇宙提供开放自由的去中心化环境,而且可以为其提供公平合理的数字资产分配机制。主要从区块链赋能元宇宙中数字身份和数字资产管理的角度出发,分析了元宇宙的发展历程和特征,讨论了元宇宙发展所需核心技术及面临的挑战。同时研究了区块链的关键技术,并从区块链的本质特征及与其他技术融合优势两个方面对区块链应用于元宇宙做可行性分析。进一步提出元宇宙生态体系架构,重点详细分析了基于区块链的自我主权身份管理模型、区块链-非同质化通证(NFT,non-fungible token)工作流程及其在元宇宙中的应用。结合区块链和元宇宙的最新研究进展,从基础设施、通信和计算资源管理机制、监管与隐私保护以及区块链可扩展和互操作性4个方面指出区块链应用于元宇宙将面临的挑战和未来的研究方向。  相似文献   

14.
针对传统的基于单一特征的植物lncRNA识别的局限性,提出了融合RNA序列的开放阅读框、二级结构以及k-mers等多特征方法,训练高斯朴素贝叶斯、支持向量机和梯度提升决策树3种经典的分类模型,并实现分类结果的集成,利用交叉验证对模型的性能进行了评估,整体性能优于目前较流行的CPAT、CNCI和PLEK预测软件,在拟南芥数据集上总体的准确率达到了89%。另外,基于内源性竞争规则以及RNA结构信息,分别对lncRNA-microRNA和microRNA-mRNA进行靶向预测、筛选,再通过整合预测数据建立互作网络,并对网络模块中的lncRNA进行功能预测。通过GO术语分析,对与mRNA相关的lncRNA可能参与的生物调控过程进行预测,推测它们的相应功能。  相似文献   

15.
社会Agent的BDO模型   总被引:15,自引:0,他引:15  
目前MAS中思维状态的研究趋势是在个体模型中加入社会思维属性,研究社会承诺、依赖、联合意图的推理关系。在BDI模型中,以意图为中心的观点不描述社会Agent。该文分析了以竭力为中心的Agent思维状态研究存在的问题,提出MAS的分层模型,并提出以信念、愿望和义务作为基本思维属性(简称BDO)来描述Agent的思维状态和社会属性,给出了BDO逻辑和语义模型,考虑了奖励、惩罚、承诺和承诺解除问题,并对队、组织、组织意图等现象给出了描述。该文力图更自然地描述社会性Agent的思维状态和群体概念,是对Rao和Georgeff提出的BDI模型的改进。最后通过一个例子说明了BDO的表达能力。进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出BDO Agent的动态模型以及给出基于BDO逻辑框架的Agent/MAS实现结构。  相似文献   

16.
随着以太网、标准PC和软件技术的成熟和在测试行业中的广泛使用、IEEE1588网络同步标准的实施、网络接口的标准化普及,适用于自动测试系统的基于以太网技术的新一代模块化仪器平台标准-LXI将成为未来测试自动化总线技术标准.回顾了测量仪器总线的历史,对LXI总和VXI、PXI进行了比较,给出了LXI总线的特点和优势,并对LXI总线的同步和触发进行了详细地介绍,最后分析了LXI面临的一些问题,展望了LXI总线的应用前景.  相似文献   

17.
区块链作为分布式账本的关键技术之一,其去中心化、可匿名、不可篡改的特性受到学术界和工业界的青睐,被广泛应用于金融、数字货币、公共服务等领域。分片技术作为区块链扩容的主流方式之一,能够在不降低区块链去中心化程度的同时实现高性能的链上扩容,从而解决区块链可拓展性不足以及吞吐量较低的问题。介绍近年来出现的分片技术以及相关协议,总结分片技术的关键理论与方法,从分片配置、重配置、片内共识协议、跨片共识协议、状态存储等方面对分片技术方案进行对比,归纳不同分片方案在网络分片、交易分片、状态分片等设计中存在的优势和不足。同时,阐述一些经典分片技术在性能和实现方式上的特点,对许可区块链和无许可区块链、片内共识协议、跨片共识协议、准入性方案、状态分片方式等进行分析和概述。在此基础上,从分片内、分片间以及系统层级的角度总结分片技术当前所面临的困境和挑战,并对该领域的发展前景及未来研究方向加以展望。  相似文献   

18.
随着AI、5G、AR/VR等新技术的快速发展,内容类应用如电子商务、社交网络、短视频等层出不穷,导致信息过载问题日益严重。人工智能技术的发展推动了智能算法的爆炸式运用,作为智能算法的一种,推荐算法在大数据、应用场景和计算力的推动下,通过信息过滤技术,为用户提供适应兴趣及行为的个性化及高质量的推荐服务,逐步提高了用户的使用体验、内容分发效率,在一定程度上缓解了信息过载的问题。但推荐算法的潜在偏见、黑盒化特性及内容分发方式也逐渐带来了决策结果不公平性、不可解释性,信息茧房、侵犯用户隐私等安全挑战。如何提高推荐算法的可解释性、公平性、可信程度等越来越受到国内外政府监管部门、产业及学术界的重点关注,推荐系统和推荐算法也由此从发展期进入管制期。为此,本文针对新闻推荐领域,分析推荐算法的稿件画像、用户画像、推荐推送、反馈干预和人工复审等关键要素,围绕推荐算法生态的参与者,如内容生产者、受众、算法模型、新闻平台,从公平性、可解释性和抗抵赖性三个方面提出了一种新闻推荐算法可信评价体系,并进行定量或定性分析。公平性、可解释性和抗抵赖性是正相关关系,当公平性和抗抵赖性越强、可解释程度越高,新闻推荐算法的可信度越高。希望弥补新闻推荐算法领域的可信研究的空白,建立可信推荐算法生态,加速安全推荐系统的建立和推广,同时为智能算法可信研究提供参考,为智能算法的监管和治理提供思路。  相似文献   

19.
Previous and current research on ant colonies have focused on the emergence of complex and sophisticated group-behaviors that are characteristic of the whole colony, starting from simple rules characterizing each individual ant. Examples of emergent behaviors include foraging and nest building. While social scientists, biologists, and physicists have focused on observing and analyzing the behavior of actual ants, researchers in computer science have investigated through modeling and simulation of synthetic ants on the computer, the emergent behavior in a collection of simple robots, simulated evolution of computer programs, and the formation of pheromone patterns during foraging under unlimited food supply. This paper has two objectives. First, it presents a systematic study, through behavior modeling and simulation, of the influence of the presence or absence of pheromone, the duration interval of pheromone, the extent of the food supply at the food sources, the size of the colony, and the search strategy employed during foraging, for a given geometry and a finite number of food sources, on the performance of the ant colony. The second and most important objective of this paper is to scientifically study the nature of creativity by modeling synthetic creativity in an ant colony, simulating it on a computer system, and measuring its impact on performance through innovative metric design. The study is motivated by leading thinkers, throughout time, who have strongly emphasized the importance of creativity over intelligence. While an exact and universal definition of creativity is elusive, the important characteristics include originality, intuition, and imagination. Creativity is best understood through its manifestations as novel and radically different ideas that transcend current knowledge and reasoning. In this study, two synthetic creativity traits are introduced into select individual ants of a colony by imparting to them a foraging behavior that is radically different from the normal behavior. Under the first trait, the creative ants choose to ignore the existing pheromone trails and search for food sources. Under the second trait, a creative ant shares its knowledge of food source location, after discovery, with all other creative ants, so that together they can focus solely on discovering new food sources. Analysis of the simulation results reveal that a creative trait coupled with the underlying parameters of the ant colony may cause the foraging completion time metric, i.e. the time to collect food from all sources, to be marginally better or weaker than the normal colony. Contrary to intuition, the completion time metric worsens when, in a fixed sized colony, the number of creative ants, relative to normal ants, becomes excessive. Furthermore, for a given finite geometry, finite food supply, and a fixed ratio of the number of creative to normal ants, the impact of creativity on the foraging performance is dependent on the underlying parameters, and may either continue to improve, remain unchanged, or decrease, as the size of the colony increases. Finally, while the creative ants expend, on an average, two to three times more energy than the normal ants, the ant colony with the creative ants discovers more food sources, in less time and, under certain circumstances, a creative colony discovers all food sources which a normal colony can never achieve.  相似文献   

20.
目的 青光眼是导致失明的主要疾病之一,视盘区域的形状、大小等参数是青光眼临床诊断的重要指标。然而眼底图像通常亮度低、对比度弱,且眼底结构复杂,各组织以及病灶干扰严重。为解决上述问题,实现视盘的精确检测,提出一种视觉显著性的眼底图像视盘检测方法。方法 首先,依据视盘区域显著的特点,采用一种基于视觉显著性的方法对视盘区域进行定位;其次,采用全卷积神经网络(fully convolutional neural network,FCN)预训练模型提取深度特征,同时计算视盘区域的平均灰度,进而提取颜色特征;最后,将深度特征、视盘区域的颜色特征和背景先验信息融合到单层元胞自动机(single-layer cellular automata,SCA)中迭代演化,实现眼底图像视盘区域的精确检测。结果 在视网膜图像公开数据集DRISHTI-GS、MESSIDOR和DRIONS-DB上对本文算法进行实验验证,平均相似度系数分别为0.965 8、0.961 6和0.971 1;杰卡德系数分别为0.934 1、0.922 4和0.937 6;召回率系数分别为0.964 8、0.958 9和0.967 4;准确度系数分别为0.996 6、0.995 3和0.996 8,在3个数据集上均可精确地检测视盘区域。实验结果表明,本文算法精确度高,鲁棒性强,运算速度快。结论 本文算法能够有效克服眼底图像亮度低、对比度弱及血管、病灶等组织干扰的影响,在多个视网膜图像公开数据集上进行验证均取得了较好的检测结果,具有较强的泛化性,可以实现视盘区域的精确检测。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

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