基于Petri网的文件并行传输优化方案

Petri网是一种适合于描述异步并发现象的计算机系统模型.Petri网理论的分析方法和技术既可用于静态的结构分析，又可用于动态的行为分析，最适合表示事件之间的并行性和自然相关性.因而，用Petri网来描述、分析和研究并发现象有独特的优越之处.在分布式网络环境下文件并行传输方案的设计中,传统的分析方法是采用线性规划，这样往往需要求解庞大的线性方程组.基于Petri网的文件并行传输优化方案可大大简化这一过程，并能达到更直观、更理想的效果.     

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。     

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

计算无回路Petri网位置不变量的几何方法

基于路增益概念，证明了无回路加权事件图位置不变量的存在性，并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个Petri网基于位置并的位置不变量，通过把无回路Petri网分解成一些加权事件图基于位置的并，给出了无回路Petri网位置不变量的存在性判别及确定的几何方法。     

基于Petri网分析循环语句的并行性

利用Petri网可以处理并发事件和进行并行处理的优点，结合Petri网的相关理论．对单重循环语句及多重循环语句用Petri网进行表述，通过Petri网的描述更利于分析循环语句的并行性．对单重循环的先赋值后引用和先引用后赋值的并行性的特点进行详细的分析．     

基于遗传算法的变结构神经Petri网模型

将Petri网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Petri网，建立了人工神经元状态转化的Petri网模型．在此基础上给出了利用遗传算法设计变结构神经Petri网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化．仿真结果验证了该方法的可行性．     

基于Petri网的自校正模型

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性．     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

柔性存储传输线的赋时Petri网建模

该文在深入研究了赋时Petri网的基础上，对柔性存储传输线进行了建模，提出了采用递推模型简化基本模型，为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础．结果表明递推模型对化简Petri网模型是有效的．     

随机动力系统中的广义密度演化方程

针对一般随机动力系统，考察了概率守恒原理. 在考虑随机场与随机过程分解的意义上， 探讨了同时含有初始条件随机性、外部激励随机性和系统参数随机性的随机动力系统中的概率守恒原理. 通过与连续介质力学中的Euler系统描述与Lagrange系统描述的比拟， 深入讨论了概率守恒原理的状态空间描述与随机事件描述. 特别是在随机事件描述的基础上， 导出了适用于随机动力系统的广义密度演化方程. 在此基础上， 发展了密度演化理论的分析方法， 使得范围广泛的多维随机动力系统的求解问题迎刃而解. 以非线性随机结构的动力响应分析为对象， 示例了密度演化理论的实际应用.     

XRF滤纸片法测定铁基样品中十种元素的方法研究

本法在Ｘ荧光光谱仪上采用滤纸片法测定样品，避免了基体效应的影响，因而可适用于多种基体的样品，扩大了分析方法的适应性。     

基于数据挖掘和网络药理学分析中药治疗痛风的用药规律及作用机制

应用数据挖掘和网络药理学技术分析中药治疗痛风的用药规律及作用机制。首先通过检索中国知网、维普数据库、万方数据库、Pubmed、中国生物医学文献数据库中关于治疗痛风的中药处方,建立中药治疗痛风方药数据库,规范中药名称后,应用 SPSS Modeler18 软件及SPSS Statistics 24 统计软件进行关联规则分析、复杂网络分析及聚类分析,并根据分析结果筛选得出治疗痛风的核心中药。在TCMSP数据库获取这些中药的活性化合物和相应作用靶点,并取这些中药与痛风的交集靶点进行蛋白质互作（PPI）分析、生物功能富集（GO）分析及相关作用通路分析。数据挖掘共纳入符合标准的处方302首,根据得到高频次中药及高置信度、高支持度中药处方,综合分析确定了茯苓、黄柏、牛膝、薏苡仁、苍术、萆薢、威灵仙、泽泻这八大治疗痛风的核心中药,并已这些中药为基础,分析了它们治疗痛风的作用机制,确定了核心作用靶点为AKT1、TNF、IL6、VEGFA、TP53、IL1B、PPARG、EGF、PTGS2（COX-2）、MMP9等,主要作用通路为癌症通路、糖尿病并发症中的AGE-RAGE信号通路、IL-17信号通路、MAPK信号通路、细胞因子-细胞因子受体相互作用通路、癌症中的转录失调通路等,主要调节过程包括白细胞介素、免疫系统中的细胞因子信号转导、基质金属蛋白酶的激活、基因转录途径等。中药治疗痛风的主要药物组合为黄柏、苍术;牛膝、忍冬藤;赤芍、山慈菇、秦艽;泽泻、地黄;茯苓、萆薢、威灵仙;红花、桃仁、川芎;当归、黄芪;甘草、白术、桂枝,作用机制主要依赖于对多种酶、炎症因子、炎症通路的调控,这些中药能够显著抑制炎症急性期反应、促进尿酸排泄,该研究拟为痛风的深入研究及相关中药的开发应用提供一定的基础和借鉴意义。     

