搜索筛选:
搜索耗时1.3453秒,为你在为你在102,285,761篇论文里面共找到 23 篇相符的论文内容
发布年度:
[期刊论文] 作者:陈道喜,,
来源:郑州航空工业管理学院学报 年份:2016
西方资本主义传统市场经济理论不提倡国家干预市场,认为竞争纯粹是企业之间的事情,企业需要通过自身技术进步和提高产品质量以赢得市场竞争。但是,现代全球化的市场竞争已经从企......
[期刊论文] 作者:陈道喜,,
来源:中国新通信 年份:2004
为进一步深化技工院校教育教学改革,全面提高教学质量,技工院校推选教学名师。教学名师在基本资格和职业素质等方面要求作简要介绍,从众多的教学名师中提炼出教学名师的特质,...
[期刊论文] 作者:陈道喜,,
来源:电脑学习 年份:2010
基于内容管理系统CMS的设计与开发方法具有良好的前台界面和功能强大的后台管理功能。作为教学网站设计,可以在短时间内搭建起班级网站,在局域网内使用,充分发挥网站的信息发...
[期刊论文] 作者:陈道喜,
来源:福建师大福清分校学报 年份:2002
随着科学技术发展,现代化信息媒介相继参入英语教学领域.幻灯机、投影机、录相机、电子计算机等电教设备已被英语教学广泛采用.特别是电子计算机,它可以融视、听、说为一体,...
[期刊论文] 作者:陈道喜,
来源:智能计算机与应用 年份:2012
Linux操作系统下,文件的共享可以用NFS实现,NFS可以设置允许指定的客户端或指定的网段访问服务器。虚拟机VM中,安装Fedora8操作系统,其中一台配置成NFS服务器,另一台配置成客...
[期刊论文] 作者:陈道喜,
来源:福建建筑高等专科学校学报 年份:1999
从各级各类学校的外语教学来看,都存在着一种学生只能笔试,却不会听说读的高分低能现象。为了纠正这种畸形发展,本文在总结多年教学经验的基础上提出了五点看法,以便为我国外...
[期刊论文] 作者:陈道喜,
来源:科技信息 年份:2012
高职院校辅导员是保证高职院校学生健康成长成才的重要力量,他们只有根据新形势的需要,不断调整思路,做到整体与个体教育的融合、课堂教育与社会实践教育的融合、科学教育与科学......
[期刊论文] 作者:陈道喜,
来源:计算机时代 年份:2011
计算机系统管理员的高级工考试是一项资格认证考试,与之相适应需要一项自动的评分系统。其中选择题的自动评分已经实现,而操作题需要手工阅卷。为了实现对操作题的答题结果自...
[期刊论文] 作者:陈道喜,
来源:安顺学院学报 年份:2016
政府对科技创新进行政策干预具有深厚的理论原因。经济原因是科技创新成果的外部性、公共产品性和技术市场不完全竞争性。政治原因是国际科技竞争和产业升级。法律原因在于法...
[期刊论文] 作者:陈道喜,,
来源:中国司法 年份:2009
安徽省滁州市属经济欠发达地区,下辖天长、明光两市、来安、全椒、定远、凤阳四县和琅琊、南谯两区,总人口445万人。其中,农村人口346万,城市贫困家庭35304户,法律援助的潜在...
[期刊论文] 作者:陈道喜,
来源:魅力中国 年份:2020
在小学语文教学过程中,作文教学是其中非常重要且不能忽略的一部分,然而受到传统教育的影响,致使作文教学一直沿用以往的教学模式和方法,虽然在新课改背景下得到了一定的改变...
[期刊论文] 作者:陈道喜,
来源:智能计算机与应用 年份:2012
NFS(Network File System)是一种启用RPC(Remote Procedure Call)的网络服务,RPC可以指定每个NFS功能所对应的端口号,重启RPC后,RPC所管理的全部NFS功能服务都需重新向RPC注册。NFS服务允许以访问任何本地文件一样的方法来访问远程主机上的文件?眼1?演。通过将客户端的内核功能与服务器端的NFS服务功能相结合,文件访问对客户来说就是完全......
[学位论文] 作者:陈道喜,
来源:苏州大学 年份:2009
模型检测是一种重要的形式化验证技术,能自动地检验系统是否满足所期望的性质。模型检测已经被成功地应用于计算机硬件、通信协议、控制系统和安全认证等方面的分析与验证中...
[期刊论文] 作者:张铁山,陈道喜,
来源:西部素质教育 年份:2016
高等教育工作的两项重要内容包括:一是全面提高高等教育的质量和水平,二是提高人才培养质量,这就要求各高等院校改良和创新教学管理模式,并且必须坚持以人为本的基本原则。阐...
[期刊论文] 作者:陈道喜, 单新国,,
来源:管理工程师 年份:2016
河南省科技创新和转化在近几年取得很大进步,但是在科技强省的过程中还存在资金投入不足,对科研人员的积极性调动不够,产学研结合不紧密等方面的问题。为促进科技成果转化,必...
[会议论文] 作者:陈道喜, 刘俊艳,,
来源: 年份:2004
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[期刊论文] 作者:陈道喜,马谟荣,
来源:秘书 年份:1997
转业干部来信来访工作是转业安置工作的一项重要内容,是信访工作的重要组成部分。由于地方党政机构精简、企事业单位扩大用人自主权以及劳动、人事、工资、住房等方面改革的...
[期刊论文] 作者:陈道喜,戎玫,张广泉,
来源:计算机工程与科学 年份:2009
模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测...
[期刊论文] 作者:陈道喜, 张广泉, 陈冬火,,
来源:微电子学与计算机 年份:2008
NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具Spin进行验证,进而生成入侵者的攻击序列....
[期刊论文] 作者:陈道喜,陈冬火,张广泉,,
来源:苏州大学学报(自然科学版) 年份:2008
网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务.采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与......
相关搜索: