检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Trace演算

软件学报 1999年第8期10卷 790-799页

作者：黄涛钱军倪彬中国科学院软件研究所计算机科学开放研究实验室北京100080 中国科学院软件研究所对象技术中心北京100080

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F... 详细信息

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明．

关键词： Trace演算对象标记公理化软件工程

双阱玻色气体中的无序与有效三体相互作用研究(英文)

在线全文

学校读者我要写书评

暂无评论

中国激光 2013年第11期40卷 257-260页

作者：郑莉钱军上海电力学院数理学院上海201300 中国科学院上海光学精密机械研究所量子光学重点实验室上海201800

研究了存在原子间有效三体相互作用的情况下双阱势场中超冷玻色气体的相位相干性,其中引入无序分布的阱深差来模拟无序势。研究发现,在无序Bose-Hubbard模型中,重整化的三体相互作用能有效增强玻色气体的相位相干性。同时,在强无序势条... 详细信息

研究了存在原子间有效三体相互作用的情况下双阱势场中超冷玻色气体的相位相干性,其中引入无序分布的阱深差来模拟无序势。研究发现,在无序Bose-Hubbard模型中,重整化的三体相互作用能有效增强玻色气体的相位相干性。同时,在强无序势条件下,讨论了平均相位相干性对三体相互作用的依赖关系。据我们所知,这是首次对无序量子气体中的有效三体相互作用进行研究。

关键词：原子与分子物理量子气体相位相干性无序三体相互作用

在线全文

学校读者我要写书评

暂无评论

木材陶瓷制备多孔SiC的研究

西安交通大学学报 2004年第1期38卷 93-96页

作者：钱军民金志浩西安交通大学材料科学与工程学院

椴木木粉/酚醛树脂复合材料经高温碳化制成木材陶瓷,然后经熔融Si反应性渗入制成了多孔的SiC陶瓷.借助X射线衍射、傅里叶红外吸收光谱和扫描电子显微镜等方法对木材陶瓷和多孔SiC的物相组成、微观结构和基本性质进行了研究.利用阿基米... 详细信息

椴木木粉/酚醛树脂复合材料经高温碳化制成木材陶瓷,然后经熔融Si反应性渗入制成了多孔的SiC陶瓷.借助X射线衍射、傅里叶红外吸收光谱和扫描电子显微镜等方法对木材陶瓷和多孔SiC的物相组成、微观结构和基本性质进行了研究.利用阿基米德法和三点弯曲法测定了木材陶瓷和多孔SiC的显气孔率和弯曲强度.结果表明,木材陶瓷是非晶碳材料,含有C-O-C醚键、C=C双键及C-H结构等,多孔SiC是由主晶相β SiC和少量第二相Si组成的复合材料;多孔SiC遗传了木材陶瓷的多孔结构;木材陶瓷向SiC陶瓷的转变使弯曲强度从12.6MPa提高到73.8MPa,显气孔率从64.1%降至53.2%.

关键词：木材陶瓷多孔陶瓷碳化硅反应性渗入

在线全文

学校读者我要写书评

暂无评论

对象系统的组合交互计算

软件学报 2001年第9期12卷 1295-1303页

作者：钱军黄涛冯玉琳中国科学院软件研究所计算机科学开放研究实验室北京100080 中国科学院软件研究所对象技术中心北京100080

对象系统的计算是一个开放的、动态并发交互的过程 ,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成 .对象系统的行为变化是系统内、外因有机统一的具体表征 ,因此不能把对象系统的静态组合构造和动态计算行为当作两... 详细信息

对象系统的计算是一个开放的、动态并发交互的过程 ,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成 .对象系统的行为变化是系统内、外因有机统一的具体表征 ,因此不能把对象系统的静态组合构造和动态计算行为当作两个孤立的个体分而治之 .从这个统一原则出发 ,研究了基于组合构造模型的对象系统的交互计算 .组合构造模型设计将对象系统的主要计算特征纳入一个统一的抽象基调之中 ,通过定义基调上的一组关系 ,把对象系统的层次结构和内部协同工作有机地结合在一起 .在此基础上 ,给出了一个区分动作类型的交互演算 (S/R演算 ) ,描述了组合对象系统的动态行为和交互 ,较好地刻画出对象封装性、对象计算的事件驱动性、动态绑定以及对象系统内部的交互与并发等固有特征 .

