具有Erlang分布供应提前期的服务-库存系统最优控制策略

研究一个具有(r,Q)补货策略的服务-库存系统。考虑将具有Erlang分布的供应提前期的服务-库存系统建模为M/M/1排队系统。根据M/M/1队列的平稳分布,推导出作为系统利润控制的稳态性能指标,并构建系统平均利润函数。以最大化系统利润为目标,构建系统可满足率和服务可靠性水平约束的优化控制模型,导出服务-库存系统最优控制策略。通过证明利润函数的凸性,用遗传算法求解了该约束优化模型,获得了利润函数的唯一最大值以及决策变量r和Q的最优值。数值实验分析了系统性能的灵敏度,表明了具有Erlang分布的供应提前期的最优控制策略能提高系统的利润。     

面向对象的软件测试技术探讨

面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战．通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类族级和系统级的测试方法．     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。     

分布式实时多媒体数据库的研究与应用

讨论了多媒体数据库的结构，对多媒体数据库的实时传输与分布式特性问题分别进行了研究，并具体给出了1个实际的应用实例。     

C＋＋函数模板的模板参数类型转换技术

模板是C＋＋为用户提供的一种功能非常强大的、能方便的实现类属编程的工具。该文讨论了利用重载函数模板的方法实现模板参数类型的显式转换机制,并阐明了在实际应用中必须注意的问题。     

基于数学模型的Visual Foxpro应用软件安全性的实践研究

建立数学模型设置用户口令保护密钥具有极强的隐蔽和安全性。采用数学模型法建立一个结构比较复杂且计算结果唯一的随机函数，设计表单循环调用该随机函数，产生一系列随机变数，存入口令自由表中，用以控制输入和验算用户信息。     

一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

基于类间依赖集约简的类簇测试用例生成算法

针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。     

IVv4的ARP与IPv6的邻居发现协议之比较

从IPv4转向IPv6的原因众所周知，在基于TCP／IP的网络中，地址解析（以及逆向地址解析）是一个十分重要的问题，IPv 4中使用了ARP和RARP两个协议，即邻居的发现协议，即邻居发现协议，这些功能包括在ICMPv6中，其中邻居宣告和邻居请求合在一起代夫了IPv４中的ＡＲＰ协议，对于ＡＲＰ和ＲＡＲＰ已有了成熟的技术，而ＩＰv６的邻居发现协议的开发与实现正在实验阶段，本文的目的是对ＩＰv６的有关地坦解析问题作一个探讨，并对它与ＩＰv４的ＡＲＰ和ＲＡＲＰ在功能上技术上进行比较，以此可以通过ＡＲＰ／ＲＡＲＰ的技术特点，来指导将来从ＩＰv转向ＩＰv６的有关技术问题。     

一种道路改造项目中的非线性优化模型

通过对道路改造项目中碎石运输的设计分析,以项目改造碎石运输费用最小为目标函数,建立非线性优化数学模型,并为该模型设计求解方案;运用MATLAB软件编程求解,计算出碎石运输的最小费用.