青鸟工程及其CASE工具 被引量：12

1

作者 谢冰 杨芙清 《计算机工程》 CAS CSCD 北大核心 2000年第11期76-77,92,共3页

概要介绍了青鸟工程的攻关工作情况，以及“九五”攻关的核心工作：基于构件／构架复用的软件工业化生产平台（青鸟软件生产线系统），并介绍了部分具有自主知识产权的ＣＡＳＥ工具（系统）．

关键词 青鸟工程 软件工程 casE工具 软件复用

在线阅读 下载PDF 职称材料

CAS范式在南水北调东线水资源供应链管理中的应用 被引量：5

2

作者 张玲玲 张乃伟 王宗志 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第6期703-706,共4页

将CAS范式引入南水北调东线水资源供应链管理项目,研究其复杂性、动态性和整体性,为水资源配置与调度提供理论依据.从供应链的结构、节点企业以及外部环境等角度,分析其复杂自适应性,指出基于软件平台Swarm仿真的可行性和有效性,从复杂... 将CAS范式引入南水北调东线水资源供应链管理项目,研究其复杂性、动态性和整体性,为水资源配置与调度提供理论依据.从供应链的结构、节点企业以及外部环境等角度,分析其复杂自适应性,指出基于软件平台Swarm仿真的可行性和有效性,从复杂性的角度提供了供应链量化建模仿真的理论基础. 展开更多

关键词 水资源供应 企业 供应链 管理项目 外部环境 范式 复杂性 cas 角度 理论依据

在线阅读 下载PDF 职称材料

XYZ/E在CA认证系统的一个初步应用 被引量：1

3

作者 刘俭云 戎玫 张广泉 《计算机工程与应用》 CSCD 北大核心 2005年第26期133-135,共3页

时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构。

关键词 XYZ/E ca软件体系结构 组件 连接件

在线阅读 下载PDF 职称材料

基于CA的安全软件分发方案 被引量：3

4

作者 邱志聪 王飞 《计算机工程与应用》 CSCD 北大核心 2005年第11期48-49,71,共3页

由于软件的易复制性,非法用户可以轻易地从其他合法用户或者网络中获取软件的拷贝。因此,有必要制定一个安全的软件分发方案来保护软件开发者的利益。该文介绍了一种新型的基于CA的安全软件保护方案,能够有效地抵抗商用软件分发、安装... 由于软件的易复制性,非法用户可以轻易地从其他合法用户或者网络中获取软件的拷贝。因此,有必要制定一个安全的软件分发方案来保护软件开发者的利益。该文介绍了一种新型的基于CA的安全软件保护方案,能够有效地抵抗商用软件分发、安装和使用过程中所遭受的各种攻击。 展开更多

关键词 软件保护 ca 软件分发 计算机指纹

在线阅读 下载PDF 职称材料

支持多工具协同的流程管理系统的设计与实现 被引量：5

5

作者 杨涛 石琳 +2 位作者 宋梦蝶 李守斌 王青 《计算机应用》 CSCD 北大核心 2017年第7期2019-2026,共8页

软件开发流程中越来越依赖各种计算机辅助软件(CAS)。在使用多种工具的情况下,会遇到开发流程不可定制、流程数据不一致和流程管理效率低等问题。针对这些问题提出了一个支持多工具协同工作的软件开发过程管理系统。通过分析软件开发过... 软件开发流程中越来越依赖各种计算机辅助软件(CAS)。在使用多种工具的情况下,会遇到开发流程不可定制、流程数据不一致和流程管理效率低等问题。针对这些问题提出了一个支持多工具协同工作的软件开发过程管理系统。通过分析软件开发过程,研究支持快速迭代、偏向流程管理的软件工程开发模式,结合工作流思想设计分层架构的软件开发过程管理系统。该系统经过严格的测试用例检测,在设计的576个测试用例下通过率达到85%,能够完成工具协同的大部分需求,包括流程可定义、保持数据一致和开发流程管理。该系统在7个软件开发组,共约200人的规模下推广试用。根据管理组、开发组和测试组的反馈结果,该系统比传统方式节省了每周例会的时间,方便了开发任务的管理,从而提高了开发效率。 展开更多

关键词 软件工程 软件开发流程 流程管理 工作流 计算机辅助软件

在线阅读 下载PDF 职称材料

软件安全的多指标综合评测 被引量：10

6

作者 王维静 王树明 +2 位作者 陈震 申春 彭秀增 《计算机工程与应用》 CSCD 北大核心 2006年第11期94-96,224,共4页

文章提出了一种新的软件安全评测方法。通过对软件安全的实际研究和分析提取出典型的评测指标,并将层次分析法AHP(AnalyticHierarchyProcess),主成分分析法PCA(PrincipalComponentAnalysis)和聚类分析法CA(ClusterAnalysis)三者结合进... 文章提出了一种新的软件安全评测方法。通过对软件安全的实际研究和分析提取出典型的评测指标,并将层次分析法AHP(AnalyticHierarchyProcess),主成分分析法PCA(PrincipalComponentAnalysis)和聚类分析法CA(ClusterAnalysis)三者结合进行评测。首先采用AHP通过定量分析确定指标权重;之后采用PCA,通过线性变换,在保留大部分原始信息的前提下,把加权后的指标重新组合成一组无关的综合指标并进行分析;最后采用CA对PCA的分析结果进一步研究并根据用户需求将软件分为指定数目的类别从而使结果更加直观。实际的评测结果表明这一方法可以对软件的安全性进行正确有效的评测。 展开更多

关键词 软件安全 指标提取 主成分分析 层次分析法 聚类分析

在线阅读 下载PDF 职称材料

GPS软件接收机并行处理的实现 被引量：2

7

