搜索结果: 151-165 共查到“知识库 计算机软件”相关记录5801条 . 查询时间(2.859 秒)
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销，阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率，已成为亟待解决的难点问题；通过识别运行时验证优化过程中多目标约束间的内在依赖关系，定义并构建了可加速监控器的判定方程，作为验证加速的多目标约束模型。实验表明：该模型的求解结果能够用来判定哪些是可加速监控器，为实施软件运行时验证的加速提供量化依据。
结合Craig插值分析的软件错误诊断方法
基于模型诊断 软件错误定位 冗余分析 Craig插值
2016/12/26
基于模型诊断（MBD）的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设，导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进，提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制，同时利用条件语句取值的二元性（真或假）的特点，对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明...
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类能耗错误的特点,设计了对应的能耗错误检测方法.该方法首先利用过程内分析,获得单个函数的符号执行信息.然后借助过程间分析对单个函数的符号执行信息进行全局综合,得到更为精确的执行开...
红外波长的随机激光器设计及FDTD软件特性验证
随机激光器 FDTD软件 红外波长
2016/12/17
深入研究了随机激光等效腔的局域化特性，引入了外部光反馈下激光器的理论分析速率方程，设计了磁旋光晶体的光隔离器件实现随机激光器的改进。采用的Nd：YAG激光器的实验结果验证了改进激光器可以降低散射损耗，实现紫外激光的方向性输出。FDTD仿真结果进一步表明波导的TE模的光增益近似是平面波导的两倍；信号和泵浦强度的耦合在改进波导结构有了明显改进；输出功率结果证实了结构降低随机激光器的散射损耗。研究结果对...
对目前已发生的核动力装置部分典型故障进行分析总结，归纳出征兆参数，然后利用这些征兆参数在监测模拟机上进行随机运行模拟，并构建相应的数据库。利用SPSS软件对该数据库进行故障频度分析，根据分析的结果研究其应用于定期安全审查的价值。
针对MPRM（Mixed-Polarity Reed-Muller）电路的面积与可靠性折中优化问题，在逻辑级建立面积估算模型以及电路SER（Soft Error Rate）解析评价模型，并采用Pareto支配概念对MPRM电路进行面积与可靠性多目标优化.通过对MPRM电路的XOR部分进行树形异或门分解，并考虑多个输出之间异或门的共享，建立面积估算模型.采用信号概率和故障传播方法，并考虑电路中的逻辑...
应用精英反向学习的多目标烟花爆炸算法
烟花爆炸优化 精英反向学习 多目标优化算法
2016/12/29
现实中的多目标优化问题越来越多,而且日益复杂.受混合多目标优化算法设计思想的启发,将烟花爆炸方法和精英反向学习机制引入至多目标优化领域,提出一种应用精英反向学习的多目标烟花爆炸算法(Multi-Objective Fireworks Optimization Algorithm Using Elite Opposition-Based Learning,MOFAEOL).该算法利用精英反向学习策略...
基于网络的大学英语CAI课件的设计与开发
网络的大学英语CAI课件 设计 开发
2016/2/24
虽然自从改革开放以来，特别是进入九十年代以来，大学英语教学改革的口号愈喊愈响，近三、五年来素质教育的提法铺天盖地，倡导"以学生为主体、以教师为主导"教学原则的文章更是频频见诸报刊，采用多媒体教学的例子也时有报道，市面上也出现了为数不少的商业化英语教学课件，但是，由于种种原因，传统的教学模式依然占据着大学英语课堂的主体，各种名堂的改革、试验大多是小打小闹，甚至草草收场。学生学习英语的期望值同实际效果...
中文电子资源的二次开发与利用
中文电子资源 二次开发
2016/2/24
计算机与网络技术的飞速发展使文字的存储与传输发生了根本性的变化，以各种形式存在的电子素材为语言文字工作者和学习者提供了海量的研究资源。如何采用先进的技术手段对这些资源加以充分有效的利用，是摆在语言文字研究者面前的新课题。由于种种原因，目前中文电子资源的文件类型和格式多种多样，很难直接加以利用。另外，不少语言文字工作者对于计算机只停留在应用的水平上，对于如何利用计算机帮助自己进行研究感到很茫然，甚至...
点云数据的海量性一直是制约点云数据处理方法的重要因素。为了寻找一种高效空间索引方法来管理海量地面点云数据，笔者通过分析LiDAR地面点云的特点，提出了一种基于平面直角坐标网和四叉树的二维点云数据组织方法——坐标网—四叉树联合准则法。实验证明，将规则网格与四叉树的方法相结合，较大程度的提高了点云数据组织与索引的效率。但是，格网间距大小的设定，还没有定量的标准，需要在以后实践中进一步进行研究总结。
Deep Learning of Feature Representation with Multiple Instance Learning for Medical Image Analysis
deep learning feature learning supervised un- supervised multiple instance learning
2016/1/22
This paper studies the effectiveness of accomplishing high-level tasks with a minimum of manual annotation and good feature rep-resentations for medical images. In medical image analysis, objects like...
Cost-Aware Compressive Sensing for Networked Sensing Systems
Crowdsensing Compressive Sensing Resource-efficiency
2016/1/22
Compressive Sensing is a technique that can help reduce the sampling rate of sensing tasks. In mobile crowdsensing applications or wireless sensor networks, the resource burden of collecting samples i...
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization
A Dynamic Diffusion Model Constrained Influence Maximization
2016/1/22
Studying the spread of phenomena in social networks is critical but still not fully solved. Existing influence max-imization models assume a static network, disregarding its evolution over time. We in...
Evaluation of Different Methods for Using Colour Information in Global Stereo Matching Approaches
Stereoscopic Matching Stereoscopic Reconstruction Colour Analysis Experimental Analysis
2015/12/4
Global algorithms currently represent the state-of-the-art in dense stereo matching. These methods first set up an energy function.The energy function is then subject to optimization, which is t...
The "Photogrammetric Load Chain" for ADS Image Data: an Integral Approach to Image Correction and Rectification
Imagery Software Processing Performance Rectification Visualization
2015/12/3
A new photogrammetric load chain has been developed for the ADS40 pushbroom sensor focusing on parallel computation and interactive image processing. It allows image correction and rectification at lo...