搜索筛选:
搜索耗时2.2232秒,为你在为你在102,285,761篇论文里面共找到 22 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈铭松,,
来源：建材与装饰 年份：2018
针对水利工程勘测设计施工总承包模式,在明确其成本控制重要性的基础上,对成本控制建议和具体方法进行深入分析,以此为实际的项目管理工作提供参考借鉴。...
[期刊论文] 作者：陈铭松,
来源：电脑知识与技术 年份：2003
随着计算机技术的发展,程序设计语言更新换代也加快了步伐.c作为一门优秀实用的语言,在计算机潮流中一直非常强劲....
[期刊论文] 作者：陈铭松,,
来源：先锋 年份：2004
今年全国两会召开期间,全国人大代表、湘绣非遗传承人成新湘提交了一份《关于设立国家"汉服日"的建议》议案,引发广泛关注。根据天眼查专业版数据显示,目前,中国有近2900...
[期刊论文] 作者：陈铭松,
来源：大科技·C版 年份：2018
摘 要：针对EPC模式在项目建设中具有的重要作用与意义，对项目设计、采购、施工和检查验收过程中的业主方管理要点、方法进行深入分析，为业主方实际工作提供参考借鉴。 关键词：EPC模式；业主方管理 中图分类号：F284 文献标识码：A 文章编号：1004-7344（2018）20-0281-02......
[学位论文] 作者：陈铭松,
来源：南京大学 年份：2006
实时系统在各领域尤其是嵌入式领域有着广泛的应用，它一般被用在对时间要求非常高的装置上。对于很多实时系统，如果其设计在逻辑、时序方面出现偏差，将会引起严重的后果。随着实......
[期刊论文] 作者：陈铭松,
来源：先锋 年份：2021
春节期间，“七宝玲珑——来自喜马拉雅的艺术珍品”展在成都金沙遗址博物馆举行，七天时间吸引了大批市民和游客前来打卡、参观。喜马拉雅文明和古蜀先民的“对话”，跨越时空，震铄古今。金沙，这个来自古蜀文明的不朽遗珍，已成为成都本土文脉链接国际的桥梁，亦是世界人民......
[期刊论文] 作者：陈铭松,赵建华,李宣东,郑国梁,
来源：计算机科学 年份：2007
时间自动机的可达性分析算法通常采用对符号状态的枚举来遍历其状态空间。符号状态由位置与时间区域组成，时间区域用形如x-y≤（〈）n的原子公式的合取式来表示。在对时间自动机进......
[期刊论文] 作者：陈铭松,赵建华,李宣东,郑国粱,
来源：计算机科学 年份：2006
时间自动机是检验实时系统建模的有效工具，其可达性分析可以检验系统是否可能达到某些特定的状态，其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量，时间自......
[期刊论文] 作者：陈铭松,赵建华,李宣东,郑国梁,,
来源：计算机科学 年份：2006
时间自动机是检验实时系统建模的有效工具,其可达性分析可以检验系统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间.因为引入了时钟变量,时间...
[期刊论文] 作者：卜磊,陈铭松,朱祺,刘超,
来源：软件学报 年份：2020
为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信...
[期刊论文] 作者：黄赛杰,陈铭松,金乃咏,,
来源：计算机应用与软件 年份：2015
由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值语句进行处理。实验结果显......
[期刊论文] 作者：陈铭松,顾璠,徐思远,陈小红,,
来源：软件学报 年份：2016
近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系...
[期刊论文] 作者：覃子姗,顾璠,秦晓科,陈铭松,,
来源：计算机科学与探索 年份：2014
压缩技术被广泛应用于数据存储和传输中,然而由于其内在的串行特性,大多数已有的基于字典的压缩与解压缩算法被设计在CPU上串行执行。为了探究使用图形处理器(graphic processing unit,GPU)对压缩与解压缩过程潜在性能的提升,结合合并内存访问与并行组装的技术,......
[期刊论文] 作者：刘必成, 顾海峰, 陈铭松, 谷守珍, 陈闻杰,,
来源：计算机研究与发展 年份：2019
存内计算(processing in memory,PIM)作为一种新兴的技术,支持数据在存储单元内就地处理,减少了数据的移动并增加了数据的并行处理,在一定程度上弥补了冯·诺依曼架构的...
[期刊论文] 作者：邱晓康,陈铭松,王林章,李宣东,郑国梁,
来源：计算机科学 年份：2007
UML是一种标准的可视化建模工具，广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UMI。行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例...
[期刊论文] 作者：郭兵,王泉,邓庆绪,陈铭松,张凯龙,
来源：软件学报 年份：2021
目前,世界范围的科技革命和产业变革正在孕育兴起,一些重要科学问题和关键核心技术正在呈现革命性的突破先兆.同时,“万物智联”时代正在加速到来,IOT/CPS、AIOT等蓬勃发展,以泛在感知、泛在互联、泛在智能为特征的各类智慧系统,以嵌入式系统为基础,与大数据、......
[期刊论文] 作者：邵明莉,曹鹗,胡铭,章玥,陈闻杰,陈铭松,
来源：软件学报 年份：2021
智慧交通灯控制能够有效地改善道路交通的秩序和效率.在城市交通网络中,具有紧急任务的特殊车辆对于通行效率的要求更高.目前已有的智慧交通灯控制算法通常对路网中的所有车辆一视同仁,没有考虑到特殊车辆的优先性;而传统的控制特殊车辆优先通行的方法基本上都......
[期刊论文] 作者：刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁,
来源：软件学报 年份：2020
轨道交通区域控制器是我国轨道交通信号系统选型的主流制式--基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是区域...
[期刊论文] 作者：陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁,,
来源：软件学报 年份：2017
基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提...
[期刊论文] 作者：韦璠,宋云飞,邵明莉,刘天,陈小红,王祥丰,陈铭松,,
来源：软件学报 年份：2020
使用深度神经网络处理物联网设备的急剧增加产生的海量图像数据是大势所趋,但由于深度神经网络对于对抗样本的脆弱性,它容易受到攻击而危及物联网的安全.所以,如何提高模型的鲁棒性,就成了一个非常重要的课题.通常情况下,组合模型的防御表现要优于单模型防御方......
相关搜索：