作者 苗剑峰 孙永荣 +2 位作者 陈武 刘建业 胡丛伟 《应用科学学报》 CAS CSCD 北大核心 2009年第2期203-209,共7页

针对传统GPS软件接收机实时性差的问题,深入研究了基于双核处理器的并行信号搜索、跟踪以及伪距定位等关键技术,提出GPS软件接收机并行处理方法.在搜索过程中,采取并行处理技术并实时优化搜索范围,利用相位关系进行解算,有效克服了相关... 针对传统GPS软件接收机实时性差的问题,深入研究了基于双核处理器的并行信号搜索、跟踪以及伪距定位等关键技术,提出GPS软件接收机并行处理方法.在搜索过程中,采取并行处理技术并实时优化搜索范围,利用相位关系进行解算,有效克服了相关法求解精频速度慢的缺点.在跟踪环路中,研究载波/码相位跟踪环路并行独立处理技术,通过深入分析二阶跟踪环路性能,优化设计参数,使接收机具备较好的动态性能的同时,能够将噪声的影响降到最低.最后在Matlab环境下设计了算法应用程序,将实测数据对算法进行验证.结果表明:与传统的串行处理算法相比,该方法可使信号处理效率提高30%以上,各项输出指标均达到单点伪距定位要求. 展开更多

关键词 全球卫星定位系统 软件接收机 ca码相关 载波跟踪环

在线阅读 下载PDF 职称材料

高效符号数值混合计算系统研究与设计 被引量：1

8

作者 秦小林 冯勇 李骏 《计算机工程与应用》 CSCD 北大核心 2009年第5期64-66,共3页

符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于... 符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。 展开更多

关键词 计算机代数系统 符号与数值混合计算 数学软件 符号与数值混合应用

在线阅读 下载PDF 职称材料

城市轨道交通列车制动参数化热容量计算应用软件的开发

9

作者 应之丁 孙伟 +2 位作者 房玉龙 朱建安 储阳 《城市轨道交通研究》 北大核心 2013年第9期54-57,共4页

基于参数化设计思想,利用可视化编程语言,在根据热力学理论分析计算轨道交通车辆制动过程中车轮和制动盘的热量输入和散热规律的基础上,开发了参数化建模及后处理软件。针对现场运营工况要求,并应用有限元计算方法计算制动时车轮或制动... 基于参数化设计思想,利用可视化编程语言,在根据热力学理论分析计算轨道交通车辆制动过程中车轮和制动盘的热量输入和散热规律的基础上,开发了参数化建模及后处理软件。针对现场运营工况要求,并应用有限元计算方法计算制动时车轮或制动盘温度的变化及制动热容量。为适应现场工程师的应用需求,设计了一款通用的列车制动热容量计算应用软件。 展开更多

关键词 城市轨道交通 列车制动 热容量计算 应用软件

在线阅读 下载PDF 职称材料

一个面向对象的星体标校软件的设计与实现

10

作者 张光明 王建军 《光电工程》 CAS CSCD 1999年第3期64-66,71,共4页

面向对象是目前编程技术的发展趋势。介绍一种采用面向对象编程的经纬仪星体标校软件，该软件可实现对经纬仪的实时引星、拍星、拍星数据处理及单项误差的分离等工作，是经纬仪外场精度检测和单项误差调整的极好的辅助工具。

关键词 面向中对象设计 经纬仪 星体跟踪 软件设计

在线阅读 下载PDF 职称材料

基于光谱合束技术的透射光栅模拟设计 被引量：3

11

作者 张俊明 吴肖杰 +2 位作者 马晓辉 张贺 邹永刚 《应用光学》 CAS CSCD 北大核心 2017年第3期514-520,共7页

半导体激光器光谱合束技术能够实现近衍射极限的高功率激光输出,已成为当前研究热点。衍射光栅的性能直接决定光谱合束的激光输出效果。模拟设计了一种针对940nm波长、熔融石英材料的亚波长透射光栅。基于严格耦合波理论对光栅结构进行... 半导体激光器光谱合束技术能够实现近衍射极限的高功率激光输出,已成为当前研究热点。衍射光栅的性能直接决定光谱合束的激光输出效果。模拟设计了一种针对940nm波长、熔融石英材料的亚波长透射光栅。基于严格耦合波理论对光栅结构进行初步设计,运用Rsoft软件依次对光栅占空比、脊高和周期等参数进行优化确定,同时分析了各个参数对光栅衍射效率的影响。所设计的透射式光栅实现第-1级衍射级次的波分复用功能,衍射效率达到91.2%(TE模式),同时压缩其他衍射级次,使其衍射效率降到1.2%以下。同时在光栅入射角度59°±3°范围内保持90%以上的衍射效率,实现高功率激光输出的同时具有较高的误差容错率,易于调节,满足光谱合束技术的要求。 展开更多

关键词 透射光栅 光谱合束技术 Rsoft软件 熔融石英 衍射效率

在线阅读 下载PDF 职称材料

一种混合高性能计算机代数环境模型 被引量：1

12

作者 张骏 陈良育 曾振柄 《计算机应用》 CSCD 北大核心 2007年第11期2834-2837,共4页

提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和... 提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。 展开更多

关键词 计算机代数系统 数学软件 并行计算 高性能计算

在线阅读 下载PDF 职称材料

计算机在高等数学教学中的应用探索 被引量：4

13

作者 "计算机在高等数学中的应用"课题组 《天津工业大学学报》 CAS 2001年第4期99-100,共2页

论述了计算机用于高等数学教学的必要性与可行性 ,讨论了数学 CAI课件的开发和应用 。

关键词 计算机 数学caI 数学软件 高等教学 教学方法

在线阅读 下载PDF 职称材料