基于HH模型的心肌细胞电模型

提出了一种心肌细胞电生理模型的建模仿真方法。通过借助Hodgkin-Huxley模型对单个心肌细胞建立细胞膜的等效电路模型,利用四阶Rouge-Kutta算法,研究并分析了心肌细胞膜内外离子电流及电位差变化。然后用C语言完成了对细胞膜等效电路模型的编程,利用Matlab软件平台进行了计算机仿真,得到了心肌细胞电生理学模型在不同刺激下的仿真实验结果。     

基于解剖结构和动作电位的心室电活动仿真实现

建立了一个带心肌纤维走向带心肌纤维走向、心室细胞分层的心室几何结构模型,通过对不同层的心肌细胞赋予不同动作电位模型,采用并行算法用C语言编程,在PC机上实现了兴奋在心室肌细胞之间的传递和各心室肌细胞的电活动,通过心室的剖切三维显示来观察心室各部分的兴奋过程.该方法兼顾了计算量和效率,通过优化算法,使得高分辨率的基于解剖结构和细胞电生理的心室电活动仿真在PC机上实现,取得了较好的仿真效果.     

基于细胞电阻抗传感器的细胞多生理参数分析系统设计

针对传统的细胞传感器系统存在参数单一的问题,设计了基于细胞电阻抗传感器的细胞多生理参数分析系统。通过阻抗传感器的模型及其生长和搏动原理、阻抗传感器的设计加工,细胞多生理参数分析系统设计等方面对系统进行介绍。该系统具有操作简便,高一致性和高通量等特点。采用系统测试实验和细胞实验对系统的基本性能继续测试。实验结果表明,细胞多生理参数分析系统能同时检测细胞生长和心肌细胞的搏动,具备快速,长期,无损和高通量测量的特点,为细胞生理研究提供了实用的平台。     

语言模型复杂度度量与汉语熵的估算

运用信息论理论，从信息熵的角度对统计语言模型的复杂度度量方法进行了定量化的推理与描述，得出了语言模型对语言熵的估算值越小，说明该模型对语言的描述越精确以及两个n-1元文法模型插值形成的新模型，其性能好于n-1元文法模型，但不及n元文法模型的结论．并对应用语言模型估算汉语信息熵的方法进行了探讨．     

多媒体剧本制作语言

本文探讨了关于多媒体剧本制作语言方面的一些问题，提取了一个适合于多媒体信息查询系统应用开发的剧本制作语言较为完整的模型。信息屏是剧本制作语言所描述的主要对象。同时，文章还给出了剧本制作语言对多媒体应用系统进行描述的几个策略。     

带迭代算子的函数式程序设计*

本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．     

带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。     

基于语言概念空间的跨语种信息检索模型

提出了一种基于语言概念空间的跨语种信息检索模型，该模型以建立在语言概念空间中的形式化语境单元框架表示处理所需的中间信息，通过用以描述语境单元框架的语义符号间的匹配和生成机制来实现文本的跨语种检索，有助于避开用形式多样的具体语言作为处理中介存在的模糊消解问题。实验证明，这一模型显著改善了检索系统的性能。     

基于语料库的自然语言建模方法研究

语言模型是对自然语言的描述，研究语言模型的构造方法是计算语言学的核心内容之一。本文在深入分析基于概率分布和上下文特征与信息的统计语言模型所依据的数学理论基础上，讨论了这两类语言模型的异同及其建立方法，并了讨论了基于组合思想的语言建模方法。     

任务图模型中实时任务设计

仿真技术的进步推动了实时系统（如核反应堆，军事战场和fly-wire系统）的深入研究，用仿真方法解决实时问题，必须首先给出实时系统描述模型，TCM（task graph model)模型是实时系统描述模型之一，其模型最重要的成员是实时任务，使用量化仿真方法定义了实时任务的4种参数，并细分任务为子任务，此方法更易描述实时应用系统，更易构造TGM的执行模型，其层次化的结构更容易进行研究和软件实现，TGM模型及其任务设计已成功地应用于分布式三星实时侦察仿真系统。     

仿真模型描述本体及其匹配模型研究

Web服务技术已成为大范围内异构资源共享和应用集成的关键支撑技术,面向服务的分布式仿真开发也逐渐成为M&S领域的一个热门研究课题。针对现有Web服务描述和发现技术在支持仿真模型上存在的不足,提出了一个面向语义的仿真模型描述本体,在此基础上结合仿真的特征和仿真互操作层次模型,提出了“五个类型、五个层次”的匹配模型,引入了相似度计算函数对仿真模型的相似程度进行数值度量,并重点对仿真动态行为的匹配及其关键算法进行了深入研究。     

