指数型阻抗函数的双约束引力模型

我们研究了指数型阻抗函数的双约束引力模型，并用两种方法试验了指数型双约束引力模型的参数标定算法，得到了这两种方法的异同。     

圈量子引力中源于Penrose双元计算的研究途径

利用圈算符中的抓是抓在圈量子引力自旋网腿中圈线上的方法.给出了一种正规化的等距面积谱和体积本征值的代数公式谱.利用这种方法,可实现圈量子引力的微分同胚约束和Hamilton约束方程的计算.同时证明了自旋网态在统一方法下满足这两种量子约束.     

球状星团轨道参数分布的统计模拟

选用29个累积光谱型为F型的银河系球状星团作为样本，利用Monte Carlo方法，结合两种不同的银河系引力势模型对样本的轨道参数进行统计模型，并画出轨道参数分布图，讨论这些参数的分布形态对初始观测数据及不同引力热模型的依赖性。     

基于百度指数和引力模型的城市网络对比——以京津冀城市群为例

城市网络已经成为分析城市群内部城市之间的相互作用及其流动方式的重要方法.利用传统地理学引力模 型法以及信息时代的百度指数法绘制城市网络,划分网络中的主干结构,并对比分析京津冀城市群中的网络结构特征和 城市层级分布.研究发现:百度指数网络的主干结构呈现出以北京为中心的伞型模式,引力模型网络则呈现出以北京、天 津为双核心的发散模式;引力模型网络相对稳定,随时间的增长变化较小,而百度指数网络对时间和城市功能定位的响 应更加明显;根据各城市在不同模型中的总联系值占比差,将城市群内城市分为虚拟空间指向型城市(石家庄、保定、秦 皇岛、张家口、承德),实体空间指向型城市(天津、唐山、廊坊、沧州),以及虚实均衡型城市(北京、邯郸、邢台、衡水).      

基于双指数平滑方法的通信软件可靠性分析

阐述了单指数平滑方法和双指数平滑方法,并用这两种可靠性模型对一通信软件系统的可靠性进行分析预测.通过同传统软件可靠性增长模型的预测结果进行比较,可以看出双指数平滑方法简单,没有复杂的数学计算,而且对通信软件的失效行为的预测更加准确.     

生态安全约束下城市群空间网络结构动态演变及关联特征分析——以环鄱阳湖城市群为例

基于景观生态安全理论和引力模型,探讨生态安全约束下的城市群空间网络结构动态演变及关联特征,不仅能为城市群空间网络结构优化提供新视角,而且可为促进城市群可持续发展提供科学依据.以环鄱阳湖城市群为研究区,将景观结构安全指数与生态系统服务价值相结合来构建生态安全指数,并引入到改进的引力模型中,对研究区空间网络结构动态演变及关联特征进行定量测度与分析.结果表明：1) 2005年-2015年环鄱阳湖城市群整体生态安全度有所降低,部分区域经历了由高生态安全度向低生态安全度的转化,生态风险提升;2) 在不考虑生态安全约束情形下,整个研究期间南昌市区始终处于核心地位,“核心-边缘”结构明显,城市空间网络结构变化呈松散趋势.在生态安全约束下,研究区多中心网络结构特征逐渐凸显,城市群空间网络结构发育程度逐步走向成熟,向协同方向优化;3) 在不考虑生态安全约束情形下,多数城市关联强度低且处于稳定的均质状态,形成以南昌市区为首位关联城市的单核心特征.在生态安全约束下,城市群空间网络关联整体呈现异速非均衡特征,并形成以南昌市区、九江市区、抚州市区和景德镇市区为首位关联城市的多中心发展模式.可见,结合生态安全指数的引力模型能有效测度生态安全约束下的城市群空间网络结构动态演变及关联特征,可为环鄱阳湖城市群可持续发展提供参考.     

屈曲约束支撑力学模型对比分析

