连续梁静力分析的正交法

本文利用文[1]提供的正交方法,针对连续梁的特点,导出了连续梁在固定荷载作用下支座截面弯矩的计算公式和在移动荷载作用下支座截面弯矩影响方程的计算公式,两者均以矩阵形式给出。     

氘标记盐酸苯环壬酯的合成

为了开展盐酸苯环壬酯及其光学异构体药代动力学研究,确定代谢途径,进行代谢差异比较,对盐酸苯环壬酯进行了稳定同位素氘标记合成研究。以五氘溴苯为原料,先由格氏反应生成D代中间体α-环戊基-α-D₅-苯基羟乙酸乙酯,再经三步反应得到定位标记的盐酸氘代苯环壬酯。该合成路线简捷,同位素原料易得,引入标记原子的步骤短,反应条件较易控制,氘丰度达99%,经质谱、核磁确证结构与盐酸苯环壬脂一致。     

吸收对准相位匹配线性电光效应的影响(英文)

研究吸收对准相位匹配线性电光效应的影响,得到适用于吸收介质的准相位匹配线性电光效应的耦合波方程及其解析解.计算结果表明,吸收不但削弱光的强度,且影响o光与e光之间的电光耦合.当o光与e光的吸收系数不同时,由于它们之间的电光耦合,总输出光强随外加电场变化而变化.研究结果可用于吸收介质的电光器件设计.     

VHD真空精炼炉电极液压伺服系统的自动控制

从生产实践入手,通过对联邦德国引进的30/60吨VHD真空精炼炉电极升降的电液伺服系统自动控制理论进行剖析,证实该系统控制理论的可行性,以便更好地指导控制系统的维修、调整以及促进国内的研制。     

结构化分析工具JS—SA中的关键技术

本文分析了集成经计算机辅助软件开发环境ＪＳ－ＣＡＳＥ中的需求分析工具ＪＳ－ＳＡ的设计与实现中的一些关键问题，并讨论了对其进一步应做的工作。     

第十八届国际软件工程会议概况

第十八届软件工程国际会议于1996年3月25至29日在德国柏林召开,来自美国、德国、日本、中国等37个国家和地区的代表851人参加了会议。其中德国占40％,除德国外的欧洲占30％,美洲占20％,亚洲、大洋洲占7％,我国仅一人参加。会议涉及面很广,发表论文52篇,按内容包括16个专题:理解与分析、支持需求、测试与分析、使用面向对象、分布式系统分析、度量、基于构件的软件、形式化设计、配置管理与复用、过程效用、系统确认、环境、维护与演化、测试算法、数据流测试等等。大会组织了三个特邀报告,分别介绍了软件开发方法,形式化技术,软件工程中实验的过去、现在和未来。大会前后还组织了十四个专题讲座和八个专题讨论会,在柏林形成了96国际软件工程周。它们是第四届IEEE程序理解专题讨论会,96国际多媒体软件开发专题讨论会,第六届国际软件配置专题讨论会,第三届国际软件度量专题讨论会,第一届并行和分布式系统软件工程专题讨论会,第三届国际软件工程教育专题讨论会,第八届软件规约和设计专题讨论会。每一个专题讨论会都有自己的组织委员会,参加讨论班是受限制的,参加者是由他们对问题立场说明的论文来决定的。     

并发系统模型研究

1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。     

对Modula－2进行面向对象扩充

本文阐述了ＮＤＯＯＭ的设计和实现的主要思想．ＮＤＯＯＭ是一个Ｍｏｄｕｌａ－２的面向对象扩充，是Ｍｏｄｕｌａ－２的超集，其既充分支持面向对象程序设计，又保持了ＭＯｄｕｌａ－２的原有风格．     

一种用于基于知识系统开发的形式化模型*

LKo是一个将面向对象和逻辑范型相结合，用于基于知识系统的形式化开发模型，其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体．它支持框架、规则、语义网络、黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范．在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型．