基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用赵明旺（武汉钢铁学院）ＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＳＹＳＴＥＭＳＶＩＡＢＬＯＣＫＰＵＬＳＥＦＵＮＣＴＩＯＮＳＡＮＤＩＴＳＡＰＰ...     

A CONFIGURATION SYSTEM FOR FASTENER DESIGN（AN APPROACH TOWARDS COMPUTER AIDED CONCEPTUAL DESIGN）

ＡＣＯＮＦＩＧＵＲＡＴＩＯＮＳＹＳＴＥＭＦＯＲＦＡＳＴＥＮＥＲＤＥＳＩＧＮ（ＡＮＡＰＰＲＯＡＣＨＴＯＷＡＲＤＳＣＯＭＰＵＴＥＲＡＩＤＥＤＣＯＮＣＥＰＴＵＡＬＤＥＳＩＧＮ）ＧｕａｎｇＺｈｏｎｇ；ＭｉｋｅＤｏｏｎｅｒＡＣＯＮＦＩＧＵＲＡＴＩＯＮＳＹＳＴＥ...     

求解多重子结构的递归算法及其软件实现

求解多重子结构的递归算法及其软件实现崔俊芝，梁俊（中国科学院计算中心）ＡＲＥＣＵＲＳＩＶＥＡＬＧＯＲＩＴＨＭＦＯＲＭＵＬＴＩ－ＬＥＶＥＬＳＵＢＳＴＲＵＣＴＵＲＥＡＮＤＩＴＳＳＯＦＴＷＡＲＥ￥ＣｕｉＪｕｎ－ｚｈｉ；ＬｉａｎｇＪｕｎ（ＣｏｍｐｕｔｉｎｇＣ...     

不连续生产系统的最大加工能力与最优生产安排的强多项式算法

不连续生产系统的最大加工能力与最优生产安排的强多项式算法杨承恩，梁枢里（长沙铁道学院）ＴＨＥＭＡＸＩＭＵＭＰＲＯＣＥＳＳＩＮＧＣＡＰＡＣＩＴＹＡＮＤＯＰＴＩＭＡＬＳＣＨＥＤＵＬＥＯＦＡＤＩＳＣＯＮＴＩＮＵＯＵＳＰＲＯＤＵＣＴＩＯＮＳＹＳＴＥＭ￥Ｙａｎ...     

多重网格区域分裂分布式计算

多重网格区域分裂分布式计算徐正权（华中理工大学）ＤＩＳＴＲＩＢＵＴＩＮＧＭＵＬＴＩＧＲＩＤＣＯＭＰＵＴＡＴＩＯＮＢＹＤＯＭＡＩＮＤＥＣＯＭＰＯＳＩＴＩＯＮ￥ＸｕＺｈｅｎｇｑｕａｎ（ＨｕａｚｈｏｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎ...     

线性连续回归模型基于Laguerre多项式逼近的Markov参数估计

线性连续回归模型基于Ｌａｇｕｅｒｒｅ多项式逼近的Ｍａｒｋｏｖ参数估计赵明旺（武汉钢铁学院自动化系）ＭＡＲＫＯＶＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＭＯＤＥＬＳＶＩＡＬＡＧＵＥＲＲＥ－ＰＯＬＹ...     

为您连接PC与工作站──SunPCi~(TM)

ＳｕｎＰＣｉＴＭ协处理器是ＳＵＮ公司最新推出的一种协处理器产品。该产品可配备在Ｓｕｎ公司基于ＰＣＩ总线的Ｕｌｔｒａ系列工作站产品之上,通过配备该产品可实现工作站与ＰＣ之间的互操作,在Ｕｌｔｒａ工作站上以原有的速度运行ＤＯＳ和Ｗｉｎｄｏｗｓ应用软件,将人们熟悉的ＰＣ软件与可靠性更强的ＳｏｌａS ｎｓ网络计算环境结合起来,实现ＰＣ与Ｓｏｌａｎｓ操作环境软件的真正集成。可支持的硬件平台所有基于ＰＣＩ总线的ＳｕｎＵｌｔｒａｌ作站产品,其中包括：Ｕｌｔｒａｓ、Ｕｌｔｒａｌｏ、Ｕｌｔｒａ３０、Ｕｌｔｒａ…     

