摘要：利用Galerkin法,得到附加双线性油阻尼器拉索的运动方程。通过Runge-Kutta-Felhberg(RKF)方法得到其自由振动衰减曲线,并基于能量损耗原理的方法计算出拉索的模态阻尼。分析了双线性油阻尼器的一次阻尼系数、二次阻尼系数和变换速度对拉索阻尼的影响。提出了基于一个周期内消耗能量相同的线性化等效设计计算方法,并与数值计算分析结果进行比较分析。研究结果表明双线性油阻尼器较线性阻尼器具有其独特的优点。

摘要：基于UML的实时系统面向方面模型,能够把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。面向方面编程(AOP)技术允许把设计好的时间方面根据特定需要重新织入系统,组合为实时系统。模型扩展了UML来表达AOP技术和时间概念,并从系统的静态结构模型、动态行为模型和时间方面的织入等几部分建模实时系统。一个电梯控制系统例子充分说明这种设计过程。

摘要：本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2)+O(n^2)+O(2~k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^3),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。

摘要：软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了AddBefore-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。

摘要：实时数据库根本目标就是使满足截止时间的事物数量为最大,因而,管理和支持优先考虑时间的事务处理是非常重要的。然而,随着实时计算的迅速发展,安全成了许多实时应用另一个必须考虑的问题。因此,在多级实时数据库系统中,提出一种结合实时性和安全性的方法是非常必要的。本文陈述了实时系统设计者应该考虑的实时性和安全性,描述了一种规范语言允许设计者在适当的级别设定数据库的重要属性以支持部分安全并探讨了一种自适应方法以达此目的。

摘要：在电池供电的实时系统中,需要考虑到两个约束:一个是实时系统中任务的截至时间,另一个就是能量问题。在系统设计的过程中,从物理层、体系结构层、系统层到网络层的各个层次上都可以进行低功耗技术设计。在分析了为什么在系统层上进行低功耗技术之后,又给出了目前系统层上一种主要的技术机制,对这种机制在实时系统中进行任务调度的具体方法进行了概括和总结。

摘要：本文在讨论虚拟图书馆与网络技术的基础上 ,指出虚拟图书馆的建设应以网格为基础平台进行。本文还给出了基于网格技术的虚拟图书馆设想 ,并分析了基于网格技术的虚拟图书馆设计过程中的一些关键问题。

摘要：本系统是基于因特网、B/S的三层架构 ,采用面向组件编程的分布式决策分析系统。它为电子商务的海量数据建立数据仓库 ,利用数据挖掘为经营、管理的决策分析提供解决方案。它通过MD5单向加密等多重安全保护机制为企业数据提供足够的不同级别的保密措施 ;J2EE平台及组件化的设计使系统具有良好的特性。

摘要：本文详细地介绍了一个具体的CAI创作系统《三维几何画板》的设计目标,它产生的背景、具备的各种功能、系统的组织架构和具体的内部对象的层次结构。分析了当前流行的类似系统的不足,以及本系统如何克服这种不足并形成为它们的一个有效补充。以丰富的图示说明了本系统颇具特色的属性定义机制。最后,介绍了本系统尚未解决的一些具体问题和今后努力的方向。

摘要：反垄断执法工作是我国确立竞争政策基础地位、维护社会福利的保障,而行业协会作为重要的制度性设计,在我国市场与政府之间扮演着重要角色。为研究行业协会与反垄断执法之间的关联,探索提升反垄断执法效率的有效路径并进一步优化我国反垄断政策,本文基于位列《反垄断法》监管首位的横向垄断协议案件数据,利用生存分析方法实证检验了行业协会对反垄断执法效率的影响及作用机制。研究发现,组织型行业协会对反垄断执法效率产生了正向影响,而协调型行业协会对反垄断执法效率产生了负向影响。其中,执法配合机制是行业协会影响执法效率的内在渠道,而外在举报机制具有对行业协会的威慑引导作用,削弱了协调型行业协会对执法效率的抑制作用,加强了组织型行业协会的促进作用。本文的研究结论为我国反垄断执法提供了微观层面的经验证据,也为行业协会的自身完善及其各项经济职能的有效发挥提供了有益参考。