城市公安派出所小型综合管理信息系统的实现

城市公安派出所的业务工作基本函数了公安业务工作全部内容，信息管理工作量大，情况复杂，必须采用管理信息系统，本文通过对派出所具体ＭＩＳ系统的研究开发，着重这种ＭＩＳ系统的结构分析，数据库类型，网络系统的分析等方面，提出了派出所ＭＩＳ系统的实现方法和分析思路。     

Client/Server结构在MMS＆ISS系统中的实践

本文首先对Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构进行了简述，作者分析了某供电局物资管理和信息服务系统的客观需求，指出一个Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构的信息系统中比较明智的选择．进一步地，本文论述了Ｃｌｉｎｅｔ／Ｓｅｒｖｅｒ结构的ＭＭＳ＆ＩＳＳ系统的结构、应用处理的特点以及共存的两条截然不同的处理技术路线．最后，本文论述了采用ＭＭＳ＆ＩＳＳ系统后将带给用户的效益．     

从递阶控制CIMS到分布式控制CIMS

在当今的ＣＩＭＳ中所采用的递阶控制结构中存在许多问题．为了提高系统的效率、柔性、容错性、可靠性和开放性，分布式控制结构得到越来越高度的重视．本文分析了传统的ＣＩＭＳ中的多层递阶结构，讨论了一些在ＣＩＭＳ中常用的分布式制造模式，如精益生产、智能制造系统、生物型制造系统、单元制造系统、独立制造岛和协同制造系统等．并简要地描述了分布式ＣＩＭＳ的基本结构．     

广义椭圆曲线数字签名动态用户认证机制

基于口令的身份认证机制是分布式系统安全体系的重要组成部分。利用一个无需求逆的广义椭圆曲线签名算法构造了一个动态远程用户认证方案:GECSA方案。该方案基于“质询响应”机制,无需时戳,其安全性基于单向Hash函数和椭圆曲线离散对数计算的困难性,包括注册阶段、登录阶段、认证阶段和更改口令阶段,允许用户自主选择并更改口令,实现了双向认证;具备完备性和不可转让性,是一个低开销的、安全的远程用户认证机制。     

知识基集成制造柔性仿真系统

利用ＣＩＭＯＳＡ体系结构中ＦＢＳ模型、实体类库、过程知识库和数据库建立了ＣＩＭ系统的仿真模型知识库，并通过面向对象框架语言对其进行表达，由推理机从过程规则集中推理产生仿真模型的行为.     

基于移动自动闭塞条件的列车运行仿真系统

针对移动自动闭塞系统的特点,研究开发了列车运行仿真系统（ＭＡＳ－ＳＩＭ）,用于移动自动闭塞条件下的行车组织若干问题的研究。文中介绍了ＭＡＳ－ＳＩＭ的设计目标,系统结构,仿真逻辑,以及图形显示。     

不精确偏好与非传递偏好

在不精确规范的多属生效用理论（Ｉｍｐｒｅｃｉｓｅｌｙ Ｓｐｅｃｉｆｉｅｄ Ｍｕｌｔｉａｔｔｉｂｕｔｅ Ｕｔｉｌｉｔｙ Ｔｈｅｏｒｙ，ＩＳＭＡＵＴ）基础上通过不精确认识阀值的引入，提出了具有价值认识阀值的不精确规范多属性效用理论（Ｔ－ＩＳＭＡＵＴ）概念，基于Ｔ－ＩＳＭＡＵＴ提出了一种不精确偏了线性规划模型并研究了Ｔ－ＩＳＭＡＵＴ与无差异非传递之间的关系。     

基于完备系统概念的C IM S

总结了计算机集成制造（系统）（ＣＩＭ（Ｓ））概念的发展过程;给出了完备系统的定义;讨论了在完备系统概念下ＣＩＭＳ的有关思想,目标,结构等问题,并提出了ＣＩＭ（Ｓ）的新概念、轮图和分析模型。     

MIS需求分析的层次分析法

ＭＩＳ是一个复杂的计算机应用系统。在ＭＩＳ需求分析时,对系统作适当的分解,有利于控制系统的复杂性。本文提出了一种ＭＩＳ需求分析的层次方法,规定了各个层次的划分原则,建立了相应的规格说明工具,并用实例说明之。     

石油化工计算机综合管理系统CIMS

石油化工计算机综合管理系统ＣＩＭＳ刘正庚（中国石油化工总公司）ＣｏｍｐｕｔｅｒＩｎｔｅｇｒａｔｅｄＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ（ＣＩＭＳ）ｉｎＰｅｔｒｏｃｈｅｍｉｃａｌＩｎｄｕｓｔｒｙＬｉｕＺｈｅｎｇｇｅｎｇ（ＣｈｉｎａＰｅｔｒｏ一ｃｈｅｍ...     

Digital signature systems based on smart card and fingerprint feature

Two signature systems based on smart cards and fingerprint features are proposed. In one signature system, the cryptographic key is stored in the smart card and is only accessible when the signer's extracted fingerprint features match his stored template. To resist being tampered on public channel, the user's message and the signed message are encrypted by the signer's public key and the user's public key, respectively. In the other signature system, the keys are generated by combining the signer's fingerprint features, check bits, and a rememberable key, and there are no matching process and keys stored on the smart card. Additionally, there is generally more than one public key in this system, that is, there exist some pseudo public keys except a real one.     

基于软件重用的应用生成

