基于马尔科夫模型和贝叶斯定理的Web用户浏览行为预测模型

对用户的Web浏览行为进行分析,既可以使用户减少等待时间,同时也能减轻网络负载.依据Web网站的层次结构特点,首先设计了基于Hash表的反向索引结构来提高数据的预处理速度;在此基础上,利用分层思想构建了基于马尔科夫模型和贝叶斯定理的Web用户浏览行为预测模型.给出了模型的设计思想、相关定义、模型框架以及模型中所涉及的关键构建方法等.最后,对模型进行了实验分析,结果表明在适当的预测准确率前提下,模型能够有效减少在预测时所需的候选网页数量,并大幅提升预测效率.

一种基于定理证明的Web服务合成方法研究

随着Internet中Web服务的不断增长,如何通过对现存的服务进行合成,以满足用户的个性化需求,成为目前的研究热点。通过引入线性逻辑工具,提出了一种新的Web服务合成解决方案,通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。

基于Object-Z的Web组件形式化建模

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object-Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Web组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻辑分解方法将该框架应用于复杂的组件组合过程,并提出了需求驱动的组件组合方法。在此基础上,结合实例对组件的交互、组合进行了建模分析。

基于余弦相似计算原理的Webshell检测方法

常规Webshell检测方法一般基于代码特征库和基于通信特征.代码混淆和虚假通信等反检测技术的出现,提升了Webshell隐蔽度,常规方法难于发现.为了检测此类隐蔽度较高的Webshell,采用了抽取程序代码多维Webshell特征,用余弦相似计算原理度量代码文件间的相似度,平均相似度极低的文件即为可疑Webshell文件.实验表明,正常代码文件间的平均相似度在10^(-1)~10^(-2)量级,而Webshell文件和正常代码文件的平均相似度在10-4量级,此方法可以有效地检测出Webshell.

一种基于电网WEB准实时数据的静态安全分析方法

提出一种基于补偿一灵敏度法的电网在线静态安全分析的新方法。该方法首先利用WEB技术获取电网准实时数据用于在线静态安全分析计算;其次为满足电网在线静态安全分析实时性的要求,在电网故障开断后潮流计算过程中引入补偿一灵敏度法。补偿一灵敏度法将故障前电网潮流方程线性化,可推导出支路潮流对节点注入功率的灵敏度,再依据戴维南定理,计算出支路开断后的线路关联节点的注入功率,然后利用节点问支路潮流灵敏度大小及节点注入功率变化,通过线性代数运算即可求得故障后的系统潮流,继而根据潮流结果完成线路潮流过载的筛选校验。最后采用EPRI 36节点系统验证了本文所提出方法的有效性。

标准化logMAR视力表的研制与临床应用

目的:介绍一种新的标准化logMAR视力表及其临床应用价值。方法:按照Weber-Fechner法则设计本视力表和记录方法。采用三划等长的E形视标,视标大小及排列采用均匀的几何增率,每行视标数为4个,共14行,每两行视标变化进率为1010。视力检查距离是为3 m。视力记录可选择视角对数记录、小数记录。以国家“标准对数视力表”为标准,通过检查100人的单眼裸眼视力验证本视力表检查结果的可靠性。结果:该视力表纠正每行之间视标个数不等和大视标个数较少的缺点,采用多种视力记录方法,并可以作多种视力记录的相应数值的转换。本视力表与国家“标准对数视力表”检测结果具有很好的相关性和一致性。结论:本标准化logMAR视力表具有检查结果可靠、视力统计方便、准确的优点,可应用于眼视光临床、教学和科研工作。

波形钢腹板-混凝土组合箱梁截面变形的拟平截面假定及其应用研究

为使波形钢腹板-混凝土组合箱梁的正截面弯曲应力计算能够应用平截面假定,根据该组合箱梁模型试验在弹性阶段的应变实测数据和空间有限元计算结果,忽略波形钢腹板的抗弯贡献,假设上、下翼板的混凝土纵向正应变在弹性阶段符合“拟平截面假定”,并运用变分法理论进行了证明。算例表明据“拟平截面假定”计算的翼板应力计算值与有限元法计算结果吻合。“拟平截面假定”为波形钢腹板-混凝土组合箱梁的弯曲应力计算及抗弯承载力计算在理论上提供了必要的变形协调条件。

基于程序生成的自动化服务组合技术

自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用。该文提取了服务的"输入"、"输出"、"前置条件"、"执行效果"、"执行功能",定义了服务的语义5元组<I,O,P,E,V>。通过一个转换模版,把服务描述表述成一阶谓词逻辑公式,根据"证明与程序等价"的理论,利用自动化定理证明系统,完成从已有服务到目标服务的逻辑证明,从所记录的证明路径中提取目标服务的实现体,介绍了实现这一技术的原型系统。