搜索筛选:
搜索耗时3.1532秒,为你在为你在102,285,761篇论文里面共找到 35 篇相符的论文内容
发布年度:
[期刊论文] 作者：何积丰,,
来源：信息安全与通信保密 年份：2019
人工智能是引领新一轮科技革命和产业变革的战略性技术,在改变了人类的生产生活方式,为人类创造巨大福祉的同时,也不可避免会产生各类全新的安全风险,确保人工智能安全、可靠...
[期刊论文] 作者：何积丰,,
来源：信息安全与通信保密 年份：2004
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[期刊论文] 作者：何积丰,,
来源：信息安全与通信保密 年份：2020
人工智能与人类社会是一种和谐共生关系,人工智能赋能经济的发展。在智能制造中,人工智能技术提供了极大的助力,在基础、算法、运维、制造四个层面帮助打造智能制造系统框架,并带来了丰富的产品形态。同时人工智能的发展也存在安全风险,在物理层、算法层、应用......
[期刊论文] 作者：何积丰,
来源：科学中国人 年份：2019
到今年,我的任教时间已达5 5年了。在这55年里,我常常在想,教育的意义是什么,特别是伴随着科技发展的教育含义。今天,我想跟大家分享的就是,在人工智能制造社会中的教育意义...
[期刊论文] 作者：何积丰,,
来源：信息安全与通信保密 年份：2019
人工智能作为一项新兴的使能技术,其技术的产生和应用的发展对一国的经济结构、社会秩序、道德伦理、价值观等都会产生相当大的冲击。因此,我国应当重视人工智能发展对国家安全和社会治理的影响,重视人工智能安全与治理议题。1中国人工智能安全与治理存在的主要......
[期刊论文] 作者：何积丰,
来源：信息安全与通信保密 年份：2018
人工智能飞速发展对人类社会产生颠覆性影响,智能技术被广泛地应用于生产、生活的各种场景,在为未来创造无限可能的同时,对各国的国家安全、经济发展、法律伦理也产生一系列...
[期刊论文] 作者：何积丰,
来源：上海师范大学学报：自然科学版 年份：1980
本文应用可计算谓词的运算讨论了递归语言上的运算。当L为一递归语言时,证明了在Δ-无关映照f作用下,只要对任一α∈Σ,f(α)为递归,则f(L)也是递归语言。且讨论了在广义顺序...
[会议论文] 作者：何积丰,
来源：第二十届中国国际工业博览会论坛 年份：2018
...
[报纸论文] 作者：何积丰,
来源：中国工业报 年份：2018
...
[期刊论文] 作者：何积丰,李宣东,
来源：软件学报 年份：2008
Internet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放．为了适应这样一种发展趋势，软件系统开始呈现出一种柔性、多目标、连续反应式的新系统形态．从技术的角......
[期刊论文] 作者：李黎,何积丰,
来源：软件学报 年份：2001
使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定...
[期刊论文] 作者：董军,何积丰,
来源：世界科技研究与发展 年份：2005
软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求.传统的计算机系统软、硬件各自开发的模式使得目标系统的资源优化不够,可靠性、安全...
[报纸论文] 作者：中国科学院院士 何积丰,
来源：中国信息化周报 年份：2019
...
[期刊论文] 作者：塔维娜, 何积丰,,
来源：计算机工程 年份：2003
利用形式化规格说明语言--B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能.利用形式化方法的需求分析,有助于发现需求中隐含的不一致...
[期刊论文] 作者：何积丰, 姜宁康,,
来源：中国大学教学 年份：2014
传统的软件人才培养偏重于学生实用型技能的培养，缺少面向大系统的架构设计能力、创新能力和综合能力。为解决国家战略性新兴产业对软件研发人才，特别是高端软件人才的巨大需求......
[期刊论文] 作者：金乃咏,何积丰,,
来源：微电子学与计算机 年份：2006
文章在给出类Occam语言卫语句文法与语义的基础上，探讨了当前将其综合为FPGA网表的方法．分析了这种方法的不足。结合FPGA芯片的特性，文章提出了一种基于进位多路器的综合优化方......
[期刊论文] 作者：王晓峰,何积丰,
来源：计算机工程 年份：2005
高层次设计技术是数字系统设计的关键技术,是近年来国内外研究、开发和应用的热门课题.文章用形式化方法描述了两种流行的高层次设计的软件算法,并进行了实验验证....
[期刊论文] 作者：彭小青,何积丰,,
来源：计算机应用与软件 年份：2007
SystemC是一系统级描述语言。与传统的编程语言相比,它具有一些新的编程特性:延迟的事件通告、延迟事件通告的重载、延迟事件通告的取消以及delta-cycle。研究它的操作语义可以为进一步的形式化方面的研究提供基础。......
[期刊论文] 作者：魏一宁,何积丰,,
来源：计算机应用与软件 年份：2007
AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码。......
[期刊论文] 作者：陈昌生,何积丰,
来源：软件学报 年份：2000
并行程序的性能分析，特别是效率分析往往需要程序在实际运行后，根据实验结果再对并行算法进行优化，或改变数据的分配策略，甚至重新选择并行算法。结合通用并行计算模型ＢＳＰ（ｂｕｌｋ－ｓｙｎｃｈｒｏｎｏｕｓ ｐａｒａｌｌｅｌ），提出一种......
相关搜索：