ADAPTIVE STRATEGIES FORNC MACHINING COMPOUND FREE-FORM SURFACES

ＡＤＡＰＴＩＶＥＳＴＲＡＴＥＧＩＥＳＦＯＲＮＣＭＡＣＨＩＮＩＮＧＣＯＭＰＯＵＮＤＦＲＥＥ－ＦＯＲＭＳＵＲＦＡＣＥＳＧａｏＳａｎｄｅ；ＺｈｏｕＹｕｎｆｅｉ；ＺｈａｎｇＸｉｎｆａｎｇ；ＺｈｏｕＪｉＡＤＡＰＴＩＶＥＳＴＲＡＴＥＧＩＥＳＦＯＲＮＣＭＡＣＨＩＮ...     

A FEATURE－BASED PRODUCT MODELLING SYSTEM ON PC （CASE STUDY OF PARTS DESIGN FOR PRESS MACHINE）

ＡＦＥＡＴＵＲＥ－ＢＡＳＥＤＰＲＯＤＵＣＴＭＯＤＥＬＬＩＮＧＳＹＳＴＥＭＯＮＰＣ（ＣＡＳＥＳＴＵＤＹＯＦＰＡＲＴＳＤＥＳＩＧＮＦＯＲＰＲＥＳＳＭＡＣＨＩＮＥ）ＹｏｎａｓＨａｇｏｓ；ＴｏｎｇＢｉｎｇｓｈｕＡｂｓｔｒａｃｔ：Ｔｈｉｓａｒｔｉｃｌｅｒｅｐｏ...     

解二维扩散方程的分步分组显式格式

解二维扩散方程的分步分组显式格式陆金甫，曾光（清华大学应用数学系）ＦＲＡＣＴＩＯＮＡＬＳＴＥＰＳＧＲＯＵＰＥＸＰＬＩＣＩＴＭＥＴＨＯＤＳＦＯＲ２ＤＤＩＦＦＵＳＩＯＮＥＱＵＡＴＩＯＮＳ￥ＬｕＪｉｎ－ｆｕ；ＺｅｎｇＧｕａｎｇ（ＴｓｉｎｇｈｕａＵｎｉｖｅｒ...     

X86平台上高效高安全性的设备虚拟化模型

针对现有设备虚拟化模型存在性能和安全性等方面的不足,提出了一种基于硬件IOMMU的高效且安全的设备直接分配模型,并在Xen中以显示设备为例实现了该方案。该模型安全性优于基于IOVM架构的泛虚拟化设备模型。基准测试工具Viewperf测试结果表明,该方案在性能上接近于非虚拟化平台,明显优于通常的设备模拟模型。     

DBox:宏内核下各种设备驱动程序的高性能安全盒

越来越多和宏内核操作系统中使用的设备驱动程序相关的漏洞被发现,这些漏洞严重危害操作系统的安全性和可靠性.现有的解决方案无法既能为操作系统内核提供强有力的保护又能达到与原生系统相近的性能.在本文中,我们提出了一个称为DBox的驱动程序隔离框架解决方案同时考虑系统的安全性和性能.DBox为设备驱动程序提供了一个基于虚拟化的安全容器,使得驱动程序和主机系统有效隔离,并通过通用I/O交互接口实现对多种设备驱动的支持.我们通过对EPT页表和IOMMU地址翻译表的修改,创建了一块基于连续物理内存的共享内存,实现了硬件设备、驱动程序和主机系统内核之间的高性能通信基础.我们通过多核并行化、高效消息传递、零拷贝和批量数据传输等机制深度优化了I/O性能,在大多数情况下DBox中的驱动程序都可以达到与原始内核相同的性能.在DBox中添加新驱动程序支持无需修改驱动程序代码,使得DBox方案在现实环境中易于采用.我们在DBox中实现了四个常见驱动程序类别(NIC,块设备,UART和输入设备),经过实验表明,TCP/UDP吞吐量、往返时延、块设备吞吐量、串口吞吐量、串口往返时延及键盘响应时间的性能下降均在5%以下.     

ASRSP——一种新的并发程序测试准则

