检索结果-南通市图书馆

软件学报 1997年第10期8卷 760-767页

作者：沈理孙永强上海交通大学计算机系上海200030

在必要集、必要位置等概念基础上，定义了必要平行最外归约策略．基于最小化必要集思想，该策略适用于正则系统全集，并接近按需调用策略的效率，在适用范围、效率和可实现性三个方面得到了兼顾．

关键词：归约策略正则重写系统必要集

“SEQ　OF　PAR”结构化并行程序设计

在线全文

学校读者我要写书评

暂无评论

计算机学报 1997年第3期20卷 230-237页

作者：袁伟孙永强上海交通大学计算机科学与工程系

本文基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ（ＣＣＬ［１］）理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计．该模型采用“ＳＥＱＯＦＰＡＲ”的层次化结构和基于... 详细信息

本文基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ（ＣＣＬ［１］）理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计．该模型采用“ＳＥＱＯＦＰＡＲ”的层次化结构和基于伪同态的并行抽象数据类型来分析和刻画程序的并行行为．首先，本文通过因果关系复合的范式定理的证明在理论上论证了“ＳＥＱＯＦＰＡＲ”形式进行结构化并行程序设计的可行性，然后详细介绍了该模型中并行程序的设计和性能评价模型．良好的代数性质使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其它并行程序设计模型和方法相比，该方法为自然地综合描述数据并行和控制并行提供了一种途径；特别是基于代数变换的程序变换技术使得并行程序设计既独立于具体的体系结构又便于高效实现．

关键词：结构化并行程序设计体系结构

在线全文

学校读者我要写书评

暂无评论

利用模态分析技术获取轮胎的模态参数

汽车工程 2001年第3期23卷 148-151页

作者：管迪华孙永伶清华大学汽车安全与节能国家重点试验室

由模态试验获取轮胎自由悬置的模态参数,应用模态分析技术进行轮胎力学研究,用模态综合法实现轮胎自由悬置到固定支承的转化,从而从理论上给出轮胎固定支承时的模态参数。计算结果与试验结果基本吻合。

关键词：模态综合法固有频率阻尼系数轮胎汽车模态试验

在线全文

学校读者我要写书评

暂无评论

自由电子激光器中的电子阻尼运动

物理学报 2000年第5期49卷 893-897页

作者：李治宽承德民族师范高等专科学校物理系承德067000

建立了有阻尼项的摆方程 ,在小信号情况下 ,对方程进行了迭代求解 .由解得的结果得到了增益函数的表达式 .特别对弱阻尼和过阻尼情况进行了计算 ,分别得到了相应的增益函数简化公式 .

关键词：自由电子激光器电子阻尼运动增益函数

在线全文

学校读者我要写书评

暂无评论

用频域幅相调整前馈控制的非圆车削实验

清华大学学报（自然科学版） 2002年第6期42卷 773-775,779页

作者：贾晶孙永强冯之敬清华大学精密仪器与机械学系北京100084

为使活塞数控车削系统能够实现非标准椭圆截面活塞的数控车削 ,以频域幅相调整前馈控制算法为基础 ,设计开发了加工控制程序和系统工作流程。该算法基于被控对象的有限项频率特性序列模型。对一种非标准椭圆截面活塞进行了对比切削实验... 详细信息

为使活塞数控车削系统能够实现非标准椭圆截面活塞的数控车削 ,以频域幅相调整前馈控制算法为基础 ,设计开发了加工控制程序和系统工作流程。该算法基于被控对象的有限项频率特性序列模型。对一种非标准椭圆截面活塞进行了对比切削实验。经检测 ,加工误差小于 10 μm,达到产品精度要求。

关键词：频域幅相调整前馈控制非圆数控车削切割实验

在线全文

学校读者我要写书评

暂无评论

基于Monad的纯函数式程序设计

软件学报 1996年第11期7卷 683-690页

作者：袁华强孙永强上海交通大学计算机科学与工程系

ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析。

关键词：函数式程序设计纯函数式语言 Monad

在线全文

学校读者我要写书评

暂无评论

事务逻辑对象库语言

软件学报 1998年第10期9卷 760-765页

作者：王修伦孙永强上海交通大学计算机科学与工程系

对象封装了结构和行为．对象数据库为大规模复杂应用提供良好的建模方法和实现手段．对象与逻辑结合导致目前对演绎对象库的研究．然而，这些研究基本上针对对象的结构描述，而很少涉及到对象的动态行为的描述．该文重点研究对象的动态... 详细信息

对象封装了结构和行为．对象数据库为大规模复杂应用提供良好的建模方法和实现手段．对象与逻辑结合导致目前对演绎对象库的研究．然而，这些研究基本上针对对象的结构描述，而很少涉及到对象的动态行为的描述．该文重点研究对象的动态行为，分析对象特征：继承和重载对事务语义的影响，并设计了一个事务对象库语言ＴＯＬ（ｔｒａｎｓａｃｔｉｏｎｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）．首先分析ＴＯＬ中的基本更新活动的特征，然后研究其事务的模型论语义．

关键词：事务逻辑对象数据库描述型语义

在线全文

学校读者我要写书评

暂无评论

非线性声参量B/A与组织声速及组份的关系

中国生物医学工程学报 1989年第3期8卷 190-195页

作者：仝杰董彦武孙永臣陕西师范大学应用声学研究所

利用我们改进的热力学方法,测量了一些生物组织的非线性声参量B/A值。结果表明,同种组织的B/A几乎与声速倒数1/C成正比地增加,但从整个不同组织范围看,B/A仅有随1/C增加的趋势;B/A值的大小取决于组织的组份和结构;B/A与组织组份的关系... 详细信息

利用我们改进的热力学方法,测量了一些生物组织的非线性声参量B/A值。结果表明,同种组织的B/A几乎与声速倒数1/C成正比地增加,但从整个不同组织范围看,B/A仅有随1/C增加的趋势;B/A值的大小取决于组织的组份和结构;B/A与组织组份的关系定性地符合Apfel混合定则。

关键词： B/A值组织声速组份

在线全文

学校读者我要写书评

暂无评论

阿类型面向对象语言及其动态类型检查

上海交通大学学报 1993年第4期27卷 57-62页

作者：梅宏孙永强上海交通大学计算机系

面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态约... 详细信息

面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态约束带来的系统灵活性。

关键词：程序设计动态检查面向对象

在线全文

学校读者我要写书评

暂无评论

DOL:一个演绎对象库语言

软件学报 1998年第10期9卷 771-776页

作者：王修伦孙永强上海交通大学计算机科学与工程系

演绎对象数据库是对象数据模型和演绎数据库集合的产物．它集成演绎数据库的查询能力和对象数据库的强大建模能力．ＤＯＬ（ｄｅｄｕｃｔｉｖｅｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）是作者设计的一种演绎对象库语言，它支持类、类层... 详细信息

演绎对象数据库是对象数据模型和演绎数据库集合的产物．它集成演绎数据库的查询能力和对象数据库的强大建模能力．ＤＯＬ（ｄｅｄｕｃｔｉｖｅｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）是作者设计的一种演绎对象库语言，它支持类、类层次、继承、集合、部分集、方法及重载和否定．文章着重研究继承、重载和复杂结构化值的交互关系．定义了压缩操作子和重载操作子．基于这两个操作子，定义了与经典逻辑程序类似的直接后承操作子，并研究其不定点性质．

关键词：演绎对象库语言 DOL 描述型语义演绎数据库