软件重用技术是提高软件生产率的重要途径之一。MISAG是我们研制的一个基于软件重用技术的、集成的、通用于辅助开发MIS的工具软件系统。利用MISAG,结合程序生成技术,可以构造出满足用户需求的应用系统。     

利用IC 卡数据估计公交OD 矩阵的模型及算法

利用公交IC卡数据建立了估计公交系统OD矩阵的双层数学规划模型,上层问题为广义最小二乘模型,下层问题为以变分不等式表示的基于超路径的公交网络均衡配流模型.采用启发式算法求解该双层数学规划模型,由于非对称性,运用了自适应的投影方法来求解下层的变分不等式问题,算例表明了模型的可行性和算法的有效性.     

Park等远程用户认证协议的分析与改进

2009年Park等提出了一个高效远程用户认证协议,并宣称这是第一个能抵抗离线口令猜测攻击的基于智能卡的口令认证方案,具有不需要存储口令表、没有时间戳、传输和计算量小等优点.然而,本文指出了他们的方案无法抵抗离线口令猜测攻击和伪造攻击.为克服其安全性缺陷,提出了不影响原方案功能的、基于随机数和基于时间戳的两个认证协议.技术分析表明提出的改进方案是安全、高效和实用的.     

支持数据完整性验证的可问责数据交易方案

针对数据交易方案的密钥泄露、合谋等安全问题,提出原子性可问责的数据交易方案。将数据审计技术与智能合约结合实现自动支付,确保交易过程中数据的完整性以及支付的公平性;采用自认证公钥密码技术设计用户注册过程,确保即使遭受单点故障问题,用户私钥仍然安全;借助会话密钥加密通信,解决了对称密钥分发问题,同时能够高效维护通信安全;构造了可公共审计的问责机制处理用户争议,以抵抗合谋攻击。安全性分析及实验表明本方案不仅能抵抗密钥泄露攻击和合谋攻击,还能够降低通信成本、高效问责。     

带有协作意愿感知的边缘协作中继机制

利用智能终端的协作转发可以缓解海量传感器数据的承载压力。然而,由用户携带智能终端的非合作行为会使转发性能急剧下降。为此,提出了一种带有协作意愿感知的边缘协作中继机制,以提高中继选择的合理性和激励机制的有效性。通过分析用户对转发数据的兴趣度感知用户的主观协作意愿,并考虑用户能量和缓冲的影响,综合选择协作状态最佳的用户作为中继。为了进一步激励中继用户参与协作转发,提出了一种基于讨价还价博弈的激励机制,充分地激励中继用户的客观协作意愿。仿真结果表明所提机制与其他中继机制相比,转发成功率和平均吞吐量分别提高了至少19.4%、17.9%,平均传递时延降低了至少18.6%。     

Smart Cities and M<Superscript>3</Superscript>: Rapid Research,Meaningful Metrics and Co-Design

The research described in this paper is undertaken under the banner of the smart city, a concept that captures the way urban spaces are re-made by the incursion of new technology. Much of smart is centred on converting everyday activities into data, and using this data to generate knowledge mediated by technology. Ordinary citizens, those that may have their lives impacted by the technology, usually are not properly involved in the ‘smartification’ process. Their perceptions, concerns and expectations should inform the conception and development of smart technologies at the same extent. How to engage general public with smart cities research is the central challenge for the Making Metrics Meaningful (MMM) project. Applying a rapid participatory method, ‘Imagine’ over a five-month period (March – July) the research sought to gain insights from the general public into novel forms of information system innovation. This brief paper describes the nature of the accelerated research undertaken and explores some of the themes which emerged in the analysis. Generic themes, beyond the remit of an explicit transport focus, are developed and pointers towards further research directions are discussed. Participatory methods, including engaging with self-selected transport users actively through both picture creation and programmatically specific musical ‘signatures’ as well as group discussion, were found to be effective in eliciting users’ own concerns, needs and ideas for novel information systems.     

系统论视阙下的澳门行政改革之路径分析

系统理论及其方法是现代管理科学的理论基石,是认识组织运行及其管理活动规律的一把钥匙。公共行政系统作为社会大系统中的一个子系统,具备系统的特征和演化机制,本文认为,系统的问题必须以系统的方法进行解决,因此针对澳门公共行政改革当前的处境,本文提出采用系统论（System Theory）的观点和方法,从系统论的目的性、突变性、整体性、生态性等层面,对澳门公共行政改革的路径进行更深入地探究和分析。     

面向协同过滤的真实偏好高斯混合模型

针对协同过滤问题,提出了一种基于高斯混合的概率模型,称为真实偏好高斯混合模型.用户对项目的评分由三个因素决定:用户对项目主题和内容的真实偏好,用户的评分习惯,以及项目的公众评价.引入了两个隐含变量,分别用于描述用户类和项目类,用户和项目依概率可以同时属于多个类.模型包括离线建模过程和在线预测过程,在线预测可以在常数时间内完成.实验表明新模型的预测结果明显优于其他几种协同过滤算法.     

依据用户知识水平进行提问

为了使咨询专家系统既方便问题领域知识水平较高的用户,又能够对知识水平较低的用户提供清晰、易懂的服务,模仿领域专家与不同知识水平的咨询者的交互过程,本文提出了一种依据用户领域知识水平进行提问的方法。这种方法可以充分利用用户的知识,向用户提问次数最少,大大提高了问题求解速度,降低了对内存空间的要求。文章对该方法进行了定量分析。