使用“通信顺序进程”机制的神经网络仿真

本文引入了“通信顺序进程”的概念，同时介绍了一种实现环境－ＲＩＳＣ结构的Ｔｒａｎｐｕｔｅｒ处理器及Ｏｃｃａｍ并行化编程语言，并阐述了用“通信顺序进程”机制来仿真人工神经网络的方法。     

通信顺序进程的证明规则

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。     

补偿通信顺序进程的扩展及失败发散语义

补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩展cCSP的失败发散语义;并根据该语义,给出新引入组合操作子的重要代数规则,用于语义的理解和佐证。最后,给出一个案例描述用于展示扩展cCSP。     

基于通信顺序进程的Android程序复杂信息流分析方法

Android 隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法。传统信息流分析方法以单一可达性分析为主,难以分析复杂信息流。提出一种基于通信顺序进程的信息流分析方法,建立应用程序行为的形式化模型,从而全面刻画程序信息流行为。基于进程迹等价分析方法能够自动化验证信息流关联、信息流约束等复杂信息流问题,进而判断是否存在敏感信息泄露。实验表明,所提方法能够达到90.99%的准确率。     

顺序进程的并行分解：X等价

本文在CSP模型下研究顺序程序的并行分解问题.引入了相关投影与相关进程集的概念,使用k—分解、k—解释重构了k—等价模型.然后引入了x一分解、x—等价及x—解释的概念,研究了x—等价与k—等价的关系.阐明了x—等价与x—解释在理论及方法上的三方面特色:概念一致性,结构独立性及路径有效性.x—等价能使并行分解的概念嵌入结构程序设计的方法学中,而使其形式表述纳入CSP演释之中.     

多微机仿真系统中的实时通信机制

本文介绍了作者开发的火电机厂仿真系统中实时通讯机制，首先介绍仿真系统的组成，任务划分及网络拓扑结构，然后给出采用共享内存技术实现结点，内进程问通信的程序设计方法及采用客户／服务器模型实现网络通信的程序设计算法。     

神经网络——通信及其保密通信领域的新技术

神经网络是近年来发展迅速的一门新型学科。它具有自适应学习、大规模并行分布处理、联想记忆以及强容错性等功能特点,是90年代最具希望和潜力的智能科学,各发达国家均不惜工本致力于该项研究,使神经网络的应用领域得到了长足发展,其中通信及其保密通信即是神经网络的重要应用领域,并已成为神经网络应用研究中的一个热点。本文在概述神经网络基本概念及其模型基础上,综述了神经网络在通信及其保密通信领域中的应用现状,并展望了神经网络在通信及其保密通信中的应用前景。     

基于SGE的仿真网格通信机制研究

仿真网格是利用网格技术构建的分布式仿真应用平台,仿真网格通信机制是仿真任务能够使用强大而分散仿真共享资源的前提,是构建仿真网格平台的关键。在基于网格引擎（Sun Grid Engine,SGE）框架构建的分布式仿真网格中,根据仿真网格执行分布交互式仿真任务的特点,采用了将网格中的组件与通信层分开的通信方式,使得通信作为一个独立的部分存在。在此基础上提出并实现了仿真网格的双通道通信机制：一个通道负责网格组件之间的通信,通过通信进程（commproc）和消息机制（message）以及通信库（SimG—commlib）实现网格组件之间数据交互;另一个通道负责仿真网格中基于高层体系结构（HLA）的仿真联邦成员之问的通信,通过SimG—rtid守护进程和RTI管理器实现仿真网格中提交联邦之间的数据交换和同步。     

神经网络控制系统计算机仿真研究

本文给出了一种基于神经网络预测控制新算法，并针对该算法用C＋＋进行了仿真程序设计，仿真程序具有Windows风格的输入界面和逻辑位图的仿真曲线输出图形，对非线性控制系统计算机仿真结果表明，基于神经网络预测控制新方法响应速度快，鲁椿性好，并可实现无形态余差。     

NPSC神经网络并行仿真计算机