Theoretical and practical issues in evaluating the quality of conceptual models: current state and future directions

An international standard has now been established for evaluating the quality of software products. However there is no equivalent standard for evaluating the quality of conceptual models. While a range of quality frameworks have been proposed in the literature, none of these have been widely accepted in practice and none has emerged as a potential standard. As a result, conceptual models continue to be evaluated in practice in an ad hoc way, based on common sense, subjective opinions and experience. For conceptual modelling to progress from an “art” to an engineering discipline, quality standards need to be defined, agreed and applied in practice. This paper conducts a review of research in conceptual model quality and identifies the major theoretical and practical issues which need to be addressed. We consider how conceptual model quality frameworks can be structured, how they can be developed, how they can be empirically validated and how to achieve acceptance in practice. We argue that the current proliferation of quality frameworks is counterproductive to the progress of the field, and that researchers and practitioners should work together to establish a common standard (or standards) for conceptual model quality. Finally, we describe some initial efforts towards developing a common standard for data model quality, which may provide a model for future standardisation efforts.     

故障信息标准化描述及网络传输方法研究

为满足网络故障诊断中跨平台故障信息标准描述和网络传输的需要,基于LabVIEW的跨平台和XML的标准语言描述能力,开展相应的详细设计与实现方法研究,给出典型故障的XML描述方法。通过TCP协议,借助局域网中中的客户机/服务器模式来实现故障信息的网络传输。在服务器端,采用VI脚本技术动态创建和运行软件模块,以满足不同故障信息传输和处理的需要。在客户端,供应商和客户模式被用于增强安全性以避免数据丢失。构建的仿真系统验证了设计的可行性,研究成果对今后进一步实现实用的网络化故障诊断系统具有一定的参考价值。     

一种组件化仿真模型(SCM-1)及其实现

火箭飞行仿真系统是一种复杂大系统;为降低系统开发的复杂度,相关专业仿真模型应具有较高水平的可重用性以及较低水平的建模复杂度,并且遵照统一的建模规范,提出了一种新的仿真组件模型(SCM-1),论述了该模型的输入/输出接口、控制接口和功能接口组成形式,设计了基于XML的模型描述规则和C语言标准代码框架,在此基础上研究了一系列该模型的通用支持工具,最后给出了某弹道模型的实例,实践表明该仿真模型建模规范能够有效提高火箭飞行仿真系统的效费比。     

Theoretical and practical issues in evaluating the quality of conceptual models: current state and future directions

An international standard has now been established for evaluating the quality of software products. However there is no equivalent standard for evaluating the quality of conceptual models. While a range of quality frameworks have been proposed in the literature, none of these have been widely accepted in practice and none has emerged as a potential standard. As a result, conceptual models continue to be evaluated in practice in an ad hoc way, based on common sense, subjective opinions and experience. For conceptual modelling to progress from an “art” to an engineering discipline, quality standards need to be defined, agreed and applied in practice. This paper conducts a review of research in conceptual model quality and identifies the major theoretical and practical issues which need to be addressed. We consider how conceptual model quality frameworks can be structured, how they can be developed, how they can be empirically validated and how to achieve acceptance in practice. We argue that the current proliferation of quality frameworks is counterproductive to the progress of the field, and that researchers and practitioners should work together to establish a common standard (or standards) for conceptual model quality. Finally, we describe some initial efforts towards developing a common standard for data model quality, which may provide a model for future standardisation efforts.     

光电干扰武器系统C3I可执行建模的研究

UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述，而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段，并且是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法，对光电干扰武器系统C3I进行了UML建模的一般描述，阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确的评价。     

MEISRDL静态图模型的一致性检查方法

复杂系统需求描述语言（MEISRDL）是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN（D）描述MEISRDL静态图图元,实现半形式化的MEISRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明：该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。     

基于方程建立和小波配置的模拟电路自动建模

提出一种模拟电路行为级自动建模的方法．通过构建节点代数方程确定系统结构描述，利用小波配置方法建立所有基本单元的行为级描述，最终建立系统行为级模型，并据此开发了自动建模软件．所建模型面向模拟电路硬件描述语言的工业标准形式，在保证较高精度的同时，在仿真速度上与晶体管级描述相比具有明显的优势．