状态空间中变分原理和运动方程

本文给出状态空间中一种新的微分原理,并由此导出积分原理和运动约束系统的两形种式的运动方程。     

论广义能量积分

关于广义能量积分的意义,在现行的理论力学教材中都没有全面深刻的阐述。本文较深入地分析此项积分的存在条件,并对它的意义作了阐述。     

约束非线性离散变量规划的最优性问题

本文讨论了含有离散变量的约束非线性规划问题。介绍了若干基本概念和定义,并给出了该问题的最优性条件和收敛条件。最后文中给出了理论研究的应用成果。     

第二产程阴道前穹窿切开剖宫产术：附20例报告

临床资料20例均系定月妊娠，头位。其中头盆不称5例，骨盆狭窄9例，滞产合并胎儿窘迫6例。16例如产妇，4例重产妇，第H产程均超过2小时，其中9例5小时，均有产瘤形成，最大者5X5cm，最小者2XZcm。胎先露位于一1者2例，0者8例，＋1者6例，＋2者4例。手术方法一、下腹正中切D。切D下端在耻骨联合上Zcm二、腹膜内切D逐层切开腹壁，剪开膀脱子宫反折腹膜，下推膀胜。腹膜外切D按层次分离膀联前筋膜，于膀眈左缘三角区剪开膀胜后筋膜，钝锐性分离膀眈腹膜桥，充分暴露手术野。三、寻找宫颈前唇（1）宫颈前后为一触及稍感凸起之横行皱给样，其…     

政府约束下企业会计信息失真的均衡分析

企业会计信息失真，在利润最大化原则约束下，不仅取决于产权结构及产权界定程度、会计制度、会计行业道德水准、内部治理状况、国家监控力度，而且取决于各企业在会计信息市场中的博弈。企业间的博弈竞争、政府的宏观管理约束使企业的会计信息失真有一个均衡水平，该均衡水平是市场竞争状况、企业真实会计信息边际成本和虚假会计信息边际成本、政府的强制性会计信息边际成本和惩罚性会计信息边际成本及政府行为偏好和投入约束的函数。会计信息失真的均衡存在性表明，政府的干预或强制在某些条件下可能改变这一均衡并强化会计信息失真。     

多功能电量在线检测仪的研制

针对目前国内电量检测仪精度低、功能单一等问题，研制开发了便携式多功能电量在线检测仪，并详细介绍了电量检测仪的硬件组成及软件设计技术．     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

现代科学信念真、善、美的三元结构

现代科学信念是科学家和科学共同体科学认识活动中必不可少的预设和基本前提，是一个由真、善、美构成的三元结构系统。真、善、美之间相互渗透、相互依存并达到完整统一。现代科学信念对科学认知有着重要的激励约束作用，是当代科学活动宏观调控的深层思想基础和哲理依据。     

与最新LEP实验结果一致的现实的大统一前子模型

CERN1989年下半年安装完毕的正负电子对撞机LEP给出的最新实验结果表明,标准模型中存在具有轻中微子的夸克和轻子的代数是3。按此结果要求,我们得出一个手征的、给出三代轻粒子的现实的禁闭弱作用大统一前子模型。     

图像运动对前视红外成像的影响

本文讨论了图像运动对前视红外成像的影响,用光学传递函数理论推导出图像运动OTF的数学表达式,并计算了在正弦振动条件下的结果,分析表明红外前视仪平台抖动将造成图像严重模糊。