检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

程序正确性:论归纳断言法

计算机科学 1983年第3期 41-59页

作者： james C.King 韩苏南

本文研究了一些正确性证明方法。特别对所用归纳形式进行了详尽探讨。提出了一个程序设计语言的关系语义模型,并讨论了它与谓词变换符的关系。文章立足于从基本观点上来叙述,以便尽可能简单地阐明有关的各种方法及基本原理之间的本质区... 详细信息

本文研究了一些正确性证明方法。特别对所用归纳形式进行了详尽探讨。提出了一个程序设计语言的关系语义模型,并讨论了它与谓词变换符的关系。文章立足于从基本观点上来叙述,以便尽可能简单地阐明有关的各种方法及基本原理之间的本质区别。上述结果是在我们试图对“子目标归纳”法追本穷源时获得的。

关键词：程序出口入口子目标计算方法归纳法归纳方法最弱前置条件实词谓词

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

铁道车辆高速运行时稳定性的研究

智慧轨道交通 1988年第5期 28-34页

作者： james A.RICHARD 侯卫星

根据铁道车辆稳定性的经典研究,作者提出了对于轮对与转向架构架之间具有抗蛇行减振器或前后轮对之间具纵向或横向刚度的铁道车辆如何修改运动方程。车辆的临界速度由矩阵A（9,9）的本征值来确定。根据临界速度与抗蛇行减振器的典型值C... 详细信息

根据铁道车辆稳定性的经典研究,作者提出了对于轮对与转向架构架之间具有抗蛇行减振器或前后轮对之间具纵向或横向刚度的铁道车辆如何修改运动方程。车辆的临界速度由矩阵A（9,9）的本征值来确定。根据临界速度与抗蛇行减振器的典型值CR及临界速度与纵向或横向刚度Kb或Kb′之间的关系。我们可以说,在等效锥度γe较高时这些系统的参数对临界速度有较大的影响,而对于等效锥度γe较低的情况来说,临界速度本来就已经很高了。根据本文给出的临界速度与CR及Kb（或Kb′）之间的关系曲线,确定了Kb（或Kb′）的最佳Cb值。最后还提出横向刚度比纵向刚度在车辆稳定性方面更重要。

关键词：临界速度横向刚度轮对车体转向架转向装置铁道车辆铁路车辆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

怒火街头

汽车测试报告 2011年第11期 114-121页

作者： Sam philip james Lipman（图） Tony（设）

载客？你还活在2010年吗？有单座BAC Mono伴你横扫街头和大小赛道，谁还需要亲戚朋友把臂同游呢？不少小Sitg就没有这等闲情逸致。

关键词：轿车车型品牌发动机

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

放射性废料处理的危险性评价

地下空间与工程学报 1984年第2期 93-102页

作者： james F.Crow 陈延训威斯康星、麦迪逊genctics大学实验室美国

隔离放射性废料最困难的问题集中体现在危险性评价方面。首先,像几乎每个危险性评价学领域一样,资料是不完善的。在不同包装方法的长期有效性和最低辐射剂量的生理反应方面不明确。其次是,令人担心的后果将反映在今后足够的时间内,不是... 详细信息

隔离放射性废料最困难的问题集中体现在危险性评价方面。首先,像几乎每个危险性评价学领域一样,资料是不完善的。在不同包装方法的长期有效性和最低辐射剂量的生理反应方面不明确。其次是,令人担心的后果将反映在今后足够的时间内,不是以十年计,而是以百年甚致千年计算。从而提出的问题是,么什叫做“各代人之间的利益均衡”,为了我们自己的利益,我们应该给后代多少负担?他们将从我们和他们的科学和医学成就中得到多少好处——

关键词：程度背景辐射放射性遗传变异不定变异剂量用药量核废料危险性评价

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机控制的2型遥测跟踪系统

国外导弹与航天运载器 1992年第2期 60-68页

作者： Michael james Hart 张永泰

白沙导弹靶场(WSMR)七种可移动式遥测采集系统(TTAS)作为主要遥测跟踪系统服务于WSMR已二十年之久。对原有模拟位置控制系统(天线锁源、伺服功率放大器、位置补偿)增加的维修费用与跟踪系统性能明显改善的潜力有关,但现代技术提供的自... 详细信息

