Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
324
result(s) for
"软件"
Sort by:
PROMELA based formal verification for safety-critical software
聚焦安全关键软件, 研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型, 验证属性相关函数到PROMELA模型的2类映射规则; 根据映射规则提出由C程序自动生成PROMELA形式模型的算法, 并对算法进行理论分析; 针对C程序中5种故障类型, 分别给出基于PROMELA模型的形式化验证方法, 并分析验证的范围; 覆盖各类故障的验证范围, 为每类故障类型选取12个C程序案例进行实证研究, 实验结果证明了方法的有效性。
Journal Article
毛皮动物育种软件应用现状与展望
动物育种软件的应用,告别了传统的表型选种时代,对育种准确性的提高起到了至关重要的作用。我国在毛皮动物育种软件的研发与应用上还不成熟,而软件在动物育种中的应用是当前乃至未来规模化养殖的大势所趋。本文针对目前育种软件在畜禽和毛皮动物中的应用现状,从育种资料管理、遗传评估系统、计算机模拟研究、育种专家系统、网络信息传递与共享5个方面进行了相关论述,并在归纳、总结畜禽育种软件研究成果、先进经验的基础上,结合毛皮动物的自身特点,探讨了在毛皮动物中应用育种软件的必要性和可行性,以期能为今后毛皮动物育种软件的应用提供参考。
Journal Article
基于CitespaceⅢ的国内林下经济研究知识图谱分析
以CNKI中2006年—2015年期刊、学位和会议的林下经济论文为研究对象,应用基于Java平台的知识图谱分析软件CitespaceⅢ对林下经济研究进行主题词形成的主题发展趋势进行分析。研究发现,目前国内林下经济研究主要集中在森林旅游、林下种植、模式研究、林下养殖、发展现状及对策以及林业产业等主题。研究趋势显示,2006年—2009年,森林旅游和林下种植成为林下经济的研究热点。2010年随着与林下经济发展紧密联系在一起的集体林权改革制度的提出,出现了林下经济的林下养殖、发展模式研究、林地资源研究等热点主题。2012年后,党随着国家对林业建设的高度重视,林下经济研究主要以林业生态发展、林业产业化、经营模式、以及林下经济发展现状、存在问题和对策研究为主题,并呈现复杂多样分散发展态势。
Journal Article
月球探测器精密定轨软件研制与四程中继跟踪测量模式研究
本文以我国即将发射的＂嫦娥五号＂＂嫦娥四号＂任务为背景,系统性地讨论了行星探测器精密定轨和重力场解算的原理、技术和具体算法,完善月球卫星精密定轨的各个细节,开发了一套具有自主知识产权的月球探测器精密定轨与重力场解算软件系统LUGREAS;提出了基于月球着陆器-轨道器的四程中继跟踪测量模式,定量计算了该跟踪模式对轨道器精密定轨和着陆器精密定位的贡献。
Journal Article
北斗卫星导航系统的毫米级精度变形监测算法与实现
研究了北斗卫星导航系统（BeiDou Ncivigation Safellte System，BDS）毫米级精度变形监测算法。首先改进了TurboEdit方法，以能够探测到1周的小周跳；针对BDS星座结构给出更为高效的独立双差观测值搜索方法；对于模糊度固定，采用决策函数和序贯模糊度固定相结合的方法。在此基础上，研制了BDS变形监测软件。最后，利用变形监测试验平台的实测数据，从星座分布、解算精度等方面分析了BDS在变形监测中应用的可行性。结果表明，目前在试验区域内BDS与GPS在卫星几何分布等方面基本相当。BDS的短基线解算精度略低于GPS，但仍可达到平面1mm以内、高程2mm以内的精度水平。
Journal Article
高校图书馆联盟发展趋势之软件联盟架构探析
高校图书馆联盟的服务对象首先是读者,其次是成员馆,并且以为他们提供最适合的服务为追求的目标。随着信息技术的发展和用户需求的改变,高校图书馆联盟需要利用新的信息技术手段来更好地应对和满足服务对象的新需求。文章提出高校图书馆联盟为实现既定目标,需从3个方面建立自己的软件联盟架构：Saa S云平台联盟、应用软件联盟、工作软件联盟。
Journal Article
福建省软件产业竞争情报需求与采集现状研究
对福建省100家软件企业的竞争情报需求与采集现状进行问卷调研,从软件企业竞争情报工作开展的情况、竞争情报需求的内容与特点、竞争情报采集方式和现状进行统计分析,揭示了福建省软件产业竞争情报需求与采集上存在的一些问题,并根据这些问题提出一些有针对性的建议。
Journal Article
陕西公共图书馆服务联盟成员馆网站建设方案的设计与实现
陕西公共图书馆服务联盟成员馆在告别传统的手工运行模式后,在新技术应用方面有了更高的要求,越来越多的成员馆有了建设网站的需要。文章对陕西省图书馆现有的软件、硬件基础设施进行了分析,提出了利用陕西省馆软件、硬件和技术力量,协助联盟成员馆建设网站的方案,并详细介绍了网站建设方案的设计和实现过程。
Journal Article
文献管理软件在学术论文写作中的应用
目前文献管理软件在中国还不够普及,作为科研主要力量的高校师生用的也不多。在此,笔者以Note First为例,介绍文献管理软件在学术论文写作中的应用,以提高高校师生论文撰写过程中的文献管理水平,为科技创新服务。
Journal Article
SPSS在图书馆参与心理健康服务项目中的应用
立足高校图书馆参与大学生心理健康教育服务机制研究项目,在进行数据需求分析的基础上,详细讨论了如何利用SPSS软件建立数据文件,选择一定的统计学分析方法进行数据统计分析,寻求具有统计学意义的数据。
Journal Article