屈曲约束支撑分析中主要有两种力学模型:平滑非线性的Bonc-Wen模型和简单双折线的模型。为了对比分析这两种模型在结构中模拟屈曲约束支撑的区别,结合试验模型进行了非线性时程分析。根据屈曲约束支撑构造特点,基于串联刚度模型构造了支撑的力学公式,由于一般连接点区域刚度较大,通过假设连接段刚度无限大来简化力学模型。同时引入超强系数来修正支撑屈服力以体现对支撑芯材强度提高作用。基于一个两层单跨人字屈曲约束支撑钢框架的试验模型,应用SAP2000有限元软件,分别建立Bonc-Wen和双线性模拟的屈曲约束支撑,并进行非线性动力时程分析。通过分析得出两种模型的顶点加速度、层间位移、层间位移角的响应,并与实验结构进行对比分析。结果表明:总体上两种模型差距不大,但屈服刚度平滑过度的Bonc-Wen模型比屈服刚度突变的双折线模型模拟屈曲约束支撑更为接近试验结果。     

双指数变换及其应用

数值求积问题是计算数学的基本问题。为了提高数值求积的计算精度,考虑使用指数变换。首先,定义了两种双指数变换,并给出了它们相应的具体表达形式;其次讨论了应用于两种类型数值求积的双指数变换公式,即：端点瑕积分和Fourier类型积分。     

基于神经网络的二次规划问题的指数稳定性

针对带有边界约束的凸二次规划问题,利用离散神经网络模型的建模原理,构造了一个神经网络模型.利用矩阵与对称矩阵的关系和正定矩阵特征值的性质,通过引入一个适当的因子,得到了该离散型神经网络模型是全局指数稳定性和指数收敛率的结果.同时分析了该结果的优越性和存在的不足,提出了解决的3种方法,最后给出了实例说明本方法取得结果的实用性.     

带重入约束的双集束型晶圆制造设备调度算法

为了有效解决集束型晶圆制造设备群加工过程中存在的重入调度问题,构建了带重入约束的双集束型晶圆制造设备调度算法.首先分析了双集束型晶圆制造设备中重入约束特征.在此基础上,建立调度问题域,并以系统加工周期最小为目标,建立调度模型.采用分解策略,将双集束型晶圆制造设备调度问题分解成单个设备调度问题,并提出了一种全新的机械手调度顺序搜索的启发式算法.最后对调度算法进行仿真实验分析,结果表明该算法是有效的.     

多副间隙推杆从动件盘型凸轮机构动态分析

采用连续接触模型．利用达朗伯原理建立动力学方程．并通过适当的动力约束方程及差分迭代方程．对含多个运动副间隙的推杆从动件盘形凸轮机构进行了动态分析．以双直边盘形凸轮机构为例．对其进行了较为详尽的公式推导．并以此为据、对凸轮机构进行了动态计算．计算结果表明。本方法的分析与计算简单．结果与实际相符．     

An open environment for cooperative equational solving

We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defining one’s own abstractions over a constraint domain in an easy and comfortable way, whereas CCS is employed to solve systems of mixed constraints by iterating specialized constraint solving methods in accordance with a well defined strategy. The system is a distributed implementation of a cooperative constraint functional logic programming scheme that combines higher-order lazy narrowing with cooperative constraint solving. The model takes advantage of the existence of several constraint solving resources located in a distributed environment (e. g., a network of computers), which communicate asynchronously via message passing. To increase the openness of the system, we are redesigning CFLP based on CORBA. We discuss some design and implementation issues of the system.     

基于跑滑系统约束的航空器滑行跟踪算法

