BMAM业务模型静态分析方法

提出了BMAM(Business Modeling Analysis Method)方法,它包括两种视图,一种扩展的用例图,另一种业务流程模型图.本文描述了静态分析方法———扩展的用例图,用来描述组织机构的分解方式、组织单元、层次结构和部门分支机构以及人员角色的职责和角色的隶属关系.     

4G手机无线接入系统设计及实现

用射频微波电路集成技术设计第4代(4G)手机无线接入系统．从分布参数概念出发，主要在smith圆图上进行电路设计．由微带线进行电路的实现，电路将各功能单元集成在微带基板上，具有体积小、重量轻、可靠性高、与手机其他电路易于共形等特点．运用网络转移参量矩阵理论进行了系统响应预估，结果表明所设计的无线接入系统满足4G移动终端的性能要求．     

无线通信中二进制网络-信道联合删除译码法

提出采用了网络信道联合纠错的编码(JNECD)的方法来降低网络传输的误码率,这种方法将接收到的数据包组成码字矩阵,利用信道编码与网络编码分别对码字矩阵的列和行联合校验检错,得到有可能错误的码元位置,删除所对应的码元,对剩余的码元解方程得到信源消息码字.仿真实验表明,在伽罗华域GF(2)中将JNECD方法与分离网络信道编码(SNCC)和直接传输(DT)方法相比,该算法可以降低通信系统的误码率和丢包率,提高数据包传输的正确概率,减少网络延时,提高网络吞吐量.     

绿色建筑中可再生能源供暖与制冷的利用效率分析

为了分析绿色建筑中可再生能源供暖和制冷的利用效率, 本文提出了采用能级平衡系数和一次能源 效率指标来评价分析可再生能源的利用效率. 采用该评价指标对某三星绿色办公建筑和某一星绿色图书馆建筑进行了分析. 结果表明, 冷热源一次能源 效率越高, 可再生能源利用效率就越高; 可再生能源系统能级平衡系数越小, 能量系统的匹配程度就越高, 能量利用就更加合理. 对于绿色办公建筑, 供暖和制冷时, 可再生能源地源热泵多联机的能级平衡系数和一次能源 效率均优于常规能源系统的多联机. 对于绿色图书馆建筑, 制冷时, 常规能源水冷冷水机组的能级平衡系数和一次能源 效率均优于地源热泵, 但供暖时地源热泵的能级平衡系数和一次能源 效率远高于制冷时. 因此, 对可再生能源同时供暖和制冷系统进行利用效率分析时, 应把两者作为一个整体进行分析.     

组胺H4受体配体的3D-QSAR模型分析

组胺H4受体配体对于治疗哮喘、肿瘤、风湿性关节炎和瘙痒症等疾病具有一定作用.本文对一系列组胺H4受体配体进行了基于VolSurf参数的QSAR建模分析,得到了较好的结果(r2=0.86,q2=0.64),训练集模型对预测集具有良好的预测能力.参数分析表明分子体积与其活性成反比.具有适当的亲水性和较大的局部疏水体积的分子活性较高,分子内亲水区和疏水区具有合适的体积比也很关键,并且亲水区中心距离疏水区中心越远,分子的活性越高.氢键给体与受体的量对活性也有影响.分子平均极化率越高,配体的活性越低.     

互联网信息搜索用户行为模型的探索性研究

探讨互联网信息搜索中用户与网络交互的行为模型．要求32名大学生或研究生被试完成不同类型（开放型与封闭型问题）的信息搜索任务,记录整个搜索过程,并提取各类关键事件的发生频次和时间等数据进行分析．基于路径分析获得的用户搜索行为模型显示：任务类型因素通过“主题目录链接”与“相关链接”的相关对搜索时间产生非因果效应;个体因素通过“页面跳转”对搜索时间产生间接因果效应,通过“相关链接”对绩效产生间接因果效应;环境因素通过“浏览时间”和“提交请求”对搜索时间产生间接因果效应．     

通过Painlevé分析从低维模型中寻找高维可积模型

将Painlevé方法推广到更一般的形式, 可以从给定的低维可积模型中得到无穷多个新的可积模型. 新的可积模型与原模型相比都是较高维的, 它们保持保角不变性和Painlevé性质. 本文主要以KdV、NLS和KP方程为例, 运用WTC法、截断展开、领头项分析等方法, 给出了(3+1)维可积模型的具体形式.     

绿色建筑中可再生能源供暖与制冷的利用效率分析（英文）

为了分析绿色建筑中可再生能源供暖和制冷的利用效率,本文提出了采用能级平衡系数和一次能源效率指标来评价分析可再生能源的利用效率.采用该评价指标对某三星绿色办公建筑和某一星绿色图书馆建筑进行了分析.结果表明,冷热源一次能源效率越高,可再生能源利用效率就越高;可再生能源系统能级平衡系数越小,能量系统的匹配程度就越高,能量利用就更加合理.对于绿色办公建筑,供暖和制冷时,可再生能源地源热泵多联机的能级平衡系数和一次能源效率均优于常规能源系统的多联机.对于绿色图书馆建筑,制冷时,常规能源水冷冷水机组的能级平衡系数和一次能源效率均优于地源热泵,但供暖时地源热泵的能级平衡系数和一次能源效率远高于制冷时.因此,对可再生能源同时供暖和制冷系统进行利用效率分析时,应把两者作为一个整体进行分析.     

