事件驱动用户界面的规范设计方法

给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以AIP单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上。人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下,Petri网对并发性的描述能力及模型引入的语义活动异步执行机制,能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里,着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。     

外部经济、市场失败与旅游业的发展

旅游业具有很强的关联性，因而旅游业中存在许多的外部经济现象，容易导致旅游市场的失灵。借鉴庇古的政府干预理论和产权经济学派的产权理论来克服旅游业中的外部经济现象，一是要充分发挥政府的作用，加强旅游立法和制定各种经济政策；二是明确界定旅游市场上各经济行为主体所拥有的产权界限，目的是激励、约束、规范各行为主体的行为，使旅游业健康发展。     

西部地区开发阶段与公债作用的研究

西部大开发可以分为准备、起飞、成熟三个阶段。本文试图探讨西部地区在缺乏资本投入和资本积累的情况下,公债在每个开发阶段起到了哪些积极的拉动作用;为了使公债发挥这些作用,应该提出哪些政策建议。     

关于具有二次损失泛函线性系的最优控制

运用非线性滤波理论讨论了随机信息模拟中一类不完全数据下与连续时间下具有二次损失泛函线性系的最优控制 ,得到了在这两种情形下具有二次损失泛函线性系的两个最优控制数学模型 ,为此类随机信息的最优化提供了又一有效的模拟控制新方法 .     

浅析.NET Framework中二进制序列化与反序列

当两个进程在进行远程通信时,彼此可以发送各种类型的数据。无论是何种类型的数据,都会以二进制序列的形式在网络上传送。发送方需要把这个对象转换为字节序列,才能在网络上传送;接收方则需要把字节序列再恢复为对象。本文简要介绍了序列化的两大类型和两个重要用途,详细阐述了二进制序列化与反序列化的实现过程。说明了二进制序列化是一种精确,简单,快速的序列化工具。     

三氯化磷生产中“过氯”和“局部过氯”处理引起爆炸的热力学分析

三氯化磷生产中,由于“过氯”生成了PCl_5,用黄磷处理生成的PCl_5常导致爆炸。为掌握合适的一次投磷量,用热力学分析,推导近似式x=P_(max)V/1.97。同时,为避免“局部过氯”对由黄磷堵塞通氯管时,黄磷与氯气的直接反应,作了定量计算。结果表明:管壁粘结0.1～0.2cm的黄磷产生的反应热足以烧断通氯管。这样的定量探讨有利于“过氯”和“局部过氯”的安全处理。     

神经元网络在乙烯生产中的应用

本文基于神经元网络建立了乙烯生产操作的识别模型，运用此模型可判别乙烯操作的状况，如是不好的操作能用神经元网络寻优。     

变频调速技术理论在恒压供水系统中的应用

介绍了变频调速技术的发展概况 ,及变频器的基本原理 同时介绍了一种应用变频调速技术实现的恒压自动供水系统控制方案 ,并阐明了其优越性 .     

共沸蒸馏脱水法对铜基甲醇合成催化剂前驱体结构和催化性能的影响

研究不同的脱水方法对催化剂前驱体的结构、催化剂比表面和催化活性的影响。前驱体的晶相分析表明：前驱体主要由孔雀石、绿铜锌矿和水锌矿三种晶相组成。共沸蒸馏脱水法比加热脱水法制备的前驱体含有较多的孔雀石相。比较共沸蒸馏和加热脱水法制备的催化剂，前者的比表面、分散性和催化活性均高于后者。这些结果对铜基甲醇合成催化剂的生产具有明显的意义。     

谷氨酰胺转胺酶在毕赤酵母菌的初步表达

从重组菌株pPIC3.5k-MTG/DH5α提取重组质粒pPIC3.5k-MTG,经Sac I酶切线性化处理后纯化重组质粒电击转化到毕赤酵母菌中,用甲醇诱导表达,经SDS-PAGE鉴定重组质粒P.pastoris GS115成功表达出了TGase蛋白,并初步纯化获得了较纯的目的蛋白,其表观分子量为47 kD,酶活为0.50 U/mL.