为解决大型机场场面易冲突的问题,研究了将基于跑滑系统和管制约束的变结构多模型算法应用于机场场面目标的跟踪.本文首先建立了复杂跑滑结构下的数学建模方法、跑滑结构约束下跟踪状态修正方法和基于管制指令约束的航空器与跑滑系统的自适应匹配方法.与传统场面目标跟踪不同,本文利用跑滑系统和管制指令约束的最大后验概率估计来激活和终止模型集,进而解决机场场面航空器跟踪过程中模型集切换和路段匹配问题.基于上述方法,本文通过结合最大后验概率估计提出了一种新的交互式多模型算法,改善了场面目标的跟踪性能.仿真结果表明:与交互式多模型算法和变结构交互式多模型算法相比,本文所提出的方法能有效地跟踪机场场面目标,显著提高了跟踪精度.     

离心泵叶轮轴面流道约束建模及其初值计算

提出了描述离心泵叶轮轴面流道的通用约束模型，给出了获得满意初始模型的数值解法，因此避免了“内切圆校正法”中型线调整和面积计算等方面的不足，为离心泵叶轮CAD提供了一种有效的轴面流道建模方法。     

支持可变上下文参数的多维RBAC模型

在研究GTRBAC和CT-RBAC模型的基础上,提出了一种支持可变上下文参数的多维RBAC(MD-RBAC)模型.该模型通过将反映不同安全因子的约束组织为不同维的约束空间,为不同上下文参数的约束控制提供可靠的基础框架,使得RBAC模型能更好地适用于不同安全需求环境,提高了约束控制的灵活性和多样性.同时,MD-RBAC进一步完善了RBAC模型的状态断言语义,并分析了多维约束语义下的冲突事件和冲突约束.     

保证轻轨司机双休日的"双齿轮"轮班模型及其均衡算法研究

分析了轻轨司乘人员的工作特点,日工作时间在6～10 h不等,早班从5时左右开始,晚班到夜里23时左右结束.根据轮班的目标函数和约束函数,作者提出了基于"双齿轮"的均衡轮班模型,推导出了均衡轮班的数学公式,在每人有n天休息、m天需要工作的循环轮班条件下,满足了n m个司乘人员在n m天内各自轮完n m个不同任务的要求,同时保证享有的n/2个双休日均匀地分布在各自的m个工作任务之间,通过系统仿真验证了轮班模型及其算法的正确性.     

基于多尺度模板匹配和部件模型的车牌字符分割方法

为提高车牌字符分割的准确率,提出了一种基于多尺度模板匹配和部件模型的车牌字符分割方法. 对单层车牌,根据车牌结构特征建立多尺度模板作用于车牌候选区域,通过投影得分估计出最佳模板对应的尺度和位置信息;对双层车牌,使用部件模型对双层车牌进行建模,双层车牌的上层字符区域和下层字符区域分别对应部件模型的一个部件,通过多尺度的模板匹配得到上下层部件的候选集合,利用部件模型中部件之间的几何约束得到最终的车牌字符分割结果. 实验结果表明,所提出的方法可以有效进行单/双层车牌的字符分割.      

不同约束条件下的变速器箱体振动模态试验分析

试验因素对于振动模态试验有着很大的影响,文章以汽车变速器箱体为试验载体,在不同的约束条件下做振动模态试验,得到不同约束条件下的模态参数,深入分析了不同约束条件对于试验结果的影响;通过对比,分析了约束条件对于试验结果影响的原因,并对有效减少由于不用的约束条件引起的误差提出了不同的解决方法,为其他振动模态试验起到借鉴作用.     

基于主题情感混合模型的无监督文本情感分析

针对有监督、半监督的文本情感分析存在标注样本不容易获取的问题, 通过在LDA模型中融入情感模型, 提出一种无监督的主题情感混合模型(UTSU模型)。UTSU模型对每个句子采样情感标签, 对每个词采样主题标签, 无须对样本进行标注, 就可以得到各个主题的主题情感词, 从而对文档集进行情感分类。情感分类实验对比表明, UTSU模型的分类性能比有监督情感分类方法稍差, 但在无监督的情感分类方法中效果最好, 情感分类综合指标比ASUM模型提高了约2%, 比JST模型提高了约16%。