一种支持分布交互式仿真的静态调度策略

针对如何在网格环境中合理调度系统资源这一目标,分析了仿真任务与网格资源的映射问题,通过综合考虑联邦成员交互量、任务的负载和解算时间等不同因素,利用优化技术提出了一种支持分布交互式的启发式静态调度算法,并以空地作战对抗仿真系统为例,证明了该方案的可行性,为提高分布交互式仿真系统的资源利用效率和扩大仿真规模提供了一种可行的途径。     

虚拟现实技术在企业自动化流程界面中的初步研究

初步研究了一种基于虚拟现实技术的新型企业自动化流程界面,并运用几何式虚拟环境构建法建立可交互的三维企业流程图模型－Virtual Workshop。配合漫游、按键、抓握三种手势,用户能在八个方向上自由地进行虚拟漫步。特别是采用虚拟仪表对数据进行定时采集和实时显示,并结合碰撞检测技术实现了对虚拟仪表的数据设定,以及抓握、移动、释放虚拟设备的三维交互功能。     

面向变化管理的流程建模技术

企业变化管理的对象是流程变革,企业流程建模是流程分析和优化的基础.首先对目前流程建模的方法进行了评述.在此基础上,分析了企业变化管理对流程建模的要求.     

公共场所疏散引导人静态布局优化算法及其应用

采用最大覆盖选址问题的求解思路,提出了公共场所疏散引导人静态布局优化的拉格朗日松弛算法.结合引导人静态布局的特点,重点探讨了考虑和不考虑公共场所中被疏散人员分布状况的两种情况下的优化布局,并在MA-ESM模型的支持下,通过与人为布设引导人方式的模拟结果进行对比,评价了这两种优化布局的模拟效果。结果表明:引导人静态布局的优化不仅有利于充分发挥每个引导人的作用,提高疏散效率,而且可以确定布设引导人的最佳位置和特定公共场所中所需引导人的最大数量;同时考虑公共场所内被疏散人员分布状况下的优化布局能够有的放矢地调度引导人,提高引导效率。     

基于Agent的协同虚拟试验流程管理技术研究

针对分布式虚拟试验流程管理的应用背景,分析了虚拟试验流程的层次划分,结合相关的工作流规范和Agent规范提出了基于Agent的协同流程管理系统框架,包括流程系统与Agent系统之间的映射关系以及多Agent的功能定义等内容;进一步的,阐述了实现框架所涉及的若干关键技术,重点包括基于本体的流程ACL、基于＂块结构＂的流程定义和基于功能Agent的流程引擎等;最后给出了原型系统实例和下一步工作。     

基于加权高阶累积量切片的非线性调频信号增强算法

为了综合考虑高阶累积量各种切片抑制高斯噪声的性能,定义了加权高阶累积量切片,并给出了加权高阶累积量切片符号联合迭代公式,得到了基于加权高阶累积量切片的自适应谱线增强新算法。对该算法增强水下目标辐射的非线性调频信号的效果进行了仿真研究。仿真结果表明:该算法能抑制大约18dB～28dB的高斯色噪声;调整高阶累积量切片的加权系数,可获得抑制高斯色噪声的最佳效果。在工程实践中,具有重要的指导意义和实用价值。     

引战配合计算机仿真的静态一致性研究

给出了引战配合计算机仿真结果与真实试验结果进行静态一致性检验的方法，讨论了检验过程中的关键技术，即检验决策，验前概率，采伪概率的确定以及随机样本与再生子样的产生方法，对产开发的引战配合计算机仿真系统进行了检验并对检验结果进行分析，检验结果结果表明该系统具有良好的置信度。     

任意正多边形静态电场的数值算法研究与仿真

讨论了任意正多边形静态电场的边界条件处理方法,用三角形网格将任意正多边形内连续分布的场离散化,提出并推导了其二维拉普拉斯方程的有限差分模型算法;将超松弛法引入有限差分程序,加快了收敛速度;分别利用自编的有限差分MATLAB程序以及ANSYS的GUI方式,研究了边界形状较为复杂的正五边形二维场域内电位分布;分析了仿真过程中存在的问题并且提出了互补解决方法.     

APDL实现空气弹簧静态试验仿真

介绍了空气弹簧的试验方法和试验装置,采用ANSYS对空气弹簧的静态试验进行模拟分析。模拟过程利用APDL中的*DO-LOOP循环和数组参数法对空气弹簧进行多载荷步求解,设定标量参数PRESSURE作为内压跟踪变量以更新胶囊内壁的气压载荷,设定表格参数PRESSURES作为内压输出变量以输出每一个载荷步的胶囊内压。将模拟结果与试验结果进行了比较,证明了模拟的可行性。最后考虑并研究了帘线角、初始内压和附加容积等主要参数对空气弹簧静态力学性能的影响。     

