同时具有学习效应和恶化效应的机器可用限制性排序问题

针对单机和两台机器的平行机排序问题,建立了工件同时具有学习效应和恶化效应,机器有可用性限制的排序模型.考虑了目标函数为极小化总完工时间的单机、两台机器的同型机问题和两台机器的同类机问题.对于机器在任意时间进行维修的一般情况给出了动态规划算法,通过数值例子说明了算法的有效性,对机器在使用前进行维修的特殊情况给出了多项式算法.     

吉林省农业保险发展的制约因素分析

吉林省农业保险发展的制约因素主要包括农民风险防范意识淡薄,对农业保险认识不足;保费承担能力弱,理赔难;财政支持不到位,缺乏巨额风险理赔分担机制以及缺乏有效的法律制度等。因此,应从完善相关法律法规、加大政府财政支持力度、构建农业巨灾风险转移分担机制以及加强农业保险服务网络建设等方面推进吉林省农业保险事业的发展。     

变质量非完整系统的非Noether守恒量

利用时间不变的无限小变化下的Lie对称性,研究变质量非完整力学系统的一类新的守恒量．给出系统的运动微分方程．研究时间不变的无限小变化下的Lie对称性确定方程．建立系统的Hojman守恒定理．举例说明结果的应用．     

面向三维参数化特征造型系统的自适应装配技术

为了弥补建立零件之间尺寸的等式关系的关联装配方式的不足,提出了一种符合自顶向下设计原则的自适应装配技术,使零件的尺寸和位置随着零件之间的装配关系自动调整.以拉伸特征为例,在三维特征造型系统的特征编码技术和三维装配约束求解技术的基础上,依据通用装配约束求解模块的要求转换自适应装配中的零部件和装配约束关系,调用通用装配约束求解模块求解,根据求解的结果对参与装配的零部件进行重构和装配,实现了零部件的形状尺寸和位置依据其装配约束关系自动调整.     

配对组合测试用例集生成的一种新策略

基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优.     

一种自动生成软件缺陷输入的方法

利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.     

智能制造环境下的产品模型

描述了在智能制造环境下的产品模型——产品可视知识模型;并在此基础上提出了面向应用的特征概念,从而统一了对特征的理解,用约束的概念实现说明性知识和过程性知识的结合.     

低秩半定最小二乘问题

讨论低秩半定最小二乘问题(lrSDLS)的启发式方法,并利用l0范数的光滑近似函数将(lrSDLS)中的非光滑非凸秩函数进行光滑化处理,并对其线性化,进而转化为光滑凸优化问题,为使用光滑优化方法近似求解(lrSDLS)提供了一个新的途径.     

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

有限套利与企业市场价值

以有限套利理论为基础,在假定市场投资者（套利者）面临信贷约束和利率多样化的前提下,该文从分析投资者有限套利行为的角度研究了企业资本结构与其市场价值的关系,并得到如下结论：当投资者面临信贷配给或较企业更高的借款利率时,企业举债是有利的,即此时的企业市场价值高于不举债时的市场价值;而且,随着企业杠杆度的不断提高,投资者的有限套利行为将使企业的破产风险增大。