基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

两类简单多数原则的完全特征

易建新(2005)引入了两类多数投票的社会福利函数,本文用无关备选对象的独立性、匿名性、中立性等公理给出了它们的完全特征.     

基于VB的计算机考试复习系统的设计与实现

介绍了基于Visual Basic +Mirosoft Acess计算机考试复习系统的设计和实现,解决了数据库设计、操作过程等方面遇到的关键问题:登陆功能的实现,在大的总数据库基础上自动创建新的、能快速使用的数据库和表的实现,实现了试题的任意编辑和自动组卷,从而最大程度地加快了系统的速度和严密性.     

冷连轧仿真系统虚拟对象级的设计要点

以某钢厂2030 mm五机架四辊冷连轧机系统为仿真原型,建立了4级结构五机架冷连轧过程动态仿真系统,讨论了对动态轧制过程与实体设备动态行为进行仿真的虚拟对象L0级的结构、功能.建立了含有移动数据库的分布式仿真数据库系统(DDBS),模块化设计仿真模型程序以提高可重性和仿真系统的安全性与可维护性,实现了冷连轧虚拟对象级的基于Web的客户层、应用层、资源层3级结构仿真平台,提供了基于Web服务的人机界面支持系统.设计的冷连轧虚拟对象级为研究和开发轧制自动化新技术而需要进行的虚拟轧制实验提供了合适的平台.     

《光谱学与光谱分析》投稿简则

《光谱学与光谱分析》是由中国科协主管,中国光学学会主办,钢铁研究总院、中国科学院物理研究所、北京大学、清华大学共同承办的专业学术期刊。国内外公开发行,从2004年起为月刊,大16开本,2020年仍为月刊,每期332页。《光谱学与光谱分析》主要报道我国光谱学与光谱分析领域内具有创新性科研成果,及时反映国内外光谱学与光谱分析的进展和动态;发现并培育人才;推动和促进光谱学与光谱分析的发展。为科教兴国服务。读者对象为从事光谱学与光谱分析的科研人员、教学人员、分析测试人员和科研管理干部。     

《光谱学与光谱分析》投稿简则

《光谱学与光谱分析》是由中国科协主管,中国光学学会主办,钢铁研究总院、中国科学院物理研究所、北京大学、清华大学共同承办的专业学术期刊。国内外公开发行,从2004年起为月刊,大16开本,2020年仍为月刊,每期332页。《光谱学与光谱分析》主要报道我国光谱学与光谱分析领域内具有创新性科研成果,及时反映国内外光谱学与光谱分析的进展和动态;发现并培育人才;推动和促进光谱学与光谱分析的发展。为科教兴国服务。读者对象为从事光谱学与光谱分析的科研人员、教学人员、分析测试人员和科研管理干部。     

约束的移动对象最近邻轨迹查询

提出了一种新的查询概念,即约束的移动对象最近邻轨迹(constrained nearest neighbor search on moving objects trajectories,简称CNNMOT)查询.针对两阶段算法分阶段处理最近邻查询和范围查询的缺陷,对传统空间最近邻算法进行了改进和扩展,使其能够合并到一步完成,并对传统的mindist定义进行了修改.实验结果表明:该改进算法能较好地克服两阶段算法的缺陷,并在数据量较大时仍保持较高的性能.     

移动数据库中支持车辆交通管理的时空模型

提出了一种用于有效管理交通,基于基本空间对象模型,紧密结合时间维的时空模型.针对当前大多数时空模型的局限性在于把复杂立体化的交通网络变成平面化的实体、导致网络分析效率不高的问题,以现有成熟的关系数据库为底层架构,采用自底向上的嵌套方式对移动对象(交通工具)和固定空间对象(交通网络、路标、区域等)进行建模,以及分层和栅格化处理交通网络的各个区域,有效地提高了时空查询和各种操作的效率.     

基于低代码开发范式的Web Service生成方法

针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,建立两者之间的转换规则;其次,根据Web Service功能模块的代码特征构建转换模板;然后建立解析和处理需求模型的转换算法;最后,使用转换规则、转换模板和转换算法直接将需求模型自动转换为目标应用程序。通过使用4个软件开发案例对提出的方法进行验证,结果表明,约93.3%的系统操作可以实现自动生成。相比传统的软件开发模式,本文方法可以由需求模型自动生成标准化Web Service程序,提高了软件开发效率与质量。此外,本文方法支持快速原型开发和迭代开发,用户可以通过GUI验证、编辑与修改需求,重新生成应用程序。     

技术社会控制的对象问题初探

技术社会控制的对象无疑就是技术,但这种把技术作为一个抽象整体的概念来理解,不利于技术社会控制的实施。在思考技术的社会控制问题的基础上,就控制技术的那些方面进行分析,认为应该对技术对象进行划分,明确具体要控制技术的那些方面,从而避免在实践中的盲目性和无效性。技术社会控制的具体对象包括:工程控制理论中的控制对象;人文主义传统中技术客体的设计活动、技术发展的方向与速度技术的应用、技术应用的后果等等。