物质构形下的大应变固结方程及其矩阵表述

本文从连续介质力学的基本原理出发，用拉桥朗日描述方法建立了物质构形上的饱和土本三维大变形固结控制方程，并给出了相应的矩阵表述，为大变形固结有限元分析打下了基础。     

船舶企业经营统计指标体系探讨

为适应社会主义市场经济体制的需要,工业企业统计必须由生产型统计向经营生产型统计转变。实现这个转变,需要做的事情很多,其中建立健全企业经营统计指标体系,已成为核心问题。本文从分析船舶工业企业的特点出发,把船舶企业经营过程分为合同、准备、生产、产货四个阶段,提出经营统计应覆盖船舶经营全过程,每个阶段分别按指挥决策、分析评析、监测描述三个层次构筑统计指标,从而建立船舶企业的经营统计指标体系。     

数学化、公理化和形式化

本文从区分非方法性学科和方法性学科入手，一方面狭义地分析了数学化、公理化和形式化的基本功能和目标，从而得出结论：按上述顺序，这“三化”形成了由低到高的三个层次，对它们的逻辑要求依次提高，使用限制依次严格。另一方面，从广义上综合，“三化”又同属方法性学科范畴，它们语言相通，推理的逻辑基础相同，因而在应用中互相渗透，交融壁合。最后简述了“三化”产生和发展的历史，指出它们是一脉相承的，公理化和形式化实际上也是广义的数学化。     

切准脉点觅方源--沈联军交运输部狠抓机关车辆管理

“车管难、车管难，机关车管难上难”，这句话是对机关车管工作难抓的真实描述和写照。难点到底在哪?有无对症的“妙方良药”?这道让长年管车的行家里手们感到头痛的难题，最近经沈阳军区联勤部军交运输部“专家”们的会诊，开出了六味“处方”，收效明显。日前，该区联勤部转发了他们的经验。     

交通公平性的衡量角度与模型描述

研究目的:对交通公平性的衡量角度加以区分并分别建立相应的量化评价模型.研究结论:从不同交通方式之间、不同群体之间、不同地区之间、不同代际之间4种衡量角度出发,探讨了交通公平性问题的理论本质和表现形式.在此基础上建立了数学模型用于描述上述公平性问题,其中包括基于外部成本最小化的不同交通方式之间的公平性评价模型、基于Wilson熵分布假设的不同群体效益归属公平性的评价模型、以地区经济发展水平、物价水平等为基本参数的地区公平性评价模型,以及考虑生活质量变化和偏好比率的代际公平性判别模型.4种衡量角度区分使交通公平性分析得到细化并更加全面,数学模型的建立使量化评价交通公平性成为可能.     

基于统一建模语言的CTCS-3级列控系统风险评估的研究

CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。     

高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.     

采用ASN.1规则的MMS PDU编码系统研究

采用ASN.1基本编码规则,编写了ASN.1基本类型和复合类型数据的编码函数,以此构成编码函数库;通过主编码函数调用不同类型的解码函数,将利用抽象语法ASN.1描述的MMS PDU转换为比特流信息,再将结果传送给下层以太网。该方法采用面向对象的编码思想,克服了传统ASN.1编译器占用空间较大、运行效率不高及升级困难等缺点。     

一种改进的二维傅里叶描述子在基于形状的图像检索中的应用

在图像检索中，形状描述是图像内容描述的关键部分．目前已经存在的大多数形状描述符均是基于某一特定应用的，不具有通用性．文中提出了一种基于二维极坐标傅里叶变换的傅里叶描述子对目标形状的描述方法，分析并实验验证了该方法的各个性质，并讨论了它的实际计算问题．实验结果表明，本描述符通用性强，鲁棒性高．