软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

清理“三角债”的方法探讨

运用图论的理论和方法对“三角债”的表示方法进行了探讨,对“三角债”中的重复计算问题进行了讨论,建立起了在资金约束下的清理“三角债”的数学规划模型,并给出了模型的一种解法。     

Spaceflight results in increase of thick filament but not thin filament proteins in the paramyosin mutant of Caenorhabditis elegans

We have investigated the effect of microgravity during spaceflight on body-wall muscle fiber size and muscle proteins in the paramyosin mutant of Caenorhabditis elegans. Both mutant and wild-type strains were subjected to 10 days of microgravity during spaceflight and compared to ground control groups. No significant change in muscle fiber size or quantity of the protein was observed in wild-type worms; where as atrophy of body-wall muscle and an increase in thick filament proteins were observed in the paramyosin mutant unc-15(e73) animals after spaceflight. We conclude that the mutant with abnormal muscle responded to microgravity by increasing the total amount of muscle protein in order to compensate for the loss of muscle function.     

武汉服装业的竞争优势培育——基于价值链重构的研究

如何完善武汉服装产业链，优化整合服装品牌是振兴武汉服装产业的当务之急。培育武汉服装产业竞争力，需要利用综合配套改革试点区政策所创造的良好外部环境，以并购重组为抓手，制定系统化方案综合推进。打造专业化大型服装集团，促成产业链上、下游的有机衔接，培育扶持服装龙头企业，积极推动“五个中心”工程的实施是培育武汉服装产业竞争优势的关键所在。     

多个分销商相互竞争下的供应链突变管理

针对由一个供应商和多个分销商组成的供应链系统，考虑了市场需求发生突变，即投资敏感系数和市场需求的投资成本的弹性同时发生突变的情况下的应急管理决策。给出了相应的应急管理问题的可行解空间，并就每一种可能的突变定性分析了决策管理最优解的性质。结果证明了在一定条件下．原生产计划存在着鲁棒性。针对不同突变情形，研究了在供应商作为Stackelberg领导身份情况下的协调策略（补贴率契约）机制问题。同时诠释了在协调策略下，当系统中竞争的分销商增加时，供应商提供的补贴率也会随之增加的现象。     

一种自组织时分多址甚高频数据链中的暴露终端问题的解决方案

阐述了S-TDMA系统中暴露终端问题的形成,给出了解决这一问题的一种方案。并提出一种新的自组织时分多址数据链网络性能分析方法--概率周期分析法。通过引出系统状态熵概念,将时隙状态的停留时间和状态转移概率同时引入分析模型中,给出了一种以时隙的处于成功传送状态的状态真值占系统状态熵之比作为评价信道吞吐量的新方法。仿真结果表明,采用了这一方案后系统性能将大大改善。     

面向产品生命周期的质量数据模型

在对产品生命周期和产品进化链质量保证过程分析的基础上,提出了一种面向产品生命周期和产品进化链的多层次质量数据模型.该模型以融合产品结构模型和产品进化模型的广义物料清单作为单一数据辐射源,通过产品进化模型完整表达产品的改进过程,实现了产品进化生命周期内的质量数据的集成.在产品生命周期内将广义物料清单的多视图按产品生命周期质量管理过程实例化,并以此作为质量数据载体.围绕质量数据载体阶段性的质量管理过程组织产品实现过程中质量业务活动,以质量业务活动为基础,完成具体的质量数据对象的操作与关联,通过"载体—过程—活动—业务对象—物理数据"的关联实现了产品生命周期质量数据的集成.      

供应链中的不确定性信息失真及其弱化策略

为提高供应链的稳定性,基于信息论、系统理论以及控制工程理论研究了供应链中的不确定性信息失真问题.首先,给出信息失真的广泛定义并从信息传递和处理的角度分析供应链中存在的不确定性信息失真问题;其次,对一个简单的二级供应链订货子系统建模,研究2种情况——无信息共享的供应链和共享最终顾客需求信息的供应链的系统传递函数和频率响应特性,并分析不同程度的信息失真情况在供应链绩效方面产生的影响;最后,采用信息论和控制工程理论的方法,有效度量了信息共享机制为供应链成员带来的收益.      

基于启发式模拟退火的多边形近似算法

将曲线多边形近似问题转换为最小化代价函数的问题,利用模拟退火算法对其求解最优解,并采用启发式方法将曲线的局部特征作为先验知识引入退火过程加速其收敛。通过实验比较表明,该方法在数据压缩率和近似误差等方面具有更好的性能,且压缩了运行时间。     

军贸产品质量管理的思考

通过对军贸产品质量工作的分析,阐述了军贸产品质量管控的现状、存在的问题,提出了推进产品型谱和成熟度管理、加强计量保证工作、做实产品实现策划、强化产品供应链管理、开展综合保障工程等方面的工作建议,供参考。