一种用于模型验证的Web应用模型抽取方法

以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法. 该方法将模型抽取划分为链接提取、模型构造和结果显示. 通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储. 对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web 应用的FSM模型.     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.     

Web服务组合系统扩展GSPN建模与化简规则

使用广义随机Petri 网(generalized stochastic Petri net, GSPN) 对具有复杂时间约束信息的大规模Web 服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸. 针对此问题提出一种扩展GSPN建模方法. 将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束
信息. 进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN 缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间. 多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web 服务组合系统进行快速性能分析.     

基于OWL的试题本体知识库构建研究

探讨了本体技术和Web服务技术对试题库系统的支持,并提出了基于本体和Web服务的试题库应用框架结构,目的是为了让试题知识库能提供概念共享模型,建立概念语义空间,并用本体标准语言OWL进行形式化描述,从而解决知识共享和语义互操作问题,同时也为解决机器理解问题提供了一种办法.     

机器视觉摄像机标定的一般正多边形方法

围绕机器视觉摄像机标定问题,该文将通常几种基于特定正多边形模型的标定方法拓展为一般正多边形模型的摄像机标定方法. 首先分析一般正多边形的平面几何性质,结合射影几何中的交比和调和共轭的性质计算正多边形各条边和正多边形内切圆心与切点连线方向的消失点. 利用消失点与光心的连线方向和形成消失点空间直线方向相同的性质建立线性方程组,从而求解摄像机内参数. 最后通过几个特定正多边形（正三角形、正四边形、正五边形、正六边形）模版的摄像机标定验证一般正多边形标定方法的正确性. 实验中还发现几种特定正多边形的摄像机标定精度不同,正五边形的标定精度最高,正四边形最低.     

基于MVC模式的Struts和Spring整合框架的研究与应用

对目前Web应用开发中的两个流行框架Struts和Spring进行了分析,针对这两个框架的特点和不足,提出了一个将两种框架分层应用并且无缝整合形成的新框架,充分利用框架技术的各层的优点.对现有系统作了针对性的改进,验证了整合的新框架在Web开发应用中的可行性.     

Web服务行为相容性和可适配性的一种分析方法

基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器模型并将其合并,从而得到Web服务之间的适配器模型并自动映射生成实际可运行的BPEL代码.通过实例分析表明了该方法的可行性和有效性.     

ASP.NET中的输入验证方法

在传统的Web应用中,输入验证一般是使用客户端Script来实现的.在ASP.NET平台下,用户可以使用控件和正则表达式在服务器端实现输入验证,通过几个例子简单地介绍了在ASP.NET中如何使用控件和正则表达式对输入的用户名、密码和电子邮件进行有效性验证.     

盾构机主驱动轴承无损检测应用技术

随着中国城市地铁建设的快速发展,盾构机地铁施工在各大城市得到越来越广泛的应用。由于盾构机集光、机、电、液、传感和信息技术于一体,主机庞大,辅助设备复杂多样,在施工过程中盾构机自身设备的安全性、可靠性已成为盾构机生产厂家和施工方关注的焦点,尤其是主驱动轴承核心部件,一旦隧道内发生故障很难就地修复。针对目前较普遍的振动监测和诊断技术分析,提出在盾构机主驱动轴承的无损检测中采用冲击脉冲检测技术获取主轴承的运动状态信息,通过对其信息的测量和分析,实现可以不停机或不解体设备就可以对主驱动轴承劣化的部位和故障的性质作出判断,作出超前维保满足施工要求。并通过实际的现场工业试验验证,获得了成功,产生了大量的经济效益和社会效益。     

非线性组合序列的新攻击算法

给出了一种攻击非线性组合序列的新算法,该方法只需要知道每个驱动序列的级数,便可恢复驱动序列的初始状态及生成多项式.研究了该方法的数据复杂性,文章指出:单纯增加驱动序列的个数并不能从本质上提高系统的安全性.给出了一种新的衡量布尔函数密码学性能的指标,讨论了该指标的基本性质.指出在设计非线性组合序列时,该指标值应尽可能小.并列出了所有该指标值为0的2元和3元布尔函数,对4元以上的情形,给出了指标值为0的布尔函数计数的一个上界.     

Web信息系统质量的模糊评价模型

对目前使用的几种评价Web信息系统质量方法的不足之处进行了分析，根据软件质量特点，利用模糊理论建立了一种高效合理的Web信息系统质量评价模型；通过建立的评价知识库，改善了原来评价方法中的不精确性和复杂性，并在实际应用中取得了良好的运行效果。     

一种协同验证环境与协同设计方法

基于C仿真策略建立了一种新的SoC软/硬件协同验证环境。利用此验证环境,针对计算密集型应用,提出了一种低成本的软/硬件协同设计方法。针对协同设计中最重要的验证问题,采用层次化的验证方法,在模块级使用基于C参考模型的验证策略,在系统级使用基于改进C仿真的协同验证。以一款低成本的MPEG-4解码系统芯片设计为例说明了这一方法的有效性。     

利用Asp的FileSystemObject组件实现网页计数器及易见问题

ASP作为一种功能强大的动态Web技术,得到越来越多的应用.介绍利用ASP的FileSystemObject组件实现网页计数器的方法,给出了程序范例.介绍了利用该组件容易遇见ASP木马程序入侵的问题,并提出防范策略.     

LSTM预测驱动的软件系统主动自适应方法

针对反应式自适应软件系统调整滞后的问题,提出了一种基于长短期记忆（long short-term memory, LSTM）网络预测驱动的主动自适应方法。该方法将LSTM神经网络预测技术嵌入监测-分析-决策-执行-知识控制模型的分析环节,利用自适应环境、质量及目标相关的运行数据和历史数据进行分类预测,形成自适应预警机制,在减小传统自适应决策滞后性影响的同时有效提高了软件系统的主动自适应能力。为了说明所提方法的主动性、鲁棒性、有效性,在经典的分布式远程辅助系统上对该方法进行实验评估。结果表明：该方法能够针对自适应需求提前预警,推动软件系统在必要时进行主动的自适应调整。     

基于特征的需求模型到面向Agent概念体系结构的映射

需求到面向Agent概念体系结构的映射保持了需求到设计之间概念的可追踪性。利用需求结果－特征模型,从其特征的相互以来关系入手,在分析特征模型的特征依赖关系和Agent依赖关系基础上,提出了特征存在依赖和值依赖,导出从特征模型向Agent概念体系结构的映射方法,并以“图书管理系统”为例对该方法进行了验证。     

基于Delphi 5核心技术的分布式Web网站实现技术

比较了几种主要的Web开发技术，介绍一种基于Delphi5核心技术支持的分布式Web网站的开发方法，并给出了运用Delphi5的Web核心技术开发税法查询Web系统的一些细节。     

一个基于Internet的远程教育系统设计与实现

随着Web技术的发展，许多基于Intemet上的应用日益普及，本系统根据黑龙江省教委关于教学方法改革的有关要求，实现了一个远程教育系统并通过此系统的设计与实现，介绍如何在Internet上实现远程教育。