期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
光盘出版物的计算机特征项著录探讨 被引量:3
1
作者 丁育明 《图书馆论坛》 CSSCI 北大核心 2002年第3期64-65,120,共3页
与书目资料相比 ,光盘出版物在著录款目上与其有共性的地方 ,但在存储介质、描述细节及其特有的计算机特征著录。本文就光盘出版物的国际标准号和其计算机特征项的机读目录著录方法提出一些看法的建议。
关键词 光盘出版物 计算机特征 机读目录格式 著录 国际标准号
在线阅读 下载PDF
动态项重写计算 被引量:2
2
作者 冯速 《计算机科学》 CSCD 北大核心 2002年第8期13-14,12,共3页
1.引言 项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计... 1.引言 项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计算及图灵机相同的计算能力.正是它的简洁性及计算能力使它受到广泛的研究和应用:项重写系统为抽象数据类型提供类型、为函数型语言提供操作语义、为定理自动证明提供推理工具.对于项重写系统本身也有大量的研究:如合流性、终止性、等价性等[1-5]. 展开更多
关键词 动态重写计算 完备化算法 形式计算模型 计算 计算
在线阅读 下载PDF
核电厂放射性源项程序DORAST可视化平台开发
3
作者 李璐 陈义学 +2 位作者 刘兆欢 袁龙军 马续波 《原子能科学技术》 EI CAS CSCD 北大核心 2013年第B12期488-493,共6页
核电厂放射性源项计算程序DORAST能模拟核电厂一、二回路主要设备中气态及液态排放物的放射性活度,以及核电厂主要系统和设备中γ射线的能谱。DORAST程序可计算不同模式下的系统及设备达十余个,通过输入文件输入既耗时又难以保证文件的... 核电厂放射性源项计算程序DORAST能模拟核电厂一、二回路主要设备中气态及液态排放物的放射性活度,以及核电厂主要系统和设备中γ射线的能谱。DORAST程序可计算不同模式下的系统及设备达十余个,通过输入文件输入既耗时又难以保证文件的正确性,计算内容详实使得输出文件有信息量大、阅读困难的缺点。本文利用C#语言开发了友好的可视化界面,将输入参数、生成输入文件、调用可执行程序、对数据后处理生成相应的表格及图表等功能集于一身,极大地方便了用户的使用过程。可视化平台通过界面上的控件和后台程序中参数之间的数据交换来解决并优化问题,结合其输出文件,将其数据表格化,给出相应的图形显示,并能将计算得到的放射性活度直观地显示在核电厂模型图中,显著提升了DORAST程序的工程实用性。 展开更多
关键词 DORAST 计算 可视化平台
在线阅读 下载PDF
基于H-等价的算法识别技术研究
4
作者 朱杰 尹青 蒋烈辉 《计算机工程与应用》 CSCD 北大核心 2007年第3期74-76,83,共4页
蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件相对来说更容易得到满足,... 蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。 展开更多
关键词 程序理解 算法识别 语义等价 计算项 H-等价
在线阅读 下载PDF
军用软件研制过程的管理与控制 被引量:3
5
作者 付庆宏 琚章锋 甘宁 《火力与指挥控制》 CSCD 北大核心 2005年第4期97-101,共5页
分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件... 分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件等。提出的军用软件研制过程管理与控制方法是经过多年软件工作的实践所得,可以供军用软件开发管理者参考。 展开更多
关键词 军用软件 计算机软件配置(CSCI) 配置管理
在线阅读 下载PDF
华龙一号应急工况评价系统初步开发
6
作者 杨亚鹏 冯宗洋 +4 位作者 贾林胜 王宁 王任泽 梁博宁 刘一宁 《辐射防护》 CAS CSCD 北大核心 2020年第6期647-651,共5页
为了满足华龙一号(HPR1000)事故条件下的应急响应,需要开发一套应急工况评价系统,用于基于征兆的堆芯损伤评价和释放源项估算。本文给出了华龙一号应急工况评价系统(ECAS-HPR1000)的总体设计,包括软件框架、评价模块、平台和接口开发等... 为了满足华龙一号(HPR1000)事故条件下的应急响应,需要开发一套应急工况评价系统,用于基于征兆的堆芯损伤评价和释放源项估算。本文给出了华龙一号应急工况评价系统(ECAS-HPR1000)的总体设计,包括软件框架、评价模块、平台和接口开发等,该系统采用跨平台的JAVA语言开发,以MySQL数据库作为数据存储,支持Windows和Linux操作系统。该系统包括五个子系统,分别是基础数据采集和管理子系统、堆芯损伤评价子系统、释放源项计算子系统、评价结果展示子系统和用户权限管理子系统。该系统可以基于实时工况数据,评价堆芯损伤状态和程度,并计算出堆芯释放到一回路、安全壳和环境的放射性核素的量,并考虑了华龙一号双层安全壳对计算结果的影响。 展开更多
关键词 堆芯损伤评价 释放源计算 核应急
在线阅读 下载PDF
船用反应堆舱室剂量场分析 被引量:1
7
作者 杨屹 刘春雨 +2 位作者 杨洪禹 王洪 梁潇 《核科学与工程》 CAS CSCD 北大核心 2014年第1期102-106,共5页
根据船用反应堆的实际运行经验和设计特点,以船用压水堆作为研究对象建立船用堆模型。假定在反应堆运行终期堆芯骤然发生事故,利用FCSC源项分析程序计算事故源项,并通过QAD-CGA点核积分屏蔽计算程序计算堆舱各参考点的剂量率,分析得出... 根据船用反应堆的实际运行经验和设计特点,以船用压水堆作为研究对象建立船用堆模型。假定在反应堆运行终期堆芯骤然发生事故,利用FCSC源项分析程序计算事故源项,并通过QAD-CGA点核积分屏蔽计算程序计算堆舱各参考点的剂量率,分析得出了船用反应堆舱室在不同运行工况和事故工况下的剂量分布特点,可以为船舰内人员的剂量评价提供参考。 展开更多
关键词 船用反应堆 计算 点核积分 剂量场分析
在线阅读 下载PDF
基于NECP-Bamboo程序的商用压水堆乏燃料组件核素成分分析 被引量:2
8
作者 杨森涵 李云召 +4 位作者 邵睿智 陈添 曹良志 邵增 刘国明 《原子能科学技术》 EI CAS CSCD 北大核心 2023年第3期545-554,共10页
乏燃料组件核素成分的精确计算是乏燃料临界安全分析等工作的输入条件,放射性源项计算是乏燃料组件核素成分分析的典型应用。国内现有程序由于存在数据库中核素种类不全、辐照过程无法完全模拟等弊端,限制了乏燃料后处理安全分析的可靠... 乏燃料组件核素成分的精确计算是乏燃料临界安全分析等工作的输入条件,放射性源项计算是乏燃料组件核素成分分析的典型应用。国内现有程序由于存在数据库中核素种类不全、辐照过程无法完全模拟等弊端,限制了乏燃料后处理安全分析的可靠性和经济性。本文基于完全自主化的压水堆堆芯分析软件NECP-Bamboo,研发了商用压水堆乏燃料组件核素成分计算程序Bamboo-SFuel,利用辐照后实验(PIE)实测数据对核素成分进行了定量验证与分析,通过与Scale程序包计算结果进行对比验证了程序源项计算的精度,还探究了不同燃耗数据库对核素成分和源项计算结果的影响。数值结果表明,Bamboo-SFuel能精确分析不同辐照条件下商用压水堆乏燃料组件的核素成分和放射性源项,使用NECP-Bamboo程序中不同核素数目的燃耗数据库对重要核素成分计算结果影响不大,但对总的放射性源项计算结果影响较大;基于内置的包含1547种核素的燃耗数据库,该程序可同时给出可靠的乏燃料临界安全分析和辐射安全分析关注的重要核素成分。 展开更多
关键词 乏燃料 核素成分 计算 燃耗数据库 NECP-Bamboo
在线阅读 下载PDF
基于深度循环卷积模型的非侵入式负荷分解方法 被引量:8
9
作者 余登武 刘敏 《电测与仪表》 北大核心 2020年第23期47-53,共7页
电力分项计算是智能电能表的一个重要环节,即对接入户线的各个电器设备进行用电消耗检测。对电力公司进行精准预测,提高系统稳定性可靠性,制定调度方案,设计“错峰用电”费率结构,发现设备老化和故障有着重要意义。为了实现电力分项计算... 电力分项计算是智能电能表的一个重要环节,即对接入户线的各个电器设备进行用电消耗检测。对电力公司进行精准预测,提高系统稳定性可靠性,制定调度方案,设计“错峰用电”费率结构,发现设备老化和故障有着重要意义。为了实现电力分项计算,文中提出了一种基于深度循环卷积神经网络的非侵入式负荷分解方法。对目标电器的不同功率状态进行编码,用循环卷积神经网络提取输入负荷总功率的空间时间特征。对输入数据进行归一化提高模型训练速度,用drouput技术降低模型过拟合,用迁移学习技术实现对不同目标电器的功率状态预测建模。并和传统的隐马尔可夫模型进行对比。采用公开的redd数据集,结果证明文中所提出的模型能很好预测目标电器的功率状态。 展开更多
关键词 电力分计算 错峰用电 循环卷积神经网络 非侵入式负荷分解 空间时间特征 drouput 迁移学习 隐马尔可夫模型
在线阅读 下载PDF
基于DTRC的形式自动证明平台及其应用
10
作者 熊锋 李桂范 +1 位作者 程明 冯速 《海军工程大学学报》 CAS 2004年第5期60-64,共5页
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动... 动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 展开更多
关键词 动态重写计算 重写系统 运行平台 形式自动证明 重写策略
在线阅读 下载PDF
A new analytical algorithm for computing probability distribution of project completion time
11
作者 侯振挺 张玄 孔祥星 《Journal of Central South University》 SCIE EI CAS 2010年第5期1006-1010,共5页
An analytical algorithm was presented for the exact computation of the probability distribution of the project completion time in stochastic networks,where the activity durations are mutually independent and continuou... An analytical algorithm was presented for the exact computation of the probability distribution of the project completion time in stochastic networks,where the activity durations are mutually independent and continuously distributed random variables. Firstly,stochastic activity networks were modeled as continuous-time Markov process with a single absorbing state by the well-know method of supplementary variables and the time changed from the initial state to absorbing state is equal to the project completion time.Then,the Markov process was regarded as a special case of Markov skeleton process.By taking advantage of the backward equations of Markov skeleton processes,a backward algorithm was proposed to compute the probability distribution of the project completion time.Finally,a numerical example was solved to demonstrate the performance of the proposed methodology.The results show that the proposed algorithm is capable of computing the exact distribution function of the project completion time,and the expectation and variance are obtained. 展开更多
关键词 stochastic activity networks project completion time distribution function Markov process supplementary variable technique
在线阅读 下载PDF
软件可靠性技术
12
作者 党引弟 《现代电子技术》 2004年第22期71-73,79,共4页
介绍软件可靠性的基本概念 ,造成软件故障的原因 ,重点论述了提高软件可靠性的技术途径和管理措施。
关键词 软件 开发基线 软件可靠性 计算机软件单元 计算机软件部件 计算机软件配置
在线阅读 下载PDF
Fingerprint singular points extraction based on orientation tensor field and Laurent series 被引量:3
13
作者 刘琴 彭可 +4 位作者 刘巍 谢琴 李仲阳 兰浩 金耀 《Journal of Central South University》 SCIE EI CAS 2014年第5期1927-1934,共8页
Singular point(SP)extraction is a key component in automatic fingerprint identification system(AFIS).A new method was proposed for fingerprint singular points extraction,based on orientation tensor field and Laurent s... Singular point(SP)extraction is a key component in automatic fingerprint identification system(AFIS).A new method was proposed for fingerprint singular points extraction,based on orientation tensor field and Laurent series.First,fingerprint orientation flow field was obtained,using the gradient of fingerprint image.With these gradients,fingerprint orientation tensor field was calculated.Then,candidate SPs were detected by the cross-correlation energy in multi-scale Gaussian space.The energy was calculated between fingerprint orientation tensor field and Laurent polynomial model.As a global descriptor,the Laurent polynomial coefficients were allowed for rotational invariance.Furthermore,a support vector machine(SVM)classifier was trained to remove spurious SPs,using cross-correlation coefficient as a feature vector.Finally,experiments were performed on Singular Point Detection Competition 2010(SPD2010)database.Compared to the winner algorithm of SPD2010 which has best accuracy of 31.90%,the accuracy of proposed algorithm is 45.34%.The results show that the proposed method outperforms the state-of-the-art detection algorithms by large margin,and the detection is invariant to rotational transformations. 展开更多
关键词 fingerprint extraction singular point fingerprint orientation tensor field Laurent series rotational invariance supportvector machine (SVM)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部