本文介绍一种新研制成功的NPSC神经网络并行仿真机的结构特点,系统软件,性能测试结果及一些仿真算例。     

通用并行神经网络模拟系统GP^2N^2S^2

本文提出的基于Transputer阵列的通用并行神经网络模拟系统（GP^2N^2S^2）提供了高级神经网络描述语言及其编辑和编译器以及友善的执行环境，可将用户以串行方式编写的程序由系统自动地并行执行，能模拟现有的各种神经网络模型和用户自己开发的新模型。     

神经传递通路的神经网络建模

建立与生物神经系统相像的人工神经网络是设计具有智能的人工制品的有潜力的研究方法.建立神经网络传递通路简化模型,并应用神经网络建模.模型由4个回路构成动态延迟网络,包括丘脑回路、大脑皮质回路、基底核回路和小脑回路.仿真测试表明:网络易于数学实现,并具有良好的函数逼近能力和泛化能力.网络可用于自治系统和自治产品.＃     

应用网络仿真技术进行网络评价

阐述了应用网络仿真技术进行网络性能评价和预测的方法,包括性能指标选取、仿真试验设计、仿真性能参数计算、仿真结果处理与分析的方法,并给出了对一个具体的多媒体网络进行性能评价的应用实例。     

神经网络用于杀虫剂4－ROMS的QSAR研究

用神经网络方法研究了杀虫剂４－ＲＯＭＳ的结构与抗家蝇ＭｕｓｃａｄｏｍｅｓｔｉｃａＬ．活性的定量关系．采用优化的神经网络和ｌｅａｖｅ－ｏｎｅ－ｏｕｔ方法预报了系列化合物的生物活性，从线性回归分析和神经网络方法的比较可以看出神经网络优于传统方法．     

人工神经网络的并行分布处理

神经元的映射分配是人工神经网络虚拟实现中的重要研究课题。本文系统地分析了人工神经网络的重要性质－并行分布处理，并对映射分配问题中的两个关键性概念－负载均衡和通信开销进行了深入讨论。以此为基础，提出了一系列映射算法，并对算法性能进行了分析。其中，吸收算法最大程度地开发了人工神经网络固有的并行性，是一个实时的算法。     

积木式软件开发环境BIG用于神经网络模拟软件设计

ＢＩＧ是一个积木式窗口应用软件开发环境。本文介绍该开发环境的系统结构，并说明了该开发环境下积木式窗口应用软件的设计方法。最后给出了一个利用ＢＩＧ的人工神经网络模拟软件设计实例。     

解Job－shop调度问题的神经网络方法

研究用神经网络方法解决Ｊｏｂ－ｓｈｏｐ调度问题．首先描述解Ｊｏｂ－ｓｈｏｐ调度问题的算法，然后给出这一算法及其网络性质的理论结果．仿真实验结果证明了该方法是可行的．最后，针对几类典型调度问题的解决进一步说明了这一方法的优势．     

基于BP神经网络的猪肉新鲜度检测方法

猪肉在储藏、加工和运输过程中因为腐败会挥发出氨气、硫化氢等,据此选择8个金属氧化物半导体气敏传感器构成检测阵列,运用改进的BP神经网络算法建立猪肉新鲜度智能检测的数学模型,从而构建了猪肉新鲜度检测电子鼻系统。通过检测实验构建样本数据集,并对识别模型进行训练、测试,结果表明该模型对猪肉新鲜度的预测结果与用理化分析方法所得实际结果具有很好的吻合度,预测准确率大于90%。     

基于人工神经网络的正交实验分析软件的设计与实现

在最佳冶金工艺分析时,正交实验得到了广泛的应用,但现有的正交实验数据分析方法存在复杂性和弱适应性等缺陷。基于人工神经网络的正交实验分析软件,充分利用BP网络的高度非线性对实验数据进行拟合,建立实验影响因素和指标之间的映射关系,进而结合遗传算法的全局随机搜索的特点,得到实验的最佳工艺。实例应用结果表明该软件操作简单,具有良好的实用性、通用性及推广价值．