白沙导弹靶场(WSMR)七种可移动式遥测采集系统(TTAS)作为主要遥测跟踪系统服务于WSMR已二十年之久。对原有模拟位置控制系统(天线锁源、伺服功率放大器、位置补偿)增加的维修费用与跟踪系统性能明显改善的潜力有关,但现代技术提供的自诊断能力导致了WSMR开展新设备研制工作,其目标是研制一种新的几乎是全数字的跟踪系统样机,来取代TTAS中老的模拟控制系统。一种现代的圆锥扫描馈源取代了原有的单脉冲馈源,脉宽调制功率放大器取代了原来使用的可控硅整流器,基于VME总线,使用实时操作系统的计算机取代了模拟补偿和系统的全部控制。文中,在概述跟踪系统样机之后,采用根轨迹、计算机仿真,而且从实际跟踪系统出发,采用为计算机控制器开发的伺服测试软件来描述为跟踪系统样机而开发的新位置控制算法结果。为了比较,介绍了用计算机仿真研究老式模拟系统的结果。也介绍了TTAS中遇到的直接影响位置控制的一些问题。为适应所有临界跟踪系统的非线性(功放饱和、电流限制、死区和控制输出饱和),所有跟踪状态(自动跟踪、手动、使用外部的引导数据),不同的操作带宽和系统所有可能的驱功输入而设计了新的位置控制算法。它使控制系统从1型变成了2型,改善了TTAS的动态能力。

关键词：导弹遥测系统跟踪系统计算机

在线全文

学校读者我要写书评

暂无评论

亨利·詹姆斯小说选

亨利·詹姆斯小说选

1983年

作者：（美）亨利·詹姆斯（H.james）陈健译

本书收集了亨利·詹姆斯的三片小说《国际风波》《黛西》《阿斯伯恩的信》。

ISBN: (纸本)10203·108

本书收集了亨利·詹姆斯的三片小说《国际风波》《黛西》《阿斯伯恩的信》。

关键词：中篇小说地点:美国年代:近代学科:选集

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

两驱兄弟

汽车与运动 2018年第6期 50-59页

作者： james Disdale Dean Smith 罗新雨

奥迪为其V10超跑拆下了其名声在外的quattro系统。但后驱布局能让R8脱胎换骨吗？另外,他在强悍的宝马M4CS面前又该如何应战呢？奥迪R8对阵宝马M4——我们真的是认真的吗？一方是低矮的中置入门超跑,另一方则是长相更加传统的四座双门硬... 详细信息

奥迪为其V10超跑拆下了其名声在外的quattro系统。但后驱布局能让R8脱胎换骨吗？另外,他在强悍的宝马M4CS面前又该如何应战呢？奥迪R8对阵宝马M4——我们真的是认真的吗？一方是低矮的中置入门超跑,另一方则是长相更加传统的四座双门硬顶轿跑.

关键词：奥迪R8 ro系统 V10 宝马硬顶双门四座

在二线用户环设备上进行数字传输时的模型构成和误码概率性能分析

在线全文

学校读者我要写书评

暂无评论

无线电通信技术 1987年第4期 55-74页

作者： james W. Modestino 肖重庆

本文介绍一种描述高速数字通信二线对绞用户环设备特性的方法。利用这种分析/数值方法,就可在一组给定的代表特定用户环及其噪声环境(包括串号干扰、串话和脉冲噪声)的输入参数下,预测出误码概率特性与信噪比的关系,所得结果对于研究环... 详细信息

本文介绍一种描述高速数字通信二线对绞用户环设备特性的方法。利用这种分析/数值方法,就可在一组给定的代表特定用户环及其噪声环境(包括串号干扰、串话和脉冲噪声)的输入参数下,预测出误码概率特性与信噪比的关系,所得结果对于研究环路设备群在实现测定的固定业务等级时的适用性很有用。本文将介绍这种方法的模型构成假设条件、分析/数值技术。主要针对采用双极性线路编码的时间压缩复接(TCM)法,但此法很有通用性。为实现这种方法开发了大量的计算机程序,文章根据计算机程序的抽样图示输出给出了若干数值结果。最后根据作为最近广泛调查的一部分收集到的数据,介绍这种方法用于对客观评价 gTE用户环设备的适用性情况。

关键词：脉冲响应不均匀时间特性概率 AWg 模型构成误码用户数字传输二线

云计算、海量数据和智能设施:值得关注的十种由技术带动的商业趋势

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

海峡科技与产业 2010年第11期23卷 52-60页

作者： Jacques Bughin Michael Chui james Manyika 麦肯锡布鲁塞尔分公司麦肯锡全球研究院麦肯锡旧金山分公司

不断发展并迅速投入运用的各种技术正在颠覆传统的商业模式。企业高管必须从战略高度上思考问题，考虑如何使自己的组织为迎接充满挑战性的新环境而未雨绸缪。

关键词：商业模式海量数据技术计算设施智能挑战性