图形LOTOS和Peteri网模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具，用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网，该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ，根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单，这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ     

MAGNETIC RELAXATION AT EARLY TIMES AND FLUX DIFFUSION BARRIER V（J，B，T） FOR Ti－1223 DOPED WITH Pb AND Ba BY COMPLEX AC SUSCEPTIBILITY MEASUREMENTS

ＭＡＧＮＥＴＩＣＲＥＬＡＸＡＴＩＯＮＡＴＥＡＲＬＹＴＩＭＥＳＡＮＤＦＬＵＸＤＩＦＦＵＳＩＯＮＢＡＲＲＩＥＲＶ（Ｊ，Ｂ，Ｔ）ＦＯＲＴｉ－１２２３ＤＯＰＥＤＷＩＴＨＰｂＡＮＤＢａＢＹＣＯＭＰＬＥＸＡＣＳＵＳＣＥＰＴＩＢＩＬＩＴＹＭＥＡＳＵＲＥＭＥＮＴＳＤ...     

QWF－1型汽车尾气分析仪配装自动记录仪的研制

ＱＷＦ－１型汽车尾气分析仪配装自动记录仪的研制ＤＥＶＥＬＯＰＭＥＮＴＯＮＴＨＥＡＴＴＡＣＨＥＤＡＵＴＯＭＡＴＩＣＲＥＣＯＲＤＤＩＡＬＯＦＭＯＤＥＬＱＷＦ－１ＡＵＴＯＴＡＩＬ－ＧＡＳＡＮＡＬＹＳＩＳＡＰＰＡＲＡＴＵＳＬｉＬｉａｎｇｅｒＣｈｅｎＪｉａｎｂ...     

TECTONIC DEVELOPMENT OF THE METAMORPHIC CORE COMPLEX OF THE WUGONGSHAN IN THE NORTHERN JIANGXI PROVINCE

ＴＥＣＴＯＮＩＣＤＥＶＥＬＯＰＭＥＮＴＯＦＴＨＥＭＥＴＡＭＯＲＰＨＩＣＣＯＲＥＣＯＭＰＬＥＸＯＦＴＨＥＷＵＧＯＮＧＳＨＡＮＩＮＴＨＥＮＯＲＴＨＥＲＮＪＩＡＮＧＸＩＰＲＯＶＩＮＣＥＳｕｎＹａｎ１）ＳｈｕＬｉａｎｇｓｈｕ１）Ｍ．Ｆａｕｒｅ２）Ｊ．Ｃｈａ...     

强酸性电解水对蔬菜杀菌效果及外观品质的影响(简报)

强酸性电解水对蔬菜杀菌效果及外观品质的影响（简报）康维民（河北农业技术师范学院食品工程系,昌黎,０６６６００）ＧＥＲＭＩＣＩＤＡＬＥＦＦＥＣＴＳＯＦＳＴＲＯＮＧＡＣＩＤＥＬＥＣＴＲＯＬＹＴＩＣＷＡＴＥＲＯＮＶＥＧＥＴＡＢＬＥＳＡＮＤＩＴＳＡＰＰＳＲＥ...     

从增强的LOTOS（E—LOTOS）说明到Petri网的转换

Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强,Ｐｅｔｒｉ网是分析系统的有效工具,本提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转网方法,并提出南非进一步考虑的问题。     

DOMAINREVERSALANDTHECURIETEMPERATUREINPROTONEXCHANGEDLiTaO3

ＤＯＭＡＩＮＲＥＶＥＲＳＡＬＡＮＤＴＨＥＣＵＲＩＥＴＥＭＰＥＲＡＴＵＲＥＩＮＰＲＯＴＯＮＥＸＣＨＡＮＧＥＤＬｉＴａＯ３ＺｈｕＹｏｎｇｙｕａｎＧｕＭｉｎＺｈｕＳｈｉｎｉｎｇＺｈａｎｇＺｈｉｙｏｎｇＬｉＹｕｎＱｉｎｇＹｉｑｉａｎｇＭｉｎｇＮａｉｂｅｎ（...     

New Energy-Saving Cement-Iron-Rich FloorAlominate Cement

ＮＥＷＥＮＥＲＧＹ－ＳＡＶＩＮＧＣＥＭＥＮＴ－ＩＲＯＮ－ＲＩＣＨＦＬＵＯＲＡＬＵＭＩＮＡＴＥＣＥＭＥＮＴＨｕａｎｇ；ＷｅｎｘｉＣｈｅｎｇｄｕＤｅｓｉｇｎ＆ＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅｏｆＢｕｉｌｄｉｎｇＭａｔｅｒｉａｌｓＩｎｄｕｓｔｒｙＱｉａｎ...     