企业销售流程再造及应用

在对经营环境变化进行分析的基础上 ,结合企业流程再造理论 ,提出对销售流程进行再造的观点 ,并结合泰伟食品有限公司销售流程再造的案例 ,详细地讨论了销售流程再造的方法和步骤 ,同时对再造后的效果进行了分析和评价.     

基于Petri网的企业过程模型的BPEL实现

为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

逆向工程中动静态结合分析面向对象系统研究

针对静态程序分析得到的信息冗余且无法反映面向对象目标系统多态和动态绑定的本质特征,而动态分析则与动态程序执行有关的,无法得到完整的依赖关系,提出反射植入动态分析和开放编译静态分析相结合的方式,并将得到的静态和动态信息有机结合起来产生动静态结合程序依赖图。最后通过试验研究表明动静态结合程序依赖图既能反映动态运行轨迹,又能全面反映系统整体依赖信息,可以更有效地辅助程序理解。     

基于BPEL4WS和Petri网的服务建模与分析

描述了SOA中基于BPEL4WS (Business Process Execution Language for Web Services)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求.     

基于蒙特·卡罗方法的可靠性仿真过程模型研究

针对传统可靠性仿真过程缺乏准确度以及仿真结果缺乏可信度等问题,通过嵌入验证模块和反馈模块,给出了改进的可靠性仿真过程模型。深入分析了改进后的仿真过程模型的具体步骤,随后基于蒙特.卡罗方法设计并实现了相应的可靠性仿真算法。最后,应用Matlab软件进行了仿真实验分析。实验结果表明,改进后的过程模型能够显著提高可靠性仿真的效率和精度,对于系统可靠性分析具有良好的指导意义和实用价值。     

基于提升静态小波变换的自适应消噪方法

基于离散小波变换的自适应消噪方法为雷达信号的滤波提供了一种可行的方法.但DWT不具有平移不变性,若不用相同的小波对滤波后的信号进行重构,则会带来较大的重构误差.针对这一现象,提出了基于提升静态小波变换的自适应消噪方法,它首先根据DWT的提升方法,得到SWT的提升和对偶提升实现方法,然后通过SWT的提升方法将信号分解为多个子带,利用引入更多动量因子的权系数的迭代公式进行自适应匹配.并对匹配结果二次自适应,得到拟合的原信号.仿真结果表明,该方法可在计算量增加不大的前提下,进一步改善系统的滤波性能.     

我国不同行业企业债信用价差的动态过程研究

选取上海证券交易所2007年6月至2012年6月的企业债和国债月度交易数据,利用遗传算法对利率期限结构SV参数模型求解,拟合出较为精确的企业债和国债的即期利率曲线,并据此计算出企业债的信用价差. 将上海证券交易所的AAA级企业债按行业分为工业、公用事业和金融业,分别对每个行业的信用价差按不同期限进行时间序列分析,发现各期限的时间序列呈现自回归和移动平均的特征. 脉冲响应分析表明,虽然金融业波动幅度最大,工业次之,公用事业最小,但同行业各期限信用价差序列在前10期内均会对其它期限信用价差序列的冲击产生较为剧烈的反应,且冲击不具有较长的持续效果. 实证结果在一定程度上为投资者和监管者提供了决策依据.     

关于Saaty对模糊逻辑不适用于AHP观点的评述

目前模糊AHP方法在国内外应用很广泛,但是AHP理论创始人Thomas L. Saaty近几年连出3篇论文质疑模糊AHP方法的科学性. 在介绍模糊AHP方法的基础上,从模糊AHP缺乏数理逻辑性、AHP判断本身就来自模糊语义再次模糊意义不大和模糊AHP对不一致性的改进不一 定能确保改进结果的有效性等角度对Saaty教授批判模糊AHP方法的观点进行系统阐述,并就经典AHP和模糊AHP两方观点进行了深入的分析,希望对国内决策科学领域的研究学者有一定的启发帮助.     

基于扩散过程的导弹战备完好率评估模型研究

结合当前部队关心的导弹装备战备完好性问题,对影响导弹战备完好性的重要参数战备完好率参数进行了研究.给出了基于扩散过程的导弹装备战备完好率评估方法和模型,根据部队导弹装备服役的相关信息,对该模型进行了评估验证.经验证,该方法对于分析导弹战备完好率的准确度高,且对于后续提升改进导弹战备完好率具有参考价值.     

Cluster segmentation algorithm based on the Vicsek with static summoning points

Because of the low convergence efficiency of the ty-pical Vicsek model,a Vicsek with static summoning points(VSSP)algorithm based on the Vicsek model considerin...