搜索筛选:
搜索耗时2.5955秒,为你在为你在102,285,761篇论文里面共找到 63 篇相符的论文内容
发布年度:
[期刊论文] 作者：张维石,
来源：小型微型计算机系统 年份：1999
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性，然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作......
[期刊论文] 作者：张维石,
来源：航海教育研究 年份：2001
21世纪是信息化、数字化、网络化、智能化蓬勃发展的新世纪.世界范围内的新技术革命和知识经济的浪潮,推动发展中国家和发达国家在计算机与电子信息技术的创新和应用领域,重...
[期刊论文] 作者：张维,石慧,
来源：华章 年份：2004
本文就计算机网络安全的科学防护及相关技术发展展开探讨,对提升网络安全防护水平,推进计算机网络安全技术的创新应用、全面发展,有积极有效的促进作用....
[期刊论文] 作者：许楠, 张维石,,
来源：计算机应用 年份：2014
上下文感知计算是当前开发和部署智能应用不可或缺的关键技术之一。上下文能否在计算中真正发挥其作用,主要取决于两方面:一是如何连续稳定地从动态交互环境中获取高质量上下...
[期刊论文] 作者：宋爽, 张维石,,
来源：电脑知识与技术 年份：2018
分析公共交通网络结构的特征,基于图论的方法,明确公交网络中最短路径的意义。根据对公交乘客出行心理的调查,发现换乘次数最少是首要考虑的因素。从节省存储空间、提高运算...
[期刊论文] 作者：谢兄,张维石,
来源：小型微型计算机系统 年份：2009
基于构件的软件工程中，构件行为适应是一个关键的问题．目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题．给出了解决构件行为不匹配的一种通用的方法．该方法首......
[期刊论文] 作者：谢兄,张维石,
来源：小型微型计算机系统 年份：2008
构件组装是基于构件的软件开发中的一个重要环节．本文利用线性逻辑描述了具有语义信息的构件结构，描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系，利用定理证明......
[期刊论文] 作者：谢兄,张维石,
来源：计算机工程与应用 年份：2007
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描...
[期刊论文] 作者：张维,石铭德,
来源：电子技术应用 年份：1999
介绍了基于可编程序控制器的核心供热堆控制棒逻辑控制系统模型，详细地介绍了核供热棒控制系统的功能及实现方法。通过对该系统的整体结构的分析，在易于扩展的前提下，对控制棒选......
[期刊论文] 作者：刘钢,张维石,
来源：现代计算机：中旬刊 年份：2017
通过扩充情感词典词基数,新建中立词词典,引入网络流行词等方式丰富情感词典,提高分词后情感词匹配的准确性;以某评价类网站网民评论作为原始数据进行分词,提取相应的正向情...
[期刊论文] 作者：谢兄,张维石,,
来源：系统仿真学报 年份：2007
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出......
[会议论文] 作者：张文锋,张维石,
来源：2003年全国理论计算机科学学术年会 年份：2003
本文研究的网络定时搜索技术是网络搜索技术的延伸,在此基础上再作相应处理,就可以完成很多功能.如:加上输入和触发事件的处理就可以实现预订午餐或网上购物的功能;对搜索到...
[会议论文] 作者：孙伟,张维石,
来源：第六届全国计算机应用联合学术会议 年份：2002
Fagab软件检查是经过多年实践经验总结出来的提高软件质量的有效方法,将Fagan检查与统一开发过程结合起来,可以使其在软件开发中保证质量.本文提出了一种基于Fagan软件检查与统一软件过程的质量保证方法,为国内中小企业的工程化标准化软件开发提高软件质量提供......
[期刊论文] 作者：赵鑫龙, 张维石,,
来源：计算机工程与设计 年份：2017
针对云计算的特点,将灰色关联度和区间数引入云计算安全性量化评估过程中,提出一个云计算安全性量化评估方法。基于区间数型的分数值,采用理想属性偏离度将不确定性问题转化...
[期刊论文] 作者：陈增艳,张维石,,
来源：现代计算机(专业版) 年份：2017
在教育部大力开展国家级虚拟仿真实验教学中心建设工作的大背景下，虚拟仿真实验室已成为中心建设的重要内容之一。针对于传统高校实验教学的高危环境、高成本、高消耗、条件不......
[期刊论文] 作者：刘宪凯,张维石,
来源：计算机工程与应用 年份：2002
分布式组件技术CORBA与Web的结合给Internet上的应用系统开发带来了全新的解决方案，电子商务系统具有典型的分布式特点，在其构造过程中自然联系到CORBA技术的应用。文章首先简...
[期刊论文] 作者：罗武军,张维石,
来源：现代计算机：下半月版 年份：2000
随着网络化的发展，分布式应用 来越成为网络应用的需求，分布式应用模型的建立、开发以及分布式应用的管理等，都成为必须考虑的问题，本文分布式应用建立和开发的角度，叙述利用Ｊａｖａ中的......
[期刊论文] 作者：张维,石铭德,等,
来源：原子能科学技术 年份：2001
介绍了一种基于现场可编程门阵列（Field Programmable Gate Array，即FPGA）的新型反应堆保护系统的设计方案，辅以微处理器作为热备份的冗余，以实现设备的多样性。系统采用三取二的...
[期刊论文] 作者：刘宪凯,张维石,
来源：计算机工程与应用 年份：2002
基于Web的应用越来越受到人们的欢迎，对Web应用进行有效的建模成为Web应用成功与否的重要因素之一。统一建模语言(UML)是一种用于可视化、说明、构建并文档化软件系统的标准建...
[会议论文] 作者：宋秀红,张维石,
来源：全国第十五届计算机科学与技术应用学术会议 年份：2003
针对目前网站可用性问题,分析了将网站用户浏览数据进行可视化的可行性,并给出了基于快速应用开发RAD技术的设计与实现.本工具用于对浏览数据进行信息统计、分析、查询及可视...
相关搜索：
