振奋精神,相互促进共同搞好图书情报工作——在中国科学院图书馆举办的“1982年科学家与图书情报人员迎春座谈会”上的发言(摘要)

为了广泛征求读者意见,进一步密切科研人员和图书情报工作者之间的系与合作,共同提高图书情报工作水平,以更有效地为科学研究和为国民经济建设、国防建设服务,中国科学院图书馆于1982年、1月20日在民族文化宫礼堂再次举行科学家和图书情报人员迎春座谈会。会议由副馆长黄履冰主持,院出版图书情报委员会委负、副馆长佟曾功致词。著名科学家汪德昭、夏鼐、田方增等应邀相继在会上发言。参加会议的除本院京区各所图书情报工作者外,还有有关领导部门的领导同志、兄弟单位的代表, 以及出席院计划会议的一些分院负责人共一千余人。现将这次会上的部分发言摘要发表如下:

大数据与人工智能时代下复杂系统管理研究的若干关键科学问题

当前,世界正在进入大数据与人工智能时代,复杂系统已呈现出人—机—网跨尺度耦合与互融互通的新形态。新形态下的复杂系统管理,既要对传统管理理论和方法进行突破创新,更要充分借助先进的技术手段对其进行赋能。本文面向大数据和人工智能时代下复杂系统管理的国家重大需求,阐述了当前复杂系统管理研究存在的重大机遇与挑战,分析了当前复杂系统管理研究的研究现状并指出了未来的发展趋势,在此基础上,进一步凝练了未来5~10年该领域的发展目标、拟开展的重大关键科学问题及其资助重点。

深空探测自主运行的一种可信性技术体系

未认知与不确定性是深空探测任务的基本特征.本文基于战略导向的体系化基础研究,建立了一种面向科学价值最大化的探测场景和以可靠性为核心技术基础的深空探测自主运行可信性技术体系.分析研究了深空探测场景下的可靠性概念;面向精确感知、最优计算、准确决策、快精准执行的目标要素,提出了深空探测自主运行的可信性体系框架以及“需求-认知-工程”总体技术架构;针对自主运行可信性的关键技术难点,开展了可靠性导向的多物理场、强耦合白盒建模,复杂网络故障传播机制分析,COTS元器件深空探测应用的高可靠保证,以及“模型+数据+知识”一体的融合机制分析等研究.对该技术体系的关键技术验证策略及其最小系统在卫星星座中的应用进行了验证,结果表明,所提出的技术体系具有较高的工程价值.

五轴端铣加工中3D刀具半径补偿研究

为了解决五轴端铣加工的3D刀具半径补偿的难题,在现有CAM软件UG的基础上,深入研究各种类型刀具的补偿向量的计算方法,并开发了一种双转台型五轴机床专用的后置处理程序,该程序可以输出带有补偿向量的数控G代码。最后通过仿真软件VERICUT和实际加工进行了验证,结果表明该补偿算法完全满足系统加工的要求。

地球重力场空间探测:回顾与展望

地球重力场的科学数据在地球测绘学、冰川学、陆地水循环、固体地球物理、灾害监控及国防军事等领域具有重要应用价值.美、德合作研制的地球重力场反演与气候实验(gravity recovery and climate experiment,GRACE)卫星,有力地推动了地球重力场测量、反演和应用.为进一步提高重力卫星科学数据的时、空分辨率,扩展应用领域,中国及欧美等国都考虑发射升级的重力卫星,即后GRACE计划(GRACE-follow-on).该文将简单回顾重力卫星的发展历程,介绍重力卫星的数据采集技术和反演方法,亦着重阐述后GRACE计划的测量方法学、关键技术及预期结果.

指定验证方的门限验证签名方案及安全性证明

Laih提出了指定验证方的签名方案设计问题,并给出一种解决方案.首先分析指出该方案存在严重安全缺陷,然后提出了签名方案SV-EDL,解决了如上密码学问题.同时,把可证明安全理论引入这类方案的分析设计,并在RO(randomoracle)模型中证明:SV-EDL的抗伪造安全性和计算Diffie-Hellman(computational Diffie-Hellman,简称CDH)问题紧密关联,亦即伪造SV-EDL签名几乎和解决CDH问题一样困难;除指定方以外,任何人验证签名的能力都与决策Diffie-Hellman(decisional Diffie-Hellman,简称DDH)问题密切相关.由于CDH问题和DDH问题的困难性与离散对数(discretelogarithm,简称DL)问题紧密相关已成为广泛共识,因此与当前同类方案比较,该签名方案提供了更好的安全性保证.此外,上述签名方案还以非常简明、直接的方式满足不可否认要求.最后提出并构造了验证服务器系统的门限验证协议,并在标准模型中给出了安全性证明.该方案不要求可信中心的存在.

