期刊文献+
共找到1,898篇文章
< 1 2 95 >
每页显示 20 50 100
A Software Risk Analysis Model Using Bayesian Belief Network 被引量:1
1
作者 Yong Hu Juhua Chen +2 位作者 Mei Liu Xang Yun Junbiao Tang 《南昌工程学院学报》 CAS 2006年第2期102-106,共5页
The uncertainty during the period of software project development often brings huge risks to contractors and clients. If we can find an effective method to predict the cost and quality of software projects based on fa... The uncertainty during the period of software project development often brings huge risks to contractors and clients. If we can find an effective method to predict the cost and quality of software projects based on facts like the project character and two-side cooperating capability at the beginning of the project,we can reduce the risk. Bayesian Belief Network(BBN) is a good tool for analyzing uncertain consequences, but it is difficult to produce precise network structure and conditional probability table.In this paper,we built up network structure by Delphi method for conditional probability table learning,and learn update probability table and nodes’confidence levels continuously according to the application cases, which made the evaluation network have learning abilities, and evaluate the software development risk of organization more accurately.This paper also introduces EM algorithm, which will enhance the ability to produce hidden nodes caused by variant software projects. 展开更多
关键词 software risk analysis Bayesian Belief Network EM algorithm parameter learning
在线阅读 下载PDF
Modeling and Dynamic Analysis in Software Systems Based on Complex Networks
2
作者 Gao Yang Peng Yong +2 位作者 Xie Feng Dai Zhonghua Xu Guo'ai 《China Communications》 SCIE CSCD 2012年第12期137-143,共7页
A software network model with multiple links is constructed on the basis of a dynamical model of a general complex network with mukiple links. The principle of network division of multiple links is introduced. Followi... A software network model with multiple links is constructed on the basis of a dynamical model of a general complex network with mukiple links. The principle of network division of multiple links is introduced. Following these principles, the software network model is decomposed into three types of subnets and different relationships between classes are revealed. Then, the dynamic analysis of software networks is presented. A sufficient condition for the stability of general complex networks is obtained followed by that of software networks. Finally, the dynamics of an open-source software system is analyzed, and their simulations are provided to demonstrate the effectiveness of the presented model. 展开更多
关键词 software networks multiple links network division subnets dynamic analysis
在线阅读 下载PDF
Research on Application of Enhanced Neural Networks in Software Risk Analysis
3
作者 Zhenbang Rong Juhua Chen +1 位作者 Mei Liu Yong Hu 《南昌工程学院学报》 CAS 2006年第2期112-116,121,共6页
This paper puts forward a risk analysis model for software projects using enranced neural networks.The data for analysis are acquired through questionnaires from real software projects. To solve the multicollinearity ... This paper puts forward a risk analysis model for software projects using enranced neural networks.The data for analysis are acquired through questionnaires from real software projects. To solve the multicollinearity in software risks, the method of principal components analysis is adopted in the model to enhance network stability.To solve uncertainty of the neural networks structure and the uncertainty of the initial weights, genetic algorithms is employed.The experimental result reveals that the precision of software risk analysis can be improved by using the erhanced neural networks model. 展开更多
关键词 software risk analysis principal components analysis back propagation neural networks genetic algorithms
在线阅读 下载PDF
HOTCAP:a new software package for high-speed oscilloscopebased three-dimensional bunch charge and position measurement 被引量:5
4
作者 Xing-Yi Xu Yong-Bin Leng +4 位作者 Bo Gao Yi-Mei Zhou Shan-Shan Cao Jian Chen Fang-Zhou Chen 《Nuclear Science and Techniques》 SCIE EI CAS CSCD 2021年第11期163-173,共11页
A software package to be used in high-speed oscilloscope-basedthree-dimensionalbunch-by-bunch charge and position measurement is presented.The software package takes the pick-up electrode signal waveform recorded by t... A software package to be used in high-speed oscilloscope-basedthree-dimensionalbunch-by-bunch charge and position measurement is presented.The software package takes the pick-up electrode signal waveform recorded by the high-speed oscilloscope as input,and it calculates and outputs the bunch-by-bunch charge and position.In addition to enabling a three-dimensional observation of the motion of each passing bunch on all beam position monitor pick-up electrodes,it offers many additional features such as injection analysis,bunch response function reconstruction,and turn-by-turn beam analysis.The software package has an easy-to-understand graphical user interface and convenient interactive operation,which has been verified on the Windows 10 system. 展开更多
关键词 Bunch-by-bunch measurement HOTCAP software package Data analysis High-speed oscilloscope
在线阅读 下载PDF
Android Apps:Static Analysis Based on Permission Classification 被引量:3
5
作者 Zhenjiang Dong Hui Ye +2 位作者 Yan Wu Shaoyin Cheng Fan Jiang 《ZTE Communications》 2013年第1期62-66,共5页
I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson ... I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson their smartphones, the loss of which could have serious con- sequences. 展开更多
关键词 MALWARE software analysis static analysis ANDROID
在线阅读 下载PDF
Model for Software Behaviour Detection Based on Process Algebra and System Call 被引量:1
6
作者 申利民 王涛 马川 《China Communications》 SCIE CSCD 2013年第11期24-36,共13页
Behaviour detection models based on automata have been studied widely. By add- ing edge ε, the local automata are combined into global automata to describe and detect soft- ware behaviour. However, these methods in- ... Behaviour detection models based on automata have been studied widely. By add- ing edge ε, the local automata are combined into global automata to describe and detect soft- ware behaviour. However, these methods in- troduce nondeterminacy, leading to models that are imprecise or inefficient. We present a model of software Behaviour Detection based on Process Algebra and system call (BDPA). In this model, a system call is mapped into an action, and a function is mapped into a process We construct a process expression for each function to describe its behaviour. Without con- strutting automata or introducing nondeter- minacy, we use algebraic properties and algo- rithms to obtain a global process expression by combining the process expressions derived from each function. Behaviour detection rules and methods based on BDPA are determined by equivalence theory. Experiments demon- strate that the BDPA model has better preci- sion and efficiency than traditional methods. 展开更多
关键词 intrusion detection software be-haviour model static analysis process algebra system call
在线阅读 下载PDF
Ecotect Analysis软件采光模拟准确性分析 被引量:5
7
作者 陈咸潼 孙铭一 +2 位作者 那森 史佳琪 李正宇 《科技创新与应用》 2019年第6期42-45,共4页
文章首先制作实体模型,将其置入人工天穹进行采光实验,改变天空照度及窗洞口位置,测量室内采光照度;再进行计算机建模,模型尺寸与实验模型一致,并基于Ecotect Analysis软件进行采光模拟实验;最后将两者数据进行对比,比较结果表明模拟数... 文章首先制作实体模型,将其置入人工天穹进行采光实验,改变天空照度及窗洞口位置,测量室内采光照度;再进行计算机建模,模型尺寸与实验模型一致,并基于Ecotect Analysis软件进行采光模拟实验;最后将两者数据进行对比,比较结果表明模拟数据与实验差异集中分布在20%附近,证明了Ecotect Analysis采光模拟数据具有可信性,可基于其进行建筑采光优化设计。 展开更多
关键词 ECOTECT analysis软件 采光实验 人工天穹
在线阅读 下载PDF
Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model
8
作者 石剑飞 闫怀志 +1 位作者 秦玮 王文同 《Journal of Beijing Institute of Technology》 EI CAS 2010年第2期170-176,共7页
For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and... For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and quantitative analyses, the impacts to overall trustworthiness by the different types of components are distinguished. Considering the coupling relationship between components, dividing the system into several layers from target layer to scheme layer, evaluating the scheme advantages disadvantages by group decision-making, the trustworthiness of a typical J2EE structured component-based software is assessed. The trustworthiness asses model of the software components provides an effective methods of operation. 展开更多
关键词 component-based software trustworthiness analysis fuzzy analytic hierarchy process J2EE structure
在线阅读 下载PDF
Simulation of neutron diffusion and transient analysis of MSR 被引量:1
9
作者 朱亮 蒲鹏 +1 位作者 杜莎 韩定定 《Nuclear Science and Techniques》 SCIE CAS CSCD 2014年第2期89-94,共6页
Molten salt reactor(MSR) is a potential nuclear power reactor of Generation Ⅳ.The working process of the primary loop of an MSR is studied in this paper.A physical model is established to describe the coupled heat tr... Molten salt reactor(MSR) is a potential nuclear power reactor of Generation Ⅳ.The working process of the primary loop of an MSR is studied in this paper.A physical model is established to describe the coupled heat transfer for the MSR core channels,the temperature negative feedback and the neutron characteristics.The simulation code,NDPID,has been developed with the object-oriented method,conducting the neutron diffusion and transient analysis in a parallel way.The simulation data and diagrams of neutron,power,flow rate and temperature can be obtained via graphical user interface.The simulation results can be used for further study on MSRs of larger dimensions and more complicated geometry. 展开更多
关键词 中子扩散 瞬态分析 MSR 模拟 图形用户界面 仿真数据 核电反应堆 模型描述
在线阅读 下载PDF
RHO:A Software Tool for Targeting and Design of Refinery Hydrogen Networks
10
作者 Wang Wence Liao Zuwei +5 位作者 Cui Jiutao Sun Jingyuan Jiang Binbo Wang Jingdai Yang Yongrong Feng Baolin 《China Petroleum Processing & Petrochemical Technology》 SCIE CAS 2020年第2期79-85,共7页
Hydrogen management is important for refineries to improve their business efficiency.Various approaches such as pinch analysis and mathematical programming have been employed in the management of hydrogen system.Howev... Hydrogen management is important for refineries to improve their business efficiency.Various approaches such as pinch analysis and mathematical programming have been employed in the management of hydrogen system.However,it is not easy for site engineers to implement these techniques,due to the complicated procedures.At this point,it is necessary to develop a software that can implement the proposed methodologies automatically,which is really the goal of this work.The presented refinery hydrogen system optimization software(RHO)is a web based system.It is developed in the Java Web environment,where the subroutines of mathematical model developed in GAMS software can be easily called.RHO can generate graphics of both the hydrogen pinch diagram and the hydrogen distribution network.The purifiers as well as the physical distances between units are considered in the optimization model.In addition,there is a special module for the calculation of membrane separation,which is very important in the hydrogen network.The functions and the interfaces of the software are illustrated via practical cases.Case studies show the effectiveness of the RHO software. 展开更多
关键词 refinery hydrogen management software mathematical programming pinch analysis
在线阅读 下载PDF
基于Ecotect Analysis软件的集装箱建筑透明围护结构优化设计
11
作者 陈咸潼 孙铭一 +2 位作者 那森 史佳琪 李正宇 《科技创新与应用》 2019年第7期52-55,共4页
文章首先对大连民族大学建筑学院实践教育基地集装箱建筑中的一个房间进行实地尺寸测量,然后在Ecotect Analysis软件中进行1:1建模,从热湿环境及光环境两个方面分析采用现有材质窗时室内温度、太阳辐射、窗自身得热量等的分布,以及室内... 文章首先对大连民族大学建筑学院实践教育基地集装箱建筑中的一个房间进行实地尺寸测量,然后在Ecotect Analysis软件中进行1:1建模,从热湿环境及光环境两个方面分析采用现有材质窗时室内温度、太阳辐射、窗自身得热量等的分布,以及室内空调系统制冷制热功耗情况,根据模拟结果给出透明围护结构的优化建议,并对比优化前后室内热湿环境、光环境的变化。 展开更多
关键词 集装箱建筑 ECOTECT analysis软件 透明围护结构
在线阅读 下载PDF
基于主动学习PC-Kriging模型的复杂结构可靠性分析方法
12
作者 陈吉清 张钰奇 +2 位作者 兰凤崇 周云郊 王俊峰 《汽车工程》 北大核心 2025年第2期383-390,共8页
对于复杂结构可靠性设计中多维设计变量和隐式非线性响应的问题,构造准确的代理模型是一种有效的解决方法。然而,基于预设样本量的试验设计来构建代理模型,可能面临效率低下或准确性不足的挑战。为此,提出一种主动学习PC-Kriging模型的... 对于复杂结构可靠性设计中多维设计变量和隐式非线性响应的问题,构造准确的代理模型是一种有效的解决方法。然而,基于预设样本量的试验设计来构建代理模型,可能面临效率低下或准确性不足的挑战。为此,提出一种主动学习PC-Kriging模型的可靠性分析方法,结合多项式混沌展开增强全局近似精度以及Kriging捕捉局部特征的优点,利用主动学习策略,自适应地选择最佳样本点,最大程度减少训练样本量,即减少结构性能分析的计算成本,提高分析效率。进一步构建主动学习PC-Kriging模型驱动的多软件协同设计框架,对前、后处理软件进行二次开发,实现参数化建模、性能分析和后处理的无缝连接,形成一套自动化分析流程。最后,以电池包结构为例进行可靠性分析,验证本文方法的高效性和准确性。 展开更多
关键词 结构可靠性分析 主动学习 代理模型 PC-Kriging 多软件协同
在线阅读 下载PDF
基于流程模拟软件对高温导热油产品分离塔操作异常的研究
13
作者 李松 《中外能源》 CAS 2025年第1期91-96,共6页
合成型高温导热油装置产品分离塔是提纯导热油产品的关键环节。以产品塔的分离过程为研究对象,利用Aspen plus流程模拟软件建立了该塔的稳态模拟流程,通过对比模拟数据与实际运行参数验证了模型的可靠性。在此基础上对该塔的异常工况进... 合成型高温导热油装置产品分离塔是提纯导热油产品的关键环节。以产品塔的分离过程为研究对象,利用Aspen plus流程模拟软件建立了该塔的稳态模拟流程,通过对比模拟数据与实际运行参数验证了模型的可靠性。在此基础上对该塔的异常工况进行了水力学分析,针对装置开工投产以来出现的操作异常、塔顶重组分含量超标的问题进行了模拟分析论证。模拟结果表明当塔釜抽出需部分返送进料时易发生液泛,要严格控制返塔量在1000kg/h以内,以确保液泛率维持在安全阈值之下;在正常工况下若塔的回流量低于1900kg/h会导致精馏段传质过程异常,操作时必须确保回流量不低于此值,以确保精馏段液体喷淋密度高于最小允许值,进而维持正常的传质过程。基于上述模拟分析结果,对实际操作进行了针对性调整,有效解决了产品塔的运行异常问题,产品质量达到指标要求。 展开更多
关键词 精馏塔 流程模拟软件 水力学分析
在线阅读 下载PDF
基于磁记忆检测方法的便携式钻杆检测设备
14
作者 蒋浩 张来斌 樊建春 《石油机械》 北大核心 2025年第1期119-124,共6页
当钻杆在井下出现穿刺渗漏、断裂等失效问题时,会因钻杆破裂而停止工作,对钻井施工造成严重损失,严重者可能会发生重大事故。为实现快速高效的钻杆表面缺陷检测,简单介绍了磁记忆检测方法检测金属缺陷的机理,在此基础上,介绍了一种搭载... 当钻杆在井下出现穿刺渗漏、断裂等失效问题时,会因钻杆破裂而停止工作,对钻井施工造成严重损失,严重者可能会发生重大事故。为实现快速高效的钻杆表面缺陷检测,简单介绍了磁记忆检测方法检测金属缺陷的机理,在此基础上,介绍了一种搭载磁记忆探头的便携式钻杆表面损伤检测装置。该装置可以高速、稳定地采集多种尺寸的钻杆表面磁记忆信号,并结合钻杆损伤磁记忆检测软件进行分析,实现对钻杆表面缺陷的可视化分析。通过开展相关试验,对钻杆带伤表面进行检测及数据分析,结果表明,该检测系统能够准确可靠地检测出钻杆表面各种缺陷,验证了磁记忆检测方法的可行性。所得结果可为钻杆表面缺陷检测提供一种有效的检测方法。 展开更多
关键词 钻柱 无损检测 磁记忆检测 检测装置 梯度信号 分析软件
在线阅读 下载PDF
机载软件层次化需求的形式化建模与分析
15
作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多
关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统
在线阅读 下载PDF
虚拟化混淆程序的指令提取方法
16
作者 张沈芊芊 董卫宇 林键 《信息工程大学学报》 2025年第1期83-89,共7页
针对现有虚拟指令识别不准确、静态分析无法解析分支跳转、无法跨大版本应用的问题,提出一种基于符号执行的虚拟指令提取方法。该方法通过动态二进制插桩生成指令跟踪,对指令跟踪进行离线分析,根据虚拟机结构及跳转规则划分出Handler集... 针对现有虚拟指令识别不准确、静态分析无法解析分支跳转、无法跨大版本应用的问题,提出一种基于符号执行的虚拟指令提取方法。该方法通过动态二进制插桩生成指令跟踪,对指令跟踪进行离线分析,根据虚拟机结构及跳转规则划分出Handler集合,采用符号执行技术对Handler进行语义分析,得到状态表达,最终利用启发式规则提取出虚拟指令。实验部分在5个测试程序和两种VMProtect版本上对该方法进行验证,相较于VMP分析插件和NoVmpy,虚拟指令识别率提升了26.72个百分点,准确率提升了41.09个百分点,并优化了分支跳转处理。实验结果表明,该方法有效提升了虚拟指令提取的准确性、完整性和稳健性。 展开更多
关键词 代码虚拟化 反混淆 虚拟指令 软件安全 逆向分析
在线阅读 下载PDF
南海导管架平台改造工程疲劳寿命分析
17
作者 刘桥林 孙名丰 +4 位作者 严谨 吴光林 林金波 毛鸿飞 卜永城 《中国海洋平台》 2025年第1期76-81,共6页
为了对改造后导管架平台的模态和节点疲劳寿命等进行分析,以评估改造后平台结构的可靠性,采用SACS软件,针对LD22-1 CEP导管架平台改造工程,结合S-N曲线方法和Airy波理论,建立导管架平台疲劳分析三维有限元模型,通过数值模型计算分析导... 为了对改造后导管架平台的模态和节点疲劳寿命等进行分析,以评估改造后平台结构的可靠性,采用SACS软件,针对LD22-1 CEP导管架平台改造工程,结合S-N曲线方法和Airy波理论,建立导管架平台疲劳分析三维有限元模型,通过数值模型计算分析导管架平台的疲劳寿命。计算结果表明:节点X107、X106和X406的疲劳寿命分别为24.49 a、34.82 a和40.38 a,小于设计疲劳寿命;除这3个节点不满足疲劳寿命设计要求外,其他节点均满足疲劳寿命设计要求。为确保平台运行安全,需要对这3个节点进行加强设计,并在运行中加强疲劳节点监测。 展开更多
关键词 导管架平台 疲劳分析 SACS软件 S-N曲线
在线阅读 下载PDF
一种基于图社区检测的二进制模块化方法
18
作者 刘新鹏 傅强 +2 位作者 张红宝 陈晓光 杨满智 《信息安全研究》 北大核心 2025年第1期43-49,共7页
随着信息技术的不断发展,软件规模不断增加.复杂的大型软件是通过组合实现独立功能模块的组件构建的.然而,一旦源代码被编译成二进制文件这些模块化信息就会丢失,二进制模块化任务的目标就是重建这些模块化信息.二进制模块化任务有许多... 随着信息技术的不断发展,软件规模不断增加.复杂的大型软件是通过组合实现独立功能模块的组件构建的.然而,一旦源代码被编译成二进制文件这些模块化信息就会丢失,二进制模块化任务的目标就是重建这些模块化信息.二进制模块化任务有许多下游应用场景,比如二进制代码复用现象检测、二进制相似度检测、二进制软件成分分析等.提出一种新的图社区检测算法,并基于该算法设计了一种二进制模块化方法.通过对7839个Linux系统的二进制文件进行模块化验证该方法的有效性,实验显示该方法的Normalized Turbo MQ指标为0.557,比现有的最先进方法提升58.6%,并且该方法的运行时间开销远低于已有方法.同时,还提出了一种库粒度的二进制模块化方法,已有的二进制模块化方法只能将二进制文件分解为若干个模块,库粒度的二进制模块化方法可以将二进制文件分解为若干个库,同时展示了这种方法在挖矿恶意软件家族分类中的应用. 展开更多
关键词 软件安全 二进制分析 软件模块化 图神经网络 社区检测
在线阅读 下载PDF
风机类设备能效智慧分析软件研究
19
作者 郑林甫 陈池 孔维健 《能源与节能》 2025年第1期87-92,共6页
风机用于通风、降温、除尘,广泛应用于冶金等行业。同时风机也是主要耗能设备,提高风机能效水平对节能减排具有重要意义。因此,研究了风机类设备能效智慧分析软件,该软件包括能效计算模块、能效数据监测与修正模块、能效智慧分析模块以... 风机用于通风、降温、除尘,广泛应用于冶金等行业。同时风机也是主要耗能设备,提高风机能效水平对节能减排具有重要意义。因此,研究了风机类设备能效智慧分析软件,该软件包括能效计算模块、能效数据监测与修正模块、能效智慧分析模块以及节能决策支持模块。该软件能够在数据采集异常的情况下,保证在线能效计算合理,并提供有效的节能决策支持。软件在国内一大型钢铁企业进行了应用验证,应用效果充分显示了实用性和有效性。 展开更多
关键词 风机 数据修正 能效分析 软件研究
在线阅读 下载PDF
基于MIDAS/GTS的某矿区地表建(构)筑物稳定性模拟分析
20
作者 闫昊 苗向彪 +2 位作者 喻六平 赵运涛 孙波 《现代矿业》 2025年第1期54-56,61,共4页
为确定某矿区地表工业场地的安全稳定性,将MIDAS/GTS软件建立的矿区工程地质三维模型导入到有限元分析软件中,并结合矿山开采现状及特点,模拟分析各中段矿体开挖后对地表工业场地的影响。数值模拟计算结果表明:地表工业场地建(构)筑物... 为确定某矿区地表工业场地的安全稳定性,将MIDAS/GTS软件建立的矿区工程地质三维模型导入到有限元分析软件中,并结合矿山开采现状及特点,模拟分析各中段矿体开挖后对地表工业场地的影响。数值模拟计算结果表明:地表工业场地建(构)筑物的最大倾斜率为0.023 mm/m,最大曲率为0.0008×10^(-3)m^(-1),最大水平变形为0.016mm/m,都远小于设计规范Ⅰ级保护对象允许的倾斜变形(3 mm/m)、曲率(0.2×10^(-3) m^(-1))和水平变形值(2 mm/m),开采不会给矿山地表建(构)筑物的安全造成影响,对相似矿山具有一定借鉴意义。 展开更多
关键词 地表建(构)筑物 数值模拟 MIDAS/GTS软件 稳定性分析
在线阅读 下载PDF
上一页 1 2 95 下一页 到第
使用帮助 返回顶部