期刊文献+
共找到110篇文章
< 1 2 6 >
每页显示 20 50 100
新型起爆系统安全性计算机辅助分析
1
作者 任东陕 任玲 《现代防御技术》 北大核心 2005年第5期22-24,共3页
介绍了新型起爆系统,针对发射周期前、发射周期中和发射周期后安全距离内3个阶段建立了3棵安全性故障树并进行了数值计算。分析和计算结果表明,所设计的新型起爆系统符合美军标的相关规定,安全性失效率达到了美军标的要求,是高安全的起... 介绍了新型起爆系统,针对发射周期前、发射周期中和发射周期后安全距离内3个阶段建立了3棵安全性故障树并进行了数值计算。分析和计算结果表明,所设计的新型起爆系统符合美军标的相关规定,安全性失效率达到了美军标的要求,是高安全的起爆系统。该系统对推进钝感弹药引爆技术,特别是高新技术弹药的发展有重要意义。随着信息技术的发展,它将成为最先进的起爆系统。 展开更多
关键词 新型起爆系统 安全性 故障树分析
在线阅读 下载PDF
计算机软件人才培养模式的研究 被引量:13
2
作者 王小银 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第S2期184-186,共3页
对我国计算机软件人才的需求和培养现状进行了分析,在此基础上提出了适合我国软件人才培养模式的新理念.
关键词 软件人才 培养模式 工程化
在线阅读 下载PDF
建立SDH系列芯片验证平台 被引量:5
3
作者 杜慧敏 曾泽沧 +2 位作者 孟李林 韩俊刚 沈绪榜 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期678-681,共4页
针对同步数字系列 (SynchronousDigitalHierarchy ,SDH)芯片开发的验证平台 ,利用事务和断信技术 ,采用模块化结构设计 ,层次结构清楚 ,具有良好的可重用性 用该测试平台验证了设计的超百万门的SDH成帧芯片的功能 实践表明 。
关键词 SDH系列芯片 同步数字系列 功能验证 事务 处理程序 断信技术 IC卡 模块化结构设计
在线阅读 下载PDF
基于Super Map的数字高校系统的设计与实现 被引量:9
4
作者 周元哲 王映辉 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第5期531-534,共4页
目的 对数字高校系统的设计和实施进行描述和分析。方法 在SuperMap的GIS组件开发平台的基础上利用VB的集成环境的二次开发。结果 建立了一个基于SuperMap开发平台的设计思路的地理信息管理系统———数字西大。结论 数字西大作为... 目的 对数字高校系统的设计和实施进行描述和分析。方法 在SuperMap的GIS组件开发平台的基础上利用VB的集成环境的二次开发。结果 建立了一个基于SuperMap开发平台的设计思路的地理信息管理系统———数字西大。结论 数字西大作为数字社区的具体实现,对于数字城市的开发将具有有益的借鉴作用。 展开更多
关键词 数字西大 SUPERMAP 构件 空间数据库
在线阅读 下载PDF
基于GIS的全国油气管道安全管理信息系统设计 被引量:5
5
作者 乔平安 杨立法 《计算机工程》 CAS CSCD 北大核心 2007年第7期261-263,共3页
管道安全风险评估源于对管道多种信息的收集、存储和加工处理,为此开发了一套全国油气管道安全管理信息系统。介绍系统中根据管道统计信息绘制和维护管线地理图形的3种方法以及管线分段多种属性信息的管理方法,并对大跨度管线图形绘制以... 管道安全风险评估源于对管道多种信息的收集、存储和加工处理,为此开发了一套全国油气管道安全管理信息系统。介绍系统中根据管道统计信息绘制和维护管线地理图形的3种方法以及管线分段多种属性信息的管理方法,并对大跨度管线图形绘制以及MapX在节点编辑模式下易引发应用系统崩溃的情况提出了有效的处理措施。应用VB+MapX模式开发的应用系统已经被用户实际使用,得到充分肯定。 展开更多
关键词 地理信息系统(GIS) 管道安全风险评估 MAPX控件 管理信息系统(MIS)
在线阅读 下载PDF
一个基于J2EE体系结构的电子病历子系统 被引量:3
6
作者 周元哲 周明全 耿国华 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第6期659-661,共3页
首先对分布式环境下远程医疗系统和电子病历子系统进行分析;然后对J2EE体系结构进行讨论;最后介绍了基于J2EE的远程医疗系统的子系统电子病历子系统的模型和实现。
关键词 远程医疗 电子病历 J2EE
在线阅读 下载PDF
投影时序逻辑的公理系统与形式验证 被引量:4
7
作者 舒新峰 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第4期680-685,729,共7页
为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,... 为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,并使用公理系统完成系统性质的证明.最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用. 展开更多
关键词 投影时序逻辑 公理系统 形式化方法 验证
在线阅读 下载PDF
移动计费系统中数据异常的预防与检测 被引量:2
8
作者 朱智林 左天军 韩俊刚 《计算机应用》 CSCD 北大核心 2004年第B12期262-263,共2页
为了满足移动计费应用的基本要求,需要将大批量的基本数据常驻内存。分析了内存中 数据异常产生的原因,在借鉴数据通信中的CRC技术的基础上,探讨了在内存数据管理中,采用在每 个数据片断上都设置一个校验码的方式,进行内存数据一致... 为了满足移动计费应用的基本要求,需要将大批量的基本数据常驻内存。分析了内存中 数据异常产生的原因,在借鉴数据通信中的CRC技术的基础上,探讨了在内存数据管理中,采用在每 个数据片断上都设置一个校验码的方式,进行内存数据一致性的检查,结合传统数据库的日志技术和 检查点技术,给出了实现内存数据异常检测和预防的基本方法。 展开更多
关键词 校验码 数据异常 内存数据管理 预防与检测
在线阅读 下载PDF
改进的永磁同步电机直接转矩控制系统仿真实现 被引量:19
9
作者 王玲芝 《电力系统保护与控制》 EI CSCD 北大核心 2009年第19期65-68,共4页
直接转矩控制的主要缺点是低速时转矩脉动大。其中一个重要原因是电机在运行中存在温度升高及电流频率变化等现象,定子电阻的阻值发生变化,使定子磁链的估计精度降低,导致电磁转矩出现较大的脉动。针对这一问题,设计了一种改进的永磁同... 直接转矩控制的主要缺点是低速时转矩脉动大。其中一个重要原因是电机在运行中存在温度升高及电流频率变化等现象,定子电阻的阻值发生变化,使定子磁链的估计精度降低,导致电磁转矩出现较大的脉动。针对这一问题,设计了一种改进的永磁同步电机直接转矩控制系统。根据实际转矩和给定转矩的偏差,提出了一种使用PI控制器补偿定子电阻变化的方法。仿真表明该控制系统可以减小磁链和转矩脉动,改善了系统的运行性能,提高了系统对电机参数变化的鲁棒性。 展开更多
关键词 永磁同步电机 直接转矩控制 转矩脉动 PI控制器 定子电阻变化
在线阅读 下载PDF
基于Internet的多媒体远程教学系统的开发及改进 被引量:1
10
作者 谢晓燕 李龙江 赵亚婉 《计算机工程》 CAS CSCD 北大核心 2000年第S1期646-649,共4页
在现有的远程教学系统中,大量的多媒体信息需求成为系统应用的瓶颈。本文在分析现有系统缺陷的基础上,采用局域网广播技术,对点对点的数据服务方式进行了改进。测试数据表明,改进后的系统数据发送平均时间和服务器吞吐量都有显著改... 在现有的远程教学系统中,大量的多媒体信息需求成为系统应用的瓶颈。本文在分析现有系统缺陷的基础上,采用局域网广播技术,对点对点的数据服务方式进行了改进。测试数据表明,改进后的系统数据发送平均时间和服务器吞吐量都有显著改善,而且具有性能不随局域网用户的增加而下降的优点,在实际应用中取得了很好的效果。 展开更多
关键词 INTERNET 远程教学 局域网 广播
在线阅读 下载PDF
模态转移系统的三值逻辑模型检验 被引量:2
11
作者 郭建 韩俊刚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期881-884,共4页
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·... 分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度· 展开更多
关键词 三值逻辑 模型检验 模态转移系统 不完全Kripke结构
在线阅读 下载PDF
离散混沌系统稳健差拍同步方法及其在保密通信中的应用 被引量:5
12
作者 李育贤 《通信学报》 EI CSCD 北大核心 2000年第9期35-40,共6页
本文结合自适应信道盲均衡和离散混沌系统差拍同步提出了一种存在信道畸变时的离散混沌系统的稳健差拍同步方法。该方法把混沌误差同步作为能量函数 ,利用进化算法训练递归神经网络完成自适应信道盲均衡 ,均衡器的输出作为混沌接收器的... 本文结合自适应信道盲均衡和离散混沌系统差拍同步提出了一种存在信道畸变时的离散混沌系统的稳健差拍同步方法。该方法把混沌误差同步作为能量函数 ,利用进化算法训练递归神经网络完成自适应信道盲均衡 ,均衡器的输出作为混沌接收器的激励信号 ,从而在完成信道盲均衡的同时混沌系统达到同步状态。此外 ,本文提出了一种利用离散混沌系统稳健差拍同步实现存在信道畸变时的保密通信方法。 展开更多
关键词 稳健混沌 差拍同步法 保密通信
在线阅读 下载PDF
交互式多媒体CAI系统的制作 被引量:5
13
作者 王曙燕 《电化教育研究》 CSSCI 北大核心 2000年第5期32-35,共4页
本文系统地介绍了交互式多媒体 CAI系统的制作方法 ,并介绍了一个实现实例——数据结构CAI课件的设计思想、设计过程和实现方法 ,特别介绍了在
关键词 多媒体 CAI 交互式 课件 制作
在线阅读 下载PDF
利用串口进行网络系统互联的设计与实现 被引量:1
14
作者 王亚刚 许振文 《计算机工程与应用》 CSCD 北大核心 2009年第22期47-48,61,共3页
为了解决数字微波设备网管系统中利用串口进行网络互联的问题,利用uCLinux系统中Netlink通信机制、网络驱动程序设计等关键技术,结合数字微波设备网管系统的具体设计,提出了基于串口设备的网络系统互联的系统模型,并给出了具体的设计与... 为了解决数字微波设备网管系统中利用串口进行网络互联的问题,利用uCLinux系统中Netlink通信机制、网络驱动程序设计等关键技术,结合数字微波设备网管系统的具体设计,提出了基于串口设备的网络系统互联的系统模型,并给出了具体的设计与实现方法。 展开更多
关键词 NETLINK 网络驱动程序 串口通信 网络互联
在线阅读 下载PDF
基于集群系统的分布式安全框架研究及实施 被引量:1
15
作者 陈莉君 贺炎 《计算机应用研究》 CSCD 北大核心 2006年第8期133-135,共3页
开源的安全项目Linux安全模块(LSM)、分布式安全框架(DSI)为研究分布式集群系统中的分布式安全性提供了良好平台。介绍了LSM和DSI的实现原理,并在此基础上讨论了分布式安全模块的目标、体系结构、特点、性能以及实现状态。
关键词 LINUX安全模块 分布式安全框架 分布式安全模块
在线阅读 下载PDF
基于IP技术的智能监控系统研究 被引量:3
16
作者 李育贤 《计算机科学》 CSCD 北大核心 2008年第7期99-100,共2页
本文针对IP技术和控制技术相结合的发展趋势,提出了一种基于IP技术的智能监控系统构架的实现方法,讨论了该系统的构架原则和特点,设计了相应的监控装置的硬件实现方案,并进行了实验研究,对于开发一种具有较好开放性、灵活的扩展性和方... 本文针对IP技术和控制技术相结合的发展趋势,提出了一种基于IP技术的智能监控系统构架的实现方法,讨论了该系统的构架原则和特点,设计了相应的监控装置的硬件实现方案,并进行了实验研究,对于开发一种具有较好开放性、灵活的扩展性和方便易用的网络监控技术作了有益的探索。 展开更多
关键词 智能监控 TCP/IP协议 控制网
在线阅读 下载PDF
基于ASP的《数据库原理》BBS系统的实现 被引量:1
17
作者 周元哲 孟彩霞 《现代电子技术》 2004年第22期37-38,41,共3页
首先介绍了 ASP的特点和利用 ASP访问数据库的方法 ,其次设计了基于 ASP技术的教育网站的 BBS系统。该系统主要提供了网上交谈和网上留言板两个主要板块 ,实现了受教育者在不受时间和空间等条件的约束下 ,教育资源的最大共享和教育方法... 首先介绍了 ASP的特点和利用 ASP访问数据库的方法 ,其次设计了基于 ASP技术的教育网站的 BBS系统。该系统主要提供了网上交谈和网上留言板两个主要板块 ,实现了受教育者在不受时间和空间等条件的约束下 ,教育资源的最大共享和教育方法的重大突破。 展开更多
关键词 ASP ADO 《数据库原理》 BBS B/S
在线阅读 下载PDF
基于GIS的电信资源管理系统分析与设计 被引量:2
18
作者 杨立法 《计算机应用》 CSCD 北大核心 2004年第S1期28-31,共4页
分析了电信资源成图特点和图形维护的难点 ,设计出基于图形操作的系统数据模型、存储方式和并发访问控制机制 ,以及资源管理所需的主要图形操作及其实现方法 ,并给出MapInfo平台下MapBasic程序组织方式及实现结果。该设计是实现电信资... 分析了电信资源成图特点和图形维护的难点 ,设计出基于图形操作的系统数据模型、存储方式和并发访问控制机制 ,以及资源管理所需的主要图形操作及其实现方法 ,并给出MapInfo平台下MapBasic程序组织方式及实现结果。该设计是实现电信资源管理可视化的一种有效途径。 展开更多
关键词 地理信息系统 电信资源管理 空间数据模型
在线阅读 下载PDF
片上系统的模型检验 被引量:2
19
作者 郭建 《现代电子技术》 2005年第14期95-97,共3页
片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确,是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法,针对模型检验技术,讨论了... 片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确,是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法,针对模型检验技术,讨论了在SoC验证中的应用,指出在SoC设计中,只有把模拟仿真与形式化、半形式化的方法结合起来,才能更好的对SoC进行验证。 展开更多
关键词 片上系统 形式化验证 模型检验 属性描述语言
在线阅读 下载PDF
实时系统状态空间分析的一种算法
20
作者 杜慧敏 杨红丽 韩俊刚 《计算机应用》 CSCD 2000年第S1期62-65,共4页
提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。
关键词 形式化验证 互模拟 实时自动机 区域图 可达图
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部