基于规则的开发链智能化产品配置方法

介绍了基于产品配置的开发链产品实现过程；讨论了产品结构模型与配置的关系；研究了基于结构模型的产品配置过程；给出了智能化产品配置的实现步骤．模型配置规则用来约束产品结构模型中各功能组件以及零部件之间的关系，限制配置过程中零部件的选择．给出了变量配置规则、配置约束规则和有效性规则等．讨论了配置知识库的构建方法．     

浅析当前大学数学教育中的若干问题

从大学数学教育的改革的紧迫性、必然性出发,以当前大学数学教育面临的形势和存在的主要问题为背景,以未来社会对人才的需求为理论依据,提出大学数学教学改革的具体思路,具体表现在:转变教育观念,树立正确的学习意识;转变教师的角色,帮助学生树立自学与研究精神;多媒体技术与传统教学模式相结合,设置数学实验课,熟悉使用数学软件包等。     

海洋环流模式研究回顾与展望

大洋环流的强度变化,对区域乃至全球气候有重要影响.综述了在过去50年中,海洋模式的发展.经过了几代人的开发,国内外全球大洋环流模式、近海和区域环流模式都有了很大改进,能较好地模拟大洋海面温度和高度的分布、海流分布以及El Nino和La Nina的演变过程等.但是,由于观测资料的短缺,数值模式开发还不够完善,海洋边界流的模拟仍不够好.有些探索是基于压力坐标的、非Boussinesq近似的海洋环流模式;将海洋模式的开边界以余流和潮流合成给出,能保证整个计算区域内水量进出的平衡;摒弃刚盖模型,用自由表面模型取而代之,以及借助海洋资料同化系统,开发海气耦合模式,都是海洋环流模式的发展方向.众多研究认为,不断改进和完善动力框架和各种差分格式的设计将有助于提高海洋环流模式的模拟能力.     

基于Linux的网络流量控制机制

提出了一种基于Linux的流量控制模型,此模型内嵌于Linux内核,利用队列算法分类不同QoS需求的网络流量,可满足不同服务水平的QoS需求.经过多次实验证实,采用流量控制模型后的网络性能明显优于传统网络模型,而且对于后继的网络需求也能充分适应.     

用于可压缩Navier-Stokes方程的多速度级与多能级

构造了用于可压缩Navier Stokes方程的25 bit格子Boltzmann模型, 它具有3个速度级和3个能级. 令其局部平衡态分布函数具有质量、 动量和能量守恒, 同时假设平衡态分布函数满足高阶矩条件, 得到了具有二阶截断误差的可压缩Navier Stokes方程. 数值模拟表明, 所得结果比一阶模型的结果有较高的精度与分辨率.     

构件对软件构架可靠性作用的分析

通过使用基于构架的软件可靠性模型对软件构架的可靠性进行了估算和分析,探讨了在软件构架中如何快速判断哪个构件对整个软件构架的可靠性影响较大或较小.同时,给出了判断的一般思路,并提出了如何进一步提高判断准确度的若干可行方案.     

振动磨简体内部的能量传递规律

在对大量摄像实验反复观测和研究后发现:磨筒内的磨介存在抛射、整体回转和本身自转3种运动状态;磨介与筒壁的抛离与接触是沿着振动方向发生的,此过程是周期性的,其周期与振动周期相同．在此基础上,建立了粉磨介质冲量传递模型,探讨了振动磨简体内部的冲量传递、能量传输和能量耗散的分布规律,揭示了振动磨的粉碎机理．以此为理论依据,提出了减小磨筒内的惰性区、提高粉磨效率的途径．     

Modeling Locking Angle of the Multi-layered Biaxial Weft Knitted Fabric in Shear Deformation

This paper introduces the construction of the multi-layered biaxial weft knitted fabric （MBWK fabric） and studies the locking angle of this kind of fabric. Moreover, a locking angle model of the MBWK fabric is established for the first time according to its unique construction. Two kinds of locking angles are considered under different restraint conditions： the locking angle θ1 controlled by the inserting yarns and the locking angle θ2 controlled by the stitch yarns. It is concluded that the ultimate value of the locking angle θ is the larger one of the two angles.     

Liquid Flow in Shaped Fiber Bundle

By computation and comparison of the critical spreading coefficient parameter, it was found that shaped fiber bundle is better for wetting. Liquid-air interface tension of liquid arising the shaped fiber bundle body is considered as one critical factor besides liquid viscosity, inertia force and liquid-fiber interface tension. Experimental result simulation demonstrated that the liquid-air interface tension is correlated with the geometric size of the liquid arising in body, Φ0 （x） and which is affected by the cross sectional shape of fiber and the radius of single fiber. The shaped fiber bundle model is/ntroduced to/nvestigate liquid flow in fiber assembly. The model is generated based on a random function for stochastic forming of fibers in bundle and it is necessary to combine this fundamental model with physical explanation for investigation of liquid flow in fiber assembly.     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。