CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。     

植物鞣质与胶原的反应机理研究

本研究是国家教委博士点基金资助项目。本文研究了水解类植物鞣质结构与疏水性的关系,并且通过研究鞣质拟物与氨基酸和明胶的反应,从分子水平阐明了水解类植物鞣质分子中的棓酰基与胶原氨基酸的脂肪侧链间的疏水反应,是鞣质与胶原的一种主要结合方式。     

人造牛肉的研究

将植物制成蛋白纤维,生产色、香、味、质地及口感均酷似天然肉品的研究在国外已取得重大进展,产品已广泛应用于学校、医院、监狱等的食堂中。我国在这方面的研究则刚兴起,本文根据天然牛肉纤维较粗的这一特点,应用“粗纺法”直接将大豆分离蛋白纺成1mm左右的纤维,以此为原料生产人造牛肉,并对该法存在的问题及解决途径作了探讨。     

胰蛋白酶在合成高分子阴离子交换树脂上的固定化作用

研究了胰蛋白酶在合成高分子聚苯乙烯阴离子交换树脂上的固定化技术,固定化酶的动力学性质以及稳定性特征。阴离子交换树指GM201经预处理除去杂质后与偶联剂成二醛反应,再与胰蛋白酶反应,可把酶固定化在载体上。动力学分析表明:固定化胰蛋白酶的K_m(米氏常数)值高于溶液酶,最适温度及最适pH值均有较大变化。稳定性试验表明:固定化酶的热稳定性低于溶液酶,在微酸性,中性及碱性介质中的稳定性高于溶液酶。用固定化胰蛋白酶水解酪蛋白及提取大豆胰蛋白酶抑制剂的试验结果表明,固定化酶具有良好的操作稳定性。     

强激光大气传输热晕方程的积分表示

基于菲涅耳 基尔霍夫近似，运用格林函数方法导出了热晕方程的积分表达式，并以连续波(CW)稳态热晕为例进行了数值计算和讨论，结果表明我们所采用的方法是可行的。众所周知的菲涅耳 基尔霍夫衍射积分则是我们所得积分表达的一个特例。     

贝莱斯芽孢杆菌角蛋白酶的克隆表达、纯化及酶学性质

为了获得更好的羽毛粉降解酶,本文从贝莱斯芽孢杆菌基因组中筛选到一个角蛋白酶基因（baker1）,对其克隆并在大肠杆菌BL21（DE3）中异源表达,最后对重组角蛋白酶（BaKer1）进行了分离纯化、表征及应用研究。实验结果表明,BaKer1的最适反应pH为9.5,最适反应温度为55℃,在中温和碱性条件下具有较好的稳定性。1 mmol/L Ca²⁺对BaKer1有显著地促进作用,5 mmol/L Mn²⁺对BaKer1有轻微地抑制作用,其他金属离子对BaKer1影响不大。PMSF对BaKer1的活性具有显著抑制作用,表明BaKer1是典型的丝氨酸蛋白酶。分别以羽毛粉、偶氮酪蛋白、酪蛋白为底物测定了BaKer1的动力学参数,K_m值分别为5.06、1.09和1.39 mmol/L,k_cat/K_m值分别为1 058.24、2 536.54和3 733.79·(s·mmol/L)。BaKer1处理羽毛粉,能达到酸水解效果的 33.51%,说明它在羽毛粉降解过程中具有潜在的应用价值。     

基于虚拟样机的智能诊断系统知识组织与表达

基于虚拟样机的智能诊断系统由协同支撑平台、模型库、样机引擎和虚拟环境组成.按系统-分系统-部件的次序进行故障诊断.诊断知识分为结构、故障处理、故障机理等10类.故障知识分经验、因果和定律三种类型.其知识表示把抢修对象的原理、维护、故障机理和维修等知识,以集合框架形式分类封装于诊断辅助系统知识库.试验证明该系统能准确表达诊断知识.     

基于多维有限自动机的DFA改进算法

多个正则表达式规则编译成一个DFA(deter minister finite automata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按照维度压缩,后者动态构建的方法将空间复杂度降到理论下界,并在此基础上提出多维有限自动机(MFA, multi-dimensional finite automata)。实验表明,MFA构造时间比XFA略少,比DFA、STT冗余压缩算法和Hybrid-FA降低了2~3个数量级;存储空间比XFA略高,比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1~2个数量级;匹配时间比DFA、Hybrid-FA略多,但是比XFA略少,比STT冗余压缩算法和mDFA降低了1~2个数量级。     

基因表达式编程在分形图像压缩编码中的应用

针对目前存在图像压缩率不高、全局搜索或遗传算法寻找最优分形图像压缩编码速度慢的不足,将基因表达式编程应用于分形图像压缩编码,提高求解分形图像压缩编码速度和压缩比.首先从理论上对二值图像压缩编码的求解过程和基因表达式编程在压缩编码中的作用机理进行分析;然后,研究分形图像压缩编码的基因和染色体的表示方法,适应度函数设计以及选择、变异、插串、基因变换、基因重组等基因遗传进化操作过程.提出基因表达式编程的分形图像压缩算法,求解分形图像压缩编码的最优解.实验结果表明,基因表达式编程应用于分形图像压缩编码,具有较强的全局寻优能力,搜索最优解的速度比遗传算法快约2倍,图像压缩率高.     

基于基因表达式的太湖水质聚类及模型发现

应用基因表达式编程研究太湖水质自动聚类及其数学模型发现,解决了传统聚类算法需预先设定类别数目及不能对聚类建立数学模型的问题.与实际数据比较,表明聚类结果正确;所发现的营养盐对水质影响的数学模型,对监控、优化太湖水质具有建设性意义.