基于TRNSYS的茯砖茶生产工艺能源系统节能环保特性研究

茯砖茶发酵、干燥过程中，烘房内温湿度稳定性和能源系统低能耗是保证茯砖茶品质与成本的重要因素。本文采用TRNSYS仿真与实验研究相结合的方法，对咸阳某茯砖茶厂实际使用的空气源热泵系统进行建模，通过研究各季节典型代表月烘房温湿度的波动情况，确定该空气源热泵系统在全年的运行状态是否满足工艺要求，在此基础上，对比了该系统在全年可运行季节代表月与该生产厂房早期使用的燃气锅炉系统的能耗仿真结果，对空气源热泵系统的节能与环保特性进行研究。结果表明：由于夏季送风质量流量过大且室外空气含湿量较高，7月烘房温湿度不满足工艺要求。热泵系统在1、4、10月的总标煤消耗量的平均值是锅炉系统的44.42%，平均CO2、SO2、NOx排放量分别为锅炉系统的34.13%、44.1%、40.60%。在茯砖茶发酵、干燥的过程中，相比于燃气锅炉系统，空气源热泵系统具有更好的节能与环保特性。     

The Logarithmic Image Processing Model: Connections with Human Brightness Perception and Contrast Estimators

The logarithmic image processing (LIP) model is amathematical framework based on abstract linear mathematicswhich provides a set of specific algebraic and functionaloperations that can be applied to the processing of intensityimages valued in a bounded range. The LIP model has been provedto be physically justified in the setting of transmitted lightand to be consistent with several laws and characteristics ofthe human visual system. Successful application examples havealso been reported in several image processing areas, e.g.,image enhancement, image restoration, three-dimensional imagereconstruction, edge detection and image segmentation.The aim of this article is to show that the LIP model is atractable mathematical framework for image processing which isconsistent with several laws and characteristics of humanbrightness perception. This is a survey article in the sensethat it presents (almost) previously published results in arevised, refined and self-contained form. First, an introductionto the LIP model is exposed. Emphasis will be especially placedon the initial motivation and goal, and on the scope of themodel. Then, an introductory summary of mathematicalfundamentals of the LIP model is detailed. Next, the articleaims at surveying the connections of the LIP model with severallaws and characteristics of human brightness perception, namelythe brightness scale inversion, saturation characteristic, Weber'sand Fechner's laws, and the psychophysical contrast notion. Finally,it is shown that the LIP model is a powerful and tractable framework for handling the contrast notion. This is done througha survey of several LIP-model-based contrast estimators associated with special subparts (point, pair of points,boundary, region) of intensity images, that are justified bothfrom a physical and mathematical point of view.     

孔子与普洱茶

中国是茶的故乡，中国有自己的文化圣人，在茶与圣人孔子之间，有没有一条文化的纽带，骆承烈教授的这篇文章给了我们一个很好的启示。     

异构数据的管理方法及异构数据源的集成研究

工程应用中软件工具的多样性和设计活动的分散性形成了大量异构数据。本文分析了传统的异构数据管理方法的不足，提出使用数据库系统的文件系统结合的管理方法。针对此方法下所形成的异构数据源问题，给出了基于J2EE规范的数据访问对象抽象工厂解决方案。     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

撰写科技论文的要素

本文讨论了撰写科技论文时,包括论文的题目、前言、推导、实例、结论、提要和关键词等各种要素的作用和正确的撰写方法,列举一些写得比较好的范例和一些不很恰当的例子。同时也分析了在岩土工程科技论文写作中出现的一些如泛泛而谈、钻牛角尖、大而无当、背离工程实际、结论与前提不符等值得注意的倾向,指出了产生的原因并提出了解决的方法。     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...     

基于ASM的混合式情境感知共享机制研究

移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。     

基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.