搜索筛选:
搜索耗时0.0826秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[期刊论文] 作者:黄明璋,
来源:中国有线电视 年份:2001
目前,国内多数中小型有线电视系统仍以同轴电缆为主要手段来传输信号,而大多数同轴电缆网络都存在着带内幅频特性不良的问题,即幅频失真。...
[期刊论文] 作者:黄明璋,
来源:湖北档案 年份:2005
2月18日,宜昌市夷陵区档案局党支部党员先进性教育活动动员会刚一结束,老党员姚天芬同志便掏出100元钱,颤微微地交给支部组织委员手中,说:“我住在宜昌市城区,担心不能严格按...
[期刊论文] 作者:黄明璋,
来源:湖北档案 年份:2003
宜昌市夷陵区档案馆馆藏档案10万余卷(件)、年接待利用者3,000多人次,调阅档案约7,000卷。随着人们对档案价值认识的不断提高以及该馆对档案开发力度的不断加大,到馆利用档...
[学位论文] 作者:黄明璋,
来源:上海交通大学 年份:2013
在进程演算领域,语义等价关系研究一直是作为基础性研究而从未间断过。其目标是为了描述规范与实现之间的相等关系,或者不同实现之间的相等关系。传统上,等价关系可以从测试等价......
[学位论文] 作者:黄明璋,
来源:上海交通大学 年份:2019
基本进程代数是进程重写系统中基础的顺序进程。相比有限状态系统,它引入了无限状态;相比于基本并行进程,它是顺序执行,控制能力较强;相比于下推自动机,它可以被理解为一种简单的单状态下推自动机。即使基本进程代数的定义和计算结构十分简洁,该模型也有着一定......
[期刊论文] 作者:黄明璋,李国强,,
来源:计算机应用与软件 年份:2014
程序分析可以被看作抽象解释的模型检测,这使得程序分析的系统化方法成为可能。并发程序日益重要,在多核平台和分布式系统有着广泛的应用。而并发程序分析仍然有巨大的困难,实践上的复杂性和理论上的不可判定性都使得程序分析难以简单进行。文献[19]指出即使只......
[期刊论文] 作者:黄明璋,王玉翠,,
来源:湖北档案 年份:2006
宜昌市夷陵区档案局从2005年开始,在机关内部全面推行“首问负责制”。一年来该办法效果十分明显,“首问负责”已成为局机关工作人员的自觉行为。该“首问负责制”规定:人民...
相关搜索: