面向对象的DSS模型库管理系统设计

通过分析 DSS模型库的特点 ,介绍了一种基于面向对象数据库的 DSS模型库管理系统的设计 ,讨论了模型表示、模型库的结构、模型库的维护等技术。

液氮对煤裂隙扩展的热固流耦合模拟

为探究液氮低温致裂层理煤体裂纹扩展及劣化失稳机制,基于细观基元理论和损伤力学理论建立热–流–固-损伤耦合模型,建立三场耦合模型环境并以此进行计算。基于Monte-Carlo法构建自然裂隙模型和水力压裂裂隙模型,旨在中西部深部煤层低渗透、低孔隙率特点选取陕西神木矿烟煤为模拟裂隙及煤体材料,研究各裂隙在液氮冲击下的变化情况。Darcy’sLaw(dl)物理场的计算结果表明液氮注入过程中前期反应迅速,在短时间内能够达到较高流速。但在后续变化中长时间的反应不明显并逐渐趋于平衡。HeatTransferinPorousMedia(ht)多孔介质传热物理场计算结果表明液氮的低温特性在两种煤裂隙中的传到效果存在不同。分布呈现出环绕液氮注入槽的温度递增分布带。SolidMechanics(solid)固体力学物理场计算结果表明在相同注入压力的条件下,自然裂隙所受液氮作用应力明显高于水力压裂裂隙并且在自然裂隙与注入槽交界处达到峰值。水力压裂裂隙对液氮致裂抵抗性相对自然裂隙强,不容易发生过大破裂发育。

智能仪表实时控制软件的设计与实现

介绍了一种智能仪表的实时控制软件的设计与实现 ,针对其中的中断机制、实时措施、可靠性措施和数字显示等关键技术进行了阐述。这些技术应用于某型高空无线电高度表 ,使其测高值达到 1 50 0 0 m(填补国内空白 ) ,误差为低空 1 %、高空 2 % ,并首次使用模拟、数字两种显示方式 ,从而从预研转为工程阶段。

J2EE应用服务器事务服务的实现

本文提出了一种J2EE应用服务器事务服务的体系结构 ,并给出了其实现方案。它完全符合JTA/JTS规范 ,并且具有良好的可扩展性 ,能够满足企业应用对事务服务的要求。这些技术已经被成功地应用于我们开发的J2EE应用服务器中。

利用数据平滑抑制无线电高度表的多普勒效应误差

针对多普勒效应对频率测量造成的误差使无线电高度表的测高精度受到影响的问题,提出使用加权平均算法、N次平均算法来抑制多普勒效应误差对测量的影响,并对它们的优缺点进行了分析,给出了各自适用的场合。这些算法分别在国内的三种无线电高度表上使用的效果证明了它们的可行性和可靠性。

J2EE应用服务器内置部署器的设计与实现

本文提出了一种J2EE应用服务器内置部署器的体系结构 ,并且给出了其实现方案。它完全符合J2EE规范的相应要求 ,并且具有良好的可扩展性 ,能够满足企业应用部署的要求。

聚合物分散液晶薄膜的极化特性及其对电光性能的影响

液晶含量和外加电场类型是影响聚合物分散液晶薄膜电光性能的重要因素,而对薄膜微观形貌的分析并不能直接反映电光性能的变化机理.因此本文以液晶材料E7和光聚物NOA65共混制备的聚合物分散液晶薄膜作为研究对象,通过对其极化特性的研究,揭示了在不同液晶含量和不同类型电场下极化过程对薄膜电光性能的调控规律和微观机制.结果表明,在10^(-1)—10^(6)Hz频率范围内,薄膜在低频、中频和高频存在3个松弛极化过程,分别为热离子极化、界面极化和转向极化.通过Arrhenius公式拟合计算了各极化过程的活化能,发现随着液晶含量的增大,转向极化的活化能从0.88 eV下降至0.83 eV,导致液晶分子转向的阈值场强和饱和场强降低.相比于交流电场,直流电场下热离子极化形成内建电场,导致阈值场强和饱和场强大幅增大,而极化弛豫时间的延长会导致响应时间的延长.此项研究对进一步分析和提升聚合物分散液晶薄膜的电光性能具有指导意义.

提高“软件架构”课程教学质量的几项措施

本文针对当前"软件架构"课程教学质量不尽如人意的现状,系统地分析了产生这一问题的根源,并介绍了上海交通大学软件学院在此问题上所采取的几点措施.教学实践表明,这些措施确实可以提高"软件架构"课程的教学质量.

面向对象的软件逆向工程数据库系统设计

通过分析软件逆向工程数据的特点,提出了建立面向对象的软件逆向工程数据库系统,介绍了针对软件逆向工程数据而构造的数据类的形式,最后讨论了软件逆向工程数据库的结构和维护等技术。

实时操作系统内核设计中的优化

针对实时操作系统中要求中断响应实时性强的特点 ,提出了将中断响应分为中断处理和中断服务两部分 ,并且根据这种中断响应机制设计了多级中断服务请求队列 ,对临界资源的保护进行了探讨 .这些技术应用于某型号高空无线电高度表 ,使其测高值达到 1 5 0 0 0 m,误差为低空 1 %

应用于动力电池热管理的重力型热管仿真研究

针对应用于车用动力电池热管理的重力型热管开展了建模与仿真研究,采用控制变量法分析了不同充液率、内壁面接触角和初始压力对热管启动性能与换热特性的影响。结果表明,随着充液率的增大,传热性能在提升,当充液率为85.7%时传热速率达到峰值。随着接触角的增大,传热性能在降低,当接触角为60o时传热速率达到峰值。随着初始压力的增大,传热性能在降低,当初始压力为3361 Pa时传热速率达到峰值。

跨平台MOOC管理中大数据融合技术的研究

面对MOOC平台百花齐放的现状,各高校都不可避免地会产生对跨MOOC平台修课进行管理的实际需求。本文针对这种实际需求,对跨平台的MOOC大数据融合技术进行了研究,提出了一种MOOC门户网站的概念与架构,并对其中数据融合的关键问题进行了探讨,包括数据标准模型、数据处理方式和用户身份融合等,为高校MOOC门户网站的建立提供了参考。

基于语义层软件理解的形式化格局识别技术

目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新方法——形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。

EJB容器中基于JAAS的安全机制的实现

本文提出在J2EE应用服务器EJB容器中基于JAAS安全机制的一种实现方式。它符合J2EE以及EJB的相应规范 ,并具有良好的可扩展性 ,能够满足企业应用对EJB安全的要求 。

基于三维形态的决策支持系统研究

描述了群决策的三维形态，并分析了三维形态的关系。在此基础上，提出了基于三维形态的群体决策支持系统ＧＤＳＳ（ＧｒｏｕｐＤｅｃｉｓｉｏｎＳｕｐｐｏｒｔＳｙｓｔｅｍ）原型结构，并介绍了该系统工作原理以及主要模块的功能。

基于语义层行为结构的变换对形式化格局识别技术的再探究

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。

一种基于JMX的网格服务实现框架

本文首先对OGSA体系进行了简要的介绍和分析 ;然后在Java宿主环境下 ,在网格服务和JMX中的MBean之间进行了对比 ;最后提出了一种基于JMX体系的网格服务的实现框架。

基于QoS延时参数的服务接纳控制算法

为给并发访问的多个请求提供QoS保证,Web Service必须借助某些算法对请求加以控制。该文分析QoS延时参数的构成,提出基于QoS延时参数的服务接纳控制算法。该算法可在满足既有服务的QoS延时要求的条件下,控制接纳新进入的服务。否则即让其在队列中等待直到被服务器接纳,或服务器直接抛弃这个请求,由客户端在超时后自动重发请求。

支持契约式设计的Java静态验证器的研究

基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。

汽车气压制动防抱死系统使用及故障维修

本文针对当前汽车气压制动防抱死系统的部分问题存在现状,从ABS的基本定义与结构出发,通过对其原理的分析和有效系统的分类,进一步阐述了气动ABS系统故障的相关诊断措施,并对ABS系统的匹配、安装、使用、保养等过程提供必要的技巧与方法手段。