案例教学在《应用随机过程》中的探索和实践

通过C-K方程在推断系统发育树中的应用的角度对案例教学法进行了探索和实践,并在此基础上对应用随机过程的教学进行了几点粗略的探讨.

空间地球重力场探测：回顾与展望

地球重力场不仅与海拔高度、纬度、地壳成分以及地幔深度相关，而且与板块漂移、冰川演化、洋流、地下水分布以及冰雪气象现象密切相关．因此，地球重力场的科学数据在地球测绘学、冰川学、陆地水循环、固体地球物理、灾害监控及国防军事等领域具有重要应用价值．重力卫星的发展，如GRACE（Gravity Recovery and Climate Experiment地球重力场反演与气候实验）卫星成功地推动了地球重力场测量、反演和应用．为了进一步提高重力卫星科学数据的时、空分辨率，扩展应用领域．中国及欧、美等国都在考虑发射升级的重力卫星计划。

脑梗死大鼠磁共振T2加权像和氢磷谱的变化及丹参的作用

目的研究脑梗死后脑组织的物质和能量代谢的变化及丹参在脑梗死治疗中的作用。方法 18只 SD 大鼠随机分成梗死组、丹参组和假手术组3组,梗死组和丹参组用光化学法诱导颞叶皮层梗死.假手术组仅手术暴露颞骨。丹参组于诱导梗死前10min 腹腔注射丹参注射液5g/kg,于24、48h 按此剂量各再给药1次,假手术组和梗死组大鼠腹腔注射生理盐水;然后运用磁共振成像和波谱技术,观察脑梗死后1、3、5、7天磁共振 T2加权像和氢磷谱的动态变化以及丹参的作用。结果假手术组大鼠颞叶皮层的 T2加权像信号正常,梗死组大鼠颞叶皮层出现一高信号区。于梗死后3、5、7天,梗死组大鼠该区的 NAA/Cho 加 Cr 与假手术组比较,差异均有显著性(P<0.05);假手术组的 Lac 一直处于检测水平线以下,而梗死组高信号区的 Lac 于梗死后1、3、5、7天均可检测到。于梗死后1、3和5天,梗死组大鼠全脑的βATP/PME 加 PDE 和 PCr/PME 加PDE 与假手术组比较,差异均有显著性(P<0.05);于梗死后1天,梗死组大鼠全脑的βATP/PCr 与假手术组比较,差异有显著性(P<0.05)。而丹参能减小梗死大鼠梗死后1、3、5和7天 T2加权像上的高信号区的大小(P<0.05)及5和7天该区与对侧相应区域的信号强度比(P<0.05),能减少梗死后5和7天该区的 NAA/Cho 加 Cr 的下降(P<0.05)以及 Lac/Cho 加 Cr(P<0.05)和 Lac/NAA(P<0.05)的增高,能减少梗死后1天全脑的βATP/PME 加 PDE 和βATP/PCr 的下降(P<0.05)。结论脑梗死后梗死区脑组织出现水肿,乳酸升高,以及神经元功能受损和死亡,全脑出现能量代谢障碍;丹参能有效地减轻这些异常变化。

基于对偶混合变分形式的Uzawa型算法

基于弹性接触问题的三变量 (应力 ,位移 ,接触边界位移 )对偶混合变分形式 ,对混合有限元离散化的单边约束问题 ,提出了一种Uzawa型算法· 首先证明了迭代算法的收敛性 。

认证加密算法FASER的安全性分析

