UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

快速调整QQ分组排列顺序

刚给MM装上最新版的QQ2009,MM就不乐意了。原来,在QQ升级之后,她的好友分组排列顺序有了改变,用起来很不习惯。QQ自带的排序功能,也仅支持对好友进行“按身份标识排序”、“按业务更新排序”或“按名称排序”,对分组排序却无能为力。     

自制虹吸式咖啡壶

虽然通常咱喝的不是咖啡,是寂寞,但要是咖啡质量不咋地,咱的寂寞也就更深沉了。为了避免咱在无尽的寂寞中沉沦,咱还是对自己好一点,弄点好咖啡来慰劳自己吧。     

综掘工作面可视控制系统

综掘工作面可视控制系统是由兖州矿业(集团)公司兴隆庄煤矿与天津天宁矿用电子设备厂共同开发研制的,是一种集通话、控制、检测、保护于一身的控制和通信系统,可对3km以内的设备运行进行集中控制和动态检测.     

化学虚拟实验中序列化技术的应用与研究

虚拟实验室是教育领域的一个研究热点,其中实验的存储是系统一个十分重要的功能模块。文中以采用VC 和OpenGL技术开发的中学化学实验仿真系统(CVExperiment)为例,详细介绍比较复杂的对象的序列化,并根据对象之间的不同关系,提出不同的序列化方法。     

儿时游戏 拣石子

这个游戏需要找(?)颗大小相仿的石子,两个人来玩。首先以"剪刀石头布"的形式猜先后,赢的一方先玩。将石子随机撒在地上,然后挑出一颗,抛向空中,乘它未落之时,快速捡起地上其他的石子,然后     

小抄速记

1.如何禁用触摸板?答:想要实现禁用触摸板,可以使用"Synaptics Device Drivers"(下载地址:http://www.synaptics.com/support/drive.cfm),然后选中"连接外部USB指向装置时禁用内部指向装置"即可。     

AT89C51单片机双字中文点阵设计与仿真

一、PROTEUS仿真设计1.设计思路采用AT89C51单片机,P0口、P2口作为数据输出端,扫描采用两个74154,单片机的P1口提供扫描信号,利用7404反相可以达到顺序扫描的目的,     

贪心随机自适应搜索算法在软件测试中的应用

提出一种求解面向对象软件集成测试中确定类间测试顺序的贪心随机自适应搜索算法。该算法是一个多起点的迭代过程,每一次迭代由产生可行解的构造阶段和寻找局部最优解的局部搜索阶段组成。为了进一步改善它的性能,在构造阶段增加了预处理功能,在局部搜索阶段增加了长期记忆和路径再链接功能。实验结果表明,改进的贪心随机自适应搜索过程产生的解的质量优于现有的其它算法。     

考虑移动应急电源配置的微电网顺序恢复方法

自然灾害引发配电网停电后,利用配网中分布式电源构建微电网实现重要负荷的顺序恢复,是提升配电网弹性的重要手段。现有研究主要利用配网中存在的小型燃机、可再生能源和储能等固定式电源构建微电网,并优化微网中节点的恢复顺序。随着配网中移动应急电源数量的增加,充分利用移动应急电源可以进一步提升配电网弹性。为此,该文提出了考虑移动应急电源优化配置的灾后微电网顺序恢复方法。首先,以重要负荷恢复量最大为优化目标,建立了考虑应急电源配置、区域划分、恢复路径及供电顺序协同优化的配电网灾后顺序恢复模型。由于该模型是非线性规划问题,进一步对模型进行线性化处理,将其转化为混合整数线性规划问题进行快速求解。最后。采用IEEE37节点配电系统,对所提方法的有效性进行了验证。