排水管网的联合方式及趟数的合理选择

本文较系统地介绍了煤矿排水管网优化后的联合方式及其特点;论述了能耗与排水管网联合方式的内在联系;运用图解计算法求最佳排水管径的方法;利用理论上的等流量原理和装置效率高的原则确定及分析了排水管网趟数合理选择的步骤和方法,并列举了工作泵和工作管路趟数之间的数量关系,供工程中选用参考.     

引入Petri网概念的可视编程系统的设计

引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.     

试论空三加密在地形图绘制中的应用

笔者就章丘市1：2000地形图绘制项目,按区域网法影响空三加密精度的因素主要为：影像质量、像控点选取及精度、加密点的选取及加密解算方法、加密人员的经验等,找出了影响空三加密精度的主要因素及解决办法．结合生产实践解决了1：2000地形图绘制空三加密精度问题,很好的完成地形图绘制工作,希望借此可以找到此类问题的解决办法．     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

基于生成对抗网络的高端装备研制数据脱敏方法

针对高端装备研制数据的保密性和重要性,提出一种基于生成对抗网络(generative adversarial networks, GAN)的高端装备研制数据脱敏方法。面对高端装备研制数据在数据挖掘和数据共享时可能面临泄露的风险,利用GAN进行数据脱敏。在随机生成的高斯数据集上进行实验,通过比较源数据和脱敏数据的统计特征,证明GAN的数据脱敏方法能够有效实现数据脱敏过程中所要求的数据安全性、数据有效性和成本可控性。最后,在Yeast数据集上进行验证, GAN输出的脱敏数据同样在现实世界数据集上表现出色,能够准确地预测Yeast的分类,为高端装备研制数据的管理和分析提供了一种新的思路。     

一种基于工作流网的游戏作弊检测系统

游戏作弊对网络游戏危害很大,目前反作弊技术的瓶颈是效率低并且过多依赖于签名匹配。提出一种高效且不依赖于签名匹配的游戏作弊检测系统,用工作流网对作弊行为建模,通过流程树对作弊行为模型进行融合,在不影响检测结果的前提下节省存储空间。用热门网游的作弊软件对系统进行实验,存储空间降低率达到约60%,证明了该系统框架是可行、有效的。     

混合控制系统的广义Pet ri 网建模与设计

提出一类混合系统的Ｐｅｔｒｉ网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Ｐｅｔｒｉ网的混合控制器设计方法。     

JACCAPP系统中创成式工艺设计研究

为了缩短产品的生产周期,提高市场占有份额,越来越多的企业使用计算机来辅助工艺设计。该文在实用性和智能性原则指导下,具体分析了中板冲压零件的工艺设计特点和创成式设计所需的特征信息,提出了综合决策表和知识库建立创成式工艺设计系统的方法。系统已建立完成并应用于实际,但与国外同类技术相比,其智能性需进一步提高