可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题.但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成.因此,目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法.本文提出了一种实用性较高的并发程序测试准则:全发送接收语句对(ASRSP),并针对该准则提出了一种新的并发程序测试方法:全发送接收语句对可达性测试(ASR-SP-RT).该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对,并在每次生成新序列 之后及时去掉对覆盖剩下发送接收语句对无作用的序列,从而达到约简测试序列集的目的.     

A review of multiobjective test problems and a scalable test problem toolkit

When attempting to better understand the strengths and weaknesses of an algorithm, it is important to have a strong understanding of the problem at hand. This is true for the field of multiobjective evolutionary algorithms (EAs) as it is for any other field. Many of the multiobjective test problems employed in the EA literature have not been rigorously analyzed, which makes it difficult to draw accurate conclusions about the strengths and weaknesses of the algorithms tested on them. In this paper, we systematically review and analyze many problems from the EA literature, each belonging to the important class of real-valued, unconstrained, multiobjective test problems. To support this, we first introduce a set of test problem criteria, which are in turn supported by a set of definitions. Our analysis of test problems highlights a number of areas requiring attention. Not only are many test problems poorly constructed but also the important class of nonseparable problems, particularly nonseparable multimodal problems, is poorly represented. Motivated by these findings, we present a flexible toolkit for constructing well-designed test problems. We also present empirical results demonstrating how the toolkit can be used to test an optimizer in ways that existing test suites do not.     

小子样条件下火箭弹射击密集度可靠性研究

针对当前武器系统试验分析评估存在难以进行大量试验,经典统计方法难以满足需求的状况,提出在小子样条件下对某型火箭弹射击密集度可靠性进行评估。根据地面模拟环境试验和飞行试验信息,利用二项分布确定火箭弹射击密集度可靠性的分布,使用计算机进行数值处理。在不降低试验要求的情况下,与经典方法相比,小子样理论大幅度地减少了飞行试验用弹量。     

浅谈流量计的选型及其应用

介绍了几种在工业生产中常用的流量计的原理、特点和应用，说明了实际应用中如何选择流量计。     

基于状态机代码合成技术的状态测试数据生成

目前，基于状态机的测试多集中在测试序列的生成方法学上，然而状态机的特点决定了测试序列对测试数据具有相当的依赖性，即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为，将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据，为解决状态机测试数据的生成提供了一种可行的方法。     

测试性试验中定数截尾试验方案与序贯试验方案的对比

针对目前测试性试验中的定数截尾试验方案和序贯截尾试验方案,在其各自工程应用的基础上,对比分析两种方案的优缺点,从理论分析、样本量确定、样本的抽样分配、测试性指标的评估和适用性5个方面进行论述,阐述各自的特点和适用范围.研究成果为测试性试验方案的制定提供理论基础,是对现有测试性试验方案制定理论方法的补充和完善,对测试性验证试验的工程开展具有很强的指导意义.     

装备试验鉴定数字化转型需求分析

随着武器装备试验鉴定在武器装备研制过程中作用地位越来越重要,必将会在理念、方法与组织等方面呈现出新的特点,做好新时期武器装备试验鉴定工作研究空前紧迫。通过对试验鉴定、数字化、数字化转型等内涵的研究,进一步加深了对装备试验鉴定数字化转型的理解。从装备试验鉴定呈现的实战化、一体化、多样化、周期化的四个特点角度出发,分析了实现数字化试验鉴定所存在的提高实战化水平需求、一体化试验鉴定需求、多样化试验任务需求、试验场试验需求等四种需求,并总结形成数字化试验能力、数字装备鉴定定型能力、试验鉴定数字化管理能力和构建数字试验场能力四种核心能力目标,为试验鉴定数字化转型的方向提供了理论参考。     

基于过程的软件测试管理系统的研究与应用

该文针对软件测试现状,借鉴了前置测试思想,提出了基于过程的软件测试管理系统的工作模型(P-TMS),并基于该工作模型,对软件测试管理系统进行了详细的设计,同时对系统设计与实现中采用的关键技术也简单加以介绍。应用该工作模型实现的测试管理系统不但可以尽早发现缺陷,而且能够节省时间,缩短整个项目的开发周期。