软件体系结构的行为求精

在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则:构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系。     

虚拟内存进程重构与恶意行为扩展识别模型

为了解决现有虚拟机的恶意行为分析技术检测点单一、抗干扰能力弱、检测结果可信度不高等问题,提出了一种基于虚拟内存进程重构和进程关系识别的虚拟检测技术.通过分析VMware虚拟内存特点,重构进程生命周期中的启动、隐藏、可疑操作、网络通信等序列化行为,并形式化描述为名称关系、父子关系、时间关系、文件关系、通信关系、用户关系六元组.进一步地,将六元组扩展为证据链并提出一种基于改进k-means算法的恶意行为识别模型,通过计算不同进程六元组之间的相似度,结合先验知识,使用恶意进程集初始聚类中心,进而辨识出虚拟内存中的恶意进程及其关联性和依赖关系.测试结果表明:1 000个样本中恶意进程的检出率高达91.98%,相比传统内存取证技术该方法重构出的虚拟内存进程信息更加充分,恶意行为判定结果的准确性、可靠性更高.     

一种新的DNA模体发现聚类求精算法

模体发现问题是分析基因转录调控关系的一个重要方面．提出了一种新的基于熵的聚类求精算法--ECRmotif,用于DNA序列中的模体发现问题．ECRmotif使用灵活的概率模型从背景序列中鉴别模体．它首先使用一个基于熵的聚类过程将数据集划分为若干子集,并对各候选子集压缩其实例的搜索空间,求精得到模体．通过模拟数据和真实数据的实验,表明ECRmotif算法可以有效地提高运行速度和效率,并准确地找出模体．     

基于高阶时间π演算的构件式实时软件研究

在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.文中提出 了一种有时间特性的高阶多型仃演算(THO π-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义.作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束.通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用.     

扩展BVP振子弱周期扰动下的振荡与同步

针对扩展bonhoeffer-van der pol(BVP)振子易受不确定因素影响的问题,提出了将非线性动力学分析与数值模拟相结合的方法,并考察了弱扰动对混合模式振荡类型和同步行为的影响.根据模拟结果得知,多种类型的混合模式振荡受弱扰动的影响出现了坍塌现象,且从理论上证明了两个耦合bonhoeffer-van der pol振子的膜电压比慢变量到达完全同步时所需的耦合强度要大,在二维参数平面上,膜电压到达同步时所取参数范围应小些.结果表明,与膜电压相比,慢变量更容易达到同步,且变量之间呈现一种线性关系.     

基于弱弹性拉伸的任意服装模型仿真

为了提高三维服装模拟的通用性并保证运行过程的实时性,提出了一种针对任意三维服装模型的仿真方法.首先将不规则的顶点按照三角面关系映射成质点弹簧模型,将弹簧视为类刚性杆,但保持迭代过程中的弱弹性.利用Verlet方法快速预测质点的位置,并通过弱弹性约束防止布料过拉伸现象的发生.实验表明该方法克服了传统解算器对模型的规则网格限制,保证了计算的高效性和可靠性,仿真结果更符合织物的物理特性.     

以人为本 塑造高质量的现代化城市公共空间

在城市公共空间建设中,应坚持以人为本,注重历史,求精求美,突出特色,将塑造高质量的城市公共空间作为我们的奋斗目标.     

基于多尺度注意力网络的立体匹配方法

为解决网络深度与训练图像块大小耦合问题及进一步提高弱纹理区域及边缘处的匹配精度,提出了一种基于多尺度注意力网络的立体匹配方法.该方法将立体匹配过程分为2个阶段：第1阶段提出了一种成本网络用于计算匹配成本,该网络由基础网络层和缩放层组成.第2阶段提出了一种基于多尺度注意力的视差求精网络,该视差求精网络综合了多种视差线索,并加入多尺度注意力机制进一步提高立体匹配精度.该方法在KITTI 2012、KITTI 2015和SceneFlow数据集上的3像素坏点百分比分别为1.13%,1.87%和2.29%.实验结果表明,与国内外同类方法相比,采用多尺度注意力网络的立体匹配方法在匹配精度上获得了较大的提升,尤其是在弱纹理区域及物体边缘处表现较好.     

并发进程系统的分析和模拟

本文对并发进程系统中进程相交的问题提出理论分析方法,并给出在顺序系统环境下,对并发进程各种相交关系的模拟实习方法.     

弱结构巷道围岩变形破坏与非均称控制机理

依据煤系地层围岩弱结构巷道变形破坏的不均衡特征，提出了弱结构体变形破坏的“控制部位”与巷道围岩的“非均称控制”概念；分析了围岩弱结构巷道的非均称控制机理；运用有限元法对弱结构巷道的塑性区分布特征、非均称控制进行了模拟．结果表明：围岩弱结构类型及工程应力环境对巷道围岩破坏区域发育形态及围岩稳定性具有重要影响，弱结构体起着主控作用；侧压系数λ〈1时，应尽量选择Ⅱ，Ⅲ，Ⅵ型弱结构类型；λ〉1时，应选择Ⅱ，Ⅳ型岩性弱结构类型；λ=1时，依据巷遗支护方式不同，应分别选择Ⅰ型或Ⅱ型弱结构类型．