欢迎订阅《计算机与现代化》,欢迎投稿

正《计算机与现代化》是计算机专业学术期刊。其特点是:时效性强,密切跟踪计算机科技发展动态,以最快的速度精选刊登计算机专业的新理论、新技术及其在各领域应用成果的论文。本刊系中国科技核心期刊、中国科技论文统计源期刊,《中国学术期刊综合评价数据库》来源期刊,《中国期刊网》《中国学术期刊(光盘版)》全文收录期刊,《中国学术文献网络出版总库》     

馆藏文献通报

自由基改性炭黑填充聚丙烯;分离硫化胶或非硫化胶的方法以及从含回收橡胶和炭黑的胶料回收炭黑的方法;黑色磁性色粉和含该色粉的黑色磁性材料;在水性聚合物乳液中制备炭黑填充橡胶粉末的方法;重型充气轮胎;从裂解副产品中回收炭黑的方法和设备以及该炭黑的应用;     

超滤和反渗透过程的浓差极化：文献述评Sablani,S．S．等Desalination2001,141（3），269～289（英文）

在膜分离过程的初始阶段，通量下降的主要原因是溶质在膜表面上的浓差极化。浓差极化可与膜表面的不可逆污染以及可逆的凝胶层的彤成同时发生。为了对浓差极化现象深入了解，进行了很多组试验研究。木义重点讨论已经发表的研究结果。     

4''''-羟基-4-联苯甲酸的合成

以4-羟基联苯为原料,经酯化、傅-克酰基化、相转移催化下的苄基化、氯仿反应、催化氢解等反应,合成了标题化合物,总收率57.8%.化合物4'-苄氧基-4-乙酰基联苯、4'-苄氧基-4-联苯甲酸的结构经 1HNMR、IR、MS及元素分析确证.与文献比较,该路线选择性好、产率较高.     

基于文献计量的国际河流栖息地研究动态

河流栖息地是水域生态系统的重要组成部分,以Web of Science论文数据库为数据源,利用TDA等工具对2015-2017年国际河流栖息地研究进行文献计量分析。结果表明:该领域研究方向涉及环境科学与生态学、海洋与淡水生物学等多个学科;美国的发文量最高,中国居于第2位;"保护"、"河流"、"鱼类"和"气候变化"是热点关键词;当前河流栖息地研究动态集中于风险评估与生态修复、水生生物群落、外来生物入侵、栖息地的地貌变化等方面。     

中国金刚石历史溯源研究概论

本文运用考古地质研究方法,通过古文献资料的广泛调研,确立金刚石古文献记载辨识的指标判别体系,提出五条有关中国金刚石历史溯源研究的推理原则,即合理历史类推的原则、民间传说类推的原则、普遍认识珍藏的原则、国王王室专有使用的原则、历史惊人相似因而可以逻辑类比的原则;然后应用该体系来辨识中国古代金刚石的文献记载,认为金刚石在中国古代文献中至少有包括"夜明珠"、"夜光珠"、"夜光璧"、"宝珠"、"白珠"等在内的十个以上不同的历史专名;在此基础上破译了从上古的五帝时代到两宋时代这将近四千年文明史中一共58项涉及金刚石记载的文献资料,发现了至少198颗有文字记载的历史上著名的金刚石,其中包括至少26颗单颗重量超过100克拉的超级金刚石;同时指出山西、河北、安徽、湖北、湖南、江苏、山东、辽宁和陕西等至少九个省区可以成为中国金刚石的考古地质找矿重点研究地域.研究清楚地表明,中国金刚石开发利用历史比起古代印度金刚石开发利用历史更为悠久且更为辉煌.     

湍流化学反应的分形数值模拟

基于涡串唯象概念和分形理论,建立了能够表达湍流多尺度结构物理特性的分形湍流化学反应模型,针对Steckler室内燃烧过程进行了数值模拟研究.湍流流动采用浮力修正的κ-ε双方程模型来模拟,辐射由Rosseland模型描述,整个模拟过程由ANSYS-CFX10.0实现.将模拟结果与Steckler的燃烧实验数据进行对比,并与EDC燃烧模型及文献中EBU燃烧模型的模拟结果进行对比.结果表明,FM燃烧模型模拟得出的温度、速度场分布与实验数据能够较好地吻合,是一种有前途的湍流化学反应模拟方法.     

国英(中国之星)金刚石研究成果的媒体报道

主要通过网络搜索工具统计国英（中国之星）金刚石研究成果在包括美国、加拿大、澳大利亚、欧盟、马来西亚、新加坡等国家和中国大陆、香港、台湾地区的大众媒体上的新闻报道及报道转载的情况。媒体报道统计分析结果表明,中国学者在国际学术界首次提出并证明慈禧太后随葬夜明珠就是莫卧儿大帝金刚石原石,并根据国际科学命名惯例命名为国英（中国之星）;国内媒体在判断这一科学进展的价值和报道相关历史名钻研究进展及进行相关科学知识传播方面尚须作出相当的努力;中国学者在国际学术界首次提出并证明夜明珠就是大颗粒历史名钻,从而一举破解夜明珠这一世界自然、历史、文化之谜;中国学者在国际学术界首次提出并证明中国金刚石开发利用历史超过4500年。     

投稿须知

正《电脑与电信》是经国家新闻出版署正式批准,由广东省对外科技交流中心主办的学术理论刊物,国内外公开发行。本刊主要刊登计算机、互联网、通讯、电子等相关领域的理论与实践研究论文,以及相关理论研究综述和介绍国外先进技术的研究报告。欢迎广大读者踊跃投稿。对来稿我们有如下要求:一、来稿内容依次包括:题名;作者姓名;工作单位(含     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。