CAESAR是日本于2013年发起的密码竞赛活动,旨在面向全球征集对称认证加密算法.FASER是提交到CAESAR竞赛的认证加密算法簇,它包括两个算法:FASER128和FASER256.该算法簇基于流密码体制,即根据输出密钥和初始随机向量生成与明文流等长的伪随机密钥流,然后用该伪随机密钥流异或明文流进而输出密文流.FASER包括加密算法和认证算法,其认证算法于加密算法类似.本文我们发现FASER的每拍输出字的比特之间有很强的相关性,根据这种相关性我们给出FASER128和FASER256的代数攻击.首先我们给出FASER128加密算法的状态恢复攻击,其时间复杂度约为2^(29),数据复杂度约为64个密钥字,我们将该攻击算法在普通的个人计算机上实现,该攻击算法在数分钟内即可恢复FASER128的状态.进一步,我们给出FASER128的密钥恢复攻击,其时间复杂度约为2^(36),该攻击算法在多核计算机上可以并行实现.例如在32核计算机上可以在几分钟之内恢复出种子密钥.这表明FASER128不安全.进一步,我们的攻击可以很容易地移植到FASER256,并在文章最后给出了针对FASER256的状态恢复攻击,其攻击复杂度不超过2^(48).由于我们的工作,FASER于2014年被撤销.

基于利益相关者分析“女神的新衣”:如何构建TV+商业模式

近年来,随着互联网和新媒体的普及,三网融合政策应势而出,给传统电视行业带来了新的发展机遇和挑战。如何进行电视节目创新及其商业模式创新成为业界和学界重点关注的问题之一,目前国内已有很多电视台进行了探索并取得了成功。本文选取具有典型商业模式创新的电视节目"女神的新衣",基于利益相关者对其TV+商业模式进行解析,给出该节目为相关行业发展带来的一些管理启示。

自动微分的原理和方法

从计算一阶和二阶各种导数形式的角度,讨论了自动微分的基本原理和方法,给出了一阶和二阶各种微分模式最简单而最直观的表述形式,分别讨论了用不同微分模式计算不同导数形式的计算代价,讨论并给出了非线性问题求解中常用数值算法的计算代价.讨论了断点存储、正向积分和反向积分方法.

3ω法加热/测温膜中温度波解析及其在微/纳米薄膜导热系数测量中的应用

给出了3ω法测试系统中描述薄膜表面加热/测温膜中温度波动的级数形式解,并将复数温度波动的实部和虚部分开表示.利用该解分析了交流加热频率、加热膜宽度和材料热物性的组合参数对加热膜温度波动幅度的影响.并根据此解对测量原理的数学模型进行了修正,建立了相应的3ω测试系统,首先测定了厚度为500nmSiO2薄膜的导热系数,验证了实验系统的合理性.加大了测试频率,利用级数模型在高频段直接得到SiO2薄膜的导热系数,结合低频段的数据同时确定了Si基体的导热系数.利用级数解分析测试了激光晶体Nd:YAG〈111〉面上多层ZrO2/SiO2增透膜的导热系数,测试的ZrO2薄膜的导热系数比体材料小.进行了不确定度分析.结果表明,提出的分析方法可以有效研究微器件表面薄膜结构的导热性能.

流态化非均匀结构的概率模型

通过对实验数据的直方图的分析和统计检验的手段，找到了定量描述一类气因流化床系统非均匀结构动态行为的概率分布－七参数威布尔分布，揭示了这种复杂系统内非均匀性的一些规律，模拟结果是理想的．

草原茶马古道集散重镇:张家口——词与物的证据

题记：陆路茶马古道不仅仅通过西南和西北在欧亚大陆上延伸。唐代已经有塞外回鹘大驱名马市茶而归的记录,饮茶习俗从唐代开始向塞北传播。唐代地理学家贾耽提到通往塞北有两条古道,夏州塞外通大同云中道和中受降城入回鹘道。为弄清草原茶马古道的传播线路和语言地理分布,20多年来我们围绕这两条古道对陕北、秦晋黄河两岸、河套地区、汾河流域、桑干河流域、洋河流域做了多次考察,大量证据把我们引向了张家口。

声音

陈勇(中国工程院院士、中国科学院广州能源研究所研究员)文明社会首先要实现城市清洁。随处可见垃圾桶不符合未来的发展要求,但目前的一些定点收集对于居民来说,也增加了不少繁琐的劳动量。在我看来,“无桶化”是未来垃圾投放的趋势所在。为此我建议,通过上门收集的方式,在居民中推广使用专门垃圾袋,通过采用二维码、条形码追溯技术,不仅能实现精准的重量统计,还能对垃圾混装行为进行监督。