关键词：对象系统 S/R演算结构化程序设计组合交互计算

在线全文

学校读者我要写书评

暂无评论

由椴木木粉和酚醛树脂制备木材陶瓷的研究

无机材料学报 2004年第2期19卷 335-341页

作者：钱军民王继平金志浩西安交通大学材料学院金属材料强度国家重点实验室西安710049

以椴木木粉和酚醛树脂为原料制成一种新的木材陶瓷.用TGA、XRlD和SEM技术分别对木材陶瓷的形成机理、物相构成和微观结构进行了表征与研究.详细讨论了碳化温度和酚醛树脂用量对木材陶瓷显气孔率、体积电阻率和弯曲强度的影响.结果表明,... 详细信息

以椴木木粉和酚醛树脂为原料制成一种新的木材陶瓷.用TGA、XRlD和SEM技术分别对木材陶瓷的形成机理、物相构成和微观结构进行了表征与研究.详细讨论了碳化温度和酚醛树脂用量对木材陶瓷显气孔率、体积电阻率和弯曲强度的影响.结果表明,木材陶瓷是由酚醛树脂生成的玻璃态的硬碳和由木粉生成的无定形的软碳组成的多孔性碳复合材料;随碳化温度升高或酚醛树脂用量的增加,木材陶瓷的显气孔率和弯曲强度增大,体积电阻率下降;碳化温度升高可以使(002)衍射峰逐渐变窄,强度增大,并且向高角度移动,晶面间距d(002)减小,而酚醛树脂用量的增加对(002)衍射峰和晶面间距d(002)基本没有影响;当碳化温度为1350℃,酚醛树脂用量为160wt％时,木材陶瓷的显气孔率、体积电阻率和弯曲强度分别达到了50％、2.0×10-2Ω·cm和25MPa.

关键词：木材陶瓷复合材料多孔材料椴木木粉酚醛树脂制备物相微观结构

在线全文

学校读者我要写书评

暂无评论

寻找视点——从《翻译与创造》谈起

国外文学 2001年第4期21卷 40-45页

作者：钱军北京大学英语系

本文结合三部篇文学文献 ,从“风格”学说、李渔、喜剧与悲剧、艳情小说与言情小说、细读、历史语境、比较文学、学科历史的写作等方面探究西方学者研究问题的视点所具有的可能的借鉴作用。

关键词：艳情小说言情小说比较文学历史语境寻找悲剧李渔西方学者学说借鉴作用

在线全文

学校读者我要写书评

暂无评论

马泰修斯及其语言理论

外语教学与研究 1994年第2期26卷 57-61,80页

作者：钱军北京大学英语系 100871

1. 生平简述捷克语言学家、布拉格语言学派创始人之一马泰修斯(Vilem Mathesius,1882一1945)于1882年8月3日生于波希米亚境内的帕杜比斯。1893年至1901年读高级文科中学,其间在拉丁、希腊、德、捷克等语言方面打下坚实的基础。1901年... 详细信息

1. 生平简述捷克语言学家、布拉格语言学派创始人之一马泰修斯(Vilem Mathesius,1882一1945)于1882年8月3日生于波希米亚境内的帕杜比斯。1893年至1901年读高级文科中学,其间在拉丁、希腊、德、捷克等语言方面打下坚实的基础。1901年在布拉格查理大学攻读日尔曼语文学,曾师从戈鲍(Jan Gebau-er)等名师。大学时代在阅读捷克哲学家马萨里克(Tomas ***)的著作《具体逻辑尝试》(1887)时,初次考虑过语言学共时和历时的差异问题。1905年获博士学位。1906年发表第一篇语言学论文,评论叶斯泊森的名著《英语的发展和结构》(1905)。

关键词：语言形式语言特征功能句法新语法学派布拉格历史比较语言学结构主义功能句子观现代英语功能分析