一种保持编排与参与者间行为一致的映射方法

将编排映射为Peer（参与者）,是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许：（1）通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;（2）提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;（3）将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.     

N-甲基-2-吡咯腈的合成与表征

以N—甲基—2—吡咯醛为原料，经肟化、脱水合成了N—甲基—2—吡咯腈，通过气相色谱对产品纯度进行测定，并用红外光谱、质谱对其结构进行了表征。用二氯乙烷代替乙醚作萃取剂具有生产安全性好、溶剂损耗少、成本低等优点。     

基于ABC管理法的分层限电多级响应日负荷序位管理研究

借鉴ABC现代管理方法 ,提出分层限电多级响应日负荷序位管理的思路 ,并对该方法的实施过程给予例证 ,特别针对我国新的电力体制改革初期 ,市场机制不够完善 ,而且今后几年内电力供应缺口较大的情况 ,分析讨论了保障电力工业短期和长期供求均衡的 4级限电响应政策措施 ,研究的结果也表明了科学有序的负荷管理不仅可以做到发、供、用电的短期和长期平衡 ,而且还将使有限的电能创造最大的社会经济效益     

Adaptation of a Biomineralization Strategy for Remineralization of Enamel and Dentin

1Introduction Theextra cellularphospholipidshavebeendetectedmainlyattheperipheryofthecalcifyingnodules.Matrix vesicles,whichareconsideredapossiblesourceofextra cellularphospholipids[1].Electronmicroscopystudiesofmineralizingtissueshaverevealedthattheiniti…     

二维水沙数学模型在码头工程防洪评价中的应用

数学模型是防洪评价的一个重要技术手段。介绍了广州水道某码头工程局部水域平面二维水沙数学模型的建立和验证及实际应用效果,结果表明,模型能较好地模拟工程附近水流泥沙运动以及河床冲淤变化规律,为预测分析工程建设对河道河床冲淤演变影响以及量化分析提供了一种手段和途径。     

FESTO TP511试验台的电液伺服阀静态特性测试

电液伺服阀是电液伺服系统中的关键部件,其静动态特性直接影响电液伺服系统的控制精度等指标．利用德国FESTO TP511试验台完成了电液伺服阀的静态特性测试,包括压力-电信号特性、流量．电信号特性、压力-负载流量特性测试．在对测试中的主要传感器进行标定的基础上搭建了静态特性测试的液压回路以及电路,给出了完成测试的步骤和部分测试结果．实验表明,测试方案合理,能够满足常见规格的电液伺服阀静态特性测试．     

N-甲基-2-吡咯醛的合成与表征

以N—甲基吡咯为起始原料，二甲基甲酰胺(DMF)、三氯氧磷作反应试剂在80℃左右获得目标化合物，经二氯乙烷萃取、蒸馏得N—甲基—2—吡咯醛，收率90％。用二氯乙烷代替乙醚作萃取剂，具有溶剂回收套用好、安全、成本低等优点。     

具有可见光催化活性的TiO2系光催化剂研究进展

由于受激发波长的限制，TiO2只能利用太阳能中不足5％的紫外光。本文较为详细NTiO2可见光催化剂的制备、性能及应用进行了综述。研究表明，通过金属及非金属离子掺杂改性、离子注入以及染料光敏化等方法可以将TiO2光催化反应红移到可见光区域进行。     

降黄曲霉毒素B1 菌株发酵条件的研究

对黄曲霉毒素B1(AFB1)降解菌株NMO-3 进行发酵培养基和培养条件优化,以期提高AFB1 降解率。方法：研究不同碳源、氮源、金属离子对AFB1 降解率的影响,最后选出最佳碳源、氮源和金属离子,通过正交回归试验,最后得出三者配方比。培养条件研究主要包括：初始pH 值、接种量、温度、种龄和降解时间等因素。结果：最终确定优化发酵培养基配方：果糖1.0%、胰蛋白胨1.0%、MgCl2 0.05mmol/L、其他发酵条件：起始pH 值为7.5、装液量25ml/300ml、接种量5%(V/V)、种子液培养时间为12h、控制降解温度为35℃、摇床转速140r/min、降解时间为72h。结论：经培养基成分和发酵参数的优化,AFB1 的降解率达到94.29%。     

学分制下以课程为中心的计算机排课系统设计

随着当前招生规模不断扩大和学分制改革不断深入,传统学年制下以班级为核心的排课方法已经难以继续。论文所提出的以课程为中心的计算机排课系统正好可用于解决当前高校复杂的大规模排课问题。在此基础上,笔者设计了学分制下以课程为中心的计算机排课系统的业务模型,同时并对在此模型基础上的排课问题中的几个关键问题给出了解决方法。