基于语义的服务资源描述模型RDF4S

在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS 4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S 4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.     

规模养种生态能源工程系统中种植模式优化

在利用系统动力学理论研究规模养种生态能源系统工程基础上,设计了种植模式优化的多目标线性规划模型,实现了系统动力学理论和优化模型的结合,研究结果为冬闲田开发工程中的种植模式具体实施提供了科学决策依据。     

知识分析的直接模型

定义了模拟知识的直接模型，并证明了该模型同ＫｒｉＰｋｅ结构和Ｆａｇｉｎ的知识结构是等价的．与后两种模型相比，该模型中知识作为基本的，而不是衍生的认知，更适用于自然语言理解和机器翻译等领域．     

基于SWRL与Protégé4.3的业务模型互操作能力度量规则

基于语义Web规则语言(semantic web rule language,SWRL)以及知识库构建工具Protégé4.3,制定服务型企业的业务模型互操作能力度量规则,构建服务型企业业务模型互操作能力度量的知识库,并利用知识库实现SAP公司的解决方案业务模型间的互操作能力度量,验证了互操作能力度量规则能为不同业务模型间的有效协作提供决策支持.     

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划（3rd generation partnership project, 3GPP）提出了5G可扩展认证协议-传输层安全（extensible authentication protocol-transport layer security, EAP-TLS）。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务（denial of service,DoS）攻击和用户通信数据泄露的隐患。针对...     

鄱阳湖中华鳖染色体核型、G带和Ag-NORs的分析

以常规方法制备鄱阳湖中华鳖的染色体标本,分析其核型。其核型公式为2n=66=4M+8Sm+16T+38mc,NF=78。用胰酶法制备染色体G-带,绘制了G带模式图。采用了稍加修改的Foresti方法研究鄱阳湖中华鳖染色体的Ag-NORs核型,其Ag-NORs数目主要为2个,多态性主要表现为银染粒的大小和染色的     

几种蒸发模型的分析

在水文资源分析中，测定陆面蒸发是十分重要。目前为止，尚未获得可应用的能提供一定精度的测定方法，所人人们试图利用可获得的水文气象资料建立蒸发模型来估算蒸发量。     

螺旋线螺纹模型的有限元分析

针对精细化模型与Abaqus摩擦模型所存在问题, 提出一种基于螺纹几何特征的螺旋线螺纹模型, 采用脚本语言实现了螺旋线螺纹模型生成自动化, 并应用到某发动机机体主轴承盖螺栓螺孔的强度分析. 分析结果表明, 仿真计算得到的螺栓及机体螺孔处的应力很好地表征了螺栓连接结构螺纹处的实际应力分布, 与螺纹精细模型相近, 比Abaqus摩擦模型精度更高, 且计算方便、实用、高效, 验证了本文方法的准确、可行.     

互联网密钥交换协议匿名特性的CSP分析及改进

相对于以往的非形式化分析，文章对互联网密钥交换(IKE)协议的匿名特性进行了基于CSP方法的形式化分析，并提出了新的改进建议．与其他文献只能保护单方身份的改进方法相比。该改进方法能够同时保护双方的身份．     

随机波动模型的首中时问题

研究了一类波动率是平方根过程的随机波动CEV模型的首中时问题.利用鞅方法求解首中时和波动率的联合拉普拉斯变换,继而将问题转换为求解一类变系数二阶常微分方程,通过变量代换将此方程转化为经典的Whittaker方程,得到联合拉普拉斯变换表达式.最后,选取不同的参数,使随机波动CEV模型的资产价格过程能够涵盖O-U过程、几何布朗运动、平方根过程等几种常见的扩散过程,画出不同参数下联合拉普拉斯变换函数的三维图像,并分析其变化趋势.     

冷却模型中固化层的数值计算

本文给出了一个计算冷却模型中固化层的数值算法 ,并且证明固化层数值解的收敛性和稳定 性 .     

大黄鱼4个家系的形态差异分析

采用聚类分析、主成分分析和判别分析3种多元分析方法,结合传统形态学测定和框架测定,对大黄鱼（Pseudosciaena crocea）反交家系、岱衢洋家系、官井洋家系和正交家系进行形态差异比较.可数性状卡方分析表明,4个家系可数性状无显著差异;可量性状和框架数据的聚类分析结果表明,岱衢洋家系、官井洋家系和正交家系之间形态差异较小,而它们同反交家系差异显著;主成分分析提取了3个主成分,结果也表明反交家系与其他家系差异较大,与聚类分析结果相一致;通过对10个贡献率较大的形态变量进行逐步判别分析,建立了4个家系的判别公式,判别准确率P1为83.3%～100%,P2为87.5%～96.8%,综合判别率为92.5%.