2,3,9,10,16,17,23,24-八乙硫基酞菁的合成与理论研究

设计合成在酞菁2,3,9,10,16,17,23,24位(β位)八乙硫基取代的分子:2,3,9,10,16,17,23,24-八乙硫基酞菁分子β-(SC2 H5)8-H2 Pc,并对该分子进行红外吸收光谱表征和理论研究.采用密度泛函理论(DFT)在B3LYP/6-31G(d)水平上对2,3,9,10,16,17,23,24-八乙硫基酞菁分子进行结构优化,模拟其红外吸收光谱.模拟与实验红外振动吸收峰拟合曲线呈线性关系,相关系数R2=0.998,二者符合较好.     

可编程逻辑器件在定时控制电路中的应用

介绍了用ＩＳＰ可编程逻辑器件设计的一种器件少、可靠性高、实用性强的广告灯箱定时控制电路,详细阐述了其设计思路、硬件原理及ＩＳＰ可编程逻辑器件的使用技术。     

必然,可能,偶然,风马牛

在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号表达式为“A B”,可念作“A制约B”,其中的称为“制约号”,是2元的非正统的联结号。可能就是不必然不;偶然就是不必然且可能;“A风马牛B”的含义为“把A或 H、B或 B不论是放在前域还是后域,这之间的关系都是偶然”,故而也可称为“彻底的偶然”。容易验证,从语义上说,正统一阶谓词演算中的A B(A蕴涵B)和在其它语言中用来作为逻辑工具的“若A,则B”之间的关系是风马牛。     

ICP-OES测定硅铁中铝、钙、铬、锰、铜、镍、磷

通过试样分解、基体匹配、共存元素干扰、仪器最佳测定条件选择等试验,有效消除了基体及共存元素的干扰,建立了电感耦合等离子体发射光谱法测定硅铁中铝、钙、铬、锰、铜、镍、磷残余元素含量。经检出限、精密度、准确度试验验证,各元素检出限0.0003%～0.015%,回收率95.7%～112.0%,相对标准偏差(RSD,n=9)0.80%～5.58%,标样测定结果与认定值相符合。     

miR-29c调节DNMT3A表达对乳腺癌细胞Sk-Br-3生长的影响

目的 筛选影响乳腺癌组织中异常表达的DNA甲基转移酶DNMT3A的miRNA,并考察其对乳腺癌细胞生长的影响,以探讨miRNA对DNA甲基化甲基转移酶的调控在乳腺癌发生发展中的作用,从而为乳腺癌的早期诊断、早期预防提供新的分子标志及治疗靶点.方法 采用荧光定量PCR检测乳腺癌患者癌组织中DNA甲基转移酶的表达,通过Targetscan分析设计并合成3种miRNA模拟体,转染HER基因阳性乳腺癌细胞Sk-Br-3,应用实时荧光定量PCR检测转染后miRNA的相对表达量;应用免疫印迹分析及双荧光素酶报告基因实验筛选影响DNMT3A的miRNA;应用细胞生长曲线考察miRNA模拟体对Sk-Br-3细胞生长的影响.结果 实时荧光定量PCR结果显示:乳腺恶性导管癌患者癌组织中DNMT3A及DNMT3B的表达均显著增高(P<0.01);免疫印迹分析与双荧光素酶报告基因结果均可见,与对照组比较,miR-29c可以显著抑制DNMT3A的表达,并抑制乳腺癌细胞Sk-Br-3的生长.结论 miR-29c可与DNMT3A3′端非编码区结合并抑制DNMT3A的表达,从而影响HER基因阳性的乳腺癌的发生发展.     

广西龙塘蚀变流纹岩风化过程中Ti、Nb、Ta、Zr、Hf、Th的活动性研究

对广西龙塘蚀变流纹岩风化剖面中六个难溶元素的活动性进行了研究。研究结果表明 ,Ti、Nb和Ta元素在整个风化成土过程中基本上保持了它们的稳定性。Zr、Hf和Th在风化剖面上部有明显的富集 ,可能与矿物锆石与钍石在风化壳表层被腐植酸溶解后向下迁移被蒙脱石与非晶质氧化铁吸附有关。