MULTIPARAMETERINVERSIONOFELASTICWAVEWITHSINGLEIMPULSESOURCE

ＭＵＬＴＩＰＡＲＡＭＥＴＥＲＩＮＶＥＲＳＩＯＮＯＦＥＬＡＳＴＩＣＷＡＶＥＷＩＴＨＳＩＮＧＬＥＩＭＰＵＬＳＥＳＯＵＲＣＥＣｈｅｎｇＪｉａｎｃｈｕｎＴａｏＸｉｕｐｉｎｇＷｅｉＹｏｎｇＺｈａｎｇＳｈｕｙｉ（ＩｎｓｔｉｔｕｔｅｏｆＡｃｏｕｓｔｉｃｓａｎｄＬ...     

随机集条件期望可积选择序列的收敛定理

随机集条件期望可积选择序列的收敛定理吴伟志（基础课部）ＴＨＥＣＯＮＶＥＲＧＥＮＣＥＴＨＥＯＲＥＭＦＯＲＴＨＥＳＥＴＯＦＩＮＴＥＧＲＡＢＬＥＳＥＬＥＣＴＩＯＮＳＯＦＣＯＮＤＩＴＩＯＮＡＬＥＸＰＥＣＴＡＴＩＯＮＳＯＦＲＡＮＤＯＭＳＥＴＳＷｕＷｅｉｚｈｉ（...     

一种决策系统的自动生成工具

本文讨论了一种决策系统的自动生成工具的设计原理与实现方法.该工具能够辅助人们去建立一种基于决策表的决策模型,自动进行各种检验,并能将此模型转换成另外两种决策模型.此外,该工具还能够进一步自动生成决策处理系统.     

基于Petri网的工作流建模的研究

工作流技术作为实现企业过程的有效手段,广泛应用于各种场合.在应用中,关键是建立适合企业过程的工作流模型.Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示.本文主要介绍了Petri网和工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了设计实例.     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。     

A Novel Personalized Web Search Model

A novel personalized Web search model is proposed. The new system, as a middleware between a user and a Web search engine, is set up on the client machine. It can learn a user＇s preference implicitly and then generate the user profile automatically. When the user inputs query keywords, the system can automatically generate a few personalized expansion words by computing the term-term associations according to the current user profile, and then these words together with the query keywords are submitted to a popular search engine such as Yahoo or Google. These expansion words help to express accurately the user＇s search intention. The new Web search model can make a common search engine personalized, that is, the search engine can return different search results to different users who input the same keywords. The experimental results show the feasibility and applicability of the presented work.     

异质搜索环境下的用户偏好性预测方法研究

提出了一系列基于搜索结果页面的特征用于学习分类器,自动预测用户的偏好性,并尝试将预测模型与用户实验结合起来。实验结果表明,尽管异质环境下搜索结果页面有着丰富的信息,但仅基于搜索结果页面的展现形式难以对用户的偏好性做出可靠的预测。     

一种基于用户行为反馈的兴趣度模型更新算法

个性化推荐技术在电子商务系统中得到了广泛应用.针对现有的用户模型不能及时根据用户自身兴趣偏移进行更新的问题,提出了一种基于用户行为反馈的兴趣度模型的更新算法,在创建好模型的基础上,分析用户的购买记录和用户的浏览行为,结合用户的兴趣内容,实现用户兴趣的自动更新,得到的针对新的用户兴趣的推荐商品列表,在此基础上结合用户的购买商品记录,实现推荐商品的个性化排序,从而向用户进行个性化推荐.实验对比结果表明,该算法能更好地发现用户当前的购买兴趣,从而进一步提高个性化推荐精度和用户满意度.     

校园网络流量监控的实现

MRTG（Multi Router Traffic Grapher）是一个监控网络流量负载的工具软件,它可以从所有运行SNMP（Simple Network Management Protoco,简单网络管理协议）协议的服务器、路由器、交换机等设备上抓取到信息,自动生成包含PNG格式的图形,并以HTML文档方式显示给用户.     

基于MR定位技术的客服支撑综合应用系统的开发及应用

 随着3G时代的到来,为实现对客户服务的有效支撑,进一步提升用户感知度,云南联通提出了全新MR定位算法,并开发了基于该技术的客服支撑系统,实现了网络投诉问题自动分析和统一解释、用户投诉地点自动定位和投诉问题处理闭环管理,有效地提升了用户感知度,树立了良好的联通品牌形象.     

一个基于RTBAC的Petri网工作流模型

以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.