搜索筛选:
搜索耗时0.0928秒,为你在为你在102,285,761篇论文里面共找到 41 篇相符的论文内容
发布年度:
[学位论文] 作者：张昭理,,
来源：华中科技大学 年份：2007
伴随着科学技术的飞速发展,信息已成为推动社会前进的巨大动力。利用计算机和网络对信息进行收集、加工、存储以及交换等,越来越成为各行各业必不可少的手段,计算机已经渗透...
[学位论文] 作者：张昭理,
来源：华中师范大学 年份：2004
统一建模语言(UML)是对象管理集团(OMG)的标准，是一种用于对软件密集型系统以及商业建模和非软件系统进行可视化、详述、构造和文档化的建模语言，主要适用于分析与设计阶段的系......
[期刊论文] 作者：张昭理,胡金柱,
来源：计算机工程 年份：2004
构件技术是目前软件开发的主流技术,CORBA构件模型是具有代表性的构件模型之一,分布式多层应用系统已成为目前重要的系统结构.文章讨论了基于CORBA构件模型和分布式多层体系...
[期刊论文] 作者：张昭理,洪帆,,
来源：计算机科学 年份：2008
提出了一个基于有色Petri网的自动Web服务合成模型，为Web服务的合成提供语义支持，提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5...
[会议论文] 作者：张昭理,胡金柱,
来源：2003'全国软件与应用学术会议 年份：2003
UML已成为被广泛应用的建模工具.Petri网是严格定义的数学对象,借助数学开发的Petri网分析方法和技术既可以用于静态的结构分析,又可以用于动态的行为分析.对象Petri网(OPN)...
[期刊论文] 作者：张镇九,张昭理,
来源：计算机工程 年份：2004
对近几年量子计算机从实验室走向实用化的重要进展作了一个简要综述。概述了量子计算机的优点，给出了不需要量子交缠的量子计算方法以及量子计算机的程序——量子幺正操作的特......
[期刊论文] 作者：王海燕,胡金柱,张昭理,
来源：计算机工程 年份：2004
UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析.CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性.该文...
[期刊论文] 作者：张昭理, 李阳, 刘海,,
来源：电化教育研究 年份：2018
为促进信息技术与课程教学双向深度融合,重塑教与学的生态,文章在PGP电子双板课堂教学平台的基础上,开发了一套由触控液晶电视平板组成的多屏多点可触控的教学系统——starC...
[期刊论文] 作者：张镇九,张昭理,
来源：物理 年份：2000
因子分解对所有的现行计算机而言是难解的。这是现在通用的公共加密系统的基础。文章介绍了在量子计算机上的进行的Shor量子算法，即利用量子态的相干叠加和纠缠特性以及量子逻......
[期刊论文] 作者：李振华,张昭理,刘海,,
来源：中国远程教育（综合版） 年份：2020
针对慕课等在线学习课程存在的完成率低、辍课率高等问题,不少研究者通过检测学习者的学习投入度来发现“问题”学生,对其进行干预以保证学习效果.本文以构建在线学习投入自...
[期刊论文] 作者：张镇九,张昭理,
来源：物理 年份：2000
因子分解对所有的现行计算机而言是难解的 .这是现在通用的公共加密系统的基础 .文章介绍了在量子计算机上进行的Shor量子算法 ,即利用量子态的相干叠加和纠缠特性以及量子逻...
[期刊论文] 作者：张昭理,洪帆,肖海军,,
来源：计算机工程与应用 年份：2007
在入侵检测系统和状态检测防火墙等应用中,规则冲突检测及冲突解析算法是影响安全性及服务质量的关键。首先对防火墙过滤规则之间的关系进行了建模和分类。然后在过滤规则关...
[期刊论文] 作者：张昭理,洪帆,肖海军,
来源：上海大学学报：英文版 年份：2008
在这篇论文，一个模型基于有颜色的 Petri 网(CPN ) 提供语义支持因为万维网服务作文被建议，并且合成服务的可靠性和可维护性被改进。在模型的合成构造是顺序，同时发生的事件，选择......
[期刊论文] 作者：胡金柱,王锐,张昭理,
来源：计算机科学 年份：2003
1.引言随着企、事业信息系统分布式应用需求的不断增长,大型分布式信息系统软件的开发难度在不断提高,项目失败的可能性也相应地增加.大型分布式信息软件系统的开发经常需要...
[期刊论文] 作者：张昭理,洪帆,肖海军,,
来源：计算机应用研究 年份：2008
提出了一种基于有色Petri网的建模方法,在系统的Petri网模型中可以对中国墙策略进行分析和验证。给出了基于有色Petri网的混合安全策略的形式化定义;并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行分析和验证。无论是在系统的设计阶段还是实现......
[期刊论文] 作者：张昭理,洪帆,XIAO Hai-jun,,
来源：上海大学学报（英文版） 年份：2008
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainabilit...
[期刊论文] 作者：张昭理,洪帆,肖海军,,
来源：Journal of Shanghai University(English Edition) 年份：2008
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainabilit...
[期刊论文] 作者：孙建文 张昭理 刘三等,
来源：中国教育信息化·高教职教 年份：2014
摘 要：开源软件以其开放、灵活、安全、成本低等优点，广泛应用于教育信息化领域。本文首先介绍了几个与教育云相关的开源项目，然后结合云课堂的共性需求和云计算的三个层次，提出了一种基于开源技术框架的云课堂平台体系架构参考模型，最后基于该模型研制了云课堂软件......
[期刊论文] 作者：刘海, 陈莹莹, 张昭理, 刘婷婷,,
来源：电化教育研究 年份：2018
学科工具对信息技术与教育的深度、全方面融合具有基础性作用。本研究团队面向多学科开展了学科资源工具的设计与开发,总数达1200余个,覆盖整个基础教育阶段。依托于自主研发...
[期刊论文] 作者：张昭理,洪帆,夏翔胜,,
来源：计算机工程与科学 年份：2007
基于角色的访问控制（RBAC）是一种目前被广泛接受和应用的访问控制模型，利用角色管理角色是一种很好的尝试，其代表模型为ARBAC97。但是，ARBAC97的基本模型无法满足复杂、多层次的实......
相关搜索：
